runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108311143/gj-user-solver-1.0/e381ba7e-a192-11e0-8647-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//e381ba7e-a192-11e0-8647-00163e1e087d.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/e381ba7e-a192-11e0-8647-00163e1e087d.cudf.dudf-real.result -sum(installedsize) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 3172
/proc/meminfo: memFree=397756/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=11360 CPUtime=0
/proc/3171/stat : 3171 (java) R 3170 3170 19908 34817 19908 4202496 919 0 0 0 0 0 0 0 25 0 2 0 68567520 11632640 652 1283457024 134512640 134550932 4288570128 18446744073709551615 4159454824 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 2840 652 285 10 0 1186 0
[pid=3171/tid=3172] ppid=3170 vsize=11360 CPUtime=0
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 68567521 11632640 652 1283457024 134512640 134550932 4288570128 18446744073709551615 4159454824 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.185134 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 3172
/proc/meminfo: memFree=397756/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=410204 CPUtime=0.18
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 4493 0 1 0 17 1 0 0 25 0 9 0 68567520 420048896 3923 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102551 3923 1940 10 0 96699 0
[pid=3171/tid=3172] ppid=3170 vsize=410204 CPUtime=0.16
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 3288 0 1 0 16 0 0 0 25 0 9 0 68567521 420048896 3923 1283457024 134512640 134550932 4288570128 18446744073709551615 4150843989 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412780

