runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103590-1466243545/watcher-4103590-1466243545 -o /tmp/evaluation-result-4103590-1466243545/solver-4103590-1466243545 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466241741-20174 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103590-1466243545.opb
pid=20839
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: 4.19 4.20 3.76 5/197 20842
/proc/meminfo: memFree=30268124/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 26401225 98570240 977 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 24065 977 743 9 0 16771 0
[pid=20842/tid=20843] ppid=20839 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) R 20839 20842 20157 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 26401225 98570240 977 33554432000 1073741824 1073778376 140733712339696 140281947520552 214537422208 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 4.19 4.20 3.76 5/197 20842
/proc/meminfo: memFree=30268124/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 4554 0 1 0 9 2 0 0 20 0 18 0 26401225 9787879424 5674 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2389619 5680 2156 9 0 2380296 0
[pid=20842/tid=20843] ppid=20839 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) R 20839 20842 20157 0 -1 4202560 2441 0 1 0 6 1 0 0 20 0 18 0 26401225 9787879424 5680 33554432000 1073741824 1073778376 140733712339696 140281947524824 140281950385001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200293 s]
/proc/loadavg: 4.19 4.20 3.76 5/197 20842
/proc/meminfo: memFree=30268124/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 5292 0 1 0 29 2 0 0 20 0 18 0 26401225 9787879424 8785 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2389619 8785 2227 9 0 2380296 0
[pid=20842/tid=20843] ppid=20839 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) R 20839 20842 20157 0 -1 4202560 2455 0 1 0 16 1 0 0 20 0 18 0 26401225 9787879424 8785 33554432000 1073741824 1073778376 140733712339696 140281947524824 140281887278496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.300409 s]
/proc/loadavg: 4.19 4.20 3.76 5/197 20842
/proc/meminfo: memFree=30268124/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 5634 0 1 0 44 3 0 0 20 0 18 0 26401225 9787879424 14956 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2389619 14956 2232 9 0 2380296 0
[pid=20842/tid=20843] ppid=20839 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) R 20839 20842 20157 0 -1 4202560 2468 0 1 0 25 2 0 0 20 0 18 0 26401225 9787879424 14956 33554432000 1073741824 1073778376 140733712339696 140281947524824 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700243 s]
/proc/loadavg: 4.19 4.20 3.76 5/197 20842
/proc/meminfo: memFree=30268124/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9558476 CPUtime=1.22 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 17131 0 1 0 116 6 0 0 20 0 18 0 26401225 9787879424 43114 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2389619 43114 2239 9 0 2380296 0
[pid=20842/tid=20843] ppid=20839 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) R 20839 20842 20157 0 -1 4202560 2511 0 1 0 64 3 0 0 20 0 18 0 26401225 9787879424 43114 33554432000 1073741824 1073778376 140733712339696 140281947516720 140281887239512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9558476
[startup+1.50083 s]
/proc/loadavg: 4.49 4.27 3.78 8/215 20860
/proc/meminfo: memFree=30005380/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9558476 CPUtime=2.57 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 19205 0 1 0 243 14 0 0 20 0 18 0 26401225 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2389619 71544 2263 9 0 2380296 0
[pid=20842/tid=20843] ppid=20839 vsize=9558476 CPUtime=1.33 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) R 20839 20842 20157 0 -1 4202560 2520 0 1 0 129 4 0 0 20 0 18 0 26401225 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281947516896 140281955289946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20845] ppid=20839 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/20842/task/20845/stat : 20845 (java) S 20839 20842 20157 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 18 0 26401226 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281791425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20846] ppid=20839 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20842/task/20846/stat : 20846 (java) S 20839 20842 20157 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 26401226 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281790372520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20847] ppid=20839 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/20842/task/20847/stat : 20847 (java) S 20839 20842 20157 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 18 0 26401226 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281789320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20848] ppid=20839 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/20842/task/20848/stat : 20848 (java) S 20839 20842 20157 0 -1 4202560 141 0 0 0 4 2 0 0 20 0 18 0 26401226 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281788267432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20849] ppid=20839 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20842/task/20849/stat : 20849 (java) S 20839 20842 20157 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 26401226 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281787214120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20850] ppid=20839 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/20842/task/20850/stat : 20850 (java) S 20839 20842 20157 0 -1 4202560 109 0 0 0 1 0 0 0 20 0 18 0 26401226 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281786161320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20851] ppid=20839 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20842/task/20851/stat : 20851 (java) S 20839 20842 20157 0 -1 4202560 133 0 0 0 2 0 0 0 20 0 18 0 26401226 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281785109032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20852] ppid=20839 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/20842/task/20852/stat : 20852 (java) S 20839 20842 20157 0 -1 4202560 140 0 0 0 5 2 0 0 20 0 18 0 26401226 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281784056232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20853] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20853/stat : 20853 (java) S 20839 20842 20157 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 26401227 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281771645672 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20854] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20854/stat : 20854 (java) S 20839 20842 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 26401227 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281770591736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20855] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20855/stat : 20855 (java) S 20839 20842 20157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 26401227 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281769539336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20856] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20856/stat : 20856 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26401229 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281768487824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20857] ppid=20839 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/20842/task/20857/stat : 20857 (java) S 20839 20842 20157 0 -1 4202560 9634 0 0 0 44 1 0 0 20 0 18 0 26401229 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281767434424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20858] ppid=20839 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/20842/task/20858/stat : 20858 (java) S 20839 20842 20157 0 -1 4202560 5120 0 0 0 35 1 0 0 20 0 18 0 26401229 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281766381624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20859] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20859/stat : 20859 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26401229 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281765329528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20860] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20860/stat : 20860 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26401229 9787879424 71544 33554432000 1073741824 1073778376 140733712339696 140281764276936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9558476
[startup+3.1008 s]
/proc/loadavg: 4.49 4.27 3.78 4/215 20860
/proc/meminfo: memFree=29716804/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9558476 CPUtime=5.07 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 20877 0 1 0 467 40 0 0 20 0 18 0 26401225 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2389619 151043 2269 9 0 2380296 0
[pid=20842/tid=20843] ppid=20839 vsize=9558476 CPUtime=2.61 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) R 20839 20842 20157 0 -1 4202560 2580 0 1 0 255 6 0 0 20 0 18 0 26401225 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281947523216 140281887714586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20845] ppid=20839 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/20842/task/20845/stat : 20845 (java) S 20839 20842 20157 0 -1 4202560 343 0 0 0 16 4 0 0 20 0 18 0 26401226 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281791425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20846] ppid=20839 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/20842/task/20846/stat : 20846 (java) S 20839 20842 20157 0 -1 4202560 82 0 0 0 15 4 0 0 20 0 18 0 26401226 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281790372520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20847] ppid=20839 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/20842/task/20847/stat : 20847 (java) S 20839 20842 20157 0 -1 4202560 106 0 0 0 14 4 0 0 20 0 18 0 26401226 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281789320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20848] ppid=20839 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/20842/task/20848/stat : 20848 (java) S 20839 20842 20157 0 -1 4202560 438 0 0 0 16 4 0 0 20 0 18 0 26401226 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281788267432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20849] ppid=20839 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/20842/task/20849/stat : 20849 (java) S 20839 20842 20157 0 -1 4202560 85 0 0 0 9 3 0 0 20 0 18 0 26401226 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281787214120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20850] ppid=20839 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/20842/task/20850/stat : 20850 (java) S 20839 20842 20157 0 -1 4202560 187 0 0 0 14 4 0 0 20 0 18 0 26401226 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281786161320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20851] ppid=20839 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/20842/task/20851/stat : 20851 (java) S 20839 20842 20157 0 -1 4202560 490 0 0 0 10 3 0 0 20 0 18 0 26401226 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281785109032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20852] ppid=20839 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/20842/task/20852/stat : 20852 (java) S 20839 20842 20157 0 -1 4202560 307 0 0 0 16 3 0 0 20 0 18 0 26401226 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281784056232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20853] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20853/stat : 20853 (java) S 20839 20842 20157 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 26401227 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281771645672 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20854] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20854/stat : 20854 (java) S 20839 20842 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 26401227 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281770591736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20855] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20855/stat : 20855 (java) S 20839 20842 20157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 26401227 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281769539336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20856] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20856/stat : 20856 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26401229 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281768487824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20857] ppid=20839 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/20842/task/20857/stat : 20857 (java) S 20839 20842 20157 0 -1 4202560 9684 0 0 0 48 2 0 0 20 0 18 0 26401229 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281767434424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20858] ppid=20839 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/20842/task/20858/stat : 20858 (java) S 20839 20842 20157 0 -1 4202560 5122 0 0 0 39 2 0 0 20 0 18 0 26401229 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281766381624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20859] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20859/stat : 20859 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26401229 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281765329528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20860] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20860/stat : 20860 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26401229 9787879424 151043 33554432000 1073741824 1073778376 140733712339696 140281764276936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 9558476
[startup+6.30093 s]
/proc/loadavg: 4.49 4.27 3.78 4/215 20860
/proc/meminfo: memFree=28889840/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9558476 CPUtime=8.96 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 23025 0 1 0 833 63 0 0 20 0 18 0 26401225 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2389619 270512 2277 9 0 2380296 0
[pid=20842/tid=20843] ppid=20839 vsize=9558476 CPUtime=4.39 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) R 20839 20842 20157 0 -1 4202560 2864 0 1 0 429 10 0 0 20 0 18 0 26401225 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281947523256 140281887684489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20845] ppid=20839 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/20842/task/20845/stat : 20845 (java) S 20839 20842 20157 0 -1 4202560 485 0 0 0 25 7 0 0 20 0 18 0 26401226 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281791425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20846] ppid=20839 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/20842/task/20846/stat : 20846 (java) S 20839 20842 20157 0 -1 4202560 177 0 0 0 22 5 0 0 20 0 18 0 26401226 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281790372520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20847] ppid=20839 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/20842/task/20847/stat : 20847 (java) S 20839 20842 20157 0 -1 4202560 362 0 0 0 24 6 0 0 20 0 18 0 26401226 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281789320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20848] ppid=20839 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/20842/task/20848/stat : 20848 (java) S 20839 20842 20157 0 -1 4202560 475 0 0 0 23 6 0 0 20 0 18 0 26401226 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281788267432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20849] ppid=20839 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/20842/task/20849/stat : 20849 (java) S 20839 20842 20157 0 -1 4202560 170 0 0 0 15 5 0 0 20 0 18 0 26401226 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281787214120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20850] ppid=20839 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/20842/task/20850/stat : 20850 (java) S 20839 20842 20157 0 -1 4202560 345 0 0 0 23 7 0 0 20 0 18 0 26401226 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281786161320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20851] ppid=20839 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/20842/task/20851/stat : 20851 (java) S 20839 20842 20157 0 -1 4202560 581 0 0 0 19 5 0 0 20 0 18 0 26401226 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281785109032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20852] ppid=20839 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/20842/task/20852/stat : 20852 (java) S 20839 20842 20157 0 -1 4202560 499 0 0 0 33 8 0 0 20 0 18 0 26401226 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281784056232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20853] ppid=20839 vsize=9558476 CPUtime=1.17 cores=1,3,5,7
/proc/20842/task/20853/stat : 20853 (java) S 20839 20842 20157 0 -1 4202560 1005 0 0 0 115 2 0 0 20 0 18 0 26401227 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281771645672 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20854] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20854/stat : 20854 (java) S 20839 20842 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 26401227 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281770591736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20855] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20855/stat : 20855 (java) S 20839 20842 20157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 26401227 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281769539336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20856] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20856/stat : 20856 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26401229 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281768487824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20857] ppid=20839 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/20842/task/20857/stat : 20857 (java) S 20839 20842 20157 0 -1 4202560 9684 0 0 0 48 2 0 0 20 0 18 0 26401229 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281767434424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20858] ppid=20839 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/20842/task/20858/stat : 20858 (java) S 20839 20842 20157 0 -1 4202560 5122 0 0 0 39 2 0 0 20 0 18 0 26401229 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281766381624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20859] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20859/stat : 20859 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26401229 9787879424 270512 33554432000 1073741824 1073778376 140733712339696 140281765329528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20860] ppid=20839 vsize=9558476 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20842/task/20847/stat : 20847 (java) S 20839 20842 20157 0 -1 4202560 614 0 0 0 58 16 0 0 20 0 22 0 26401226 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281789320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20848] ppid=20839 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/20842/task/20848/stat : 20848 (java) S 20839 20842 20157 0 -1 4202560 864 0 0 0 50 13 0 0 20 0 22 0 26401226 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281788267432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20849] ppid=20839 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/20842/task/20849/stat : 20849 (java) S 20839 20842 20157 0 -1 4202560 319 0 0 0 38 9 0 0 20 0 22 0 26401226 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281787214120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20850] ppid=20839 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/20842/task/20850/stat : 20850 (java) S 20839 20842 20157 0 -1 4202560 526 0 0 0 51 14 0 0 20 0 22 0 26401226 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281786161320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20851] ppid=20839 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/20842/task/20851/stat : 20851 (java) S 20839 20842 20157 0 -1 4202560 746 0 0 0 48 12 0 0 20 0 22 0 26401226 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281785109032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20852] ppid=20839 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/20842/task/20852/stat : 20852 (java) S 20839 20842 20157 0 -1 4202560 665 0 0 0 61 13 0 0 20 0 22 0 26401226 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281784056232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20853] ppid=20839 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/20842/task/20853/stat : 20853 (java) S 20839 20842 20157 0 -1 4202560 1256 0 0 0 116 4 0 0 20 0 22 0 26401227 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281771645672 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20854] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20854/stat : 20854 (java) S 20839 20842 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26401227 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281770591736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20855] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20855/stat : 20855 (java) S 20839 20842 20157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26401227 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281769539336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20856] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20856/stat : 20856 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26401229 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281768487824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20857] ppid=20839 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/20842/task/20857/stat : 20857 (java) S 20839 20842 20157 0 -1 4202560 9788 0 0 0 111 2 0 0 20 0 22 0 26401229 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281767434424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20858] ppid=20839 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/20842/task/20858/stat : 20858 (java) S 20839 20842 20157 0 -1 4202560 5221 0 0 0 99 2 0 0 20 0 22 0 26401229 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281766381624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20859] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20859/stat : 20859 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26401229 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281765329528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20860] ppid=20839 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/20842/task/20860/stat : 20860 (java) S 20839 20842 20157 0 -1 4202560 47 0 0 0 11 21 0 0 20 0 22 0 26401229 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281764276936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20861] ppid=20839 vsize=9824732 CPUtime=812.81 cores=1,3,5,7
/proc/20842/task/20861/stat : 20861 (java) R 20839 20842 20157 0 -1 4202560 571 0 0 0 81267 14 0 0 20 0 22 0 26401873 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281763220432 140281888133258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20862] ppid=20839 vsize=9824732 CPUtime=812.71 cores=1,3,5,7
/proc/20842/task/20862/stat : 20862 (java) R 20839 20842 20157 0 -1 4202560 130 0 0 0 81254 17 0 0 20 0 22 0 26401873 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281762168512 140281887989622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20863] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20863/stat : 20863 (java) S 20839 20842 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26401893 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281761117864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20864] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20864/stat : 20864 (java) S 20839 20842 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26401895 10060525568 488511 33554432000 1073741824 1073778376 140733712339696 140281760065064 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1643.06
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.34 4.25 4.04 5/219 20907
/proc/meminfo: memFree=25141360/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9824732 CPUtime=1763.08 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 26080 0 1 0 176163 145 0 0 20 0 22 0 26401225 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2456183 488515 2290 9 0 2446860 0
[pid=20842/tid=20843] ppid=20839 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) S 20839 20842 20157 0 -1 4202560 2868 0 1 0 451 11 0 0 20 0 22 0 26401225 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281947526008 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20845] ppid=20839 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/20842/task/20845/stat : 20845 (java) S 20839 20842 20157 0 -1 4202560 654 0 0 0 59 13 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281791425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20846] ppid=20839 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/20842/task/20846/stat : 20846 (java) S 20839 20842 20157 0 -1 4202560 528 0 0 0 48 11 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281790372520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20847] ppid=20839 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/20842/task/20847/stat : 20847 (java) S 20839 20842 20157 0 -1 4202560 614 0 0 0 58 16 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281789320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20848] ppid=20839 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/20842/task/20848/stat : 20848 (java) S 20839 20842 20157 0 -1 4202560 864 0 0 0 50 13 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281788267432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20849] ppid=20839 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/20842/task/20849/stat : 20849 (java) S 20839 20842 20157 0 -1 4202560 319 0 0 0 38 9 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281787214120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20850] ppid=20839 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/20842/task/20850/stat : 20850 (java) S 20839 20842 20157 0 -1 4202560 526 0 0 0 51 14 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281786161320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20851] ppid=20839 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/20842/task/20851/stat : 20851 (java) S 20839 20842 20157 0 -1 4202560 746 0 0 0 48 12 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281785109032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20852] ppid=20839 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/20842/task/20852/stat : 20852 (java) S 20839 20842 20157 0 -1 4202560 665 0 0 0 61 13 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281784056232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20853] ppid=20839 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/20842/task/20853/stat : 20853 (java) S 20839 20842 20157 0 -1 4202560 1257 0 0 0 116 4 0 0 20 0 22 0 26401227 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281771645672 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20854] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20854/stat : 20854 (java) S 20839 20842 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26401227 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281770591736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20855] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20855/stat : 20855 (java) S 20839 20842 20157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26401227 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281769539336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20856] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20856/stat : 20856 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281768487824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20857] ppid=20839 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/20842/task/20857/stat : 20857 (java) S 20839 20842 20157 0 -1 4202560 9794 0 0 0 113 2 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281767434424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20858] ppid=20839 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/20842/task/20858/stat : 20858 (java) S 20839 20842 20157 0 -1 4202560 5223 0 0 0 101 2 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281766381624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20859] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20859/stat : 20859 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281765329528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20860] ppid=20839 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/20842/task/20860/stat : 20860 (java) S 20839 20842 20157 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281764276936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20861] ppid=20839 vsize=9824732 CPUtime=872.65 cores=1,3,5,7
/proc/20842/task/20861/stat : 20861 (java) R 20839 20842 20157 0 -1 4202560 572 0 0 0 87250 15 0 0 20 0 22 0 26401873 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281763213600 140281888133245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20862] ppid=20839 vsize=9824732 CPUtime=872.56 cores=1,3,5,7
/proc/20842/task/20862/stat : 20862 (java) R 20839 20842 20157 0 -1 4202560 130 0 0 0 87238 18 0 0 20 0 22 0 26401873 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281762167416 140281887989622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20863] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20863/stat : 20863 (java) S 20839 20842 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26401893 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281761117864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20864] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20864/stat : 20864 (java) S 20839 20842 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26401895 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281760065064 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1763.08
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.801 s]
/proc/loadavg: 4.42 4.27 4.05 6/219 20976
/proc/meminfo: memFree=28014112/32872528 swapFree=1191052/1305516
[pid=20842] ppid=20839 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/20842/stat : 20842 (java) S 20839 20842 20157 0 -1 4202496 26082 0 1 0 179861 145 0 0 20 0 22 0 26401225 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140733712330832 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20842/statm: 2456183 488515 2290 9 0 2446860 0
[pid=20842/tid=20843] ppid=20839 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/20842/task/20843/stat : 20843 (java) S 20839 20842 20157 0 -1 4202560 2868 0 1 0 451 11 0 0 20 0 22 0 26401225 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281947526008 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20845] ppid=20839 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/20842/task/20845/stat : 20845 (java) S 20839 20842 20157 0 -1 4202560 654 0 0 0 59 13 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281791425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20846] ppid=20839 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/20842/task/20846/stat : 20846 (java) S 20839 20842 20157 0 -1 4202560 528 0 0 0 48 11 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281790372520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20847] ppid=20839 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/20842/task/20847/stat : 20847 (java) S 20839 20842 20157 0 -1 4202560 614 0 0 0 58 16 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281789320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20848] ppid=20839 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/20842/task/20848/stat : 20848 (java) S 20839 20842 20157 0 -1 4202560 864 0 0 0 50 13 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281788267432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20849] ppid=20839 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/20842/task/20849/stat : 20849 (java) S 20839 20842 20157 0 -1 4202560 319 0 0 0 38 9 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281787214120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20850] ppid=20839 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/20842/task/20850/stat : 20850 (java) S 20839 20842 20157 0 -1 4202560 526 0 0 0 51 14 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281786161320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20851] ppid=20839 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/20842/task/20851/stat : 20851 (java) S 20839 20842 20157 0 -1 4202560 746 0 0 0 48 12 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281785109032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20852] ppid=20839 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/20842/task/20852/stat : 20852 (java) S 20839 20842 20157 0 -1 4202560 665 0 0 0 61 13 0 0 20 0 22 0 26401226 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281784056232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20853] ppid=20839 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/20842/task/20853/stat : 20853 (java) S 20839 20842 20157 0 -1 4202560 1257 0 0 0 116 4 0 0 20 0 22 0 26401227 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281771645672 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20854] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20854/stat : 20854 (java) S 20839 20842 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26401227 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281770591736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20855] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20855/stat : 20855 (java) S 20839 20842 20157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26401227 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281769539336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20856] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20856/stat : 20856 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281768487824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20857] ppid=20839 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/20842/task/20857/stat : 20857 (java) S 20839 20842 20157 0 -1 4202560 9794 0 0 0 113 2 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281767434424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20858] ppid=20839 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/20842/task/20858/stat : 20858 (java) S 20839 20842 20157 0 -1 4202560 5223 0 0 0 101 2 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281766381624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20859] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20859/stat : 20859 (java) S 20839 20842 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281765329528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20842/tid=20860] ppid=20839 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/20842/task/20860/stat : 20860 (java) S 20839 20842 20157 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 22 0 26401229 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281764276936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20842/tid=20861] ppid=20839 vsize=9824732 CPUtime=891.09 cores=1,3,5,7
/proc/20842/task/20861/stat : 20861 (java) R 20839 20842 20157 0 -1 4202560 572 0 0 0 89094 15 0 0 20 0 22 0 26401873 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281763213600 140281888133258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20862] ppid=20839 vsize=9824732 CPUtime=891 cores=1,3,5,7
/proc/20842/task/20862/stat : 20862 (java) R 20839 20842 20157 0 -1 4202560 130 0 0 0 89082 18 0 0 20 0 22 0 26401873 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281762167416 140281887989622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20842/tid=20863] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20863/stat : 20863 (java) S 20839 20842 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26401893 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281761117864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20842/tid=20864] ppid=20839 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20842/task/20864/stat : 20864 (java) S 20839 20842 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26401895 10060525568 488515 33554432000 1073741824 1073778376 140733712339696 140281760065064 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20842 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20842 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=989272
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=931706
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.824
CPU time (s): 1800.06
CPU user time (s): 1798.61
CPU system time (s): 1.45
CPU usage (%): 199.824
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 1.93171
maximum resident set size= 1954176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26118
page faults= 1
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21679
involuntary context switches= 14757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.47447 second user time and 4.21136 second system time
The end