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/4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/4ede8d96-c17a-11df-a7c5-00163e3d3b7c.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 1.02 1.01 4/34 27378
/proc/meminfo: memFree=388056/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=11048 CPUtime=0
/proc/27378/stat : 27378 (java) R 27377 27377 19908 34817 19908 4202496 552 0 0 0 0 0 0 0 25 0 1 0 64425984 11313152 287 1283457024 134512640 134550932 4290966880 18446744073709551615 4160014050 0 0 0 0 0 0 0 17 0 0 0 0
/proc/27378/statm: 2762 287 167 10 0 1104 0

[startup+0.144872 s]
/proc/loadavg: 0.85 1.02 1.01 4/34 27378
/proc/meminfo: memFree=388056/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=409924 CPUtime=0.14
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 3918 0 1 0 11 3 0 0 25 0 9 0 64425984 419762176 3347 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102481 3347 1912 10 0 96629 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412496

[startup+0.20488 s]
/proc/loadavg: 0.85 1.02 1.01 4/34 27378
/proc/meminfo: memFree=388056/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=409924 CPUtime=0.2
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 4048 0 1 0 17 3 0 0 25 0 9 0 64425984 419762176 3477 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102481 3477 1912 10 0 96629 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412496

[startup+0.304923 s]
/proc/loadavg: 0.85 1.02 1.01 4/34 27378
/proc/meminfo: memFree=388056/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=410476 CPUtime=0.3
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 4408 0 1 0 27 3 0 0 25 0 9 0 64425984 420327424 3837 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102619 3837 1939 10 0 96767 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413048

[startup+0.705057 s]
/proc/loadavg: 0.85 1.02 1.01 4/34 27378
/proc/meminfo: memFree=388056/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=410620 CPUtime=0.7
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 11989 0 1 0 62 8 0 0 25 0 9 0 64425984 420474880 11233 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102655 11233 2900 10 0 96803 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413192

[startup+1.50533 s]
/proc/loadavg: 0.94 1.04 1.01 2/43 27387
/proc/meminfo: memFree=328824/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=410752 CPUtime=1.5
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 26348 0 1 0 136 14 0 0 25 0 9 0 64425984 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102688 25592 2900 10 0 96836 0
[pid=27378/tid=27380] ppid=27377 vsize=410752 CPUtime=0.83
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 6807 0 1 0 78 5 0 0 25 0 9 0 64425984 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=410752 CPUtime=0.61
/proc/27378/task/27381/stat : 27381 (java) R 27377 27377 19908 34817 19908 4202560 18153 0 0 0 53 8 0 0 18 0 9 0 64425985 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4151271606 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=410752 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 64425985 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=410752 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 64425985 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=410752 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64425986 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=410752 CPUtime=0.04
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 446 0 0 0 4 0 0 0 18 0 9 0 64425986 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=410752 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64425986 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=410752 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64425986 420610048 25592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413324

[startup+3.10582 s]
/proc/loadavg: 0.94 1.04 1.01 2/43 27387
/proc/meminfo: memFree=254300/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=410884 CPUtime=3.1
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 49028 0 1 0 290 20 0 0 25 0 9 0 64425984 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102721 48272 2900 10 0 96869 0
[pid=27378/tid=27380] ppid=27377 vsize=410884 CPUtime=1.49
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14263 0 1 0 143 6 0 0 25 0 9 0 64425984 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4150308234 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=410884 CPUtime=1.55
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 33374 0 0 0 143 12 0 0 16 0 9 0 64425985 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=410884 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 64425985 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=410884 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 64425985 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=410884 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64425986 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=410884 CPUtime=0.04
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 449 0 0 0 4 0 0 0 15 0 9 0 64425986 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=410884 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64425986 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=410884 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64425986 420745216 48272 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413456

[startup+6.30699 s]
/proc/loadavg: 0.94 1.03 1.01 2/44 27388
/proc/meminfo: memFree=129176/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=6.3
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68368 0 1 0 609 21 0 0 25 0 10 0 64425984 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 67519 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=3.67
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 361 6 0 0 25 0 10 0 64425984 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4115526197 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=2.53
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52356 0 0 0 240 13 0 0 16 0 10 0 64425985 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 16 0 10 0 64425986 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 67519 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413792

[startup+12.7085 s]
/proc/loadavg: 0.95 1.03 1.01 2/44 27388
/proc/meminfo: memFree=129060/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=12.69
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68372 0 1 0 1248 21 0 0 25 0 10 0 64425984 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 67523 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=9.79
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 973 6 0 0 25 0 10 0 64425984 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4115457848 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=2.81
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52356 0 0 0 268 13 0 0 15 0 10 0 64425985 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 538 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 67523 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413792

[startup+25.511 s]
/proc/loadavg: 0.95 1.03 1.01 2/44 27388
/proc/meminfo: memFree=192176/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=25.5
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 2526 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=22.07
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 2200 7 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4115452300 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=3.33
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 318 15 0 0 15 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 413792

[startup+51.1068 s]
/proc/loadavg: 0.97 1.03 1.01 2/44 27388
/proc/meminfo: memFree=192176/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=51.07
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 5083 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=47.12
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 4705 7 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4115568005 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=3.86
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 371 15 0 0 15 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 413792

