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-3739646-1338729548/watcher-3739646-1338729548 -o /tmp/evaluation-result-3739646-1338729548/solver-3739646-1338729548 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3739646-1338729548.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.88 3.82 3.55 4/197 23382
/proc/meminfo: memFree=25593696/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/23382/stat : 23382 (java) R 23380 23382 18226 0 -1 4202496 1145 0 0 0 0 0 0 0 20 0 1 0 339080570 24780800 867 33554432000 1073741824 1073778376 140734661351328 140734661340392 270330108081 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 6050 868 655 9 0 385 0
[pid=23382/tid=23383] ppid=23380 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) R 23380 23382 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 2 0 339080570 91889664 883 33554432000 1073741824 1073778376 140734661351328 140734661340392 270329726176 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.060821 s]
/proc/loadavg: 3.88 3.82 3.55 4/197 23382
/proc/meminfo: memFree=25593696/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11586392 CPUtime=0.05 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 3905 0 1 0 4 1 0 0 20 0 18 0 339080570 11864465408 12780 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2896598 12780 1764 9 0 2887285 0
[pid=23382/tid=23383] ppid=23380 vsize=11586392 CPUtime=0.04 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) R 23380 23382 18226 0 -1 4202560 2697 0 1 0 2 2 0 0 20 0 18 0 339080570 11864465408 12780 33554432000 1073741824 1073778376 140734661351328 139822294633120 270329679691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586392
[startup+0.100239 s]
/proc/loadavg: 3.88 3.82 3.55 4/197 23382
/proc/meminfo: memFree=25593696/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 4821 0 1 0 9 1 0 0 20 0 18 0 339080570 11864465408 14149 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2896598 14149 2116 9 0 2887285 0
[pid=23382/tid=23383] ppid=23380 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) R 23380 23382 18226 0 -1 4202560 2839 0 1 0 6 2 0 0 20 0 18 0 339080570 11864465408 14149 33554432000 1073741824 1073778376 140734661351328 139822294629296 270333437197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300195 s]
/proc/loadavg: 3.88 3.82 3.55 4/197 23382
/proc/meminfo: memFree=25593696/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11586392 CPUtime=0.51 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 6580 0 1 0 49 2 0 0 20 0 18 0 339080570 11864465408 17417 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2896598 17417 2228 9 0 2887285 0
[pid=23382/tid=23383] ppid=23380 vsize=11586392 CPUtime=0.28 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) R 23380 23382 18226 0 -1 4202560 2853 0 1 0 26 2 0 0 20 0 18 0 339080570 11864465408 17417 33554432000 1073741824 1073778376 140734661351328 139822294629296 139822140339424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 11586392
[startup+0.700223 s]
/proc/loadavg: 3.88 3.82 3.55 4/197 23382
/proc/meminfo: memFree=25593696/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11586392 CPUtime=1.3 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 10565 0 1 0 126 4 0 0 20 0 18 0 339080570 11864465408 51011 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2896598 51011 2245 9 0 2887285 0
[pid=23382/tid=23383] ppid=23380 vsize=11586392 CPUtime=0.67 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) R 23380 23382 18226 0 -1 4202560 2923 0 1 0 64 3 0 0 20 0 18 0 339080570 11864465408 51011 33554432000 1073741824 1073778376 140734661351328 139822294629296 139822140701662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 11586392
[startup+1.50063 s]
/proc/loadavg: 3.88 3.82 3.55 6/215 23400
/proc/meminfo: memFree=25247540/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11852648 CPUtime=3.67 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 19422 0 1 0 358 9 0 0 20 0 22 0 339080570 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2963162 102670 2261 9 0 2953849 0
[pid=23382/tid=23383] ppid=23380 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) S 23380 23382 18226 0 -1 4202560 2994 0 1 0 106 5 0 0 20 0 22 0 339080570 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139822294631576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23385] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23385/stat : 23385 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139822263040296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23386] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23386/stat : 23386 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139822261987496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23387] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23387/stat : 23387 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139822260935208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23388] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23388/stat : 23388 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139822259882408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23389] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23389/stat : 23389 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139822258830120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23390] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23390/stat : 23390 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139822126566056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23391] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23391/stat : 23391 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139822125513768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23392] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23392/stat : 23392 (java) S 23380 23382 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821653683112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23393] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23393/stat : 23393 (java) S 23380 23382 18226 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821641484520 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23394] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23394/stat : 23394 (java) S 23380 23382 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821640430584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23395] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23395/stat : 23395 (java) S 23380 23382 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821639378184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23396] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23396/stat : 23396 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821638326672 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23397] ppid=23380 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/23382/task/23397/stat : 23397 (java) R 23380 23382 18226 0 -1 4202560 9299 0 0 0 88 2 0 0 20 0 22 0 339080575 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821637274296 139822298748323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23398] ppid=23380 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/23382/task/23398/stat : 23398 (java) R 23380 23382 18226 0 -1 4202560 5807 0 0 0 89 1 0 0 20 0 22 0 339080575 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821636221376 139822300593810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23399] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23399/stat : 23399 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821635169400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23400] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23400/stat : 23400 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 102670 33554432000 1073741824 1073778376 140734661351328 139821634116808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 11852648
[startup+3.10069 s]
/proc/loadavg: 3.88 3.82 3.55 5/219 23404
/proc/meminfo: memFree=24889412/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11852648 CPUtime=7.33 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 20536 0 1 0 712 21 0 0 20 0 22 0 339080570 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2963162 293967 2265 9 0 2953849 0
[pid=23382/tid=23383] ppid=23380 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) S 23380 23382 18226 0 -1 4202560 2994 0 1 0 106 5 0 0 20 0 22 0 339080570 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139822294631576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23385] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23385/stat : 23385 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139822263040296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23386] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23386/stat : 23386 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139822261987496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23387] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23387/stat : 23387 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139822260935208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23388] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23388/stat : 23388 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139822259882408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23389] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23389/stat : 23389 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139822258830120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23390] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23390/stat : 23390 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139822126566056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23391] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23391/stat : 23391 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139822125513768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23392] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23392/stat : 23392 (java) S 23380 23382 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339080572 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821653683112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23393] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23393/stat : 23393 (java) S 23380 23382 18226 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821641484520 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23394] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23394/stat : 23394 (java) S 23380 23382 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821640430584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23395] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23395/stat : 23395 (java) S 23380 23382 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821639378184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23396] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23396/stat : 23396 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821638326672 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23397] ppid=23380 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/23382/task/23397/stat : 23397 (java) S 23380 23382 18226 0 -1 4202560 10031 0 0 0 110 2 0 0 20 0 22 0 339080575 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821637274296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23398] ppid=23380 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/23382/task/23398/stat : 23398 (java) S 23380 23382 18226 0 -1 4202560 5810 0 0 0 113 2 0 0 20 0 22 0 339080575 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821636221496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23399] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23399/stat : 23399 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821635169400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23400] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23400/stat : 23400 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821634116808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23401] ppid=23380 vsize=11852648 CPUtime=1.93 cores=1,3,5,7
/proc/23382/task/23401/stat : 23401 (java) R 23380 23382 18226 0 -1 4202560 28 0 0 0 193 0 0 0 20 0 22 0 339080683 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821633003928 139822141355430 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23402] ppid=23380 vsize=11852648 CPUtime=1.94 cores=1,3,5,7
/proc/23382/task/23402/stat : 23402 (java) R 23380 23382 18226 0 -1 4202560 471 0 0 0 182 12 0 0 20 0 22 0 339080683 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821631950680 139822141386019 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23403] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23403/stat : 23403 (java) S 23380 23382 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339080689 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821630899368 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23404] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23404/stat : 23404 (java) S 23380 23382 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339080690 12137111552 293967 33554432000 1073741824 1073778376 140734661351328 139821629846568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 11852648
[startup+6.3008 s]
/proc/loadavg: 4.05 3.85 3.56 5/219 23404
/proc/meminfo: memFree=24070444/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11852648 CPUtime=14.2 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 25389 0 1 0 1389 31 0 0 20 0 22 0 339080570 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2963162 365147 2290 9 0 2953849 0
[pid=23382/tid=23383] ppid=23380 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) S 23380 23382 18226 0 -1 4202560 2994 0 1 0 106 5 0 0 20 0 22 0 339080570 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139822294631576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23385] ppid=23380 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23382/task/23385/stat : 23385 (java) S 23380 23382 18226 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 339080572 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139822263040296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23386] ppid=23380 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23382/task/23386/stat : 23386 (java) S 23380 23382 18226 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 339080572 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139822261987496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23387] ppid=23380 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23382/task/23387/stat : 23387 (java) S 23380 23382 18226 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 339080572 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139822260935208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23388] ppid=23380 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23382/task/23388/stat : 23388 (java) S 23380 23382 18226 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 339080572 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139822259882408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23389] ppid=23380 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23382/task/23389/stat : 23389 (java) S 23380 23382 18226 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 339080572 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139822258830120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23390] ppid=23380 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23382/task/23390/stat : 23390 (java) S 23380 23382 18226 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 339080572 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139822126566056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23391] ppid=23380 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23382/task/23391/stat : 23391 (java) S 23380 23382 18226 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 339080572 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139822125513768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23392] ppid=23380 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23382/task/23392/stat : 23392 (java) S 23380 23382 18226 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 339080572 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139821653683112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23393] ppid=23380 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/23382/task/23393/stat : 23393 (java) S 23380 23382 18226 0 -1 4202560 49 0 0 0 19 0 0 0 20 0 22 0 339080573 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139821641484520 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23394] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23394/stat : 23394 (java) S 23380 23382 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139821640430584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23395] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23395/stat : 23395 (java) S 23380 23382 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139821639378184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23396] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23396/stat : 23396 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 365147 33554432000 1073741824 1073778376 140734661351328 139821638326672 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/23382/statm: 2963162 980402 2291 9 0 2953849 0
[pid=23382/tid=23383] ppid=23380 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) S 23380 23382 18226 0 -1 4202560 3026 0 1 0 108 7 0 0 20 0 22 0 339080570 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139822294631576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23385] ppid=23380 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/23382/task/23385/stat : 23385 (java) S 23380 23382 18226 0 -1 4202560 272 0 0 0 115 4 0 0 20 0 22 0 339080572 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139822263040296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23386] ppid=23380 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/23382/task/23386/stat : 23386 (java) S 23380 23382 18226 0 -1 4202560 208 0 0 0 122 5 0 0 20 0 22 0 339080572 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139822261987496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23387] ppid=23380 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/23382/task/23387/stat : 23387 (java) S 23380 23382 18226 0 -1 4202560 237 0 0 0 117 4 0 0 20 0 22 0 339080572 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139822260935208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23388] ppid=23380 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/23382/task/23388/stat : 23388 (java) S 23380 23382 18226 0 -1 4202560 260 0 0 0 127 5 0 0 20 0 22 0 339080572 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139822259882408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23389] ppid=23380 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/23382/task/23389/stat : 23389 (java) S 23380 23382 18226 0 -1 4202560 260 0 0 0 126 5 0 0 20 0 22 0 339080572 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139822258830120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23390] ppid=23380 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/23382/task/23390/stat : 23390 (java) S 23380 23382 18226 0 -1 4202560 211 0 0 0 117 4 0 0 20 0 22 0 339080572 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139822126566056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23391] ppid=23380 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/23382/task/23391/stat : 23391 (java) S 23380 23382 18226 0 -1 4202560 214 0 0 0 120 4 0 0 20 0 22 0 339080572 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139822125513768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23392] ppid=23380 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/23382/task/23392/stat : 23392 (java) S 23380 23382 18226 0 -1 4202560 270 0 0 0 134 4 0 0 20 0 22 0 339080572 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821653683112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23393] ppid=23380 vsize=11852648 CPUtime=21.52 cores=1,3,5,7
/proc/23382/task/23393/stat : 23393 (java) S 23380 23382 18226 0 -1 4202560 212 0 0 0 2146 6 0 0 20 0 22 0 339080573 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821641484520 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23394] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23394/stat : 23394 (java) S 23380 23382 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821640430584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23395] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23395/stat : 23395 (java) S 23380 23382 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821639378184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23396] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23396/stat : 23396 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821638326672 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23397] ppid=23380 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/23382/task/23397/stat : 23397 (java) S 23380 23382 18226 0 -1 4202560 13236 0 0 0 162 3 0 0 20 0 22 0 339080575 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821637274296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23398] ppid=23380 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/23382/task/23398/stat : 23398 (java) S 23380 23382 18226 0 -1 4202560 10411 0 0 0 182 3 0 0 20 0 22 0 339080575 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821636221496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23399] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23399/stat : 23399 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821635169400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23400] ppid=23380 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/23382/task/23400/stat : 23400 (java) S 23380 23382 18226 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 339080575 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821634116808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23401] ppid=23380 vsize=11852648 CPUtime=854.5 cores=1,3,5,7
/proc/23382/task/23401/stat : 23401 (java) R 23380 23382 18226 0 -1 4202560 87 0 0 0 85437 13 0 0 20 0 22 0 339080683 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821633002784 139822140638215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23402] ppid=23380 vsize=11852648 CPUtime=854.43 cores=1,3,5,7
/proc/23382/task/23402/stat : 23402 (java) R 23380 23382 18226 0 -1 4202560 1570 0 0 0 85385 58 0 0 20 0 22 0 339080683 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821631949072 139822141316332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23403] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23403/stat : 23403 (java) S 23380 23382 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339080689 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821630899368 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23404] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23404/stat : 23404 (java) S 23380 23382 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339080690 12137111552 980402 33554432000 1073741824 1073778376 140734661351328 139821629846568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1750.09
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.701 s]
/proc/loadavg: 3.48 3.85 3.75 4/194 23851
/proc/meminfo: memFree=23228196/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11852648 CPUtime=1800.12 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 31811 0 1 0 179879 133 0 0 20 0 22 0 339080570 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2963162 985071 2291 9 0 2953849 0
[pid=23382/tid=23383] ppid=23380 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) S 23380 23382 18226 0 -1 4202560 3028 0 1 0 108 7 0 0 20 0 22 0 339080570 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822294631576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23385] ppid=23380 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/23382/task/23385/stat : 23385 (java) S 23380 23382 18226 0 -1 4202560 273 0 0 0 118 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822263040296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23386] ppid=23380 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/23382/task/23386/stat : 23386 (java) S 23380 23382 18226 0 -1 4202560 220 0 0 0 127 5 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822261987496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23387] ppid=23380 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/23382/task/23387/stat : 23387 (java) S 23380 23382 18226 0 -1 4202560 250 0 0 0 122 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822260935208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23388] ppid=23380 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/23382/task/23388/stat : 23388 (java) S 23380 23382 18226 0 -1 4202560 267 0 0 0 131 6 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822259882408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23389] ppid=23380 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/23382/task/23389/stat : 23389 (java) S 23380 23382 18226 0 -1 4202560 284 0 0 0 130 5 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822258830120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23390] ppid=23380 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/23382/task/23390/stat : 23390 (java) S 23380 23382 18226 0 -1 4202560 217 0 0 0 121 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822126566056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23391] ppid=23380 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/23382/task/23391/stat : 23391 (java) S 23380 23382 18226 0 -1 4202560 221 0 0 0 128 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822125513768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23392] ppid=23380 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/23382/task/23392/stat : 23392 (java) S 23380 23382 18226 0 -1 4202560 291 0 0 0 144 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821653683112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23393] ppid=23380 vsize=11852648 CPUtime=22.51 cores=1,3,5,7
/proc/23382/task/23393/stat : 23393 (java) S 23380 23382 18226 0 -1 4202560 214 0 0 0 2245 6 0 0 20 0 22 0 339080573 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821641484520 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23394] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23394/stat : 23394 (java) S 23380 23382 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821640430584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23395] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23395/stat : 23395 (java) S 23380 23382 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821639378184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23396] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23396/stat : 23396 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821638326672 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23397] ppid=23380 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/23382/task/23397/stat : 23397 (java) S 23380 23382 18226 0 -1 4202560 13236 0 0 0 162 3 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821637274296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23398] ppid=23380 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/23382/task/23398/stat : 23398 (java) S 23380 23382 18226 0 -1 4202560 10411 0 0 0 182 3 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821636221496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23399] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23399/stat : 23399 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821635169400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23400] ppid=23380 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/23382/task/23400/stat : 23400 (java) S 23380 23382 18226 0 -1 4202560 53 0 0 0 12 24 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821634116808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23401] ppid=23380 vsize=11852648 CPUtime=878.73 cores=1,3,5,7
/proc/23382/task/23401/stat : 23401 (java) R 23380 23382 18226 0 -1 4202560 88 0 0 0 87859 14 0 0 20 0 22 0 339080683 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821633002784 139822141258039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23402] ppid=23380 vsize=11852648 CPUtime=878.66 cores=1,3,5,7
/proc/23382/task/23402/stat : 23402 (java) R 23380 23382 18226 0 -1 4202560 1570 0 0 0 87807 59 0 0 20 0 22 0 339080683 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821631949072 139822141244876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23403] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23403/stat : 23403 (java) S 23380 23382 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339080689 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821630899368 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23404] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23404/stat : 23404 (java) S 23380 23382 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339080690 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821629846568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.701 s]
/proc/loadavg: 3.48 3.85 3.75 4/194 23851
/proc/meminfo: memFree=23228196/32873660 swapFree=7120/7120
[pid=23382] ppid=23380 vsize=11852648 CPUtime=1800.12 cores=1,3,5,7
/proc/23382/stat : 23382 (java) S 23380 23382 18226 0 -1 4202496 31811 0 1 0 179879 133 0 0 20 0 22 0 339080570 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 140734661342464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23382/statm: 2963162 985071 2291 9 0 2953849 0
[pid=23382/tid=23383] ppid=23380 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/23382/task/23383/stat : 23383 (java) S 23380 23382 18226 0 -1 4202560 3028 0 1 0 108 7 0 0 20 0 22 0 339080570 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822294631576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23385] ppid=23380 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/23382/task/23385/stat : 23385 (java) S 23380 23382 18226 0 -1 4202560 273 0 0 0 118 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822263040296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23386] ppid=23380 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/23382/task/23386/stat : 23386 (java) S 23380 23382 18226 0 -1 4202560 220 0 0 0 127 5 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822261987496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23387] ppid=23380 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/23382/task/23387/stat : 23387 (java) S 23380 23382 18226 0 -1 4202560 250 0 0 0 122 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822260935208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23388] ppid=23380 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/23382/task/23388/stat : 23388 (java) S 23380 23382 18226 0 -1 4202560 267 0 0 0 131 6 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822259882408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23389] ppid=23380 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/23382/task/23389/stat : 23389 (java) S 23380 23382 18226 0 -1 4202560 284 0 0 0 130 5 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822258830120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23390] ppid=23380 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/23382/task/23390/stat : 23390 (java) S 23380 23382 18226 0 -1 4202560 217 0 0 0 121 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822126566056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23391] ppid=23380 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/23382/task/23391/stat : 23391 (java) S 23380 23382 18226 0 -1 4202560 221 0 0 0 128 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139822125513768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23392] ppid=23380 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/23382/task/23392/stat : 23392 (java) S 23380 23382 18226 0 -1 4202560 291 0 0 0 144 4 0 0 20 0 22 0 339080572 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821653683112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23393] ppid=23380 vsize=11852648 CPUtime=22.51 cores=1,3,5,7
/proc/23382/task/23393/stat : 23393 (java) S 23380 23382 18226 0 -1 4202560 214 0 0 0 2245 6 0 0 20 0 22 0 339080573 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821641484520 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23394] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23394/stat : 23394 (java) S 23380 23382 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821640430584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23395] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23395/stat : 23395 (java) S 23380 23382 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339080573 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821639378184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23396] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23396/stat : 23396 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821638326672 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23397] ppid=23380 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/23382/task/23397/stat : 23397 (java) S 23380 23382 18226 0 -1 4202560 13236 0 0 0 162 3 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821637274296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23398] ppid=23380 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/23382/task/23398/stat : 23398 (java) S 23380 23382 18226 0 -1 4202560 10411 0 0 0 182 3 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821636221496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23399] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23399/stat : 23399 (java) S 23380 23382 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821635169400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23382/tid=23400] ppid=23380 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/23382/task/23400/stat : 23400 (java) S 23380 23382 18226 0 -1 4202560 53 0 0 0 12 24 0 0 20 0 22 0 339080575 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821634116808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23401] ppid=23380 vsize=11852648 CPUtime=878.73 cores=1,3,5,7
/proc/23382/task/23401/stat : 23401 (java) R 23380 23382 18226 0 -1 4202560 88 0 0 0 87859 14 0 0 20 0 22 0 339080683 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821633002784 139822141258039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23382/tid=23402] ppid=23380 vsize=11852648 CPUtime=878.66 cores=1,3,5,7
/proc/23382/task/23402/stat : 23402 (java) R 23380 23382 18226 0 -1 4202560 1570 0 0 0 87807 59 0 0 20 0 22 0 339080683 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821631949072 139822141244876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23382/tid=23403] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23403/stat : 23403 (java) S 23380 23382 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339080689 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821630899368 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23382/tid=23404] ppid=23380 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23404/stat : 23404 (java) S 23380 23382 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339080690 12137111552 985071 33554432000 1073741824 1073778376 140734661351328 139821629846568 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 11852648
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23382 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=189241
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=690742
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 907.753
CPU time (s): 1800.12
CPU user time (s): 1798.79
CPU system time (s): 1.33
CPU usage (%): 198.305
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 1.69074
maximum resident set size= 3940400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31842
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24401
involuntary context switches= 30391
runsolver used 3.2915 second user time and 8.20275 second system time
The end