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-3741633-1338757453/watcher-3741633-1338757453 -o /tmp/evaluation-result-3741633-1338757453/solver-3741633-1338757453 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741633-1338757453.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.48 3.84 3.78 4/195 3635
/proc/meminfo: memFree=26492028/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3635/stat : 3635 (java) D 3633 3635 1918 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 341870716 9515008 182 33554432000 1073741824 1073778376 140735744400432 140735744391464 252263087797 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2323 182 140 9 0 71 0
[startup+0.0596669 s]
/proc/loadavg: 3.48 3.84 3.78 4/195 3635
/proc/meminfo: memFree=26492028/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11120388 CPUtime=0.02 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 3679 0 1 0 1 1 0 0 20 0 11 0 341870716 11387277312 12044 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2780097 12044 1645 9 0 2770798 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11120388
[startup+0.100254 s]
/proc/loadavg: 3.48 3.84 3.78 4/195 3635
/proc/meminfo: memFree=26492028/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 3960 0 1 0 5 1 0 0 20 0 18 0 341870716 11864465408 12834 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2896598 12834 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.300219 s]
/proc/loadavg: 3.48 3.84 3.78 4/195 3635
/proc/meminfo: memFree=26492028/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11586392 CPUtime=0.45 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 5891 0 1 0 42 3 0 0 20 0 18 0 341870716 11864465408 17410 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2896598 17410 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392
[startup+0.700139 s]
/proc/loadavg: 3.48 3.84 3.78 4/195 3635
/proc/meminfo: memFree=26492028/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11852648 CPUtime=1.55 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 10362 0 1 0 149 6 0 0 20 0 22 0 341870716 12137111552 50622 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2963162 50622 2253 9 0 2953849 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 11852648
[startup+1.50072 s]
/proc/loadavg: 3.48 3.84 3.78 7/217 3657
/proc/meminfo: memFree=26253288/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11852648 CPUtime=4.12 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 21846 0 1 0 402 10 0 0 20 0 22 0 341870716 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2963162 89679 2256 9 0 2953849 0
[pid=3635/tid=3637] ppid=3633 vsize=11852648 CPUtime=0.46 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) S 3633 3635 1918 0 -1 4202560 2931 0 1 0 42 4 0 0 20 0 22 0 341870717 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632521987224 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3638] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632476740264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3639] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632475687720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3640] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632474635176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3641] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632473582632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3642] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632472529064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3643] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632471476520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3644] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632470423976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3645] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3633 3635 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632469371432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3646] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3633 3635 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632339221096 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3647] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3633 3635 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632338167416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632337114760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3649] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632336063504 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3650] ppid=3633 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3633 3635 1918 0 -1 4202560 9915 0 0 0 78 2 0 0 20 0 22 0 341870725 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632335009848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3651] ppid=3633 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/3635/task/3651/stat : 3651 (java) S 3633 3635 1918 0 -1 4202560 7633 0 0 0 84 1 0 0 20 0 22 0 341870725 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632333957304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3652] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3652/stat : 3652 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632332904952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3653] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3653/stat : 3653 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632331852616 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (java) R 3633 3635 1918 0 -1 4202560 30 0 0 0 97 0 0 0 20 0 22 0 341870767 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140632330795776 140632346385346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3655] ppid=3633 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/3635/task/3655/stat : 3655 (java) R 3633 3635 1918 0 -1 4202560 136 0 0 0 93 3 0 0 20 0 22 0 341870767 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140631187907112 140632346316577 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3656] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3656/stat : 3656 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140631186855464 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3657] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3657/stat : 3657 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 89679 33554432000 1073741824 1073778376 140733251581248 140631053690536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 11852648
[startup+3.10073 s]
/proc/loadavg: 3.53 3.84 3.78 5/217 3657
/proc/meminfo: memFree=25936100/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11852648 CPUtime=7.41 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 22678 0 1 0 721 20 0 0 20 0 22 0 341870716 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2963162 219262 2280 9 0 2953849 0
[pid=3635/tid=3637] ppid=3633 vsize=11852648 CPUtime=0.46 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) S 3633 3635 1918 0 -1 4202560 2931 0 1 0 42 4 0 0 20 0 22 0 341870717 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632521987224 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3638] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3633 3635 1918 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632476740264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3639] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632475687720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3640] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3633 3635 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632474635176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3641] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3633 3635 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632473582632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3642] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3633 3635 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632472529064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3643] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3633 3635 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632471476520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3644] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3633 3635 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632470423976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3645] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3633 3635 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632469371432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3646] ppid=3633 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3633 3635 1918 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 22 0 341870722 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632339221096 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3647] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3633 3635 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632338167416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3633 3635 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632337114760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3649] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632336063504 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3650] ppid=3633 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3633 3635 1918 0 -1 4202560 9916 0 0 0 82 2 0 0 20 0 22 0 341870725 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632335009848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3651] ppid=3633 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/3635/task/3651/stat : 3651 (java) S 3633 3635 1918 0 -1 4202560 8153 0 0 0 93 1 0 0 20 0 22 0 341870725 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632333957304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3652] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3652/stat : 3652 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632332904952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3653] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3653/stat : 3653 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632331852616 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=11852648 CPUtime=2.5 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (java) R 3633 3635 1918 0 -1 4202560 31 0 0 0 250 0 0 0 20 0 22 0 341870767 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140632330797832 140632346341468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3655] ppid=3633 vsize=11852648 CPUtime=2.48 cores=0,2,4,6
/proc/3635/task/3655/stat : 3655 (java) R 3633 3635 1918 0 -1 4202560 376 0 0 0 238 10 0 0 20 0 22 0 341870767 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140631187905200 140632346054976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3656] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3656/stat : 3656 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140631186855464 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3657] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3657/stat : 3657 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 219262 33554432000 1073741824 1073778376 140733251581248 140631053690536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 11852648
[startup+6.30072 s]
/proc/loadavg: 3.53 3.84 3.78 5/217 3657
/proc/meminfo: memFree=25274100/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11852648 CPUtime=13.75 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 22889 0 1 0 1349 26 0 0 20 0 22 0 341870716 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2963162 319199 2280 9 0 2953849 0
[pid=3635/tid=3637] ppid=3633 vsize=11852648 CPUtime=0.46 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) S 3633 3635 1918 0 -1 4202560 2931 0 1 0 42 4 0 0 20 0 22 0 341870717 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632521987224 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3638] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3633 3635 1918 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632476740264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3639] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632475687720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3640] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3633 3635 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632474635176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3641] ppid=3633 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3633 3635 1918 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 341870721 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632473582632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3642] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3633 3635 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632472529064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3643] ppid=3633 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3633 3635 1918 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 341870721 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632471476520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3644] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3633 3635 1918 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632470423976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3645] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3633 3635 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341870721 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632469371432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3646] ppid=3633 vsize=11852648 CPUtime=0.11 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3633 3635 1918 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 22 0 341870722 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632339221096 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3647] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3633 3635 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632338167416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3633 3635 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632337114760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3649] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632336063504 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3650] ppid=3633 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3633 3635 1918 0 -1 4202560 9916 0 0 0 84 2 0 0 20 0 22 0 341870725 12137111552 319199 33554432000 1073741824 1073778376 140733251581248 140632335009848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
/proc/3635/statm: 2963162 939150 2282 9 0 2953849 0
[pid=3635/tid=3637] ppid=3633 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) S 3633 3635 1918 0 -1 4202560 3033 0 1 0 44 5 0 0 20 0 22 0 341870717 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632521987224 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3638] ppid=3633 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3633 3635 1918 0 -1 4202560 104 0 0 0 110 4 0 0 20 0 22 0 341870721 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632476740264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3639] ppid=3633 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3633 3635 1918 0 -1 4202560 61 0 0 0 111 2 0 0 20 0 22 0 341870721 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632475687720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3640] ppid=3633 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3633 3635 1918 0 -1 4202560 84 0 0 0 105 5 0 0 20 0 22 0 341870721 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632474635176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3641] ppid=3633 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3633 3635 1918 0 -1 4202560 87 0 0 0 115 3 0 0 20 0 22 0 341870721 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632473582632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3642] ppid=3633 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3633 3635 1918 0 -1 4202560 80 0 0 0 114 4 0 0 20 0 22 0 341870721 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632472529064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3643] ppid=3633 vsize=11852648 CPUtime=1.07 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3633 3635 1918 0 -1 4202560 84 0 0 0 104 3 0 0 20 0 22 0 341870721 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632471476520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3644] ppid=3633 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3633 3635 1918 0 -1 4202560 79 0 0 0 111 3 0 0 20 0 22 0 341870721 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632470423976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3645] ppid=3633 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3633 3635 1918 0 -1 4202560 70 0 0 0 111 3 0 0 20 0 22 0 341870721 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632469371432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3646] ppid=3633 vsize=11852648 CPUtime=56.96 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3633 3635 1918 0 -1 4202560 188 0 0 0 5689 7 0 0 20 0 22 0 341870722 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632339221096 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3647] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3633 3635 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632338167416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3633 3635 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632337114760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3649] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632336063504 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3650] ppid=3633 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3633 3635 1918 0 -1 4202560 9966 0 0 0 92 2 0 0 20 0 22 0 341870725 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632335009848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3651] ppid=3633 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/3635/task/3651/stat : 3651 (java) S 3633 3635 1918 0 -1 4202560 8162 0 0 0 117 1 0 0 20 0 22 0 341870725 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632333957304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3652] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3652/stat : 3652 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632332904952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3653] ppid=3633 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/3635/task/3653/stat : 3653 (java) S 3633 3635 1918 0 -1 4202560 47 0 0 0 13 17 0 0 20 0 22 0 341870725 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632331852616 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=11852648 CPUtime=759.94 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (java) R 3633 3635 1918 0 -1 4202560 147 0 0 0 75980 14 0 0 20 0 22 0 341870767 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140632330797648 140632346278678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3655] ppid=3633 vsize=11852648 CPUtime=759.8 cores=0,2,4,6
/proc/3635/task/3655/stat : 3655 (java) R 3633 3635 1918 0 -1 4202560 1646 0 0 0 75918 62 0 0 20 0 22 0 341870767 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140631187905072 140632346429687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3656] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3656/stat : 3656 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140631186855464 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3657] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3657/stat : 3657 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 939150 33554432000 1073741824 1073778376 140733251581248 140631053690536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1592.66
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.93 3.96 3.89 5/217 3815
/proc/meminfo: memFree=20322512/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11852648 CPUtime=1708.1 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 25120 0 1 0 170695 115 0 0 20 0 22 0 341870716 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2963162 945331 2282 9 0 2953849 0
[pid=3635/tid=3637] ppid=3633 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) S 3633 3635 1918 0 -1 4202560 3038 0 1 0 44 6 0 0 20 0 22 0 341870717 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632521987224 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3638] ppid=3633 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3633 3635 1918 0 -1 4202560 104 0 0 0 119 4 0 0 20 0 22 0 341870721 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632476740264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3639] ppid=3633 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3633 3635 1918 0 -1 4202560 61 0 0 0 121 2 0 0 20 0 22 0 341870721 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632475687720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3640] ppid=3633 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3633 3635 1918 0 -1 4202560 90 0 0 0 116 5 0 0 20 0 22 0 341870721 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632474635176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3641] ppid=3633 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3633 3635 1918 0 -1 4202560 95 0 0 0 126 4 0 0 20 0 22 0 341870721 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632473582632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3642] ppid=3633 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3633 3635 1918 0 -1 4202560 91 0 0 0 129 4 0 0 20 0 22 0 341870721 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632472529064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3643] ppid=3633 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3633 3635 1918 0 -1 4202560 100 0 0 0 115 4 0 0 20 0 22 0 341870721 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632471476520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3644] ppid=3633 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3633 3635 1918 0 -1 4202560 100 0 0 0 125 4 0 0 20 0 22 0 341870721 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632470423976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3645] ppid=3633 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3633 3635 1918 0 -1 4202560 80 0 0 0 122 4 0 0 20 0 22 0 341870721 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632469371432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3646] ppid=3633 vsize=11852648 CPUtime=61.94 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3633 3635 1918 0 -1 4202560 193 0 0 0 6187 7 0 0 20 0 22 0 341870722 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632339221096 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3647] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3633 3635 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632338167416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3633 3635 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632337114760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3649] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632336063504 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3650] ppid=3633 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3633 3635 1918 0 -1 4202560 9966 0 0 0 92 2 0 0 20 0 22 0 341870725 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632335009848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3651] ppid=3633 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/3635/task/3651/stat : 3651 (java) S 3633 3635 1918 0 -1 4202560 8162 0 0 0 117 1 0 0 20 0 22 0 341870725 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632333957304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3652] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3652/stat : 3652 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632332904952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3653] ppid=3633 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/3635/task/3653/stat : 3653 (java) S 3633 3635 1918 0 -1 4202560 51 0 0 0 15 18 0 0 20 0 22 0 341870725 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632331852616 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=11852648 CPUtime=814.53 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (java) R 3633 3635 1918 0 -1 4202560 155 0 0 0 81438 15 0 0 20 0 22 0 341870767 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140632330797648 140632346385278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3655] ppid=3633 vsize=11852648 CPUtime=814.4 cores=0,2,4,6
/proc/3635/task/3655/stat : 3655 (java) R 3633 3635 1918 0 -1 4202560 1647 0 0 0 81377 63 0 0 20 0 22 0 341870767 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140631187905072 140632346429966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3656] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3656/stat : 3656 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140631186855464 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3657] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3657/stat : 3657 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 945331 33554432000 1073741824 1073778376 140733251581248 140631053690536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1708.1
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+931.201 s]
/proc/loadavg: 3.91 3.95 3.89 5/217 3815
/proc/meminfo: memFree=20271188/32873852 swapFree=7624/7624
[pid=3635] ppid=3633 vsize=11852648 CPUtime=1800.09 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3633 3635 1918 0 -1 4202496 25160 0 1 0 179892 117 0 0 20 0 22 0 341870716 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140733251572384 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3635/statm: 2963162 945354 2282 9 0 2953849 0
[pid=3635/tid=3637] ppid=3633 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) S 3633 3635 1918 0 -1 4202560 3050 0 1 0 44 6 0 0 20 0 22 0 341870717 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632521987224 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3638] ppid=3633 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3633 3635 1918 0 -1 4202560 112 0 0 0 128 4 0 0 20 0 22 0 341870721 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632476740264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3639] ppid=3633 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3633 3635 1918 0 -1 4202560 65 0 0 0 129 2 0 0 20 0 22 0 341870721 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632475687720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3640] ppid=3633 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3633 3635 1918 0 -1 4202560 90 0 0 0 124 5 0 0 20 0 22 0 341870721 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632474635176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3641] ppid=3633 vsize=11852648 CPUtime=1.36 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3633 3635 1918 0 -1 4202560 95 0 0 0 132 4 0 0 20 0 22 0 341870721 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632473582632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3642] ppid=3633 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3633 3635 1918 0 -1 4202560 96 0 0 0 138 4 0 0 20 0 22 0 341870721 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632472529064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3643] ppid=3633 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3633 3635 1918 0 -1 4202560 100 0 0 0 122 4 0 0 20 0 22 0 341870721 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632471476520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3644] ppid=3633 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3633 3635 1918 0 -1 4202560 100 0 0 0 133 4 0 0 20 0 22 0 341870721 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632470423976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3645] ppid=3633 vsize=11852648 CPUtime=1.36 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3633 3635 1918 0 -1 4202560 86 0 0 0 132 4 0 0 20 0 22 0 341870721 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632469371432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3646] ppid=3633 vsize=11852648 CPUtime=68.02 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3633 3635 1918 0 -1 4202560 195 0 0 0 6794 8 0 0 20 0 22 0 341870722 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632339221096 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3647] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3633 3635 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632338167416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3633 3635 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341870722 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632337114760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3649] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632336063504 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3650] ppid=3633 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3633 3635 1918 0 -1 4202560 9966 0 0 0 92 2 0 0 20 0 22 0 341870725 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632335009848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3651] ppid=3633 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/3635/task/3651/stat : 3651 (java) S 3633 3635 1918 0 -1 4202560 8162 0 0 0 117 1 0 0 20 0 22 0 341870725 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632333957304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3652] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3652/stat : 3652 (java) S 3633 3635 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341870725 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632332904952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3653] ppid=3633 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/3635/task/3653/stat : 3653 (java) S 3633 3635 1918 0 -1 4202560 53 0 0 0 16 19 0 0 20 0 22 0 341870725 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632331852616 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=11852648 CPUtime=857.04 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (java) R 3633 3635 1918 0 -1 4202560 156 0 0 0 85688 16 0 0 20 0 22 0 341870767 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140632330797648 140632346385388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3635/tid=3655] ppid=3633 vsize=11852648 CPUtime=856.93 cores=0,2,4,6
/proc/3635/task/3655/stat : 3655 (java) R 3633 3635 1918 0 -1 4202560 1647 0 0 0 85629 64 0 0 20 0 22 0 341870767 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140631187905088 140632346429825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3635/tid=3656] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3656/stat : 3656 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140631186855464 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3635/tid=3657] ppid=3633 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3657/stat : 3657 (java) S 3633 3635 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341870771 12137111552 945354 33554432000 1073741824 1073778376 140733251581248 140631053690536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3635 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=399209
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=643750
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 931.25
CPU time (s): 1800.09
CPU user time (s): 1798.92
CPU system time (s): 1.17
CPU usage (%): 193.298
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 1.64375
maximum resident set size= 3783624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25204
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29412
involuntary context switches= 28927
runsolver used 3.2825 second user time and 8.51271 second system time
The end