[startup+102.31 s]
/proc/loadavg: 0.99 1.02 1.00 3/44 27388
/proc/meminfo: memFree=192176/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=102.23
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 10199 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=97.41
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 9734 7 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4115563599 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=4.72
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 457 15 0 0 15 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) R 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 413792

[startup+162.305 s]
/proc/loadavg: 0.99 1.02 1.00 2/46 27393
/proc/meminfo: memFree=192152/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=162.15
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 16191 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=156.43
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 15635 8 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4115526197 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=5.64
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 549 15 0 0 15 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 413792

[startup+222.308 s]
/proc/loadavg: 0.99 1.01 1.00 2/46 27399
/proc/meminfo: memFree=192152/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=222.14
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 22190 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=215.66
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 21558 8 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4115525289 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=6.4
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 625 15 0 0 15 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 413792

[startup+282.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/45 27399
/proc/meminfo: memFree=192168/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=282.11
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 28187 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=275.06
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 27498 8 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4115525264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=6.97
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 682 15 0 0 15 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 413792

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

[startup+283.103 s]
/proc/loadavg: 0.99 1.00 1.00 3/45 27399
/proc/meminfo: memFree=192168/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=282.92
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 28268 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=275.86
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 27578 8 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4115579721 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=6.97
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 682 15 0 0 15 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.92
Current children cumulated vsize (KiB) 413792

[startup+283.904 s]
/proc/loadavg: 0.99 1.00 1.00 2/45 27399
/proc/meminfo: memFree=192168/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=283.72
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 28348 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=276.57
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 27649 8 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=7.07
/proc/27378/task/27381/stat : 27381 (java) R 27377 27377 19908 34817 19908 4202560 52684 0 0 0 692 15 0 0 16 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4153002357 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.72
Current children cumulated vsize (KiB) 413792

[startup+284.704 s]
/proc/loadavg: 0.99 1.00 1.00 2/45 27399
/proc/meminfo: memFree=192168/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=284.52
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68701 0 1 0 28428 24 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51592 2918 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=277.27
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 27719 8 0 0 25 0 10 0 64425984 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4115488785 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=7.17
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 702 15 0 0 16 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64425985 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64425986 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27388] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27388/stat : 27388 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64426451 421089280 51592 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.52
Current children cumulated vsize (KiB) 413792

[startup+285.104 s]
/proc/loadavg: 0.99 1.00 1.00 2/45 27399
/proc/meminfo: memFree=192168/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=284.92
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68702 0 1 0 28468 24 0 0 25 0 9 0 64425984 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51593 2919 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=277.67
/proc/27378/task/27380/stat : 27380 (java) R 27377 27377 19908 34817 19908 4202560 14531 0 1 0 27759 8 0 0 25 0 9 0 64425984 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4115608568 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=7.17
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 702 15 0 0 15 0 9 0 64425985 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 64425985 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 64425985 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64425986 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 9 0 64425986 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64425986 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64425986 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.92
Current children cumulated vsize (KiB) 413792

[startup+285.203 s]
/proc/loadavg: 0.99 1.00 1.00 2/45 27399
/proc/meminfo: memFree=192168/1048576 swapFree=0/0
[pid=27377] ppid=27376 vsize=2572 CPUtime=0
/proc/27377/stat : 27377 (gj-user-solver-) S 27376 27377 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 64425983 2633728 271 1283457024 134512640 135304128 4288480160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27377/statm: 643 271 229 194 0 30 0
[pid=27378] ppid=27377 vsize=411220 CPUtime=285
/proc/27378/stat : 27378 (java) S 27377 27377 19908 34817 19908 4202496 68702 0 1 0 28476 24 0 0 25 0 9 0 64425984 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27378/statm: 102805 51593 2919 10 0 96950 0
[pid=27378/tid=27380] ppid=27377 vsize=411220 CPUtime=277.76
/proc/27378/task/27380/stat : 27380 (java) S 27377 27377 19908 34817 19908 4202560 14531 0 1 0 27768 8 0 0 25 0 9 0 64425984 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27381] ppid=27377 vsize=411220 CPUtime=7.17
/proc/27378/task/27381/stat : 27381 (java) S 27377 27377 19908 34817 19908 4202560 52684 0 0 0 702 15 0 0 15 0 9 0 64425985 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27382] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27382/stat : 27382 (java) S 27377 27377 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 64425985 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27383] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27383/stat : 27383 (java) S 27377 27377 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 64425985 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27384] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27384/stat : 27384 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64425986 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27385] ppid=27377 vsize=411220 CPUtime=0.06
/proc/27378/task/27385/stat : 27385 (java) S 27377 27377 19908 34817 19908 4202560 539 0 0 0 6 0 0 0 15 0 9 0 64425986 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27386] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27386/stat : 27386 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64425986 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27378/tid=27387] ppid=27377 vsize=411220 CPUtime=0
/proc/27378/task/27387/stat : 27387 (java) S 27377 27377 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64425986 421089280 51593 1283457024 134512640 134550932 4290966880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285
Current children cumulated vsize (KiB) 413792

Child status: 0
Real time (s): 285.233
CPU time (s): 285.026
CPU user time (s): 284.77
CPU system time (s): 0.256016
CPU usage (%): 99.9275
Max. virtual memory (cumulated for all children) (KiB): 413792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.77
system time used= 0.256016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69091
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= 5841
involuntary context switches= 8686

runsolver used 0 second user time and 0 second system time

The end