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-3733206-1338688431/watcher-3733206-1338688431 -o /tmp/evaluation-result-3733206-1338688431/solver-3733206-1338688431 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733206-1338688431.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: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/8278/stat : 8278 (java) D 8276 8278 2935 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 334967517 2560000 46 33554432000 1073741824 1073778376 140736715544784 140736715541912 239228513575 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/8278/statm: 625 46 37 9 0 29 0
[startup+0.043102 s]
/proc/loadavg: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=10510056 CPUtime=0.01 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 3138 0 1 0 0 1 0 0 20 0 2 0 334967517 10762297344 8441 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2627514 8441 942 9 0 2618623 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10510056
[startup+0.100342 s]
/proc/loadavg: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11586364 CPUtime=0.07 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 4406 0 1 0 5 2 0 0 20 0 18 0 334967517 11864436736 12770 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2896591 12770 1757 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586364
[startup+0.300249 s]
/proc/loadavg: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11586392 CPUtime=0.41 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 5960 0 1 0 39 2 0 0 20 0 18 0 334967517 11864465408 15599 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2896598 15614 2221 9 0 2887285 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 11586392
[startup+0.700271 s]
/proc/loadavg: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11586392 CPUtime=1.15 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 10146 0 1 0 110 5 0 0 20 0 18 0 334967517 11864465408 54504 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2896598 54504 2237 9 0 2887285 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 11586392
[startup+1.50073 s]
/proc/loadavg: 3.82 3.85 3.82 3/216 8300
/proc/meminfo: memFree=25260376/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 11457 0 1 0 169 10 0 0 20 0 19 0 334967517 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 68967 2258 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3477 0 1 0 70 5 0 0 20 0 19 0 334967519 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 2638 0 0 0 35 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 4029 0 0 0 42 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8299] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8299/stat : 8299 (java) S 8276 8278 2935 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334967598 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035080406184 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 11852648
[startup+3.10076 s]
/proc/loadavg: 3.82 3.85 3.82 5/216 8306
/proc/meminfo: memFree=25226972/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=4.19 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 22590 0 1 0 400 19 0 0 20 0 19 0 334967517 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 102052 2263 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.77 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3478 0 1 0 71 6 0 0 20 0 19 0 334967519 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8874 0 0 0 84 2 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 8847 0 0 0 88 2 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 11852648
[startup+6.30082 s]
/proc/loadavg: 3.76 3.84 3.81 5/219 8315
/proc/meminfo: memFree=24800924/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=10.35 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 23069 0 1 0 996 39 0 0 20 0 22 0 334967517 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 215036 2291 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.77 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3479 0 1 0 71 6 0 0 20 0 22 0 334967519 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) R 8276 8278 2935 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035262568920 140035275978425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) R 8276 8278 2935 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035109448024 140035277682863 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) R 8276 8278 2935 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035108395736 140035275978483 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) R 8276 8278 2935 0 -1 4202560 48 0 0 0 5 3 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035107342760 140035275978483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) R 8276 8278 2935 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035106290648 140035277682863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) R 8276 8278 2935 0 -1 4202560 34 0 0 0 2 2 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035105237672 140035275978483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) R 8276 8278 2935 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035104185384 140035275978483 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) R 8276 8278 2935 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035103132760 140035280403372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 58 0 0 0 13 2 0 0 20 0 22 0 334967523 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035090932968 239241049148 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8944 0 0 0 102 2 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 8851 0 0 0 94 2 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8312] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8312/stat : 8312 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334967798 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035081459240 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8313] ppid=8276 vsize=11852648 CPUtime=2.68 cores=1,3,5,7
/proc/8278/task/8313/stat : 8313 (java) S 8276 8278 2935 0 -1 4202560 18 0 0 0 268 0 0 0 20 0 22 0 334967849 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035080405000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8314] ppid=8276 vsize=11852648 CPUtime=2.69 cores=1,3,5,7
/proc/8278/task/8314/stat : 8314 (java) S 8276 8278 2935 0 -1 4202560 144 0 0 0 264 5 0 0 20 0 22 0 334967849 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035082508696 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8315] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8315/stat : 8315 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334967849 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035079353512 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/8278/statm: 2963162 1086081 2293 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3517 0 1 0 75 7 0 0 20 0 22 0 334967519 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=2.2 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 226 0 0 0 212 8 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=2.08 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 233 0 0 0 202 6 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=1.98 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 209 0 0 0 189 9 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 265 0 0 0 189 11 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=2.21 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 226 0 0 0 214 7 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=2.34 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 225 0 0 0 225 9 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 240 0 0 0 194 6 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 221 0 0 0 193 7 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=39.89 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 620 0 0 0 3965 24 0 0 20 0 22 0 334967523 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8946 0 0 0 113 2 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 12039 0 0 0 173 2 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 48 0 0 0 22 20 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8318] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8318/stat : 8318 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334969540 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035081458984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8319] ppid=8276 vsize=11852648 CPUtime=749.87 cores=1,3,5,7
/proc/8278/task/8319/stat : 8319 (java) R 8276 8278 2935 0 -1 4202560 54 0 0 0 74975 12 0 0 20 0 22 0 334970335 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035082511312 140035144533374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8320] ppid=8276 vsize=11852648 CPUtime=749.9 cores=1,3,5,7
/proc/8278/task/8320/stat : 8320 (java) R 8276 8278 2935 0 -1 4202560 785 0 0 0 74954 36 0 0 20 0 22 0 334970335 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035079351168 140035144690701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8321] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8321/stat : 8321 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334970336 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035080405928 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1609.24
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.89 3.93 3.88 5/219 8427
/proc/meminfo: memFree=20460528/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=1726.92 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 29814 0 1 0 172513 179 0 0 20 0 22 0 334967517 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 1127598 2293 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3518 0 1 0 75 7 0 0 20 0 22 0 334967519 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=2.35 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 247 0 0 0 226 9 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=2.31 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 282 0 0 0 224 7 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=2.17 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 235 0 0 0 208 9 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=2.25 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 307 0 0 0 213 12 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=2.37 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 244 0 0 0 229 8 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=2.59 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 260 0 0 0 248 11 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=2.13 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 250 0 0 0 206 7 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=2.28 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 261 0 0 0 219 9 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=42.98 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 642 0 0 0 4273 25 0 0 20 0 22 0 334967523 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8946 0 0 0 113 2 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 12039 0 0 0 173 2 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 52 0 0 0 24 21 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8318] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8318/stat : 8318 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334969540 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035081458984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8319] ppid=8276 vsize=11852648 CPUtime=806.17 cores=1,3,5,7
/proc/8278/task/8319/stat : 8319 (java) R 8276 8278 2935 0 -1 4202560 56 0 0 0 80604 13 0 0 20 0 22 0 334970335 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035082511312 140035144532806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8320] ppid=8276 vsize=11852648 CPUtime=806.23 cores=1,3,5,7
/proc/8278/task/8320/stat : 8320 (java) R 8276 8278 2935 0 -1 4202560 786 0 0 0 80586 37 0 0 20 0 22 0 334970335 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035079351168 140035144689710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8321] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8321/stat : 8321 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334970336 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035080405928 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.92
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.201 s]
/proc/loadavg: 3.89 3.92 3.87 4/219 8427
/proc/meminfo: memFree=20228732/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=1800.01 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 30080 0 1 0 179808 193 0 0 20 0 22 0 334967517 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 1168062 2293 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3519 0 1 0 75 7 0 0 20 0 22 0 334967519 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=2.42 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 257 0 0 0 233 9 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=2.35 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 297 0 0 0 227 8 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=2.3 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 274 0 0 0 219 11 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=2.35 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 317 0 0 0 223 12 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=2.44 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 255 0 0 0 236 8 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=2.74 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 327 0 0 0 260 14 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=2.24 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 280 0 0 0 215 9 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=2.5 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 337 0 0 0 238 12 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=44.14 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 646 0 0 0 4389 25 0 0 20 0 22 0 334967523 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8946 0 0 0 113 2 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 12039 0 0 0 173 2 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 54 0 0 0 25 21 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8318] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8318/stat : 8318 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334969540 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035081458984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8319] ppid=8276 vsize=11852648 CPUtime=841.57 cores=1,3,5,7
/proc/8278/task/8319/stat : 8319 (java) R 8276 8278 2935 0 -1 4202560 56 0 0 0 84144 13 0 0 20 0 22 0 334970335 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035082511312 140035144533410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8320] ppid=8276 vsize=11852648 CPUtime=841.64 cores=1,3,5,7
/proc/8278/task/8320/stat : 8320 (java) R 8276 8278 2935 0 -1 4202560 787 0 0 0 84127 37 0 0 20 0 22 0 334970335 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035079351168 140035144615656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8321] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8321/stat : 8321 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334970336 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035080405928 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8278 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=629326
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=321647
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 919.269
CPU time (s): 1800.01
CPU user time (s): 1798.08
CPU system time (s): 1.93
CPU usage (%): 195.809
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.63
system time used= 2.32165
maximum resident set size= 4672368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30112
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23728
involuntary context switches= 31920
runsolver used 3.77143 second user time and 9.09262 second system time
The end