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-4102797-1466231183/watcher-4102797-1466231183 -o /tmp/evaluation-result-4102797-1466231183/solver-4102797-1466231183 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4102797-1466231183.opb
pid=15840
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: 2.26 2.23 2.18 3/194 15843
/proc/meminfo: memFree=29949940/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/15843/stat : 15843 (java) R 15840 15843 10680 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 25164000 9515008 176 33554432000 1073741824 1073778376 140733612015904 140733612013032 248790205328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15843/statm: 2323 176 133 9 0 71 0
[startup+0.100094 s]
/proc/loadavg: 2.26 2.23 2.18 3/194 15843
/proc/meminfo: memFree=29949940/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 3807 0 1 0 6 1 0 0 20 0 18 0 25164000 9787879424 4938 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2389619 4938 1949 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200311 s]
/proc/loadavg: 2.26 2.23 2.18 3/194 15843
/proc/meminfo: memFree=29949940/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 4705 0 1 0 22 1 0 0 20 0 18 0 25164000 9787879424 6788 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2389619 6788 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300309 s]
/proc/loadavg: 2.26 2.23 2.18 3/194 15843
/proc/meminfo: memFree=29949940/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 5239 0 1 0 40 1 0 0 20 0 18 0 25164000 9787879424 7691 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2389619 7691 2229 9 0 2380296 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9558476
[startup+0.700273 s]
/proc/loadavg: 2.26 2.23 2.18 3/194 15843
/proc/meminfo: memFree=29949940/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 8808 0 1 0 115 2 0 0 20 0 19 0 25164000 9856040960 11843 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2406260 11843 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.40 2.26 2.19 3/213 15862
/proc/meminfo: memFree=29902892/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 8900 0 1 0 205 3 0 0 20 0 19 0 25164000 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2406260 15481 2260 9 0 2396937 0
[pid=15843/tid=15845] ppid=15840 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/15843/task/15845/stat : 15845 (java) R 15840 15843 10680 0 -1 4202560 2431 0 1 0 143 2 0 0 20 0 19 0 25164001 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139761129468344 139761002556950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15846] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15846/stat : 15846 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760973380264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15847] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15847/stat : 15847 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760972327720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15848] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15848/stat : 15848 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760971275176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15843/tid=15849] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15849/stat : 15849 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760970222632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15850] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15850/stat : 15850 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760969169064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15851] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15851/stat : 15851 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760968116520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15852] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15852/stat : 15852 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760967063976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15853] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15853/stat : 15853 (java) S 15840 15843 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760966011432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15854] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15854/stat : 15854 (java) S 15840 15843 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760953600616 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15855] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15855/stat : 15855 (java) S 15840 15843 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760952546936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15856] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15856/stat : 15856 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164005 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760951494280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15857] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15857/stat : 15857 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760950443024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15858] ppid=15840 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/15843/task/15858/stat : 15858 (java) S 15840 15843 10680 0 -1 4202560 1759 0 0 0 23 0 0 0 20 0 19 0 25164007 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760949389368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15859] ppid=15840 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/15843/task/15859/stat : 15859 (java) S 15840 15843 10680 0 -1 4202560 3438 0 0 0 37 0 0 0 20 0 19 0 25164007 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760948336824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15860] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15860/stat : 15860 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760947284472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15861] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15861/stat : 15861 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760946232136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15862] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15862/stat : 15862 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164033 9856040960 15481 33554432000 1073741824 1073778376 140734066977632 139760945177896 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625040
[startup+3.10082 s]
/proc/loadavg: 2.40 2.26 2.19 3/213 15862
/proc/meminfo: memFree=29883964/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 8914 0 1 0 367 3 0 0 20 0 19 0 25164000 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2406260 22137 2260 9 0 2396937 0
[pid=15843/tid=15845] ppid=15840 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/15843/task/15845/stat : 15845 (java) R 15840 15843 10680 0 -1 4202560 2445 0 1 0 302 2 0 0 20 0 19 0 25164001 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139761129468048 139761002453862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15846] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15846/stat : 15846 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760973380264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15847] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15847/stat : 15847 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760972327720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15848] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15848/stat : 15848 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760971275176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15843/tid=15849] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15849/stat : 15849 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760970222632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15850] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15850/stat : 15850 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760969169064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15851] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15851/stat : 15851 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760968116520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15852] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15852/stat : 15852 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760967063976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15853] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15853/stat : 15853 (java) S 15840 15843 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760966011432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15854] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15854/stat : 15854 (java) S 15840 15843 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760953600616 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15855] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15855/stat : 15855 (java) S 15840 15843 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760952546936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15856] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15856/stat : 15856 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164005 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760951494280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15857] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15857/stat : 15857 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760950443024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15858] ppid=15840 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/15843/task/15858/stat : 15858 (java) S 15840 15843 10680 0 -1 4202560 1759 0 0 0 24 0 0 0 20 0 19 0 25164007 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760949389368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15859] ppid=15840 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15843/task/15859/stat : 15859 (java) S 15840 15843 10680 0 -1 4202560 3438 0 0 0 38 0 0 0 20 0 19 0 25164007 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760948336824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15860] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15860/stat : 15860 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760947284472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15861] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15861/stat : 15861 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760946232136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15862] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15862/stat : 15862 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164033 9856040960 22137 33554432000 1073741824 1073778376 140734066977632 139760945177896 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9625040
[startup+6.30084 s]
/proc/loadavg: 2.52 2.29 2.20 4/213 15862
/proc/meminfo: memFree=29735040/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9625040 CPUtime=6.9 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 8939 0 1 0 686 4 0 0 20 0 19 0 25164000 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2406260 33622 2261 9 0 2396937 0
[pid=15843/tid=15845] ppid=15840 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/15843/task/15845/stat : 15845 (java) R 15840 15843 10680 0 -1 4202560 2469 0 1 0 621 3 0 0 20 0 19 0 25164001 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139761129459408 139761002502982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15846] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15846/stat : 15846 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760973380264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15847] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15847/stat : 15847 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760972327720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15848] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15848/stat : 15848 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760971275176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15843/tid=15849] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15849/stat : 15849 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760970222632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15850] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15850/stat : 15850 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760969169064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15851] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15851/stat : 15851 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760968116520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15852] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15852/stat : 15852 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760967063976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15853] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15853/stat : 15853 (java) S 15840 15843 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25164003 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760966011432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15854] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15854/stat : 15854 (java) S 15840 15843 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760953600616 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15855] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15855/stat : 15855 (java) S 15840 15843 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760952546936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15856] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15856/stat : 15856 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164005 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760951494280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15857] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15857/stat : 15857 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760950443024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15858] ppid=15840 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/15843/task/15858/stat : 15858 (java) S 15840 15843 10680 0 -1 4202560 1759 0 0 0 24 0 0 0 20 0 19 0 25164007 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760949389368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15859] ppid=15840 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15843/task/15859/stat : 15859 (java) S 15840 15843 10680 0 -1 4202560 3438 0 0 0 38 0 0 0 20 0 19 0 25164007 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760948336824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15860] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15860/stat : 15860 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760947284472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15861] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15861/stat : 15861 (java) S 15840 15843 10680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760946232136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15862] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15862/stat : 15862 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164033 9856040960 33622 33554432000 1073741824 1073778376 140734066977632 139760945177896 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=15843/tid=15855] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15855/stat : 15855 (java) S 15840 15843 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 94755 33554432000 1073741824 1073778376 140734066977632 139760952546936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15856] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15856/stat : 15856 (java) S 15840 15843 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25164005 9856040960 94755 33554432000 1073741824 1073778376 140734066977632 139760951494280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15857] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15857/stat : 15857 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 94755 33554432000 1073741824 1073778376 140734066977632 139760950443024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15858] ppid=15840 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15843/task/15858/stat : 15858 (java) S 15840 15843 10680 0 -1 4202560 2007 0 0 0 26 0 0 0 20 0 19 0 25164007 9856040960 94755 33554432000 1073741824 1073778376 140734066977632 139760949389368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15859] ppid=15840 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15843/task/15859/stat : 15859 (java) S 15840 15843 10680 0 -1 4202560 3438 0 0 0 38 0 0 0 20 0 19 0 25164007 9856040960 94755 33554432000 1073741824 1073778376 140734066977632 139760948336824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15860] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15860/stat : 15860 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 94755 33554432000 1073741824 1073778376 140734066977632 139760947284472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15861] ppid=15840 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/15843/task/15861/stat : 15861 (java) S 15840 15843 10680 0 -1 4202560 95 0 0 0 20 23 0 0 20 0 19 0 25164007 9856040960 94755 33554432000 1073741824 1073778376 140734066977632 139760946232136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15862] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15862/stat : 15862 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164033 9856040960 94755 33554432000 1073741824 1073778376 140734066977632 139760945177896 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1674.22
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.35 2.26 2.22 3/191 15925
/proc/meminfo: memFree=29962524/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9625040 CPUtime=1734.79 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 21001 0 1 0 173345 134 0 0 20 0 19 0 25164000 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2406260 89699 2283 9 0 2396937 0
[pid=15843/tid=15845] ppid=15840 vsize=9625040 CPUtime=1713.3 cores=0,2,4,6
/proc/15843/task/15845/stat : 15845 (java) R 15840 15843 10680 0 -1 4202560 2797 0 1 0 171298 32 0 0 20 0 19 0 25164001 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139761129467120 139761002556895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15846] ppid=15840 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/15843/task/15846/stat : 15846 (java) S 15840 15843 10680 0 -1 4202560 1495 0 0 0 198 14 0 0 20 0 19 0 25164003 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760973380264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15847] ppid=15840 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/15843/task/15847/stat : 15847 (java) S 15840 15843 10680 0 -1 4202560 1820 0 0 0 201 15 0 0 20 0 19 0 25164003 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760972327720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15848] ppid=15840 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/15843/task/15848/stat : 15848 (java) S 15840 15843 10680 0 -1 4202560 1081 0 0 0 199 11 0 0 20 0 19 0 25164003 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760971275176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15843/tid=15849] ppid=15840 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/15843/task/15849/stat : 15849 (java) S 15840 15843 10680 0 -1 4202560 711 0 0 0 206 10 0 0 20 0 19 0 25164003 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760970222632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15850] ppid=15840 vsize=9625040 CPUtime=2.06 cores=0,2,4,6
/proc/15843/task/15850/stat : 15850 (java) S 15840 15843 10680 0 -1 4202560 1596 0 0 0 191 15 0 0 20 0 19 0 25164003 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760969169064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15851] ppid=15840 vsize=9625040 CPUtime=2.14 cores=0,2,4,6
/proc/15843/task/15851/stat : 15851 (java) S 15840 15843 10680 0 -1 4202560 892 0 0 0 200 14 0 0 20 0 19 0 25164003 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760968116520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15852] ppid=15840 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/15843/task/15852/stat : 15852 (java) S 15840 15843 10680 0 -1 4202560 1742 0 0 0 198 12 0 0 20 0 19 0 25164003 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760967063976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15853] ppid=15840 vsize=9625040 CPUtime=2.14 cores=0,2,4,6
/proc/15843/task/15853/stat : 15853 (java) S 15840 15843 10680 0 -1 4202560 1143 0 0 0 201 13 0 0 20 0 19 0 25164003 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760966011432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15854] ppid=15840 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/15843/task/15854/stat : 15854 (java) S 15840 15843 10680 0 -1 4202560 922 0 0 0 373 6 0 0 20 0 19 0 25164004 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760953600616 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15855] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15855/stat : 15855 (java) S 15840 15843 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760952546936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15856] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15856/stat : 15856 (java) S 15840 15843 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25164005 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760951494280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15857] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15857/stat : 15857 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760950443024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15858] ppid=15840 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15843/task/15858/stat : 15858 (java) S 15840 15843 10680 0 -1 4202560 2007 0 0 0 26 0 0 0 20 0 19 0 25164007 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760949389368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15859] ppid=15840 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15843/task/15859/stat : 15859 (java) S 15840 15843 10680 0 -1 4202560 3438 0 0 0 38 0 0 0 20 0 19 0 25164007 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760948336824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15860] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15860/stat : 15860 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760947284472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15861] ppid=15840 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/15843/task/15861/stat : 15861 (java) S 15840 15843 10680 0 -1 4202560 99 0 0 0 21 24 0 0 20 0 19 0 25164007 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760946232136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15862] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15862/stat : 15862 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164033 9856040960 89699 33554432000 1073741824 1073778376 140734066977632 139760945177896 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1734.79
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.35 2.27 2.23 3/213 15973
/proc/meminfo: memFree=28975312/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9625040 CPUtime=1795.36 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 21499 0 1 0 179395 141 0 0 20 0 19 0 25164000 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2406260 96134 2283 9 0 2396937 0
[pid=15843/tid=15845] ppid=15840 vsize=9625040 CPUtime=1772.73 cores=0,2,4,6
/proc/15843/task/15845/stat : 15845 (java) R 15840 15843 10680 0 -1 4202560 2820 0 1 0 177241 32 0 0 20 0 19 0 25164001 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139761129467120 139761002556950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15846] ppid=15840 vsize=9625040 CPUtime=2.22 cores=0,2,4,6
/proc/15843/task/15846/stat : 15846 (java) S 15840 15843 10680 0 -1 4202560 1522 0 0 0 207 15 0 0 20 0 19 0 25164003 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760973380264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15847] ppid=15840 vsize=9625040 CPUtime=2.29 cores=0,2,4,6
/proc/15843/task/15847/stat : 15847 (java) S 15840 15843 10680 0 -1 4202560 1886 0 0 0 213 16 0 0 20 0 19 0 25164003 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760972327720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15848] ppid=15840 vsize=9625040 CPUtime=2.2 cores=0,2,4,6
/proc/15843/task/15848/stat : 15848 (java) S 15840 15843 10680 0 -1 4202560 1131 0 0 0 208 12 0 0 20 0 19 0 25164003 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760971275176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15849] ppid=15840 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/15843/task/15849/stat : 15849 (java) S 15840 15843 10680 0 -1 4202560 796 0 0 0 217 11 0 0 20 0 19 0 25164003 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760970222632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15850] ppid=15840 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/15843/task/15850/stat : 15850 (java) S 15840 15843 10680 0 -1 4202560 1608 0 0 0 200 16 0 0 20 0 19 0 25164003 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760969169064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15851] ppid=15840 vsize=9625040 CPUtime=2.25 cores=0,2,4,6
/proc/15843/task/15851/stat : 15851 (java) S 15840 15843 10680 0 -1 4202560 915 0 0 0 210 15 0 0 20 0 19 0 25164003 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760968116520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15852] ppid=15840 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/15843/task/15852/stat : 15852 (java) S 15840 15843 10680 0 -1 4202560 1793 0 0 0 207 12 0 0 20 0 19 0 25164003 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760967063976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15853] ppid=15840 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/15843/task/15853/stat : 15853 (java) S 15840 15843 10680 0 -1 4202560 1211 0 0 0 211 13 0 0 20 0 19 0 25164003 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760966011432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15843/tid=15854] ppid=15840 vsize=9625040 CPUtime=4.09 cores=0,2,4,6
/proc/15843/task/15854/stat : 15854 (java) S 15840 15843 10680 0 -1 4202560 1011 0 0 0 403 6 0 0 20 0 19 0 25164004 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760953600616 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15855] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15855/stat : 15855 (java) S 15840 15843 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760952546936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15856] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15856/stat : 15856 (java) S 15840 15843 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25164005 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760951494280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15857] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15857/stat : 15857 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760950443024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15858] ppid=15840 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15843/task/15858/stat : 15858 (java) S 15840 15843 10680 0 -1 4202560 2007 0 0 0 26 0 0 0 20 0 19 0 25164007 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760949389368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15859] ppid=15840 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15843/task/15859/stat : 15859 (java) S 15840 15843 10680 0 -1 4202560 3438 0 0 0 38 0 0 0 20 0 19 0 25164007 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760948336824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15860] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15860/stat : 15860 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760947284472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15861] ppid=15840 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/15843/task/15861/stat : 15861 (java) S 15840 15843 10680 0 -1 4202560 103 0 0 0 22 24 0 0 20 0 19 0 25164007 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760946232136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15862] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15862/stat : 15862 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164033 9856040960 96134 33554432000 1073741824 1073778376 140734066977632 139760945177896 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1795.36
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787 s]
/proc/loadavg: 2.32 2.26 2.23 3/213 15973
/proc/meminfo: memFree=28974936/32872528 swapFree=1402776/1580604
[pid=15843] ppid=15840 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/15843/stat : 15843 (java) S 15840 15843 10680 0 -1 4202496 21510 0 1 0 179867 141 0 0 20 0 19 0 25164000 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 140734066968768 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15843/statm: 2406260 96144 2283 9 0 2396937 0
[pid=15843/tid=15845] ppid=15840 vsize=9625040 CPUtime=1777.41 cores=0,2,4,6
/proc/15843/task/15845/stat : 15845 (java) R 15840 15843 10680 0 -1 4202560 2821 0 1 0 177708 33 0 0 20 0 19 0 25164001 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139761129467120 139761002691682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15846] ppid=15840 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/15843/task/15846/stat : 15846 (java) S 15840 15843 10680 0 -1 4202560 1522 0 0 0 208 15 0 0 20 0 19 0 25164003 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760973380264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15847] ppid=15840 vsize=9625040 CPUtime=2.29 cores=0,2,4,6
/proc/15843/task/15847/stat : 15847 (java) S 15840 15843 10680 0 -1 4202560 1896 0 0 0 213 16 0 0 20 0 19 0 25164003 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760972327720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15848] ppid=15840 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/15843/task/15848/stat : 15848 (java) S 15840 15843 10680 0 -1 4202560 1131 0 0 0 209 12 0 0 20 0 19 0 25164003 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760971275176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15843/tid=15849] ppid=15840 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/15843/task/15849/stat : 15849 (java) S 15840 15843 10680 0 -1 4202560 796 0 0 0 217 11 0 0 20 0 19 0 25164003 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760970222632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15850] ppid=15840 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/15843/task/15850/stat : 15850 (java) S 15840 15843 10680 0 -1 4202560 1608 0 0 0 200 16 0 0 20 0 19 0 25164003 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760969169064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15843/tid=15851] ppid=15840 vsize=9625040 CPUtime=2.25 cores=0,2,4,6
/proc/15843/task/15851/stat : 15851 (java) S 15840 15843 10680 0 -1 4202560 915 0 0 0 210 15 0 0 20 0 19 0 25164003 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760968116520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15852] ppid=15840 vsize=9625040 CPUtime=2.2 cores=0,2,4,6
/proc/15843/task/15852/stat : 15852 (java) S 15840 15843 10680 0 -1 4202560 1793 0 0 0 208 12 0 0 20 0 19 0 25164003 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760967063976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15853] ppid=15840 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/15843/task/15853/stat : 15853 (java) S 15840 15843 10680 0 -1 4202560 1211 0 0 0 211 13 0 0 20 0 19 0 25164003 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760966011432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15854] ppid=15840 vsize=9625040 CPUtime=4.09 cores=0,2,4,6
/proc/15843/task/15854/stat : 15854 (java) S 15840 15843 10680 0 -1 4202560 1011 0 0 0 403 6 0 0 20 0 19 0 25164004 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760953600616 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15855] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15855/stat : 15855 (java) S 15840 15843 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25164004 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760952546936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15856] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15856/stat : 15856 (java) S 15840 15843 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25164005 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760951494280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15857] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15857/stat : 15857 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760950443024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15858] ppid=15840 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15843/task/15858/stat : 15858 (java) S 15840 15843 10680 0 -1 4202560 2007 0 0 0 26 0 0 0 20 0 19 0 25164007 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760949389368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15843/tid=15859] ppid=15840 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15843/task/15859/stat : 15859 (java) S 15840 15843 10680 0 -1 4202560 3438 0 0 0 38 0 0 0 20 0 19 0 25164007 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760948336824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15860] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15860/stat : 15860 (java) S 15840 15843 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25164007 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760947284472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15843/tid=15861] ppid=15840 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/15843/task/15861/stat : 15861 (java) S 15840 15843 10680 0 -1 4202560 103 0 0 0 23 24 0 0 20 0 19 0 25164007 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760946232136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15843/tid=15862] ppid=15840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15843/task/15862/stat : 15862 (java) S 15840 15843 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25164033 9856040960 96144 33554432000 1073741824 1073778376 140734066977632 139760945177896 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040
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 15843 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1787.04
CPU time (s): 1800.83
CPU user time (s): 1798.96
CPU system time (s): 1.87271
CPU usage (%): 100.771
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.87271
maximum resident set size= 632912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21555
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48281
involuntary context switches= 44418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5314 second user time and 13.064 second system time
The end