runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458352-1307159306/watcher-3458352-1307159306 -o /tmp/evaluation-result-3458352-1307159306/solver-3458352-1307159306 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458352-1307159306.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.31 2.10 2.02 3/506 16539
/proc/meminfo: memFree=21074236/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 1209 0 0 0 0 0 0 0 25 0 2 0 560121905 31313920 935 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 7645 935 711 9 0 383 0
[pid=16539/tid=16540] ppid=16537 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 6205 0 1 0 0 0 0 0 25 0 2 0 560121906 13850947584 7020 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.051529 s]
/proc/loadavg: 2.31 2.10 2.02 3/506 16539
/proc/meminfo: memFree=21074236/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 13839 0 1 0 2 1 0 0 25 0 13 0 560121905 13874667520 13535 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3387370 13535 1679 9 0 3378118 0
[pid=16539/tid=16540] ppid=16537 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 12694 0 1 0 2 1 0 0 25 0 13 0 560121906 13874667520 13537 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 47326753905763 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.100519 s]
/proc/loadavg: 2.31 2.10 2.02 3/506 16539
/proc/meminfo: memFree=21074236/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13621248 CPUtime=0.1 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 15482 0 1 0 8 2 0 0 25 0 18 0 560121905 13948157952 15178 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3405312 15178 2092 9 0 3396046 0
[pid=16539/tid=16540] ppid=16537 vsize=13621248 CPUtime=0.09 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 13573 0 1 0 7 2 0 0 18 0 18 0 560121906 13948157952 15178 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 46912496200720 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621248
[startup+0.306526 s]
/proc/loadavg: 2.31 2.10 2.02 3/506 16539
/proc/meminfo: memFree=21074236/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13623356 CPUtime=0.5 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 18985 0 1 0 48 2 0 0 25 0 18 0 560121905 13950316544 18159 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3405839 18159 2212 9 0 3396573 0
[pid=16539/tid=16540] ppid=16537 vsize=13623356 CPUtime=0.29 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 15343 0 1 0 27 2 0 0 18 0 18 0 560121906 13950316544 18161 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 46912505604416 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13623356
[startup+0.700416 s]
/proc/loadavg: 2.31 2.10 2.02 3/506 16539
/proc/meminfo: memFree=21074236/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13634836 CPUtime=1.67 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 42753 0 1 0 161 6 0 0 25 0 18 0 560121905 13962072064 37506 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3408709 37509 2234 9 0 3399443 0
[pid=16539/tid=16540] ppid=16537 vsize=13634836 CPUtime=0.68 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 30373 0 1 0 64 4 0 0 18 0 18 0 560121906 13962072064 37510 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 46912505577142 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 13634836
[startup+1.50128 s]
/proc/loadavg: 2.31 2.10 2.02 4/525 16558
/proc/meminfo: memFree=20864968/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13635864 CPUtime=2.88 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 61582 0 1 0 280 8 0 0 25 0 19 0 560121905 13963124736 56334 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3408966 56334 2244 9 0 3399700 0
[pid=16539/tid=16540] ppid=16537 vsize=13635864 CPUtime=1.48 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 49125 0 1 0 142 6 0 0 20 0 19 0 560121906 13963124736 56334 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 46912506000273 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16539/tid=16542] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16542/stat : 16542 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121908 13963124736 56334 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16543] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16543/stat : 16543 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121908 13963124736 56334 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16544] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16544/stat : 16544 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121908 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16545] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16545/stat : 16545 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121908 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16546] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16546/stat : 16546 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121908 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16547] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16547/stat : 16547 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121908 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16548] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16548/stat : 16548 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121908 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16549] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16549/stat : 16549 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121908 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16550] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16550/stat : 16550 (java) S 16537 16539 13328 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 0 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16551] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16551/stat : 16551 (java) S 16537 16539 13328 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 560121909 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16552] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16552/stat : 16552 (java) S 16537 16539 13328 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 560121909 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16553] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16553/stat : 16553 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 56335 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672485809 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16554] ppid=16537 vsize=13635864 CPUtime=0.69 cores=1,3,5,7
/proc/16539/task/16554/stat : 16554 (java) S 16537 16539 13328 0 -1 4202560 4859 0 0 0 69 0 0 0 23 0 19 0 560121911 13963124736 56336 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16555] ppid=16537 vsize=13635864 CPUtime=0.69 cores=1,3,5,7
/proc/16539/task/16555/stat : 16555 (java) S 16537 16539 13328 0 -1 4202560 6438 0 0 0 68 1 0 0 15 0 19 0 560121911 13963124736 56336 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16556] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16556/stat : 16556 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 56336 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16557] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16557/stat : 16557 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560121911 13963124736 56336 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16558] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16558/stat : 16558 (java) S 16537 16539 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 560121994 13963124736 56336 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 13635864
[startup+3.101 s]
/proc/loadavg: 2.31 2.10 2.02 3/525 16558
/proc/meminfo: memFree=20836076/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13635864 CPUtime=4.63 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 83739 0 1 0 452 11 0 0 25 0 19 0 560121905 13963124736 78472 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3408966 78482 2266 9 0 3399700 0
[pid=16539/tid=16540] ppid=16537 vsize=13635864 CPUtime=2.94 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) S 16537 16539 13328 0 -1 4202560 54778 0 1 0 287 7 0 0 25 0 19 0 560121906 13963124736 78487 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16542] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16542/stat : 16542 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560121908 13963124736 78493 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16543] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16543/stat : 16543 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560121908 13963124736 78499 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16544] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16544/stat : 16544 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560121908 13963124736 78505 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16545] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16545/stat : 16545 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560121908 13963124736 78512 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16546] ppid=16537 vsize=13635864 CPUtime=0.02 cores=1,3,5,7
/proc/16539/task/16546/stat : 16546 (java) S 16537 16539 13328 0 -1 4202560 2078 0 0 0 2 0 0 0 18 0 19 0 560121908 13963124736 78518 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16547] ppid=16537 vsize=13635864 CPUtime=0.02 cores=1,3,5,7
/proc/16539/task/16547/stat : 16547 (java) S 16537 16539 13328 0 -1 4202560 4912 0 0 0 2 0 0 0 18 0 19 0 560121908 13963124736 78523 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16548] ppid=16537 vsize=13635864 CPUtime=0.03 cores=1,3,5,7
/proc/16539/task/16548/stat : 16548 (java) S 16537 16539 13328 0 -1 4202560 1977 0 0 0 3 0 0 0 18 0 19 0 560121908 13963124736 78529 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16549] ppid=16537 vsize=13635864 CPUtime=0.03 cores=1,3,5,7
/proc/16539/task/16549/stat : 16549 (java) S 16537 16539 13328 0 -1 4202560 2056 0 0 0 3 0 0 0 18 0 19 0 560121908 13963124736 78535 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16550] ppid=16537 vsize=13635864 CPUtime=0.09 cores=1,3,5,7
/proc/16539/task/16550/stat : 16550 (java) R 16537 16539 13328 0 -1 4202560 5543 0 0 0 9 0 0 0 17 0 19 0 560121909 13963124736 78541 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268660359832 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=16539/tid=16551] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16551/stat : 16551 (java) S 16537 16539 13328 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 560121909 13963124736 78547 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16552] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16552/stat : 16552 (java) S 16537 16539 13328 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 560121909 13963124736 78552 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16553] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16553/stat : 16553 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 78559 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672485809 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16554] ppid=16537 vsize=13635864 CPUtime=0.73 cores=1,3,5,7
/proc/16539/task/16554/stat : 16554 (java) S 16537 16539 13328 0 -1 4202560 4871 0 0 0 73 0 0 0 15 0 19 0 560121911 13963124736 78565 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16555] ppid=16537 vsize=13635864 CPUtime=0.69 cores=1,3,5,7
/proc/16539/task/16555/stat : 16555 (java) S 16537 16539 13328 0 -1 4202560 6442 0 0 0 68 1 0 0 16 0 19 0 560121911 13963124736 78571 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16556] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16556/stat : 16556 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 78577 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16557] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16557/stat : 16557 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560121911 13963124736 78582 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16558] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16558/stat : 16558 (java) S 16537 16539 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 560121994 13963124736 78590 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 13635864
[startup+6.30142 s]
/proc/loadavg: 2.28 2.10 2.02 3/525 16558
/proc/meminfo: memFree=20688740/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13635864 CPUtime=7.89 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 98890 0 1 0 776 13 0 0 25 0 19 0 560121905 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3408966 93413 2270 9 0 3399700 0
[pid=16539/tid=16540] ppid=16537 vsize=13635864 CPUtime=5.9 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 54783 0 1 0 583 7 0 0 24 0 19 0 560121906 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 46912506083837 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16539/tid=16542] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16542/stat : 16542 (java) S 16537 16539 13328 0 -1 4202560 1506 0 0 0 0 0 0 0 15 0 19 0 560121908 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16543] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16543/stat : 16543 (java) S 16537 16539 13328 0 -1 4202560 1081 0 0 0 0 0 0 0 15 0 19 0 560121908 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16544] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16544/stat : 16544 (java) S 16537 16539 13328 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 560121908 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16545] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16545/stat : 16545 (java) S 16537 16539 13328 0 -1 4202560 1319 0 0 0 0 0 0 0 15 0 19 0 560121908 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16546] ppid=16537 vsize=13635864 CPUtime=0.03 cores=1,3,5,7
/proc/16539/task/16546/stat : 16546 (java) S 16537 16539 13328 0 -1 4202560 3516 0 0 0 3 0 0 0 18 0 19 0 560121908 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16547] ppid=16537 vsize=13635864 CPUtime=0.03 cores=1,3,5,7
/proc/16539/task/16547/stat : 16547 (java) S 16537 16539 13328 0 -1 4202560 4989 0 0 0 3 0 0 0 18 0 19 0 560121908 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16548] ppid=16537 vsize=13635864 CPUtime=0.03 cores=1,3,5,7
/proc/16539/task/16548/stat : 16548 (java) S 16537 16539 13328 0 -1 4202560 2054 0 0 0 3 0 0 0 16 0 19 0 560121908 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16549] ppid=16537 vsize=13635864 CPUtime=0.03 cores=1,3,5,7
/proc/16539/task/16549/stat : 16549 (java) S 16537 16539 13328 0 -1 4202560 2059 0 0 0 3 0 0 0 16 0 19 0 560121908 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16550] ppid=16537 vsize=13635864 CPUtime=0.32 cores=1,3,5,7
/proc/16539/task/16550/stat : 16550 (java) S 16537 16539 13328 0 -1 4202560 15111 0 0 0 31 1 0 0 16 0 19 0 560121909 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 0 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16551] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16551/stat : 16551 (java) S 16537 16539 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16552] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16552/stat : 16552 (java) S 16537 16539 13328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16553] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16553/stat : 16553 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672485809 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16554] ppid=16537 vsize=13635864 CPUtime=0.76 cores=1,3,5,7
/proc/16539/task/16554/stat : 16554 (java) S 16537 16539 13328 0 -1 4202560 4877 0 0 0 76 0 0 0 15 0 19 0 560121911 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16555] ppid=16537 vsize=13635864 CPUtime=0.71 cores=1,3,5,7
/proc/16539/task/16555/stat : 16555 (java) S 16537 16539 13328 0 -1 4202560 6443 0 0 0 70 1 0 0 15 0 19 0 560121911 13963124736 93413 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=16539/tid=16547] ppid=16537 vsize=13635864 CPUtime=0.95 cores=1,3,5,7
/proc/16539/task/16547/stat : 16547 (java) S 16537 16539 13328 0 -1 4202560 11623 0 0 0 94 1 0 0 16 0 19 0 560121908 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16548] ppid=16537 vsize=13635864 CPUtime=1.07 cores=1,3,5,7
/proc/16539/task/16548/stat : 16548 (java) S 16537 16539 13328 0 -1 4202560 13868 0 0 0 105 2 0 0 16 0 19 0 560121908 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16549] ppid=16537 vsize=13635864 CPUtime=0.93 cores=1,3,5,7
/proc/16539/task/16549/stat : 16549 (java) S 16537 16539 13328 0 -1 4202560 16428 0 0 0 91 2 0 0 16 0 19 0 560121908 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16550] ppid=16537 vsize=13635864 CPUtime=17.01 cores=1,3,5,7
/proc/16539/task/16550/stat : 16550 (java) S 16537 16539 13328 0 -1 4202560 105089 0 0 0 1689 12 0 0 15 0 19 0 560121909 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 0 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16551] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16551/stat : 16551 (java) S 16537 16539 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16552] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16552/stat : 16552 (java) S 16537 16539 13328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16553] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16553/stat : 16553 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672485809 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16554] ppid=16537 vsize=13635864 CPUtime=0.8 cores=1,3,5,7
/proc/16539/task/16554/stat : 16554 (java) S 16537 16539 13328 0 -1 4202560 4925 0 0 0 80 0 0 0 15 0 19 0 560121911 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16555] ppid=16537 vsize=13635864 CPUtime=0.71 cores=1,3,5,7
/proc/16539/task/16555/stat : 16555 (java) S 16537 16539 13328 0 -1 4202560 6447 0 0 0 70 1 0 0 15 0 19 0 560121911 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16556] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16556/stat : 16556 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16557] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16557/stat : 16557 (java) S 16537 16539 13328 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 560121911 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16558] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16558/stat : 16558 (java) S 16537 16539 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 560121994 13963124736 337162 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.73
Current children cumulated vsize (KiB) 13635864
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 16616
/proc/meminfo: memFree=18806100/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13635864 CPUtime=1729.94 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 354201 0 1 0 172944 50 0 0 25 0 19 0 560121905 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3408966 348378 2271 9 0 3399700 0
[pid=16539/tid=16540] ppid=16537 vsize=13635864 CPUtime=1701.82 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 84714 0 1 0 170170 12 0 0 25 0 19 0 560121906 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 46912506068096 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16539/tid=16542] ppid=16537 vsize=13635864 CPUtime=1.03 cores=1,3,5,7
/proc/16539/task/16542/stat : 16542 (java) S 16537 16539 13328 0 -1 4202560 19137 0 0 0 100 3 0 0 16 0 19 0 560121908 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16543] ppid=16537 vsize=13635864 CPUtime=1.4 cores=1,3,5,7
/proc/16539/task/16543/stat : 16543 (java) S 16537 16539 13328 0 -1 4202560 22645 0 0 0 137 3 0 0 16 0 19 0 560121908 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16544] ppid=16537 vsize=13635864 CPUtime=1.08 cores=1,3,5,7
/proc/16539/task/16544/stat : 16544 (java) S 16537 16539 13328 0 -1 4202560 15023 0 0 0 106 2 0 0 16 0 19 0 560121908 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16545] ppid=16537 vsize=13635864 CPUtime=1.31 cores=1,3,5,7
/proc/16539/task/16545/stat : 16545 (java) S 16537 16539 13328 0 -1 4202560 23632 0 0 0 128 3 0 0 15 0 19 0 560121908 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16546] ppid=16537 vsize=13635864 CPUtime=1.2 cores=1,3,5,7
/proc/16539/task/16546/stat : 16546 (java) S 16537 16539 13328 0 -1 4202560 18203 0 0 0 117 3 0 0 16 0 19 0 560121908 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16547] ppid=16537 vsize=13635864 CPUtime=1.03 cores=1,3,5,7
/proc/16539/task/16547/stat : 16547 (java) S 16537 16539 13328 0 -1 4202560 11629 0 0 0 102 1 0 0 16 0 19 0 560121908 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16548] ppid=16537 vsize=13635864 CPUtime=1.14 cores=1,3,5,7
/proc/16539/task/16548/stat : 16548 (java) S 16537 16539 13328 0 -1 4202560 13868 0 0 0 112 2 0 0 16 0 19 0 560121908 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16549] ppid=16537 vsize=13635864 CPUtime=0.94 cores=1,3,5,7
/proc/16539/task/16549/stat : 16549 (java) S 16537 16539 13328 0 -1 4202560 16428 0 0 0 92 2 0 0 15 0 19 0 560121908 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16550] ppid=16537 vsize=13635864 CPUtime=17.38 cores=1,3,5,7
/proc/16539/task/16550/stat : 16550 (java) S 16537 16539 13328 0 -1 4202560 116303 0 0 0 1725 13 0 0 15 0 19 0 560121909 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 0 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16551] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16551/stat : 16551 (java) S 16537 16539 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16552] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16552/stat : 16552 (java) S 16537 16539 13328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16553] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16553/stat : 16553 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672485809 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16554] ppid=16537 vsize=13635864 CPUtime=0.8 cores=1,3,5,7
/proc/16539/task/16554/stat : 16554 (java) S 16537 16539 13328 0 -1 4202560 4925 0 0 0 80 0 0 0 15 0 19 0 560121911 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16555] ppid=16537 vsize=13635864 CPUtime=0.71 cores=1,3,5,7
/proc/16539/task/16555/stat : 16555 (java) S 16537 16539 13328 0 -1 4202560 6447 0 0 0 70 1 0 0 15 0 19 0 560121911 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16556] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16556/stat : 16556 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16557] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16557/stat : 16557 (java) S 16537 16539 13328 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 560121911 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16558] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16558/stat : 16558 (java) S 16537 16539 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 560121994 13963124736 348378 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.94
Current children cumulated vsize (KiB) 13635864
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 16617
/proc/meminfo: memFree=18804832/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13635864 CPUtime=1790.13 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 354218 0 1 0 178963 50 0 0 25 0 19 0 560121905 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3408966 348387 2271 9 0 3399700 0
[pid=16539/tid=16540] ppid=16537 vsize=13635864 CPUtime=1761.23 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 84716 0 1 0 176111 12 0 0 25 0 19 0 560121906 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 46912506094621 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16539/tid=16542] ppid=16537 vsize=13635864 CPUtime=1.07 cores=1,3,5,7
/proc/16539/task/16542/stat : 16542 (java) S 16537 16539 13328 0 -1 4202560 19137 0 0 0 104 3 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16543] ppid=16537 vsize=13635864 CPUtime=1.4 cores=1,3,5,7
/proc/16539/task/16543/stat : 16543 (java) S 16537 16539 13328 0 -1 4202560 22645 0 0 0 137 3 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16544] ppid=16537 vsize=13635864 CPUtime=1.13 cores=1,3,5,7
/proc/16539/task/16544/stat : 16544 (java) S 16537 16539 13328 0 -1 4202560 15023 0 0 0 111 2 0 0 16 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16545] ppid=16537 vsize=13635864 CPUtime=1.31 cores=1,3,5,7
/proc/16539/task/16545/stat : 16545 (java) S 16537 16539 13328 0 -1 4202560 23632 0 0 0 128 3 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16546] ppid=16537 vsize=13635864 CPUtime=1.25 cores=1,3,5,7
/proc/16539/task/16546/stat : 16546 (java) S 16537 16539 13328 0 -1 4202560 18212 0 0 0 122 3 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16547] ppid=16537 vsize=13635864 CPUtime=1.03 cores=1,3,5,7
/proc/16539/task/16547/stat : 16547 (java) S 16537 16539 13328 0 -1 4202560 11629 0 0 0 102 1 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16548] ppid=16537 vsize=13635864 CPUtime=1.19 cores=1,3,5,7
/proc/16539/task/16548/stat : 16548 (java) S 16537 16539 13328 0 -1 4202560 13868 0 0 0 117 2 0 0 16 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16549] ppid=16537 vsize=13635864 CPUtime=1.03 cores=1,3,5,7
/proc/16539/task/16549/stat : 16549 (java) S 16537 16539 13328 0 -1 4202560 16428 0 0 0 101 2 0 0 16 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16550] ppid=16537 vsize=13635864 CPUtime=17.87 cores=1,3,5,7
/proc/16539/task/16550/stat : 16550 (java) S 16537 16539 13328 0 -1 4202560 116305 0 0 0 1774 13 0 0 15 0 19 0 560121909 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 0 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16551] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16551/stat : 16551 (java) S 16537 16539 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16552] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16552/stat : 16552 (java) S 16537 16539 13328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16553] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16553/stat : 16553 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672485809 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16554] ppid=16537 vsize=13635864 CPUtime=0.8 cores=1,3,5,7
/proc/16539/task/16554/stat : 16554 (java) S 16537 16539 13328 0 -1 4202560 4925 0 0 0 80 0 0 0 15 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16555] ppid=16537 vsize=13635864 CPUtime=0.71 cores=1,3,5,7
/proc/16539/task/16555/stat : 16555 (java) S 16537 16539 13328 0 -1 4202560 6447 0 0 0 70 1 0 0 15 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16556] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16556/stat : 16556 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16557] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16557/stat : 16557 (java) S 16537 16539 13328 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16558] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16558/stat : 16558 (java) S 16537 16539 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 560121994 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.13
Current children cumulated vsize (KiB) 13635864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.2 s]
/proc/loadavg: 1.92 2.01 1.99 2/501 16637
/proc/meminfo: memFree=20050744/32951124 swapFree=46575304/67111528
[pid=16539] ppid=16537 vsize=13635864 CPUtime=1800.04 cores=1,3,5,7
/proc/16539/stat : 16539 (java) S 16537 16539 13328 0 -1 4202496 354218 0 1 0 179954 50 0 0 25 0 19 0 560121905 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16539/statm: 3408966 348387 2271 9 0 3399700 0
[pid=16539/tid=16540] ppid=16537 vsize=13635864 CPUtime=1771.15 cores=1,3,5,7
/proc/16539/task/16540/stat : 16540 (java) R 16537 16539 13328 0 -1 4202560 84716 0 1 0 177103 12 0 0 25 0 19 0 560121906 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 46912506083776 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16539/tid=16542] ppid=16537 vsize=13635864 CPUtime=1.07 cores=1,3,5,7
/proc/16539/task/16542/stat : 16542 (java) S 16537 16539 13328 0 -1 4202560 19137 0 0 0 104 3 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16543] ppid=16537 vsize=13635864 CPUtime=1.4 cores=1,3,5,7
/proc/16539/task/16543/stat : 16543 (java) S 16537 16539 13328 0 -1 4202560 22645 0 0 0 137 3 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16544] ppid=16537 vsize=13635864 CPUtime=1.13 cores=1,3,5,7
/proc/16539/task/16544/stat : 16544 (java) S 16537 16539 13328 0 -1 4202560 15023 0 0 0 111 2 0 0 16 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16545] ppid=16537 vsize=13635864 CPUtime=1.31 cores=1,3,5,7
/proc/16539/task/16545/stat : 16545 (java) S 16537 16539 13328 0 -1 4202560 23632 0 0 0 128 3 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16546] ppid=16537 vsize=13635864 CPUtime=1.25 cores=1,3,5,7
/proc/16539/task/16546/stat : 16546 (java) S 16537 16539 13328 0 -1 4202560 18212 0 0 0 122 3 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16547] ppid=16537 vsize=13635864 CPUtime=1.03 cores=1,3,5,7
/proc/16539/task/16547/stat : 16547 (java) S 16537 16539 13328 0 -1 4202560 11629 0 0 0 102 1 0 0 15 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16548] ppid=16537 vsize=13635864 CPUtime=1.19 cores=1,3,5,7
/proc/16539/task/16548/stat : 16548 (java) S 16537 16539 13328 0 -1 4202560 13868 0 0 0 117 2 0 0 16 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16549] ppid=16537 vsize=13635864 CPUtime=1.03 cores=1,3,5,7
/proc/16539/task/16549/stat : 16549 (java) S 16537 16539 13328 0 -1 4202560 16428 0 0 0 101 2 0 0 16 0 19 0 560121908 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
[pid=16539/tid=16550] ppid=16537 vsize=13635864 CPUtime=17.87 cores=1,3,5,7
/proc/16539/task/16550/stat : 16550 (java) S 16537 16539 13328 0 -1 4202560 116305 0 0 0 1774 13 0 0 15 0 19 0 560121909 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 0 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16551] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16551/stat : 16551 (java) S 16537 16539 13328 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16552] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16552/stat : 16552 (java) S 16537 16539 13328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560121909 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16553] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16553/stat : 16553 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672485809 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16554] ppid=16537 vsize=13635864 CPUtime=0.8 cores=1,3,5,7
/proc/16539/task/16554/stat : 16554 (java) S 16537 16539 13328 0 -1 4202560 4925 0 0 0 80 0 0 0 15 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 5 0 0 0
[pid=16539/tid=16555] ppid=16537 vsize=13635864 CPUtime=0.71 cores=1,3,5,7
/proc/16539/task/16555/stat : 16555 (java) S 16537 16539 13328 0 -1 4202560 6447 0 0 0 70 1 0 0 15 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 3 0 0 0
[pid=16539/tid=16556] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16556/stat : 16556 (java) S 16537 16539 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478105 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16557] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16557/stat : 16557 (java) S 16537 16539 13328 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 560121911 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 1 0 0 0
[pid=16539/tid=16558] ppid=16537 vsize=13635864 CPUtime=0 cores=1,3,5,7
/proc/16539/task/16558/stat : 16558 (java) S 16537 16539 13328 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 560121994 13963124736 348387 33554432000 1073741824 1073778376 140734989131824 18446744073709551615 268672478720 0 4 0 16800975 18446604460726387712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13635864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1792.31
CPU time (s): 1800.21
CPU user time (s): 1799.65
CPU system time (s): 0.558915
CPU usage (%): 100.44
Max. virtual memory (cumulated for all children) (KiB): 13635864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.558915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354266
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= 39751
involuntary context switches= 6009
runsolver used 8.5437 second user time and 20.8338 second system time
The end