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-3733416-1338743141/watcher-3733416-1338743141 -o /tmp/evaluation-result-3733416-1338743141/solver-3733416-1338743141 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733416-1338743141.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.79 3.25 3.56 3/197 18623
/proc/meminfo: memFree=26934960/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/18623/stat : 18623 (java) R 18621 18623 17063 0 -1 4202496 883 0 0 0 0 0 0 0 20 0 1 0 340438407 23793664 611 33554432000 1073741824 1073778376 140737238266448 140737238255512 209874631233 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 5809 622 463 9 0 128 0
[startup+0.0118379 s]
/proc/loadavg: 2.79 3.25 3.56 3/197 18623
/proc/meminfo: memFree=26934960/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 2 0 340438407 103964672 1053 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 25382 1053 807 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100274 s]
/proc/loadavg: 2.79 3.25 3.56 3/197 18623
/proc/meminfo: memFree=26934960/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 4740 0 1 0 8 1 0 0 20 0 18 0 340438407 2764726272 6431 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 674982 6431 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300202 s]
/proc/loadavg: 2.79 3.25 3.56 3/197 18623
/proc/meminfo: memFree=26934960/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=2699928 CPUtime=0.53 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 8017 0 1 0 51 2 0 0 20 0 18 0 340438407 2764726272 11873 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 674982 11873 2219 9 0 665676 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2699928
[startup+0.70031 s]
/proc/loadavg: 2.79 3.25 3.56 3/197 18623
/proc/meminfo: memFree=26934960/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=2699928 CPUtime=1.27 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 14531 0 1 0 122 5 0 0 20 0 18 0 340438407 2764726272 42199 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 674982 42199 2228 9 0 665676 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2699928
[startup+1.50091 s]
/proc/loadavg: 2.79 3.25 3.56 6/219 18645
/proc/meminfo: memFree=26716040/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=2966184 CPUtime=3.36 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 15177 0 1 0 329 7 0 0 20 0 22 0 340438407 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 741546 59401 2255 9 0 732240 0
[pid=18623/tid=18625] ppid=18621 vsize=2966184 CPUtime=0.75 cores=1,3,5,7
/proc/18623/task/18625/stat : 18625 (java) S 18621 18623 17063 0 -1 4202560 2875 0 1 0 70 5 0 0 20 0 22 0 340438408 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431920305304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18626] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18626/stat : 18626 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431904585896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18627] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18627/stat : 18627 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431903533352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18628] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18628/stat : 18628 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431902480808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18629] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18629/stat : 18629 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431901428264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18630] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18630/stat : 18630 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431900375720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18631] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18631/stat : 18631 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431899323176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18632] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18632/stat : 18632 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431898270632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18633] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18633/stat : 18633 (java) S 18621 18623 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431897218088 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18634] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18634/stat : 18634 (java) S 18621 18623 17063 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 340438410 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431884806248 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18635] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18635/stat : 18635 (java) S 18621 18623 17063 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431883752568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18636] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18636/stat : 18636 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431882699912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18637] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18637/stat : 18637 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431881648656 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18638] ppid=18621 vsize=2966184 CPUtime=0.62 cores=1,3,5,7
/proc/18623/task/18638/stat : 18638 (java) S 18621 18623 17063 0 -1 4202560 7358 0 0 0 62 0 0 0 20 0 22 0 340438413 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431880596024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18639] ppid=18621 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/18623/task/18639/stat : 18639 (java) S 18621 18623 17063 0 -1 4202560 3623 0 0 0 52 0 0 0 20 0 22 0 340438413 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431879543480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18640] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18640/stat : 18640 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431878491128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18641] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18641/stat : 18641 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431877438792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18642] ppid=18621 vsize=2966184 CPUtime=0.7 cores=1,3,5,7
/proc/18623/task/18642/stat : 18642 (java) R 18621 18623 17063 0 -1 4202560 41 0 0 0 70 0 0 0 20 0 22 0 340438485 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431876381880 140431757943296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18643] ppid=18621 vsize=2966184 CPUtime=0.7 cores=1,3,5,7
/proc/18623/task/18643/stat : 18643 (java) R 18621 18623 17063 0 -1 4202560 80 0 0 0 70 0 0 0 20 0 22 0 340438485 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431757140136 140431757942629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18644] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18644/stat : 18644 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431756088360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18645] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18645/stat : 18645 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 59401 33554432000 1073741824 1073778376 140737238266448 140431755035816 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 2966184
[startup+3.10093 s]
/proc/loadavg: 2.81 3.24 3.55 4/219 18645
/proc/meminfo: memFree=26689036/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=2966184 CPUtime=6.66 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 15200 0 1 0 658 8 0 0 20 0 22 0 340438407 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 741546 69642 2255 9 0 732240 0
[pid=18623/tid=18625] ppid=18621 vsize=2966184 CPUtime=0.75 cores=1,3,5,7
/proc/18623/task/18625/stat : 18625 (java) S 18621 18623 17063 0 -1 4202560 2875 0 1 0 70 5 0 0 20 0 22 0 340438408 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431920305304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18626] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18626/stat : 18626 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431904585896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18627] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18627/stat : 18627 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431903533352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18628] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18628/stat : 18628 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431902480808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18629] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18629/stat : 18629 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431901428264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18630] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18630/stat : 18630 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431900375720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18631] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18631/stat : 18631 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431899323176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18632] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18632/stat : 18632 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431898270632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18633] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18633/stat : 18633 (java) S 18621 18623 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340438409 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431897218088 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18634] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18634/stat : 18634 (java) S 18621 18623 17063 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 340438410 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431884806248 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18635] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18635/stat : 18635 (java) S 18621 18623 17063 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431883752568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18636] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18636/stat : 18636 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431882699912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18637] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18637/stat : 18637 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431881648656 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18638] ppid=18621 vsize=2966184 CPUtime=0.62 cores=1,3,5,7
/proc/18623/task/18638/stat : 18638 (java) S 18621 18623 17063 0 -1 4202560 7358 0 0 0 62 0 0 0 20 0 22 0 340438413 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431880596024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18639] ppid=18621 vsize=2966184 CPUtime=0.62 cores=1,3,5,7
/proc/18623/task/18639/stat : 18639 (java) S 18621 18623 17063 0 -1 4202560 3624 0 0 0 62 0 0 0 20 0 22 0 340438413 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431879543480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18640] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18640/stat : 18640 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431878491128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18641] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18641/stat : 18641 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431877438792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18642] ppid=18621 vsize=2966184 CPUtime=2.3 cores=1,3,5,7
/proc/18623/task/18642/stat : 18642 (java) R 18621 18623 17063 0 -1 4202560 53 0 0 0 230 0 0 0 20 0 22 0 340438485 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431876381080 140431757943240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18643] ppid=18621 vsize=2966184 CPUtime=2.29 cores=1,3,5,7
/proc/18623/task/18643/stat : 18643 (java) R 18621 18623 17063 0 -1 4202560 90 0 0 0 229 0 0 0 20 0 22 0 340438485 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431757138536 140431757943296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18644] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18644/stat : 18644 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431756088360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18645] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18645/stat : 18645 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 69642 33554432000 1073741824 1073778376 140737238266448 140431755035816 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 2966184
[startup+6.30079 s]
/proc/loadavg: 2.81 3.24 3.55 5/218 18645
/proc/meminfo: memFree=26514352/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=2966184 CPUtime=13.47 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 15457 0 1 0 1330 17 0 0 20 0 22 0 340438407 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 741546 106955 2269 9 0 732240 0
[pid=18623/tid=18625] ppid=18621 vsize=2966184 CPUtime=0.75 cores=1,3,5,7
/proc/18623/task/18625/stat : 18625 (java) S 18621 18623 17063 0 -1 4202560 2875 0 1 0 70 5 0 0 20 0 22 0 340438408 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431920305304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18626] ppid=18621 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18623/task/18626/stat : 18626 (java) S 18621 18623 17063 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 340438409 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431904585896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18627] ppid=18621 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18623/task/18627/stat : 18627 (java) S 18621 18623 17063 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 340438409 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431903533352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18628] ppid=18621 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18623/task/18628/stat : 18628 (java) S 18621 18623 17063 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 340438409 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431902480808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18629] ppid=18621 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/18623/task/18629/stat : 18629 (java) S 18621 18623 17063 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 340438409 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431901428264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18630] ppid=18621 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18623/task/18630/stat : 18630 (java) S 18621 18623 17063 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 340438409 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431900375720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18631] ppid=18621 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18623/task/18631/stat : 18631 (java) S 18621 18623 17063 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 340438409 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431899323176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18632] ppid=18621 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18623/task/18632/stat : 18632 (java) S 18621 18623 17063 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 340438409 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431898270632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18633] ppid=18621 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18623/task/18633/stat : 18633 (java) S 18621 18623 17063 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 340438409 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431897218088 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18634] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18634/stat : 18634 (java) S 18621 18623 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340438410 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431884806248 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18635] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18635/stat : 18635 (java) S 18621 18623 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431883752568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18636] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18636/stat : 18636 (java) S 18621 18623 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431882699912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18637] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18637/stat : 18637 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431881648656 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18638] ppid=18621 vsize=2966184 CPUtime=0.74 cores=1,3,5,7
/proc/18623/task/18638/stat : 18638 (java) S 18621 18623 17063 0 -1 4202560 7363 0 0 0 74 0 0 0 20 0 22 0 340438413 3037372416 106955 33554432000 1073741824 1073778376 140737238266448 140431880596024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/18623/statm: 741546 186514 2282 9 0 732240 0
[pid=18623/tid=18625] ppid=18621 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/18623/task/18625/stat : 18625 (java) S 18621 18623 17063 0 -1 4202560 2878 0 1 0 72 5 0 0 20 0 22 0 340438408 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431920305304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18626] ppid=18621 vsize=2966184 CPUtime=1.88 cores=1,3,5,7
/proc/18623/task/18626/stat : 18626 (java) R 18621 18623 17063 0 -1 4202560 159 0 0 0 180 8 0 0 20 0 22 0 340438409 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431904585920 209887224245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18627] ppid=18621 vsize=2966184 CPUtime=1.76 cores=1,3,5,7
/proc/18623/task/18627/stat : 18627 (java) R 18621 18623 17063 0 -1 4202560 127 0 0 0 171 5 0 0 20 0 22 0 340438409 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431903533352 209883794567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18628] ppid=18621 vsize=2966184 CPUtime=1.77 cores=1,3,5,7
/proc/18623/task/18628/stat : 18628 (java) R 18621 18623 17063 0 -1 4202560 124 0 0 0 172 5 0 0 20 0 22 0 340438409 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431902480936 209883794567 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18629] ppid=18621 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/18623/task/18629/stat : 18629 (java) R 18621 18623 17063 0 -1 4202560 147 0 0 0 171 7 0 0 20 0 22 0 340438409 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431901428264 209887212604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18630] ppid=18621 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/18623/task/18630/stat : 18630 (java) R 18621 18623 17063 0 -1 4202560 139 0 0 0 170 8 0 0 20 0 22 0 340438409 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431900375560 209883794567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18631] ppid=18621 vsize=2966184 CPUtime=1.8 cores=1,3,5,7
/proc/18623/task/18631/stat : 18631 (java) S 18621 18623 17063 0 -1 4202560 115 0 0 0 175 5 0 0 20 0 22 0 340438409 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431899323176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18632] ppid=18621 vsize=2966184 CPUtime=1.82 cores=1,3,5,7
/proc/18623/task/18632/stat : 18632 (java) R 18621 18623 17063 0 -1 4202560 166 0 0 0 174 8 0 0 20 0 22 0 340438409 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431898270760 209883794567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18633] ppid=18621 vsize=2966184 CPUtime=1.68 cores=1,3,5,7
/proc/18623/task/18633/stat : 18633 (java) S 18621 18623 17063 0 -1 4202560 130 0 0 0 162 6 0 0 20 0 22 0 340438409 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431897218088 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18634] ppid=18621 vsize=2966184 CPUtime=5.44 cores=1,3,5,7
/proc/18623/task/18634/stat : 18634 (java) S 18621 18623 17063 0 -1 4202560 21578 0 0 0 522 22 0 0 20 0 22 0 340438410 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431884805128 209887212604 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18635] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18635/stat : 18635 (java) S 18621 18623 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431883752568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18636] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18636/stat : 18636 (java) S 18621 18623 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431882699912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18637] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18637/stat : 18637 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431881648656 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18638] ppid=18621 vsize=2966184 CPUtime=2 cores=1,3,5,7
/proc/18623/task/18638/stat : 18638 (java) S 18621 18623 17063 0 -1 4202560 15485 0 0 0 196 4 0 0 20 0 22 0 340438413 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431880596024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18639] ppid=18621 vsize=2966184 CPUtime=1.47 cores=1,3,5,7
/proc/18623/task/18639/stat : 18639 (java) S 18621 18623 17063 0 -1 4202560 6239 0 0 0 145 2 0 0 20 0 22 0 340438413 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431879543480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18640] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18640/stat : 18640 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431878491128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18641] ppid=18621 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/18623/task/18641/stat : 18641 (java) S 18621 18623 17063 0 -1 4202560 48 0 0 0 17 22 0 0 20 0 22 0 340438413 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431877438792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18642] ppid=18621 vsize=2966184 CPUtime=809.57 cores=1,3,5,7
/proc/18623/task/18642/stat : 18642 (java) S 18621 18623 17063 0 -1 4202560 227 0 0 0 80942 15 0 0 20 0 22 0 340438485 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431876381096 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18643] ppid=18621 vsize=2966184 CPUtime=809.47 cores=1,3,5,7
/proc/18623/task/18643/stat : 18643 (java) S 18621 18623 17063 0 -1 4202560 301 0 0 0 80931 16 0 0 20 0 22 0 340438485 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431757138632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18644] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18644/stat : 18644 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431756088360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18645] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18645/stat : 18645 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 186514 33554432000 1073741824 1073778376 140737238266448 140431755035816 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1647.67
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.94 3.71 3.53 5/220 18790
/proc/meminfo: memFree=26990512/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=2966184 CPUtime=1767.88 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 50720 0 1 0 176668 120 0 0 20 0 22 0 340438407 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 741546 191728 2282 9 0 732240 0
[pid=18623/tid=18625] ppid=18621 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/18623/task/18625/stat : 18625 (java) S 18621 18623 17063 0 -1 4202560 2878 0 1 0 72 5 0 0 20 0 22 0 340438408 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431920305304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18626] ppid=18621 vsize=2966184 CPUtime=2.06 cores=1,3,5,7
/proc/18623/task/18626/stat : 18626 (java) S 18621 18623 17063 0 -1 4202560 172 0 0 0 198 8 0 0 20 0 22 0 340438409 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431904585896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18627] ppid=18621 vsize=2966184 CPUtime=1.93 cores=1,3,5,7
/proc/18623/task/18627/stat : 18627 (java) S 18621 18623 17063 0 -1 4202560 140 0 0 0 188 5 0 0 20 0 22 0 340438409 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431903533352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18628] ppid=18621 vsize=2966184 CPUtime=1.95 cores=1,3,5,7
/proc/18623/task/18628/stat : 18628 (java) S 18621 18623 17063 0 -1 4202560 135 0 0 0 189 6 0 0 20 0 22 0 340438409 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431902480808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18629] ppid=18621 vsize=2966184 CPUtime=1.96 cores=1,3,5,7
/proc/18623/task/18629/stat : 18629 (java) S 18621 18623 17063 0 -1 4202560 160 0 0 0 189 7 0 0 20 0 22 0 340438409 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431901428264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18630] ppid=18621 vsize=2966184 CPUtime=1.92 cores=1,3,5,7
/proc/18623/task/18630/stat : 18630 (java) S 18621 18623 17063 0 -1 4202560 149 0 0 0 184 8 0 0 20 0 22 0 340438409 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431900375720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18631] ppid=18621 vsize=2966184 CPUtime=1.96 cores=1,3,5,7
/proc/18623/task/18631/stat : 18631 (java) S 18621 18623 17063 0 -1 4202560 123 0 0 0 191 5 0 0 20 0 22 0 340438409 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431899323176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18632] ppid=18621 vsize=2966184 CPUtime=1.95 cores=1,3,5,7
/proc/18623/task/18632/stat : 18632 (java) S 18621 18623 17063 0 -1 4202560 172 0 0 0 187 8 0 0 20 0 22 0 340438409 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431898270632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18633] ppid=18621 vsize=2966184 CPUtime=1.86 cores=1,3,5,7
/proc/18623/task/18633/stat : 18633 (java) S 18621 18623 17063 0 -1 4202560 140 0 0 0 179 7 0 0 20 0 22 0 340438409 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431897218088 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18634] ppid=18621 vsize=2966184 CPUtime=5.83 cores=1,3,5,7
/proc/18623/task/18634/stat : 18634 (java) S 18621 18623 17063 0 -1 4202560 23134 0 0 0 560 23 0 0 20 0 22 0 340438410 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431884806248 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18635] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18635/stat : 18635 (java) S 18621 18623 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431883752568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18636] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18636/stat : 18636 (java) S 18621 18623 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431882699912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18637] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18637/stat : 18637 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431881648656 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18638] ppid=18621 vsize=2966184 CPUtime=2 cores=1,3,5,7
/proc/18623/task/18638/stat : 18638 (java) S 18621 18623 17063 0 -1 4202560 15485 0 0 0 196 4 0 0 20 0 22 0 340438413 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431880596024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18639] ppid=18621 vsize=2966184 CPUtime=1.47 cores=1,3,5,7
/proc/18623/task/18639/stat : 18639 (java) S 18621 18623 17063 0 -1 4202560 6239 0 0 0 145 2 0 0 20 0 22 0 340438413 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431879543480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18640] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18640/stat : 18640 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431878491128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18641] ppid=18621 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/18623/task/18641/stat : 18641 (java) S 18621 18623 17063 0 -1 4202560 52 0 0 0 19 24 0 0 20 0 22 0 340438413 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431877438792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18642] ppid=18621 vsize=2966184 CPUtime=868.68 cores=1,3,5,7
/proc/18623/task/18642/stat : 18642 (java) R 18621 18623 17063 0 -1 4202560 235 0 0 0 86852 16 0 0 20 0 22 0 340438485 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431876381792 140431757943296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18643] ppid=18621 vsize=2966184 CPUtime=868.56 cores=1,3,5,7
/proc/18623/task/18643/stat : 18643 (java) R 18621 18623 17063 0 -1 4202560 318 0 0 0 86839 17 0 0 20 0 22 0 340438485 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431757138352 140431757943240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18644] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18644/stat : 18644 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431756088360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18645] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18645/stat : 18645 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 191728 33554432000 1073741824 1073778376 140737238266448 140431755035816 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1767.88
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.401 s]
/proc/loadavg: 3.96 3.72 3.54 6/220 18790
/proc/meminfo: memFree=26986036/32873844 swapFree=7632/7632
[pid=18623] ppid=18621 vsize=2966184 CPUtime=1800.2 cores=1,3,5,7
/proc/18623/stat : 18623 (java) S 18621 18623 17063 0 -1 4202496 50741 0 1 0 179899 121 0 0 20 0 22 0 340438407 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140737238257584 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 741546 192816 2282 9 0 732240 0
[pid=18623/tid=18625] ppid=18621 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/18623/task/18625/stat : 18625 (java) S 18621 18623 17063 0 -1 4202560 2878 0 1 0 72 5 0 0 20 0 22 0 340438408 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431920305304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18626] ppid=18621 vsize=2966184 CPUtime=2.08 cores=1,3,5,7
/proc/18623/task/18626/stat : 18626 (java) S 18621 18623 17063 0 -1 4202560 175 0 0 0 200 8 0 0 20 0 22 0 340438409 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431904585896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18627] ppid=18621 vsize=2966184 CPUtime=1.96 cores=1,3,5,7
/proc/18623/task/18627/stat : 18627 (java) S 18621 18623 17063 0 -1 4202560 142 0 0 0 190 6 0 0 20 0 22 0 340438409 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431903533352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18628] ppid=18621 vsize=2966184 CPUtime=1.98 cores=1,3,5,7
/proc/18623/task/18628/stat : 18628 (java) S 18621 18623 17063 0 -1 4202560 139 0 0 0 192 6 0 0 20 0 22 0 340438409 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431902480808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18629] ppid=18621 vsize=2966184 CPUtime=1.98 cores=1,3,5,7
/proc/18623/task/18629/stat : 18629 (java) S 18621 18623 17063 0 -1 4202560 160 0 0 0 191 7 0 0 20 0 22 0 340438409 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431901428264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18630] ppid=18621 vsize=2966184 CPUtime=1.96 cores=1,3,5,7
/proc/18623/task/18630/stat : 18630 (java) S 18621 18623 17063 0 -1 4202560 152 0 0 0 188 8 0 0 20 0 22 0 340438409 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431900375720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18631] ppid=18621 vsize=2966184 CPUtime=2 cores=1,3,5,7
/proc/18623/task/18631/stat : 18631 (java) S 18621 18623 17063 0 -1 4202560 124 0 0 0 195 5 0 0 20 0 22 0 340438409 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431899323176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18632] ppid=18621 vsize=2966184 CPUtime=1.98 cores=1,3,5,7
/proc/18623/task/18632/stat : 18632 (java) S 18621 18623 17063 0 -1 4202560 173 0 0 0 190 8 0 0 20 0 22 0 340438409 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431898270632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18633] ppid=18621 vsize=2966184 CPUtime=1.89 cores=1,3,5,7
/proc/18623/task/18633/stat : 18633 (java) S 18621 18623 17063 0 -1 4202560 143 0 0 0 182 7 0 0 20 0 22 0 340438409 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431897218088 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18634] ppid=18621 vsize=2966184 CPUtime=5.83 cores=1,3,5,7
/proc/18623/task/18634/stat : 18634 (java) S 18621 18623 17063 0 -1 4202560 23134 0 0 0 560 23 0 0 20 0 22 0 340438410 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431884806248 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18635] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18635/stat : 18635 (java) S 18621 18623 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431883752568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18636] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18636/stat : 18636 (java) S 18621 18623 17063 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340438411 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431882699912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18637] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18637/stat : 18637 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431881648656 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18638] ppid=18621 vsize=2966184 CPUtime=2 cores=1,3,5,7
/proc/18623/task/18638/stat : 18638 (java) S 18621 18623 17063 0 -1 4202560 15485 0 0 0 196 4 0 0 20 0 22 0 340438413 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431880596024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18623/tid=18639] ppid=18621 vsize=2966184 CPUtime=1.47 cores=1,3,5,7
/proc/18623/task/18639/stat : 18639 (java) S 18621 18623 17063 0 -1 4202560 6239 0 0 0 145 2 0 0 20 0 22 0 340438413 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431879543480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18640] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18640/stat : 18640 (java) S 18621 18623 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340438413 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431878491128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18623/tid=18641] ppid=18621 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/18623/task/18641/stat : 18641 (java) S 18621 18623 17063 0 -1 4202560 52 0 0 0 19 24 0 0 20 0 22 0 340438413 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431877438792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18642] ppid=18621 vsize=2966184 CPUtime=884.67 cores=1,3,5,7
/proc/18623/task/18642/stat : 18642 (java) R 18621 18623 17063 0 -1 4202560 238 0 0 0 88451 16 0 0 20 0 22 0 340438485 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431876381776 140431757943296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18643] ppid=18621 vsize=2966184 CPUtime=884.55 cores=1,3,5,7
/proc/18623/task/18643/stat : 18643 (java) R 18621 18623 17063 0 -1 4202560 319 0 0 0 88438 17 0 0 20 0 22 0 340438485 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431757138352 140431757708809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18623/tid=18644] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18644/stat : 18644 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431756088360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18623/tid=18645] ppid=18621 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18623/task/18645/stat : 18645 (java) S 18621 18623 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340438504 3037372416 192816 33554432000 1073741824 1073778376 140737238266448 140431755035816 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18623 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=308223
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=625752
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.437
CPU time (s): 1800.2
CPU user time (s): 1798.99
CPU system time (s): 1.21
CPU usage (%): 200.37
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.31
system time used= 1.62575
maximum resident set size= 771396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50777
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30413
involuntary context switches= 41984
runsolver used 4.55931 second user time and 8.21575 second system time
The end