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-3711217-1338165815/watcher-3711217-1338165815 -o /tmp/evaluation-result-3711217-1338165815/solver-3711217-1338165815 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711217-1338165815.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 14019
/proc/meminfo: memFree=30542020/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14019/stat : 14019 (java) D 14017 14019 13368 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 282707549 9515008 183 33554432000 1073741824 1073778376 140737219142752 140737219133784 266435641013 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2323 183 140 9 0 71 0
[startup+0.103378 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 14019
/proc/meminfo: memFree=30542020/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 4260 0 1 0 8 1 0 0 20 0 18 0 282707549 9787842560 5467 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2389610 5470 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.200199 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 14019
/proc/meminfo: memFree=30542020/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9558440 CPUtime=0.21 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 4545 0 1 0 20 1 0 0 20 0 18 0 282707549 9787842560 6263 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2389610 6263 2191 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558440
[startup+0.300258 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 14019
/proc/meminfo: memFree=30542020/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9558440 CPUtime=0.42 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 5201 0 1 0 40 2 0 0 20 0 18 0 282707549 9787842560 7650 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2389610 7650 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558440
[startup+0.70025 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 14019
/proc/meminfo: memFree=30542020/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9625004 CPUtime=1.6 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 19760 0 1 0 155 5 0 0 20 0 19 0 282707549 9856004096 24400 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2406251 24400 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9625004
[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.99 6/213 14087
/proc/meminfo: memFree=30356372/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9625004 CPUtime=3.31 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 23586 0 1 0 324 7 0 0 20 0 19 0 282707549 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2406251 31305 2267 9 0 2396937 0
[pid=14019/tid=14021] ppid=14017 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/14019/task/14021/stat : 14021 (java) R 14017 14019 13368 0 -1 4202560 2547 0 1 0 144 2 0 0 20 0 19 0 282707550 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309055344968 140308881863949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14022] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14022/stat : 14022 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309016844968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14023] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14023/stat : 14023 (java) S 14017 14019 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309015792424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14024] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14024/stat : 14024 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309014739880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14025] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14025/stat : 14025 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309013687336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14026] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14026/stat : 14026 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309012633768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14027] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14027/stat : 14027 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309011581224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14028] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14028/stat : 14028 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309010528680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14029] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14029/stat : 14029 (java) S 14017 14019 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309009476136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14030] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14030/stat : 14030 (java) S 14017 14019 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282707552 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308878707304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14031] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14031/stat : 14031 (java) S 14017 14019 13368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308877653624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14032] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14032/stat : 14032 (java) S 14017 14019 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308876600968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14036] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14036/stat : 14036 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308875549712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14037] ppid=14017 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/14019/task/14037/stat : 14037 (java) S 14017 14019 13368 0 -1 4202560 8957 0 0 0 90 2 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308874496056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14038] ppid=14017 vsize=9625004 CPUtime=0.88 cores=0,2,4,6
/proc/14019/task/14038/stat : 14038 (java) S 14017 14019 13368 0 -1 4202560 10880 0 0 0 85 3 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308873443512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14039] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14039/stat : 14039 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308872391160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14040] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14040/stat : 14040 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308871338824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14086] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14086/stat : 14086 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282707616 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308870284584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 9625004
[startup+3.10071 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 14087
/proc/meminfo: memFree=30267556/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9625004 CPUtime=4.92 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 23587 0 1 0 485 7 0 0 20 0 19 0 282707549 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2406251 31305 2267 9 0 2396937 0
[pid=14019/tid=14021] ppid=14017 vsize=9625004 CPUtime=3.06 cores=0,2,4,6
/proc/14019/task/14021/stat : 14021 (java) R 14017 14019 13368 0 -1 4202560 2548 0 1 0 304 2 0 0 20 0 19 0 282707550 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309055351264 140308881845476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14022] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14022/stat : 14022 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309016844968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14023] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14023/stat : 14023 (java) S 14017 14019 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309015792424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14024] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14024/stat : 14024 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309014739880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14025] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14025/stat : 14025 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309013687336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14026] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14026/stat : 14026 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309012633768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14027] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14027/stat : 14027 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309011581224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14028] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14028/stat : 14028 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309010528680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14029] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14029/stat : 14029 (java) S 14017 14019 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140309009476136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14030] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14030/stat : 14030 (java) S 14017 14019 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282707552 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308878707304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14031] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14031/stat : 14031 (java) S 14017 14019 13368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308877653624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14032] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14032/stat : 14032 (java) S 14017 14019 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308876600968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14036] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14036/stat : 14036 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308875549712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14037] ppid=14017 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/14019/task/14037/stat : 14037 (java) S 14017 14019 13368 0 -1 4202560 8957 0 0 0 91 2 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308874496056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14038] ppid=14017 vsize=9625004 CPUtime=0.88 cores=0,2,4,6
/proc/14019/task/14038/stat : 14038 (java) S 14017 14019 13368 0 -1 4202560 10880 0 0 0 85 3 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308873443512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14039] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14039/stat : 14039 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308872391160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14040] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14040/stat : 14040 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308871338824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14086] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14086/stat : 14086 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282707616 9856004096 31305 33554432000 1073741824 1073778376 140736360043536 140308870284584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9625004
[startup+6.30075 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 14087
/proc/meminfo: memFree=30252848/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9625004 CPUtime=8.12 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 23588 0 1 0 805 7 0 0 20 0 19 0 282707549 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2406251 27615 2267 9 0 2396937 0
[pid=14019/tid=14021] ppid=14017 vsize=9625004 CPUtime=6.26 cores=0,2,4,6
/proc/14019/task/14021/stat : 14021 (java) R 14017 14019 13368 0 -1 4202560 2549 0 1 0 624 2 0 0 20 0 19 0 282707550 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309055352984 140308881513699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14022] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14022/stat : 14022 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309016844968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14023] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14023/stat : 14023 (java) S 14017 14019 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309015792424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14024] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14024/stat : 14024 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309014739880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14025] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14025/stat : 14025 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309013687336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14026] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14026/stat : 14026 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309012633768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14027] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14027/stat : 14027 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309011581224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14028] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14028/stat : 14028 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309010528680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14029] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14029/stat : 14029 (java) S 14017 14019 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282707551 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140309009476136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14030] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14030/stat : 14030 (java) S 14017 14019 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282707552 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308878707304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14031] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14031/stat : 14031 (java) S 14017 14019 13368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308877653624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14032] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14032/stat : 14032 (java) S 14017 14019 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308876600968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14036] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14036/stat : 14036 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308875549712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14037] ppid=14017 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/14019/task/14037/stat : 14037 (java) S 14017 14019 13368 0 -1 4202560 8957 0 0 0 91 2 0 0 20 0 19 0 282707555 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308874496056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14038] ppid=14017 vsize=9625004 CPUtime=0.88 cores=0,2,4,6
/proc/14019/task/14038/stat : 14038 (java) S 14017 14019 13368 0 -1 4202560 10880 0 0 0 85 3 0 0 20 0 19 0 282707555 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308873443512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14039] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14039/stat : 14039 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308872391160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14040] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14040/stat : 14040 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308871338824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14086] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14086/stat : 14086 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282707616 9856004096 27615 33554432000 1073741824 1073778376 140736360043536 140308870284584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=14019/tid=14027] ppid=14017 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/14019/task/14027/stat : 14027 (java) S 14017 14019 13368 0 -1 4202560 19 0 0 0 12 0 0 0 20 0 19 0 282707551 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140309011581224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14028] ppid=14017 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/14019/task/14028/stat : 14028 (java) S 14017 14019 13368 0 -1 4202560 35 0 0 0 8 0 0 0 20 0 19 0 282707551 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140309010528680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14029] ppid=14017 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/14019/task/14029/stat : 14029 (java) S 14017 14019 13368 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 19 0 282707551 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140309009476136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14030] ppid=14017 vsize=9625004 CPUtime=2.37 cores=0,2,4,6
/proc/14019/task/14030/stat : 14030 (java) S 14017 14019 13368 0 -1 4202560 148 0 0 0 235 2 0 0 20 0 19 0 282707552 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308878707304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14031] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14031/stat : 14031 (java) S 14017 14019 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308877653624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14032] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14032/stat : 14032 (java) S 14017 14019 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308876600968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14036] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14036/stat : 14036 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308875549712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14037] ppid=14017 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/14019/task/14037/stat : 14037 (java) S 14017 14019 13368 0 -1 4202560 8965 0 0 0 96 3 0 0 20 0 19 0 282707555 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308874496056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14038] ppid=14017 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/14019/task/14038/stat : 14038 (java) S 14017 14019 13368 0 -1 4202560 10900 0 0 0 92 3 0 0 20 0 19 0 282707555 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308873443512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14039] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14039/stat : 14039 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308872391160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14040] ppid=14017 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/14019/task/14040/stat : 14040 (java) S 14017 14019 13368 0 -1 4202560 99 0 0 0 11 16 0 0 20 0 19 0 282707555 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308871338824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14086] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14086/stat : 14086 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282707616 9856004096 47557 33554432000 1073741824 1073778376 140736360043536 140308870284584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.7
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/214 14125
/proc/meminfo: memFree=30109844/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9625004 CPUtime=1784.74 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 24081 0 1 0 178440 34 0 0 20 0 19 0 282707549 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2406251 48073 2294 9 0 2396937 0
[pid=14019/tid=14021] ppid=14017 vsize=9625004 CPUtime=1779.28 cores=0,2,4,6
/proc/14019/task/14021/stat : 14021 (java) R 14017 14019 13368 0 -1 4202560 2590 0 1 0 177895 33 0 0 20 0 19 0 282707550 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309055353136 140308881863921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14022] ppid=14017 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/14019/task/14022/stat : 14022 (java) S 14017 14019 13368 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309016844968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14023] ppid=14017 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/14019/task/14023/stat : 14023 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 13 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309015792424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14024] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14024/stat : 14024 (java) S 14017 14019 13368 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309014739880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14025] ppid=14017 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/14019/task/14025/stat : 14025 (java) S 14017 14019 13368 0 -1 4202560 26 0 0 0 13 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309013687336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14026] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14026/stat : 14026 (java) S 14017 14019 13368 0 -1 4202560 26 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309012633768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14027] ppid=14017 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/14019/task/14027/stat : 14027 (java) S 14017 14019 13368 0 -1 4202560 23 0 0 0 12 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309011581224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14028] ppid=14017 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/14019/task/14028/stat : 14028 (java) S 14017 14019 13368 0 -1 4202560 35 0 0 0 8 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309010528680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14029] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14029/stat : 14029 (java) S 14017 14019 13368 0 -1 4202560 22 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309009476136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14030] ppid=14017 vsize=9625004 CPUtime=2.46 cores=0,2,4,6
/proc/14019/task/14030/stat : 14030 (java) S 14017 14019 13368 0 -1 4202560 151 0 0 0 244 2 0 0 20 0 19 0 282707552 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308878707304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14031] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14031/stat : 14031 (java) S 14017 14019 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308877653624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14032] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14032/stat : 14032 (java) S 14017 14019 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308876600968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14036] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14036/stat : 14036 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308875549712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14037] ppid=14017 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/14019/task/14037/stat : 14037 (java) S 14017 14019 13368 0 -1 4202560 8965 0 0 0 96 3 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308874496056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14038] ppid=14017 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/14019/task/14038/stat : 14038 (java) S 14017 14019 13368 0 -1 4202560 10900 0 0 0 92 3 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308873443512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14039] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14039/stat : 14039 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308872391160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14040] ppid=14017 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14019/task/14040/stat : 14040 (java) S 14017 14019 13368 0 -1 4202560 102 0 0 0 12 17 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308871338824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14086] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14086/stat : 14086 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282707616 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308870284584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.74
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.06 2.02 2.00 2/194 14128
/proc/meminfo: memFree=30353436/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 24081 0 1 0 179970 34 0 0 20 0 19 0 282707549 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2406251 48073 2294 9 0 2396937 0
[pid=14019/tid=14021] ppid=14017 vsize=9625004 CPUtime=1794.59 cores=0,2,4,6
/proc/14019/task/14021/stat : 14021 (java) R 14017 14019 13368 0 -1 4202560 2590 0 1 0 179426 33 0 0 20 0 19 0 282707550 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309055353136 140308881863787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14022] ppid=14017 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/14019/task/14022/stat : 14022 (java) S 14017 14019 13368 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309016844968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14023] ppid=14017 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/14019/task/14023/stat : 14023 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 13 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309015792424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14024] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14024/stat : 14024 (java) S 14017 14019 13368 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309014739880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14025] ppid=14017 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/14019/task/14025/stat : 14025 (java) S 14017 14019 13368 0 -1 4202560 26 0 0 0 13 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309013687336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14026] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14026/stat : 14026 (java) S 14017 14019 13368 0 -1 4202560 26 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309012633768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14027] ppid=14017 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/14019/task/14027/stat : 14027 (java) S 14017 14019 13368 0 -1 4202560 23 0 0 0 12 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309011581224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14028] ppid=14017 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/14019/task/14028/stat : 14028 (java) S 14017 14019 13368 0 -1 4202560 35 0 0 0 8 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309010528680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14029] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14029/stat : 14029 (java) S 14017 14019 13368 0 -1 4202560 22 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309009476136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14030] ppid=14017 vsize=9625004 CPUtime=2.46 cores=0,2,4,6
/proc/14019/task/14030/stat : 14030 (java) S 14017 14019 13368 0 -1 4202560 151 0 0 0 244 2 0 0 20 0 19 0 282707552 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308878707304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14031] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14031/stat : 14031 (java) S 14017 14019 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308877653624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14032] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14032/stat : 14032 (java) S 14017 14019 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308876600968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14036] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14036/stat : 14036 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308875549712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14037] ppid=14017 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/14019/task/14037/stat : 14037 (java) S 14017 14019 13368 0 -1 4202560 8965 0 0 0 96 3 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308874496056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14038] ppid=14017 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/14019/task/14038/stat : 14038 (java) S 14017 14019 13368 0 -1 4202560 10900 0 0 0 92 3 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308873443512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14039] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14039/stat : 14039 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308872391160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14040] ppid=14017 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14019/task/14040/stat : 14040 (java) S 14017 14019 13368 0 -1 4202560 102 0 0 0 12 17 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308871338824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14086] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14086/stat : 14086 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282707616 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308870284584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.6 s]
/proc/loadavg: 2.06 2.02 2.00 2/194 14128
/proc/meminfo: memFree=30353436/32873648 swapFree=6860/6860
[pid=14019] ppid=14017 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/14019/stat : 14019 (java) S 14017 14019 13368 0 -1 4202496 24081 0 1 0 179970 34 0 0 20 0 19 0 282707549 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140736360034672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14019/statm: 2406251 48073 2294 9 0 2396937 0
[pid=14019/tid=14021] ppid=14017 vsize=9625004 CPUtime=1794.59 cores=0,2,4,6
/proc/14019/task/14021/stat : 14021 (java) R 14017 14019 13368 0 -1 4202560 2590 0 1 0 179426 33 0 0 20 0 19 0 282707550 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309055353136 140308881863787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14022] ppid=14017 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/14019/task/14022/stat : 14022 (java) S 14017 14019 13368 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309016844968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14023] ppid=14017 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/14019/task/14023/stat : 14023 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 13 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309015792424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14024] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14024/stat : 14024 (java) S 14017 14019 13368 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309014739880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14025] ppid=14017 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/14019/task/14025/stat : 14025 (java) S 14017 14019 13368 0 -1 4202560 26 0 0 0 13 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309013687336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14026] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14026/stat : 14026 (java) S 14017 14019 13368 0 -1 4202560 26 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309012633768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14027] ppid=14017 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/14019/task/14027/stat : 14027 (java) S 14017 14019 13368 0 -1 4202560 23 0 0 0 12 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309011581224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14028] ppid=14017 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/14019/task/14028/stat : 14028 (java) S 14017 14019 13368 0 -1 4202560 35 0 0 0 8 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309010528680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14029] ppid=14017 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14019/task/14029/stat : 14029 (java) S 14017 14019 13368 0 -1 4202560 22 0 0 0 10 0 0 0 20 0 19 0 282707551 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140309009476136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14019/tid=14030] ppid=14017 vsize=9625004 CPUtime=2.46 cores=0,2,4,6
/proc/14019/task/14030/stat : 14030 (java) S 14017 14019 13368 0 -1 4202560 151 0 0 0 244 2 0 0 20 0 19 0 282707552 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308878707304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14031] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14031/stat : 14031 (java) S 14017 14019 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308877653624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14032] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14032/stat : 14032 (java) S 14017 14019 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282707553 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308876600968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14036] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14036/stat : 14036 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308875549712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14037] ppid=14017 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/14019/task/14037/stat : 14037 (java) S 14017 14019 13368 0 -1 4202560 8965 0 0 0 96 3 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308874496056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14019/tid=14038] ppid=14017 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/14019/task/14038/stat : 14038 (java) S 14017 14019 13368 0 -1 4202560 10900 0 0 0 92 3 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308873443512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14039] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14039/stat : 14039 (java) S 14017 14019 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308872391160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14019/tid=14040] ppid=14017 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14019/task/14040/stat : 14040 (java) S 14017 14019 13368 0 -1 4202560 102 0 0 0 12 17 0 0 20 0 19 0 282707555 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308871338824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14019/tid=14086] ppid=14017 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14019/task/14086/stat : 14086 (java) S 14017 14019 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282707616 9856004096 48073 33554432000 1073741824 1073778376 140736360043536 140308870284584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1797.65
CPU time (s): 1800.51
CPU user time (s): 1799.79
CPU system time (s): 0.723889
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.723889
maximum resident set size= 192412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24113
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39122
involuntary context switches= 32629
runsolver used 7.75182 second user time and 12.5121 second system time
The end