[startup+0.205128 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 3172
/proc/meminfo: memFree=397756/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=410204 CPUtime=0.2
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 4622 0 1 0 19 1 0 0 25 0 9 0 68567520 420048896 4052 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102551 4052 1940 10 0 96699 0
[pid=3171/tid=3172] ppid=3170 vsize=410204 CPUtime=0.18
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 3417 0 1 0 18 0 0 0 25 0 9 0 68567521 420048896 4052 1283457024 134512640 134550932 4288570128 18446744073709551615 4151430966 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412780

[startup+0.30515 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 3172
/proc/meminfo: memFree=397756/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=410204 CPUtime=0.3
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 5310 0 1 0 29 1 0 0 25 0 9 0 68567520 420048896 4739 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102551 4739 1946 10 0 96699 0
[pid=3171/tid=3172] ppid=3170 vsize=410204 CPUtime=0.27
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 3512 0 1 0 27 0 0 0 25 0 9 0 68567521 420048896 4739 1283457024 134512640 134550932 4288570128 18446744073709551615 4151375433 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412780

[startup+0.705252 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 3172
/proc/meminfo: memFree=397756/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=410752 CPUtime=0.7
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 12882 0 1 0 66 4 0 0 25 0 9 0 68567520 420610048 12127 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102688 12127 2900 10 0 96836 0
[pid=3171/tid=3172] ppid=3170 vsize=410752 CPUtime=0.47
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 4201 0 1 0 46 1 0 0 25 0 9 0 68567521 420610048 12127 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413328

[startup+1.50544 s]
/proc/loadavg: 0.85 0.97 0.99 2/43 3180
/proc/meminfo: memFree=339648/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=410752 CPUtime=1.5
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 27107 0 1 0 145 5 0 0 25 0 9 0 68567520 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102688 26352 2900 10 0 96836 0
[pid=3171/tid=3172] ppid=3170 vsize=410752 CPUtime=0.81
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 6809 0 1 0 80 1 0 0 24 0 9 0 68567521 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=410752 CPUtime=0.64
/proc/3171/task/3174/stat : 3174 (java) R 3170 3170 19908 34817 19908 4202560 18912 0 0 0 61 3 0 0 18 0 9 0 68567522 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4153174896 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=410752 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 68567522 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=410752 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 68567522 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=410752 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68567523 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=410752 CPUtime=0.03
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 444 0 0 0 3 0 0 0 21 0 9 0 68567523 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=410752 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68567523 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=410752 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 68567523 420610048 26352 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413328

[startup+3.10598 s]
/proc/loadavg: 0.85 0.97 0.99 2/43 3180
/proc/meminfo: memFree=265372/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=410884 CPUtime=3.1
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 46355 0 1 0 296 14 0 0 25 0 9 0 68567520 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102721 45600 2900 10 0 96869 0
[pid=3171/tid=3172] ppid=3170 vsize=410884 CPUtime=1.43
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 11653 0 1 0 140 3 0 0 25 0 9 0 68567521 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4115232056 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=410884 CPUtime=1.61
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 33312 0 0 0 151 10 0 0 16 0 9 0 68567522 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=410884 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 68567522 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=410884 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 68567522 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=410884 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68567523 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=410884 CPUtime=0.04
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 448 0 0 0 4 0 0 0 15 0 9 0 68567523 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=410884 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68567523 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=410884 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 68567523 420745216 45600 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413460

[startup+6.30685 s]
/proc/loadavg: 0.94 0.98 0.99 2/44 3181
/proc/meminfo: memFree=163940/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=6.3
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 62381 0 1 0 607 23 0 0 25 0 10 0 68567520 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 61541 2924 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=4.19
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 415 4 0 0 25 0 10 0 68567521 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4115633052 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=1.95
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 46436 0 0 0 178 17 0 0 15 0 10 0 68567522 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 529 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 61541 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413796

[startup+12.7079 s]
/proc/loadavg: 0.94 0.98 0.99 2/44 3181
/proc/meminfo: memFree=166296/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=12.7
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 62396 0 1 0 1247 23 0 0 25 0 10 0 68567520 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 60760 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=10.27
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 1023 4 0 0 25 0 10 0 68567521 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4115676789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=2.27
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 46447 0 0 0 210 17 0 0 15 0 10 0 68567522 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 60760 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413796

[startup+25.5107 s]
/proc/loadavg: 0.95 0.98 0.99 2/44 3181
/proc/meminfo: memFree=253468/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=25.49
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 62974 0 1 0 2522 27 0 0 25 0 10 0 68567520 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39008 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=22.67
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 2261 6 0 0 25 0 10 0 68567521 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4115647750 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=2.67
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47025 0 0 0 248 19 0 0 15 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413796

[startup+51.1054 s]
/proc/loadavg: 1.03 1.00 1.00 2/46 3185
/proc/meminfo: memFree=253444/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=51.07
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 62974 0 1 0 5080 27 0 0 25 0 10 0 68567520 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39008 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=47.76
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 4770 6 0 0 25 0 10 0 68567521 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4115675881 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=3.15
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47025 0 0 0 296 19 0 0 15 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 413796

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/46 3190
/proc/meminfo: memFree=253444/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=102.24
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 62974 0 1 0 10197 27 0 0 25 0 10 0 68567520 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39008 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=98.14
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 9808 6 0 0 25 0 10 0 68567521 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4115611305 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=3.95
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47025 0 0 0 376 19 0 0 15 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 413796

[startup+162.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/45 3192
/proc/meminfo: memFree=253460/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=162.18
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 62974 0 1 0 16189 29 0 0 25 0 10 0 68567520 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39008 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=157.33
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 15724 9 0 0 25 0 10 0 68567521 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4115723141 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=4.71
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47025 0 0 0 452 19 0 0 15 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 413796

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 3192
/proc/meminfo: memFree=253468/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=222.08
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 62974 0 1 0 22178 30 0 0 25 0 10 0 68567520 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39008 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=216.41
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 21631 10 0 0 25 0 10 0 68567521 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4115610980 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=5.52
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47025 0 0 0 533 19 0 0 16 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39008 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 413796

[startup+282.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/44 3192
/proc/meminfo: memFree=253344/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=282.01
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 63070 0 1 0 28171 30 0 0 25 0 10 0 68567520 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39104 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=275.71
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 27561 10 0 0 25 0 10 0 68567521 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4115675881 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=6.16
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47121 0 0 0 597 19 0 0 15 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) R 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 413796

Solver just ended. Dumping a history of the last processes samples

[startup+283.009 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 3192
/proc/meminfo: memFree=253220/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=282.71
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 63070 0 1 0 28241 30 0 0 25 0 10 0 68567520 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39104 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=276.41
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 27631 10 0 0 25 0 10 0 68567521 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4115709321 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=6.16
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47121 0 0 0 597 19 0 0 15 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.71
Current children cumulated vsize (KiB) 413796

[startup+284.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 3192
/proc/meminfo: memFree=253220/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=284.3
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 63070 0 1 0 28400 30 0 0 25 0 10 0 68567520 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39104 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=278
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 27790 10 0 0 25 0 10 0 68567521 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4115571312 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=6.16
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47121 0 0 0 597 19 0 0 15 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.3
Current children cumulated vsize (KiB) 413796

[startup+285.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/44 3192
/proc/meminfo: memFree=253220/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=284.7
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 63070 0 1 0 28440 30 0 0 25 0 10 0 68567520 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39104 2919 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=278.4
/proc/3171/task/3172/stat : 3172 (java) R 3170 3170 19908 34817 19908 4202560 14469 0 1 0 27830 10 0 0 25 0 10 0 68567521 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4115624504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=6.16
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47121 0 0 0 597 19 0 0 15 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68567522 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.12
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 15 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) R 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68567523 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3171/tid=3181] ppid=3170 vsize=411220 CPUtime=0.01
/proc/3171/task/3181/stat : 3181 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 1 0 0 0 25 0 10 0 68567901 421089280 39104 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.7
Current children cumulated vsize (KiB) 413796

[startup+285.403 s]
/proc/loadavg: 1.00 1.00 1.00 3/44 3192
/proc/meminfo: memFree=253220/1048576 swapFree=0/0
[pid=3170] ppid=3169 vsize=2576 CPUtime=0
/proc/3170/stat : 3170 (gj-user-solver-) S 3169 3170 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 68567520 2637824 271 1283457024 134512640 135304128 4291749568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3170/statm: 644 271 229 194 0 31 0
[pid=3171] ppid=3170 vsize=411220 CPUtime=285.06
/proc/3171/stat : 3171 (java) S 3170 3170 19908 34817 19908 4202496 63072 0 1 0 28475 31 0 0 25 0 9 0 68567520 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3171/statm: 102805 39106 2920 10 0 96950 0
[pid=3171/tid=3172] ppid=3170 vsize=411220 CPUtime=278.75
/proc/3171/task/3172/stat : 3172 (java) S 3170 3170 19908 34817 19908 4202560 14469 0 1 0 27864 11 0 0 25 0 9 0 68567521 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3174] ppid=3170 vsize=411220 CPUtime=6.16
/proc/3171/task/3174/stat : 3174 (java) S 3170 3170 19908 34817 19908 4202560 47121 0 0 0 597 19 0 0 15 0 9 0 68567522 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3175] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3175/stat : 3175 (java) S 3170 3170 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 68567522 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3176] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3176/stat : 3176 (java) S 3170 3170 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 68567522 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3177] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3177/stat : 3177 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68567523 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3178] ppid=3170 vsize=411220 CPUtime=0.13
/proc/3171/task/3178/stat : 3178 (java) S 3170 3170 19908 34817 19908 4202560 534 0 0 0 13 0 0 0 15 0 9 0 68567523 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3179] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3179/stat : 3179 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68567523 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=3171/tid=3180] ppid=3170 vsize=411220 CPUtime=0
/proc/3171/task/3180/stat : 3180 (java) S 3170 3170 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 68567523 421089280 39106 1283457024 134512640 134550932 4288570128 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.06
Current children cumulated vsize (KiB) 413796

Child status: 0
Real time (s): 285.435
CPU time (s): 285.078
CPU user time (s): 284.758
CPU system time (s): 0.32002
CPU usage (%): 99.8748
Max. virtual memory (cumulated for all children) (KiB): 413796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.758
system time used= 0.32002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63461
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5914
involuntary context switches= 8669

runsolver used 0 second user time and 0 second system time

The end