runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688887-1337888419/watcher-3688887-1337888419 -o /tmp/evaluation-result-3688887-1337888419/solver-3688887-1337888419 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688887-1337888419.opb
running on 4 cores: 0,2,4,6
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: 1.99 1.98 1.99 3/195 29529
/proc/meminfo: memFree=29288988/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 1205 0 0 0 0 0 0 0 20 0 2 0 254967766 94019584 917 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 22954 917 697 9 0 16769 0
[pid=29529/tid=29530] ppid=29527 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 254967767 94019584 917 33554432000 1073741824 1073778376 140734215057568 140243197972008 242158234919 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.0344109 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 29529
/proc/meminfo: memFree=29288988/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 3002 0 1 0 2 0 0 0 20 0 13 0 254967766 9446973440 3700 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2306390 3701 1683 9 0 2297091 0
[pid=29529/tid=29530] ppid=29527 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 1822 0 1 0 1 0 0 0 20 0 13 0 254967767 9446973440 3701 33554432000 1073741824 1073778376 140734215057568 140243197972720 242170782989 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100274 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 29529
/proc/meminfo: memFree=29288988/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 4441 0 1 0 10 1 0 0 20 0 18 0 254967766 9787813888 6100 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2389603 6100 2130 9 0 2380296 0
[pid=29529/tid=29530] ppid=29527 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2431 0 1 0 7 1 0 0 20 0 18 0 254967767 9787813888 6100 33554432000 1073741824 1073778376 140734215057568 140243197977336 242170782989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300265 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 29529
/proc/meminfo: memFree=29288988/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 9277 0 1 0 52 2 0 0 20 0 19 0 254967766 9855975424 10661 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2406244 10661 2224 9 0 2396937 0
[pid=29529/tid=29530] ppid=29527 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2459 0 1 0 26 2 0 0 20 0 19 0 254967767 9855975424 10661 33554432000 1073741824 1073778376 140734215057568 140243197977360 140243047127002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9624976
[startup+0.700224 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 29529
/proc/meminfo: memFree=29288988/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9624976 CPUtime=1.27 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 10625 0 1 0 125 2 0 0 20 0 19 0 254967766 9855975424 11714 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2406244 11714 2240 9 0 2396937 0
[pid=29529/tid=29530] ppid=29527 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2460 0 1 0 66 2 0 0 20 0 19 0 254967767 9855975424 11714 33554432000 1073741824 1073778376 140734215057568 140243197977016 140243047085659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9624976
[startup+1.50072 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 29548
/proc/meminfo: memFree=29244220/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9624976 CPUtime=2.13 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 10686 0 1 0 211 2 0 0 20 0 19 0 254967766 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2406244 14325 2269 9 0 2396937 0
[pid=29529/tid=29530] ppid=29527 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2464 0 1 0 144 2 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243197976984 140243047557531 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29532] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29532/stat : 29532 (java) S 29527 29529 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243170429864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29533] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29533/stat : 29533 (java) S 29527 29529 27428 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243169377320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29534] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29534/stat : 29534 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243168324264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29535] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29535/stat : 29535 (java) S 29527 29529 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243167271720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29536] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29536/stat : 29536 (java) S 29527 29529 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243166218664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29537] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29537/stat : 29537 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243036056104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29538] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29538/stat : 29538 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243035003048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29539] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29539/stat : 29539 (java) S 29527 29529 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140243033950504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29540] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29540/stat : 29540 (java) S 29527 29529 27428 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242551004008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29541] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29541/stat : 29541 (java) S 29527 29529 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242549950328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29542] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29542/stat : 29542 (java) S 29527 29529 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242548897160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29543] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29543/stat : 29543 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242547845904 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29544] ppid=29527 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/29529/task/29544/stat : 29544 (java) S 29527 29529 27428 0 -1 4202560 4417 0 0 0 33 0 0 0 20 0 19 0 254967771 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242546792760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29545] ppid=29527 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/29529/task/29545/stat : 29545 (java) S 29527 29529 27428 0 -1 4202560 2558 0 0 0 29 0 0 0 20 0 19 0 254967771 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242545740216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29546] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29546/stat : 29546 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242544687352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29547] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29547/stat : 29547 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242543635016 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29548] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29548/stat : 29548 (java) S 29527 29529 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254967793 9855975424 14325 33554432000 1073741824 1073778376 140734215057568 140242542581288 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9624976
[startup+3.10061 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 29548
/proc/meminfo: memFree=29239504/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9624976 CPUtime=3.78 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 11054 0 1 0 376 2 0 0 20 0 19 0 254967766 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2406244 14335 2269 9 0 2396937 0
[pid=29529/tid=29530] ppid=29527 vsize=9624976 CPUtime=3.04 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2465 0 1 0 302 2 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243197976864 140243047636566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29532] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29532/stat : 29532 (java) S 29527 29529 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243170429864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29533] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29533/stat : 29533 (java) S 29527 29529 27428 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243169377320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29534] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29534/stat : 29534 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243168324264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29535] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29535/stat : 29535 (java) S 29527 29529 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243167271720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29536] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29536/stat : 29536 (java) S 29527 29529 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243166218664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29537] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29537/stat : 29537 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243036056104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29538] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29538/stat : 29538 (java) S 29527 29529 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243035003048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29539] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29539/stat : 29539 (java) S 29527 29529 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140243033950504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29540] ppid=29527 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/29529/task/29540/stat : 29540 (java) S 29527 29529 27428 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 254967769 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242551004008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29541] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29541/stat : 29541 (java) S 29527 29529 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242549950328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29542] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29542/stat : 29542 (java) S 29527 29529 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242548897160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29543] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29543/stat : 29543 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242547845904 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29544] ppid=29527 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/29529/task/29544/stat : 29544 (java) S 29527 29529 27428 0 -1 4202560 4417 0 0 0 33 0 0 0 20 0 19 0 254967771 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242546792760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29545] ppid=29527 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/29529/task/29545/stat : 29545 (java) S 29527 29529 27428 0 -1 4202560 2915 0 0 0 33 0 0 0 20 0 19 0 254967771 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242545740216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29546] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29546/stat : 29546 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242544687352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29547] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29547/stat : 29547 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242543635016 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29548] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29548/stat : 29548 (java) S 29527 29529 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254967793 9855975424 14335 33554432000 1073741824 1073778376 140734215057568 140242542581288 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9624976
[startup+6.30071 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 29548
/proc/meminfo: memFree=29235656/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9624976 CPUtime=7.01 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 11081 0 1 0 698 3 0 0 20 0 19 0 254967766 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2406244 15446 2269 9 0 2396937 0
[pid=29529/tid=29530] ppid=29527 vsize=9624976 CPUtime=6.18 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2470 0 1 0 616 2 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243197976984 140243047558166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29532] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29532/stat : 29532 (java) S 29527 29529 27428 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243170429864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29533] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29533/stat : 29533 (java) S 29527 29529 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243169377320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29534] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29534/stat : 29534 (java) S 29527 29529 27428 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243168324264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29535] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29535/stat : 29535 (java) S 29527 29529 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243167271720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29536] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29536/stat : 29536 (java) S 29527 29529 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243166218664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29537] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29537/stat : 29537 (java) S 29527 29529 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243036056104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29538] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29538/stat : 29538 (java) S 29527 29529 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243035003048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29539] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29539/stat : 29539 (java) S 29527 29529 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254967767 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140243033950504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29540] ppid=29527 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/29529/task/29540/stat : 29540 (java) S 29527 29529 27428 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 254967769 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140242551004008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29541] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29541/stat : 29541 (java) S 29527 29529 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140242549950328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29542] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29542/stat : 29542 (java) S 29527 29529 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140242548897160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29543] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29543/stat : 29543 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140242547845904 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29544] ppid=29527 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/29529/task/29544/stat : 29544 (java) S 29527 29529 27428 0 -1 4202560 4417 0 0 0 33 0 0 0 20 0 19 0 254967771 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140242546792760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29545] ppid=29527 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/29529/task/29545/stat : 29545 (java) S 29527 29529 27428 0 -1 4202560 2915 0 0 0 34 0 0 0 20 0 19 0 254967771 9855975424 15446 33554432000 1073741824 1073778376 140734215057568 140242545740216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=29529/tid=29537] ppid=29527 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/29529/task/29537/stat : 29537 (java) S 29527 29529 27428 0 -1 4202560 168 0 0 0 55 2 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243036056104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29538] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29538/stat : 29538 (java) S 29527 29529 27428 0 -1 4202560 145 0 0 0 56 3 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243035003048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29539] ppid=29527 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/29529/task/29539/stat : 29539 (java) S 29527 29529 27428 0 -1 4202560 123 0 0 0 55 2 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243033950504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29540] ppid=29527 vsize=9624976 CPUtime=4.54 cores=0,2,4,6
/proc/29529/task/29540/stat : 29540 (java) S 29527 29529 27428 0 -1 4202560 137 0 0 0 451 3 0 0 20 0 19 0 254967769 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242551004008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29541] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29541/stat : 29541 (java) S 29527 29529 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242549950328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29542] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29542/stat : 29542 (java) S 29527 29529 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242548897160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29543] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29543/stat : 29543 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242547845904 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29544] ppid=29527 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/29529/task/29544/stat : 29544 (java) S 29527 29529 27428 0 -1 4202560 4417 0 0 0 33 0 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242546792760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29545] ppid=29527 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/29529/task/29545/stat : 29545 (java) S 29527 29529 27428 0 -1 4202560 2923 0 0 0 36 0 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242545740216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29546] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29546/stat : 29546 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242544687352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29547] ppid=29527 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/29529/task/29547/stat : 29547 (java) S 29527 29529 27428 0 -1 4202560 99 0 0 0 23 24 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242543635016 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29548] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29548/stat : 29548 (java) S 29527 29529 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254967793 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242542581288 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.37
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 29698
/proc/meminfo: memFree=26545176/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9624976 CPUtime=1786.43 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 12760 0 1 0 178595 48 0 0 20 0 19 0 254967766 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2406244 54600 2270 9 0 2396937 0
[pid=29529/tid=29530] ppid=29527 vsize=9624976 CPUtime=1776.12 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2620 0 1 0 177581 31 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243197976864 140243047622321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29532] ppid=29527 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/29529/task/29532/stat : 29532 (java) S 29527 29529 27428 0 -1 4202560 277 0 0 0 55 2 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243170429864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29533] ppid=29527 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/29529/task/29533/stat : 29533 (java) S 29527 29529 27428 0 -1 4202560 175 0 0 0 53 0 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243169377320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29534] ppid=29527 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/29529/task/29534/stat : 29534 (java) S 29527 29529 27428 0 -1 4202560 134 0 0 0 56 2 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243168324264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29535] ppid=29527 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/29529/task/29535/stat : 29535 (java) S 29527 29529 27428 0 -1 4202560 269 0 0 0 55 2 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243167271720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29536] ppid=29527 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/29529/task/29536/stat : 29536 (java) S 29527 29529 27428 0 -1 4202560 80 0 0 0 55 3 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243166218664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29537] ppid=29527 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/29529/task/29537/stat : 29537 (java) S 29527 29529 27428 0 -1 4202560 168 0 0 0 56 2 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243036056104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29538] ppid=29527 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/29529/task/29538/stat : 29538 (java) S 29527 29529 27428 0 -1 4202560 145 0 0 0 58 3 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243035003048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29539] ppid=29527 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/29529/task/29539/stat : 29539 (java) S 29527 29529 27428 0 -1 4202560 123 0 0 0 55 2 0 0 20 0 19 0 254967767 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140243033950504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29540] ppid=29527 vsize=9624976 CPUtime=4.67 cores=0,2,4,6
/proc/29529/task/29540/stat : 29540 (java) S 29527 29529 27428 0 -1 4202560 141 0 0 0 464 3 0 0 20 0 19 0 254967769 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242551004008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29541] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29541/stat : 29541 (java) S 29527 29529 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242549950328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29542] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29542/stat : 29542 (java) S 29527 29529 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242548897160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29543] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29543/stat : 29543 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242547845904 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29544] ppid=29527 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/29529/task/29544/stat : 29544 (java) S 29527 29529 27428 0 -1 4202560 4417 0 0 0 33 0 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242546792760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29545] ppid=29527 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/29529/task/29545/stat : 29545 (java) S 29527 29529 27428 0 -1 4202560 2923 0 0 0 36 0 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242545740216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29546] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29546/stat : 29546 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242544687352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29547] ppid=29527 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/29529/task/29547/stat : 29547 (java) S 29527 29529 27428 0 -1 4202560 103 0 0 0 23 26 0 0 20 0 19 0 254967771 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242543635016 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29548] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29548/stat : 29548 (java) S 29527 29529 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254967793 9855975424 54600 33554432000 1073741824 1073778376 140734215057568 140242542581288 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.43
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 29702
/proc/meminfo: memFree=26541248/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9624976 CPUtime=1800.1 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 12770 0 1 0 179962 48 0 0 20 0 19 0 254967766 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2406244 55629 2270 9 0 2396937 0
[pid=29529/tid=29530] ppid=29527 vsize=9624976 CPUtime=1789.65 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2623 0 1 0 178933 32 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243197976864 140243047557725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29532] ppid=29527 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/29529/task/29532/stat : 29532 (java) S 29527 29529 27428 0 -1 4202560 277 0 0 0 56 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243170429864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29533] ppid=29527 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/29529/task/29533/stat : 29533 (java) S 29527 29529 27428 0 -1 4202560 180 0 0 0 54 0 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243169377320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29534] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29534/stat : 29534 (java) S 29527 29529 27428 0 -1 4202560 134 0 0 0 57 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243168324264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29535] ppid=29527 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/29529/task/29535/stat : 29535 (java) S 29527 29529 27428 0 -1 4202560 269 0 0 0 56 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243167271720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29536] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29536/stat : 29536 (java) S 29527 29529 27428 0 -1 4202560 80 0 0 0 56 3 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243166218664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29537] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29537/stat : 29537 (java) S 29527 29529 27428 0 -1 4202560 168 0 0 0 57 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243036056104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29538] ppid=29527 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/29529/task/29538/stat : 29538 (java) S 29527 29529 27428 0 -1 4202560 145 0 0 0 59 3 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243035003048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29539] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29539/stat : 29539 (java) S 29527 29529 27428 0 -1 4202560 123 0 0 0 57 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243033950504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29540] ppid=29527 vsize=9624976 CPUtime=4.73 cores=0,2,4,6
/proc/29529/task/29540/stat : 29540 (java) S 29527 29529 27428 0 -1 4202560 143 0 0 0 470 3 0 0 20 0 19 0 254967769 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242551004008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29541] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29541/stat : 29541 (java) S 29527 29529 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242549950328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29542] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29542/stat : 29542 (java) S 29527 29529 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242548897160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29543] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29543/stat : 29543 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242547845904 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29544] ppid=29527 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/29529/task/29544/stat : 29544 (java) S 29527 29529 27428 0 -1 4202560 4417 0 0 0 33 0 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242546792760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29545] ppid=29527 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/29529/task/29545/stat : 29545 (java) S 29527 29529 27428 0 -1 4202560 2923 0 0 0 36 0 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242545740216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29546] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29546/stat : 29546 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242544687352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29547] ppid=29527 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/29529/task/29547/stat : 29547 (java) S 29527 29529 27428 0 -1 4202560 103 0 0 0 24 26 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242543635016 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29548] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29548/stat : 29548 (java) S 29527 29529 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254967793 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242542581288 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 29702
/proc/meminfo: memFree=26541248/32873648 swapFree=7112/7112
[pid=29529] ppid=29527 vsize=9624976 CPUtime=1800.1 cores=0,2,4,6
/proc/29529/stat : 29529 (java) S 29527 29529 27428 0 -1 4202496 12770 0 1 0 179962 48 0 0 20 0 19 0 254967766 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140734215048704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29529/statm: 2406244 55629 2270 9 0 2396937 0
[pid=29529/tid=29530] ppid=29527 vsize=9624976 CPUtime=1789.65 cores=0,2,4,6
/proc/29529/task/29530/stat : 29530 (java) R 29527 29529 27428 0 -1 4202560 2623 0 1 0 178933 32 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243197976864 140243047557725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29532] ppid=29527 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/29529/task/29532/stat : 29532 (java) S 29527 29529 27428 0 -1 4202560 277 0 0 0 56 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243170429864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29533] ppid=29527 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/29529/task/29533/stat : 29533 (java) S 29527 29529 27428 0 -1 4202560 180 0 0 0 54 0 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243169377320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29534] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29534/stat : 29534 (java) S 29527 29529 27428 0 -1 4202560 134 0 0 0 57 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243168324264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29535] ppid=29527 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/29529/task/29535/stat : 29535 (java) S 29527 29529 27428 0 -1 4202560 269 0 0 0 56 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243167271720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29536] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29536/stat : 29536 (java) S 29527 29529 27428 0 -1 4202560 80 0 0 0 56 3 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243166218664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29537] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29537/stat : 29537 (java) S 29527 29529 27428 0 -1 4202560 168 0 0 0 57 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243036056104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29538] ppid=29527 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/29529/task/29538/stat : 29538 (java) S 29527 29529 27428 0 -1 4202560 145 0 0 0 59 3 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243035003048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29539] ppid=29527 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/29529/task/29539/stat : 29539 (java) S 29527 29529 27428 0 -1 4202560 123 0 0 0 57 2 0 0 20 0 19 0 254967767 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140243033950504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29540] ppid=29527 vsize=9624976 CPUtime=4.73 cores=0,2,4,6
/proc/29529/task/29540/stat : 29540 (java) S 29527 29529 27428 0 -1 4202560 143 0 0 0 470 3 0 0 20 0 19 0 254967769 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242551004008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29529/tid=29541] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29541/stat : 29541 (java) S 29527 29529 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242549950328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29542] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29542/stat : 29542 (java) S 29527 29529 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254967769 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242548897160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29543] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29543/stat : 29543 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242547845904 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29544] ppid=29527 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/29529/task/29544/stat : 29544 (java) S 29527 29529 27428 0 -1 4202560 4417 0 0 0 33 0 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242546792760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29529/tid=29545] ppid=29527 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/29529/task/29545/stat : 29545 (java) S 29527 29529 27428 0 -1 4202560 2923 0 0 0 36 0 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242545740216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29546] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29546/stat : 29546 (java) S 29527 29529 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242544687352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29529/tid=29547] ppid=29527 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/29529/task/29547/stat : 29547 (java) S 29527 29529 27428 0 -1 4202560 103 0 0 0 24 26 0 0 20 0 19 0 254967771 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242543635016 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29529/tid=29548] ppid=29527 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29529/task/29548/stat : 29548 (java) S 29527 29529 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254967793 9855975424 55629 33554432000 1073741824 1073778376 140734215057568 140242542581288 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1795.95
CPU time (s): 1800.6
CPU user time (s): 1799.69
CPU system time (s): 0.910861
CPU usage (%): 100.259
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.910861
maximum resident set size= 222676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12812
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41664
involuntary context switches= 24125
runsolver used 6.37203 second user time and 14.8517 second system time
The end