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-3733030-1338687479/watcher-3733030-1338687479 -o /tmp/evaluation-result-3733030-1338687479/solver-3733030-1338687479 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733030-1338687479.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: 3.00 3.20 3.25 3/197 3718
/proc/meminfo: memFree=26215828/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3718/stat : 3718 (java) D 3716 3718 442 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 334872310 9515008 182 33554432000 1073741824 1073778376 140733773292000 140733773283032 254750310069 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2323 182 140 9 0 71 0
[startup+0.0638891 s]
/proc/loadavg: 3.00 3.20 3.25 3/197 3718
/proc/meminfo: memFree=26215828/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 4322 0 1 0 3 1 0 0 20 0 13 0 334872310 11523600384 12174 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2813379 12174 1700 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516
[startup+0.100257 s]
/proc/loadavg: 3.00 3.20 3.25 3/197 3718
/proc/meminfo: memFree=26215828/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 4502 0 1 0 6 1 0 0 20 0 18 0 334872310 11864465408 12865 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2896598 12865 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300217 s]
/proc/loadavg: 3.00 3.20 3.25 3/197 3718
/proc/meminfo: memFree=26215828/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11586392 CPUtime=0.44 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 6204 0 1 0 42 2 0 0 20 0 18 0 334872310 11864465408 15848 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2896598 15848 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392
[startup+0.700284 s]
/proc/loadavg: 3.00 3.20 3.25 3/197 3718
/proc/meminfo: memFree=26215828/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 10230 0 1 0 94 3 0 0 20 0 19 0 334872310 12137111552 27265 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2963162 27265 2248 9 0 2953849 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 11852648
[startup+1.50068 s]
/proc/loadavg: 3.00 3.20 3.25 3/216 3740
/proc/meminfo: memFree=26115160/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 10303 0 1 0 99 5 0 0 20 0 19 0 334872310 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2963162 28335 2252 9 0 2953849 0
[pid=3718/tid=3720] ppid=3716 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/3718/task/3720/stat : 3720 (java) S 3716 3718 442 0 -1 4202560 3434 0 1 0 45 2 0 0 20 0 19 0 334872311 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590859682968 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3721] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3721/stat : 3721 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872313 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590697048360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3722] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3722/stat : 3722 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872313 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590695995560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3723] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3723/stat : 3723 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872313 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590694943272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3718/tid=3724] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3724/stat : 3724 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872313 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590693890472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3725] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3725/stat : 3725 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872313 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590692838184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3726] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3726/stat : 3726 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872313 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590691785384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3727] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3727/stat : 3727 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872313 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590690733096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3728] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3728/stat : 3728 (java) S 3716 3718 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334872313 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590689680296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3729] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3729/stat : 3729 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334872314 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590677268712 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3730] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3730/stat : 3730 (java) S 3716 3718 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334872315 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590676214776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3731] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3731/stat : 3731 (java) S 3716 3718 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334872315 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590675162376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3732] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3732/stat : 3732 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872318 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590674110864 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3733] ppid=3716 vsize=11852648 CPUtime=0.23 cores=0,2,4,6
/proc/3718/task/3733/stat : 3733 (java) S 3716 3718 442 0 -1 4202560 2604 0 0 0 23 0 0 0 20 0 19 0 334872318 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590673058488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3734] ppid=3716 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/3718/task/3734/stat : 3734 (java) S 3716 3718 442 0 -1 4202560 2955 0 0 0 25 0 0 0 20 0 19 0 334872318 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590672005688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3735] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3735/stat : 3735 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872318 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590670953592 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3736] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3736/stat : 3736 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334872318 12137111552 28335 33554432000 1073741824 1073778376 140736676767376 140590669901000 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 11852648
[startup+3.10064 s]
/proc/loadavg: 2.92 3.18 3.25 3/216 3749
/proc/meminfo: memFree=26101484/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11852648 CPUtime=3.41 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 19383 0 1 0 326 15 0 0 20 0 22 0 334872310 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2963162 67443 2264 9 0 2953849 0
[pid=3718/tid=3720] ppid=3716 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/3718/task/3720/stat : 3720 (java) S 3716 3718 442 0 -1 4202560 3434 0 1 0 46 2 0 0 20 0 22 0 334872311 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590859682968 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3721] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3721/stat : 3721 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590697048360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3722] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3722/stat : 3722 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590695995560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3723] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3723/stat : 3723 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590694943272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3718/tid=3724] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3724/stat : 3724 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590693890472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3725] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3725/stat : 3725 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590692838184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3726] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3726/stat : 3726 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590691785384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3727] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3727/stat : 3727 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590690733096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3728] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3728/stat : 3728 (java) S 3716 3718 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590689680296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3729] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3729/stat : 3729 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334872314 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590677268712 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3730] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3730/stat : 3730 (java) S 3716 3718 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590676214776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3731] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3731/stat : 3731 (java) S 3716 3718 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590675162376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3732] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3732/stat : 3732 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590674110864 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3733] ppid=3716 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/3718/task/3733/stat : 3733 (java) S 3716 3718 442 0 -1 4202560 6584 0 0 0 74 1 0 0 20 0 22 0 334872318 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590673058488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3734] ppid=3716 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/3718/task/3734/stat : 3734 (java) S 3716 3718 442 0 -1 4202560 7939 0 0 0 74 1 0 0 20 0 22 0 334872318 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590672005688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3735] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3735/stat : 3735 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590670953592 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3736] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3736/stat : 3736 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590669901000 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3743] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3743/stat : 3743 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334872411 12137111552 67443 33554432000 1073741824 1073778376 140736676767376 140590666684072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 11852648
[startup+6.30084 s]
/proc/loadavg: 2.92 3.18 3.25 4/219 3755
/proc/meminfo: memFree=25615748/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11852648 CPUtime=9.86 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 19691 0 1 0 962 24 0 0 20 0 22 0 334872310 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2963162 156445 2291 9 0 2953849 0
[pid=3718/tid=3720] ppid=3716 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/3718/task/3720/stat : 3720 (java) S 3716 3718 442 0 -1 4202560 3434 0 1 0 46 2 0 0 20 0 22 0 334872311 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590859682968 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3721] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3721/stat : 3721 (java) S 3716 3718 442 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590697048360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3718/tid=3722] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3722/stat : 3722 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590695995560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3718/tid=3723] ppid=3716 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3718/task/3723/stat : 3723 (java) S 3716 3718 442 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 334872313 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590694943272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3724] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3724/stat : 3724 (java) S 3716 3718 442 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590693890472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3725] ppid=3716 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3718/task/3725/stat : 3725 (java) S 3716 3718 442 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 334872313 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590692838184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3718/tid=3726] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3726/stat : 3726 (java) S 3716 3718 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590691785384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3727] ppid=3716 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3718/task/3727/stat : 3727 (java) S 3716 3718 442 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 334872313 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590690733096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3728] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3728/stat : 3728 (java) S 3716 3718 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334872313 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590689680296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3729] ppid=3716 vsize=11852648 CPUtime=0.23 cores=0,2,4,6
/proc/3718/task/3729/stat : 3729 (java) S 3716 3718 442 0 -1 4202560 50 0 0 0 23 0 0 0 20 0 22 0 334872314 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590677268712 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3730] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3730/stat : 3730 (java) S 3716 3718 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590676214776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3731] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3731/stat : 3731 (java) S 3716 3718 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590675162376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3732] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3732/stat : 3732 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590674110864 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3733] ppid=3716 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/3718/task/3733/stat : 3733 (java) S 3716 3718 442 0 -1 4202560 6597 0 0 0 90 2 0 0 20 0 22 0 334872318 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590673058488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3734] ppid=3716 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/3718/task/3734/stat : 3734 (java) S 3716 3718 442 0 -1 4202560 7944 0 0 0 84 1 0 0 20 0 22 0 334872318 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590672005688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3735] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3735/stat : 3735 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590670953592 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3736] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3736/stat : 3736 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590669901000 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3743] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3743/stat : 3743 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334872411 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590666684072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3753] ppid=3716 vsize=11852648 CPUtime=2.97 cores=0,2,4,6
/proc/3718/task/3753/stat : 3753 (java) R 3716 3718 442 0 -1 4202560 16 0 0 0 297 0 0 0 20 0 22 0 334872612 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590668787920 140590732268280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3754] ppid=3716 vsize=11852648 CPUtime=2.94 cores=0,2,4,6
/proc/3718/task/3754/stat : 3754 (java) R 3716 3718 442 0 -1 4202560 144 0 0 0 290 4 0 0 20 0 22 0 334872612 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590667733392 140590732383893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3755] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3755/stat : 3755 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334872612 12137111552 156445 33554432000 1073741824 1073778376 140736676767376 140590665630888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=3718/tid=3724] ppid=3716 vsize=11852648 CPUtime=3.55 cores=0,2,4,6
/proc/3718/task/3724/stat : 3724 (java) S 3716 3718 442 0 -1 4202560 197 0 0 0 352 3 0 0 20 0 22 0 334872313 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590693890472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3725] ppid=3716 vsize=11852648 CPUtime=3.38 cores=0,2,4,6
/proc/3718/task/3725/stat : 3725 (java) S 3716 3718 442 0 -1 4202560 211 0 0 0 336 2 0 0 20 0 22 0 334872313 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590692838184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3726] ppid=3716 vsize=11852648 CPUtime=3.46 cores=0,2,4,6
/proc/3718/task/3726/stat : 3726 (java) S 3716 3718 442 0 -1 4202560 256 0 0 0 343 3 0 0 20 0 22 0 334872313 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590691785384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3718/tid=3727] ppid=3716 vsize=11852648 CPUtime=3.31 cores=0,2,4,6
/proc/3718/task/3727/stat : 3727 (java) S 3716 3718 442 0 -1 4202560 264 0 0 0 329 2 0 0 20 0 22 0 334872313 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590690733096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3728] ppid=3716 vsize=11852648 CPUtime=3.35 cores=0,2,4,6
/proc/3718/task/3728/stat : 3728 (java) S 3716 3718 442 0 -1 4202560 230 0 0 0 332 3 0 0 20 0 22 0 334872313 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590689680296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3729] ppid=3716 vsize=11852648 CPUtime=131.31 cores=0,2,4,6
/proc/3718/task/3729/stat : 3729 (java) S 3716 3718 442 0 -1 4202560 295 0 0 0 13119 12 0 0 20 0 22 0 334872314 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590677268712 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3730] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3730/stat : 3730 (java) S 3716 3718 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590676214776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3731] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3731/stat : 3731 (java) S 3716 3718 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590675162376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3732] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3732/stat : 3732 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590674110864 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3733] ppid=3716 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/3718/task/3733/stat : 3733 (java) S 3716 3718 442 0 -1 4202560 7567 0 0 0 150 2 0 0 20 0 22 0 334872318 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590673058488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3734] ppid=3716 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/3718/task/3734/stat : 3734 (java) S 3716 3718 442 0 -1 4202560 7950 0 0 0 91 1 0 0 20 0 22 0 334872318 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590672005688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3735] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3735/stat : 3735 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590670953592 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3736] ppid=3716 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/3718/task/3736/stat : 3736 (java) S 3716 3718 442 0 -1 4202560 54 0 0 0 19 18 0 0 20 0 22 0 334872318 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590669901000 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3743] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3743/stat : 3743 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334872411 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590666684072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3756] ppid=3716 vsize=11852648 CPUtime=771.84 cores=0,2,4,6
/proc/3718/task/3756/stat : 3756 (java) R 3716 3718 442 0 -1 4202560 64 0 0 0 77172 12 0 0 20 0 22 0 334875449 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590667735496 140590732275688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3757] ppid=3716 vsize=11852648 CPUtime=771.7 cores=0,2,4,6
/proc/3718/task/3757/stat : 3757 (java) R 3716 3718 442 0 -1 4202560 12 0 0 0 77158 12 0 0 20 0 22 0 334875449 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590668786432 140590732383911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3758] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3758/stat : 3758 (java) S 3716 3718 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334875449 12137111552 305695 33554432000 1073741824 1073778376 140736676767376 140590665631016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1762.9
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+962.507 s]
/proc/loadavg: 4.03 3.89 3.64 4/219 3856
/proc/meminfo: memFree=22969908/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11852648 CPUtime=1800.03 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 23190 0 1 0 179925 78 0 0 20 0 22 0 334872310 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2963162 305729 2292 9 0 2953849 0
[pid=3718/tid=3720] ppid=3716 vsize=11852648 CPUtime=0.53 cores=0,2,4,6
/proc/3718/task/3720/stat : 3720 (java) S 3716 3718 442 0 -1 4202560 3661 0 1 0 49 4 0 0 20 0 22 0 334872311 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590859682680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3721] ppid=3716 vsize=11852648 CPUtime=3.53 cores=0,2,4,6
/proc/3718/task/3721/stat : 3721 (java) S 3716 3718 442 0 -1 4202560 268 0 0 0 350 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590697048360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3722] ppid=3716 vsize=11852648 CPUtime=3.41 cores=0,2,4,6
/proc/3718/task/3722/stat : 3722 (java) S 3716 3718 442 0 -1 4202560 206 0 0 0 339 2 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590695995560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3718/tid=3723] ppid=3716 vsize=11852648 CPUtime=3.73 cores=0,2,4,6
/proc/3718/task/3723/stat : 3723 (java) S 3716 3718 442 0 -1 4202560 260 0 0 0 370 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590694943272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3724] ppid=3716 vsize=11852648 CPUtime=3.62 cores=0,2,4,6
/proc/3718/task/3724/stat : 3724 (java) S 3716 3718 442 0 -1 4202560 200 0 0 0 359 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590693890472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3725] ppid=3716 vsize=11852648 CPUtime=3.47 cores=0,2,4,6
/proc/3718/task/3725/stat : 3725 (java) S 3716 3718 442 0 -1 4202560 214 0 0 0 345 2 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590692838184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3726] ppid=3716 vsize=11852648 CPUtime=3.54 cores=0,2,4,6
/proc/3718/task/3726/stat : 3726 (java) S 3716 3718 442 0 -1 4202560 261 0 0 0 351 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590691785384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3727] ppid=3716 vsize=11852648 CPUtime=3.4 cores=0,2,4,6
/proc/3718/task/3727/stat : 3727 (java) S 3716 3718 442 0 -1 4202560 264 0 0 0 338 2 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590690733096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3728] ppid=3716 vsize=11852648 CPUtime=3.44 cores=0,2,4,6
/proc/3718/task/3728/stat : 3728 (java) S 3716 3718 442 0 -1 4202560 237 0 0 0 341 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590689680296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3729] ppid=3716 vsize=11852648 CPUtime=134.92 cores=0,2,4,6
/proc/3718/task/3729/stat : 3729 (java) R 3716 3718 442 0 -1 4202560 297 0 0 0 13479 13 0 0 20 0 22 0 334872314 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590677267568 140590866190368 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3730] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3730/stat : 3730 (java) S 3716 3718 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590676214776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3731] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3731/stat : 3731 (java) S 3716 3718 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590675162376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3732] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3732/stat : 3732 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590674110864 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3733] ppid=3716 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/3718/task/3733/stat : 3733 (java) S 3716 3718 442 0 -1 4202560 7567 0 0 0 150 2 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590673058488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3734] ppid=3716 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/3718/task/3734/stat : 3734 (java) S 3716 3718 442 0 -1 4202560 7950 0 0 0 91 1 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590672005688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3735] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3735/stat : 3735 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590670953592 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3736] ppid=3716 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/3718/task/3736/stat : 3736 (java) S 3716 3718 442 0 -1 4202560 56 0 0 0 20 18 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590669901000 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3743] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3743/stat : 3743 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334872411 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590666684072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3756] ppid=3716 vsize=11852648 CPUtime=788.19 cores=0,2,4,6
/proc/3718/task/3756/stat : 3756 (java) S 3716 3718 442 0 -1 4202560 64 0 0 0 78807 12 0 0 20 0 22 0 334875449 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590667735496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3757] ppid=3716 vsize=11852648 CPUtime=788.06 cores=0,2,4,6
/proc/3718/task/3757/stat : 3757 (java) S 3716 3718 442 0 -1 4202560 12 0 0 0 78794 12 0 0 20 0 22 0 334875449 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590668786552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3758] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3758/stat : 3758 (java) S 3716 3718 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334875449 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590665631016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+962.612 s]
/proc/loadavg: 4.03 3.89 3.64 4/219 3856
/proc/meminfo: memFree=22969908/32873844 swapFree=7628/7628
[pid=3718] ppid=3716 vsize=11852648 CPUtime=1800.13 cores=0,2,4,6
/proc/3718/stat : 3718 (java) S 3716 3718 442 0 -1 4202496 23190 0 1 0 179935 78 0 0 20 0 22 0 334872310 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140736676758512 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3718/statm: 2963162 305729 2292 9 0 2953849 0
[pid=3718/tid=3720] ppid=3716 vsize=11852648 CPUtime=0.53 cores=0,2,4,6
/proc/3718/task/3720/stat : 3720 (java) S 3716 3718 442 0 -1 4202560 3661 0 1 0 49 4 0 0 20 0 22 0 334872311 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590859682680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3721] ppid=3716 vsize=11852648 CPUtime=3.53 cores=0,2,4,6
/proc/3718/task/3721/stat : 3721 (java) S 3716 3718 442 0 -1 4202560 268 0 0 0 350 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590697048360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3722] ppid=3716 vsize=11852648 CPUtime=3.41 cores=0,2,4,6
/proc/3718/task/3722/stat : 3722 (java) S 3716 3718 442 0 -1 4202560 206 0 0 0 339 2 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590695995560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3718/tid=3723] ppid=3716 vsize=11852648 CPUtime=3.73 cores=0,2,4,6
/proc/3718/task/3723/stat : 3723 (java) S 3716 3718 442 0 -1 4202560 260 0 0 0 370 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590694943272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3724] ppid=3716 vsize=11852648 CPUtime=3.62 cores=0,2,4,6
/proc/3718/task/3724/stat : 3724 (java) S 3716 3718 442 0 -1 4202560 200 0 0 0 359 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590693890472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3725] ppid=3716 vsize=11852648 CPUtime=3.47 cores=0,2,4,6
/proc/3718/task/3725/stat : 3725 (java) S 3716 3718 442 0 -1 4202560 214 0 0 0 345 2 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590692838184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3726] ppid=3716 vsize=11852648 CPUtime=3.54 cores=0,2,4,6
/proc/3718/task/3726/stat : 3726 (java) S 3716 3718 442 0 -1 4202560 261 0 0 0 351 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590691785384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3727] ppid=3716 vsize=11852648 CPUtime=3.4 cores=0,2,4,6
/proc/3718/task/3727/stat : 3727 (java) S 3716 3718 442 0 -1 4202560 264 0 0 0 338 2 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590690733096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3728] ppid=3716 vsize=11852648 CPUtime=3.44 cores=0,2,4,6
/proc/3718/task/3728/stat : 3728 (java) S 3716 3718 442 0 -1 4202560 237 0 0 0 341 3 0 0 20 0 22 0 334872313 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590689680296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3729] ppid=3716 vsize=11852648 CPUtime=135.02 cores=0,2,4,6
/proc/3718/task/3729/stat : 3729 (java) R 3716 3718 442 0 -1 4202560 297 0 0 0 13489 13 0 0 20 0 22 0 334872314 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590677267568 140590867449306 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3730] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3730/stat : 3730 (java) S 3716 3718 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590676214776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3731] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3731/stat : 3731 (java) S 3716 3718 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334872315 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590675162376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3732] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3732/stat : 3732 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590674110408 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3733] ppid=3716 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/3718/task/3733/stat : 3733 (java) S 3716 3718 442 0 -1 4202560 7567 0 0 0 150 2 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590673058488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3734] ppid=3716 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/3718/task/3734/stat : 3734 (java) S 3716 3718 442 0 -1 4202560 7950 0 0 0 91 1 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590672005688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3735] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3735/stat : 3735 (java) S 3716 3718 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590670953592 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3736] ppid=3716 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/3718/task/3736/stat : 3736 (java) S 3716 3718 442 0 -1 4202560 56 0 0 0 20 18 0 0 20 0 22 0 334872318 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590669901000 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3718/tid=3743] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3743/stat : 3743 (java) S 3716 3718 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334872411 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590666684072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3756] ppid=3716 vsize=11852648 CPUtime=788.19 cores=0,2,4,6
/proc/3718/task/3756/stat : 3756 (java) S 3716 3718 442 0 -1 4202560 64 0 0 0 78807 12 0 0 20 0 22 0 334875449 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590667735496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3718/tid=3757] ppid=3716 vsize=11852648 CPUtime=788.06 cores=0,2,4,6
/proc/3718/task/3757/stat : 3757 (java) S 3716 3718 442 0 -1 4202560 12 0 0 0 78794 12 0 0 20 0 22 0 334875449 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590668786552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3718/tid=3758] ppid=3716 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3718/task/3758/stat : 3758 (java) S 3716 3718 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334875449 12137111552 305729 33554432000 1073741824 1073778376 140736676767376 140590665631016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 11852648
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3718 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=810147
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=181820
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.00999451
# lost CPU user time (s): 0.0199966
# lost CPU system time (s): -0.01
Real time (s): 962.685
CPU time (s): 1800.14
CPU user time (s): 1799.37
CPU system time (s): 0.77
CPU usage (%): 186.992
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.81
system time used= 1.18182
maximum resident set size= 1223032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23222
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31929
involuntary context switches= 66559
runsolver used 3.67044 second user time and 8.39572 second system time
The end