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-3689833-1337893489/watcher-3689833-1337893489 -o /tmp/evaluation-result-3689833-1337893489/solver-3689833-1337893489 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689833-1337893489.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.00 2.01 2.04 3/194 30504
/proc/meminfo: memFree=28437212/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (java) D 30502 30504 24394 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 255473531 278528 33 33554432000 1073741824 1073778376 140737300785408 140737300782584 248781040935 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 68 33 25 9 0 25 0
[startup+0.09387 s]
/proc/loadavg: 2.00 2.01 2.04 3/194 30504
/proc/meminfo: memFree=28437212/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 3349 0 1 0 5 1 0 0 20 0 18 0 255473531 9787813888 4558 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2389603 4558 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100318 s]
/proc/loadavg: 2.00 2.01 2.04 3/194 30504
/proc/meminfo: memFree=28437212/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 3665 0 1 0 5 1 0 0 20 0 18 0 255473531 9787813888 4874 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2389603 4875 1933 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.300275 s]
/proc/loadavg: 2.00 2.01 2.04 3/194 30504
/proc/meminfo: memFree=28437212/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 5861 0 1 0 46 2 0 0 20 0 18 0 255473531 9787813888 12467 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2389603 12467 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/194 30504
/proc/meminfo: memFree=28437212/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9558412 CPUtime=1.29 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 9345 0 1 0 122 7 0 0 20 0 18 0 255473531 9787813888 45468 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2389603 45468 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9558412
[startup+1.50077 s]
/proc/loadavg: 2.00 2.01 2.04 3/212 30522
/proc/meminfo: memFree=28110368/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9558412 CPUtime=2.42 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 10062 0 1 0 225 17 0 0 20 0 18 0 255473531 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2389603 89545 2247 9 0 2380296 0
[pid=30504/tid=30506] ppid=30502 vsize=9558412 CPUtime=1.31 cores=1,3,5,7
/proc/30504/task/30506/stat : 30506 (java) R 30502 30504 24394 0 -1 4202560 2556 0 1 0 125 6 0 0 20 0 18 0 255473532 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203582623632 248793589005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30507] ppid=30502 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/30504/task/30507/stat : 30507 (java) S 30502 30504 24394 0 -1 4202560 119 0 0 0 2 2 0 0 20 0 18 0 255473534 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203571694632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30508] ppid=30502 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/30504/task/30508/stat : 30508 (java) S 30502 30504 24394 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 18 0 255473534 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203425217448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30509] ppid=30502 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/30504/task/30509/stat : 30509 (java) S 30502 30504 24394 0 -1 4202560 128 0 0 0 7 2 0 0 20 0 18 0 255473534 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203424164648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30510] ppid=30502 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/30504/task/30510/stat : 30510 (java) S 30502 30504 24394 0 -1 4202560 51 0 0 0 4 2 0 0 20 0 18 0 255473534 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203423111848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30511] ppid=30502 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/30504/task/30511/stat : 30511 (java) S 30502 30504 24394 0 -1 4202560 129 0 0 0 5 2 0 0 20 0 18 0 255473534 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203422059048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30512] ppid=30502 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/30504/task/30512/stat : 30512 (java) S 30502 30504 24394 0 -1 4202560 102 0 0 0 3 1 0 0 20 0 18 0 255473534 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203421006248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30513] ppid=30502 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/30504/task/30513/stat : 30513 (java) S 30502 30504 24394 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 18 0 255473534 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203419953448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30514] ppid=30502 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/30504/task/30514/stat : 30514 (java) S 30502 30504 24394 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 18 0 255473534 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203418900648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30515] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30515/stat : 30515 (java) S 30502 30504 24394 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 255473535 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203406703592 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30516] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30516/stat : 30516 (java) S 30502 30504 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255473535 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203405649656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30517] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30517/stat : 30517 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255473535 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203404596744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30518] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30518/stat : 30518 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255473538 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203403545232 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30519] ppid=30502 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/30504/task/30519/stat : 30519 (java) S 30502 30504 24394 0 -1 4202560 2877 0 0 0 28 0 0 0 20 0 18 0 255473538 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203402492344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30520] ppid=30502 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/30504/task/30520/stat : 30520 (java) S 30502 30504 24394 0 -1 4202560 2664 0 0 0 26 0 0 0 20 0 18 0 255473538 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203401439544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30521] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30521/stat : 30521 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255473538 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203400386936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30522] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30522/stat : 30522 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255473538 9787813888 89545 33554432000 1073741824 1073778376 140733716955472 140203399334344 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9558412
[startup+3.10078 s]
/proc/loadavg: 2.00 2.01 2.04 3/212 30522
/proc/meminfo: memFree=27875036/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9558412 CPUtime=4.33 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 10794 0 1 0 402 31 0 0 20 0 18 0 255473531 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2389603 159686 2247 9 0 2380296 0
[pid=30504/tid=30506] ppid=30502 vsize=9558412 CPUtime=2.8 cores=1,3,5,7
/proc/30504/task/30506/stat : 30506 (java) R 30502 30504 24394 0 -1 4202560 2842 0 1 0 270 10 0 0 20 0 18 0 255473532 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203582631648 140203453237470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30507] ppid=30502 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/30504/task/30507/stat : 30507 (java) S 30502 30504 24394 0 -1 4202560 160 0 0 0 10 4 0 0 20 0 18 0 255473534 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203571694632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30508] ppid=30502 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/30504/task/30508/stat : 30508 (java) S 30502 30504 24394 0 -1 4202560 54 0 0 0 6 2 0 0 20 0 18 0 255473534 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203425217448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30509] ppid=30502 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/30504/task/30509/stat : 30509 (java) S 30502 30504 24394 0 -1 4202560 142 0 0 0 10 3 0 0 20 0 18 0 255473534 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203424164648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30510] ppid=30502 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/30504/task/30510/stat : 30510 (java) S 30502 30504 24394 0 -1 4202560 68 0 0 0 7 3 0 0 20 0 18 0 255473534 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203423111848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30511] ppid=30502 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/30504/task/30511/stat : 30511 (java) S 30502 30504 24394 0 -1 4202560 142 0 0 0 8 2 0 0 20 0 18 0 255473534 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203422059048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30512] ppid=30502 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/30504/task/30512/stat : 30512 (java) S 30502 30504 24394 0 -1 4202560 143 0 0 0 11 3 0 0 20 0 18 0 255473534 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203421006248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30513] ppid=30502 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/30504/task/30513/stat : 30513 (java) S 30502 30504 24394 0 -1 4202560 26 0 0 0 6 2 0 0 20 0 18 0 255473534 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203419953448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30514] ppid=30502 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/30504/task/30514/stat : 30514 (java) S 30502 30504 24394 0 -1 4202560 25 0 0 0 5 2 0 0 20 0 18 0 255473534 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203418900648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30515] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30515/stat : 30515 (java) S 30502 30504 24394 0 -1 4202560 478 0 0 0 0 0 0 0 20 0 18 0 255473535 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203406703592 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30516] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30516/stat : 30516 (java) S 30502 30504 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255473535 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203405649656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30517] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30517/stat : 30517 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255473535 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203404596744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30518] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30518/stat : 30518 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255473538 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203403545232 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30519] ppid=30502 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/30504/task/30519/stat : 30519 (java) S 30502 30504 24394 0 -1 4202560 2877 0 0 0 28 0 0 0 20 0 18 0 255473538 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203402492344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30520] ppid=30502 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/30504/task/30520/stat : 30520 (java) S 30502 30504 24394 0 -1 4202560 2664 0 0 0 26 0 0 0 20 0 18 0 255473538 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203401439544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30521] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30521/stat : 30521 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255473538 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203400386936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30522] ppid=30502 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30522/stat : 30522 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255473538 9787813888 159686 33554432000 1073741824 1073778376 140733716955472 140203399334344 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 9558412
[startup+6.30079 s]
/proc/loadavg: 2.00 2.01 2.04 4/212 30522
/proc/meminfo: memFree=26212704/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9624976 CPUtime=9.38 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 18466 0 1 0 852 86 0 0 20 0 19 0 255473531 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2406244 558610 2263 9 0 2396937 0
[pid=30504/tid=30506] ppid=30502 vsize=9624976 CPUtime=5.55 cores=1,3,5,7
/proc/30504/task/30506/stat : 30506 (java) R 30502 30504 24394 0 -1 4202560 4367 0 1 0 519 36 0 0 20 0 19 0 255473532 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203582632344 140203453698529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30507] ppid=30502 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/30504/task/30507/stat : 30507 (java) S 30502 30504 24394 0 -1 4202560 230 0 0 0 29 7 0 0 20 0 19 0 255473534 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203571694632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30508] ppid=30502 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/30504/task/30508/stat : 30508 (java) S 30502 30504 24394 0 -1 4202560 417 0 0 0 24 6 0 0 20 0 19 0 255473534 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203425217448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30509] ppid=30502 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/30504/task/30509/stat : 30509 (java) S 30502 30504 24394 0 -1 4202560 243 0 0 0 28 6 0 0 20 0 19 0 255473534 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203424164648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30510] ppid=30502 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/30504/task/30510/stat : 30510 (java) S 30502 30504 24394 0 -1 4202560 175 0 0 0 26 7 0 0 20 0 19 0 255473534 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203423111848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30511] ppid=30502 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/30504/task/30511/stat : 30511 (java) S 30502 30504 24394 0 -1 4202560 494 0 0 0 28 6 0 0 20 0 19 0 255473534 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203422059048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30512] ppid=30502 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/30504/task/30512/stat : 30512 (java) S 30502 30504 24394 0 -1 4202560 199 0 0 0 25 6 0 0 20 0 19 0 255473534 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203421006248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30513] ppid=30502 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/30504/task/30513/stat : 30513 (java) S 30502 30504 24394 0 -1 4202560 133 0 0 0 26 6 0 0 20 0 19 0 255473534 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203419953448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30514] ppid=30502 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/30504/task/30514/stat : 30514 (java) S 30502 30504 24394 0 -1 4202560 443 0 0 0 18 3 0 0 20 0 19 0 255473534 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203418900648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30515] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30515/stat : 30515 (java) S 30502 30504 24394 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203406703592 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30516] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30516/stat : 30516 (java) S 30502 30504 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203405649656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30517] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30517/stat : 30517 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203404596744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30518] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30518/stat : 30518 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203403545232 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30519] ppid=30502 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/30504/task/30519/stat : 30519 (java) S 30502 30504 24394 0 -1 4202560 2946 0 0 0 52 1 0 0 20 0 19 0 255473538 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203402492344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30520] ppid=30502 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/30504/task/30520/stat : 30520 (java) S 30502 30504 24394 0 -1 4202560 6375 0 0 0 60 0 0 0 20 0 19 0 255473538 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203401439544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30521] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30521/stat : 30521 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203400386936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30522] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30522/stat : 30522 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 558610 33554432000 1073741824 1073778376 140733716955472 140203399334344 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
/proc/loadavg: 2.00 2.01 2.03 3/213 30523
/proc/meminfo: memFree=26206760/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9624976 CPUtime=15.94 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 18496 0 1 0 1508 86 0 0 20 0 19 0 255473531 9855975424 558588 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2406244 558588 2267 9 0 2396937 0
[pid=30504/tid=30506] ppid=30502 vsize=9624976 CPUtime=11.93 cores=1,3,5,7
################
# More data... #
################
[pid=30504/tid=30519] ppid=30502 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/30504/task/30519/stat : 30519 (java) S 30502 30504 24394 0 -1 4202560 3661 0 0 0 71 1 0 0 20 0 19 0 255473538 9855975424 607741 33554432000 1073741824 1073778376 140733716955472 140203402492344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30520] ppid=30502 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/30504/task/30520/stat : 30520 (java) S 30502 30504 24394 0 -1 4202560 6404 0 0 0 76 0 0 0 20 0 19 0 255473538 9855975424 607741 33554432000 1073741824 1073778376 140733716955472 140203401439544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30521] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30521/stat : 30521 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 607741 33554432000 1073741824 1073778376 140733716955472 140203400386936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30522] ppid=30502 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/30504/task/30522/stat : 30522 (java) S 30502 30504 24394 0 -1 4202560 99 0 0 0 25 42 0 0 20 0 19 0 255473538 9855975424 607741 33554432000 1073741824 1073778376 140733716955472 140203399334344 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30523] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30523/stat : 30523 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255474119 9855975424 607741 33554432000 1073741824 1073778376 140733716955472 140203398280872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.03
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30597
/proc/meminfo: memFree=23505936/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9624976 CPUtime=1787.08 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 20106 0 1 0 178564 144 0 0 20 0 19 0 255473531 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2406244 608258 2281 9 0 2396937 0
[pid=30504/tid=30506] ppid=30502 vsize=9624976 CPUtime=1761.92 cores=1,3,5,7
/proc/30504/task/30506/stat : 30506 (java) R 30502 30504 24394 0 -1 4202560 4402 0 1 0 176127 65 0 0 20 0 19 0 255473532 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203582632224 140203453697134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30507] ppid=30502 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/30504/task/30507/stat : 30507 (java) S 30502 30504 24394 0 -1 4202560 278 0 0 0 53 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203571694632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30508] ppid=30502 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/30504/task/30508/stat : 30508 (java) S 30502 30504 24394 0 -1 4202560 434 0 0 0 49 7 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203425217448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30509] ppid=30502 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/30504/task/30509/stat : 30509 (java) S 30502 30504 24394 0 -1 4202560 263 0 0 0 56 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203424164648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30510] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30510/stat : 30510 (java) S 30502 30504 24394 0 -1 4202560 213 0 0 0 52 7 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203423111848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30511] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30511/stat : 30511 (java) S 30502 30504 24394 0 -1 4202560 504 0 0 0 51 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203422059048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30512] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30512/stat : 30512 (java) S 30502 30504 24394 0 -1 4202560 232 0 0 0 51 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203421006248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30513] ppid=30502 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/30504/task/30513/stat : 30513 (java) S 30502 30504 24394 0 -1 4202560 558 0 0 0 52 6 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203419953448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30514] ppid=30502 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/30504/task/30514/stat : 30514 (java) S 30502 30504 24394 0 -1 4202560 453 0 0 0 42 4 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203418900648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30515] ppid=30502 vsize=9624976 CPUtime=13.84 cores=1,3,5,7
/proc/30504/task/30515/stat : 30515 (java) S 30502 30504 24394 0 -1 4202560 1421 0 0 0 1378 6 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203406703592 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30516] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30516/stat : 30516 (java) S 30502 30504 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203405649656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30517] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30517/stat : 30517 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203404596744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30518] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30518/stat : 30518 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203403545232 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30519] ppid=30502 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/30504/task/30519/stat : 30519 (java) S 30502 30504 24394 0 -1 4202560 3661 0 0 0 71 1 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203402492344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30520] ppid=30502 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/30504/task/30520/stat : 30520 (java) S 30502 30504 24394 0 -1 4202560 6404 0 0 0 76 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203401439544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30521] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30521/stat : 30521 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203400386936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30522] ppid=30502 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/30504/task/30522/stat : 30522 (java) S 30502 30504 24394 0 -1 4202560 103 0 0 0 27 44 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203399334344 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30523] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30523/stat : 30523 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255474119 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203398280872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.08
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30597
/proc/meminfo: memFree=23506060/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 20106 0 1 0 179865 144 0 0 20 0 19 0 255473531 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2406244 608258 2281 9 0 2396937 0
[pid=30504/tid=30506] ppid=30502 vsize=9624976 CPUtime=1774.9 cores=1,3,5,7
/proc/30504/task/30506/stat : 30506 (java) R 30502 30504 24394 0 -1 4202560 4402 0 1 0 177425 65 0 0 20 0 19 0 255473532 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203582632224 140203453697246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30507] ppid=30502 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/30504/task/30507/stat : 30507 (java) S 30502 30504 24394 0 -1 4202560 278 0 0 0 53 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203571694632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30508] ppid=30502 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/30504/task/30508/stat : 30508 (java) S 30502 30504 24394 0 -1 4202560 434 0 0 0 49 7 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203425217448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30509] ppid=30502 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/30504/task/30509/stat : 30509 (java) S 30502 30504 24394 0 -1 4202560 263 0 0 0 56 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203424164648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30510] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30510/stat : 30510 (java) S 30502 30504 24394 0 -1 4202560 213 0 0 0 52 7 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203423111848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30511] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30511/stat : 30511 (java) S 30502 30504 24394 0 -1 4202560 504 0 0 0 51 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203422059048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30512] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30512/stat : 30512 (java) S 30502 30504 24394 0 -1 4202560 232 0 0 0 51 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203421006248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30513] ppid=30502 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/30504/task/30513/stat : 30513 (java) S 30502 30504 24394 0 -1 4202560 558 0 0 0 52 6 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203419953448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30514] ppid=30502 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/30504/task/30514/stat : 30514 (java) S 30502 30504 24394 0 -1 4202560 453 0 0 0 42 4 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203418900648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30515] ppid=30502 vsize=9624976 CPUtime=13.84 cores=1,3,5,7
/proc/30504/task/30515/stat : 30515 (java) S 30502 30504 24394 0 -1 4202560 1421 0 0 0 1378 6 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203406703592 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30516] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30516/stat : 30516 (java) S 30502 30504 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203405649656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30517] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30517/stat : 30517 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203404596744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30518] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30518/stat : 30518 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203403545232 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30519] ppid=30502 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/30504/task/30519/stat : 30519 (java) S 30502 30504 24394 0 -1 4202560 3661 0 0 0 71 1 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203402492344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30520] ppid=30502 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/30504/task/30520/stat : 30520 (java) S 30502 30504 24394 0 -1 4202560 6404 0 0 0 76 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203401439544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30521] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30521/stat : 30521 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203400386936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30522] ppid=30502 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/30504/task/30522/stat : 30522 (java) S 30502 30504 24394 0 -1 4202560 103 0 0 0 27 44 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203399334344 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30523] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30523/stat : 30523 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255474119 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203398280872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30597
/proc/meminfo: memFree=23506060/32873844 swapFree=6080/6080
[pid=30504] ppid=30502 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7
/proc/30504/stat : 30504 (java) S 30502 30504 24394 0 -1 4202496 20106 0 1 0 179865 144 0 0 20 0 19 0 255473531 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140733716946608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30504/statm: 2406244 608258 2281 9 0 2396937 0
[pid=30504/tid=30506] ppid=30502 vsize=9624976 CPUtime=1774.9 cores=1,3,5,7
/proc/30504/task/30506/stat : 30506 (java) R 30502 30504 24394 0 -1 4202560 4402 0 1 0 177425 65 0 0 20 0 19 0 255473532 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203582632224 140203453697246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30507] ppid=30502 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/30504/task/30507/stat : 30507 (java) S 30502 30504 24394 0 -1 4202560 278 0 0 0 53 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203571694632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30508] ppid=30502 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/30504/task/30508/stat : 30508 (java) S 30502 30504 24394 0 -1 4202560 434 0 0 0 49 7 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203425217448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30509] ppid=30502 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/30504/task/30509/stat : 30509 (java) S 30502 30504 24394 0 -1 4202560 263 0 0 0 56 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203424164648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30504/tid=30510] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30510/stat : 30510 (java) S 30502 30504 24394 0 -1 4202560 213 0 0 0 52 7 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203423111848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30511] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30511/stat : 30511 (java) S 30502 30504 24394 0 -1 4202560 504 0 0 0 51 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203422059048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30512] ppid=30502 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/30504/task/30512/stat : 30512 (java) S 30502 30504 24394 0 -1 4202560 232 0 0 0 51 8 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203421006248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30513] ppid=30502 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/30504/task/30513/stat : 30513 (java) S 30502 30504 24394 0 -1 4202560 558 0 0 0 52 6 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203419953448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30504/tid=30514] ppid=30502 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/30504/task/30514/stat : 30514 (java) S 30502 30504 24394 0 -1 4202560 453 0 0 0 42 4 0 0 20 0 19 0 255473534 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203418900648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30515] ppid=30502 vsize=9624976 CPUtime=13.84 cores=1,3,5,7
/proc/30504/task/30515/stat : 30515 (java) S 30502 30504 24394 0 -1 4202560 1421 0 0 0 1378 6 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203406703592 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30516] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30516/stat : 30516 (java) S 30502 30504 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203405649656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30517] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30517/stat : 30517 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255473535 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203404596744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30518] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30518/stat : 30518 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203403545232 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30519] ppid=30502 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/30504/task/30519/stat : 30519 (java) S 30502 30504 24394 0 -1 4202560 3661 0 0 0 71 1 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203402492344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30520] ppid=30502 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/30504/task/30520/stat : 30520 (java) S 30502 30504 24394 0 -1 4202560 6404 0 0 0 76 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203401439544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30521] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30521/stat : 30521 (java) S 30502 30504 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203400386936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30504/tid=30522] ppid=30502 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/30504/task/30522/stat : 30522 (java) S 30502 30504 24394 0 -1 4202560 103 0 0 0 27 44 0 0 20 0 19 0 255473538 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203399334344 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30504/tid=30523] ppid=30502 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/30504/task/30523/stat : 30523 (java) S 30502 30504 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255474119 9855975424 608258 33554432000 1073741824 1073778376 140733716955472 140203398280872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30504 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=988272
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=872715
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.35
CPU time (s): 1800.09
CPU user time (s): 1798.65
CPU system time (s): 1.44
CPU usage (%): 100.264
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 1.87271
maximum resident set size= 2433176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20146
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39100
involuntary context switches= 40153
runsolver used 6.81996 second user time and 16.1235 second system time
The end