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-4096061-1466101779/watcher-4096061-1466101779 -o /tmp/evaluation-result-4096061-1466101779/solver-4096061-1466101779 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466098180-14177 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4096061-1466101779.opb
pid=14597
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.06 2.00 5/194 14600
/proc/meminfo: memFree=31688916/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 1363 0 0 0 0 0 0 0 20 0 2 0 12227919 98578432 985 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 24067 988 755 9 0 16773 0
[pid=14600/tid=14601] ppid=14597 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 2 0 12227919 99672064 991 33554432000 1073741824 1073778376 140734598426320 140635727073976 251134047082 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 2.10 2.06 2.00 5/194 14600
/proc/meminfo: memFree=31688916/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 4495 0 1 0 10 2 0 0 20 0 18 0 12227919 9787879424 6132 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2389619 6132 2157 9 0 2380296 0
[pid=14600/tid=14601] ppid=14597 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2385 0 1 0 6 1 0 0 20 0 18 0 12227919 9787879424 6132 33554432000 1073741824 1073778376 140734598426320 140635727076256 251146593549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476
[startup+0.200267 s]
/proc/loadavg: 2.10 2.06 2.00 5/194 14600
/proc/meminfo: memFree=31688916/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 6328 0 1 0 28 2 0 0 20 0 19 0 12227919 9856040960 7180 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2406260 7164 2236 9 0 2396937 0
[pid=14600/tid=14601] ppid=14597 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2403 0 1 0 15 2 0 0 20 0 19 0 12227919 9856040960 7164 33554432000 1073741824 1073778376 140734598426320 140635727077688 140635567226501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9625040
[startup+0.300277 s]
/proc/loadavg: 2.10 2.06 2.00 5/194 14600
/proc/meminfo: memFree=31688916/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 8750 0 1 0 57 2 0 0 20 0 19 0 12227919 9856040960 8711 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2406260 8711 2245 9 0 2396937 0
[pid=14600/tid=14601] ppid=14597 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2410 0 1 0 25 2 0 0 20 0 19 0 12227919 9856040960 8711 33554432000 1073741824 1073778376 140734598426320 140635727077616 140635567212209 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9625040
[startup+0.700189 s]
/proc/loadavg: 2.10 2.06 2.00 5/194 14600
/proc/meminfo: memFree=31688916/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 10148 0 1 0 111 3 0 0 20 0 19 0 12227919 9856040960 9271 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2406260 9271 2254 9 0 2396937 0
[pid=14600/tid=14601] ppid=14597 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2411 0 1 0 65 2 0 0 20 0 19 0 12227919 9856040960 9271 33554432000 1073741824 1073778376 140734598426320 140635727077848 140635567213052 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625040
[startup+1.50065 s]
/proc/loadavg: 2.25 2.09 2.02 3/213 14619
/proc/meminfo: memFree=31654600/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9625040 CPUtime=1.95 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 10153 0 1 0 192 3 0 0 20 0 19 0 12227919 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2406260 9786 2256 9 0 2396937 0
[pid=14600/tid=14601] ppid=14597 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2413 0 1 0 144 2 0 0 20 0 19 0 12227919 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635727068848 140635567268474 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14603] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14603/stat : 14603 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635688569896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14604] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14604/stat : 14604 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635687517096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14605] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14605/stat : 14605 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635686464296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14606] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14606/stat : 14606 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635685411496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14607] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635566762536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14608] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14608/stat : 14608 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635565709736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14609] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14609/stat : 14609 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635564656936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14610] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14610/stat : 14610 (java) S 14597 14600 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635563604136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14611] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14611/stat : 14611 (java) S 14597 14600 14160 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140635551194088 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14612] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14597 14600 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140634946004728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14613] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140634944951816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14614] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140634943900304 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14615] ppid=14597 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14597 14600 14160 0 -1 4202560 2625 0 0 0 17 0 0 0 20 0 19 0 12227924 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140634942847416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14616] ppid=14597 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14597 14600 14160 0 -1 4202560 3843 0 0 0 27 0 0 0 20 0 19 0 12227924 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140634941794616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14617] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14617/stat : 14617 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140634940742008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14618] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140634939689416 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14619] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14619/stat : 14619 (java) S 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12227933 9856040960 9786 33554432000 1073741824 1073778376 140734598426320 140634938635944 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.25 2.09 2.02 3/213 14619
/proc/meminfo: memFree=31647960/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 10156 0 1 0 351 3 0 0 20 0 19 0 12227919 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2406260 11322 2256 9 0 2396937 0
[pid=14600/tid=14601] ppid=14597 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2416 0 1 0 304 2 0 0 20 0 19 0 12227919 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635727068848 140635567256749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14603] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14603/stat : 14603 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635688569896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14604] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14604/stat : 14604 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635687517096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14605] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14605/stat : 14605 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635686464296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14606] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14606/stat : 14606 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635685411496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14607] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635566762536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14608] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14608/stat : 14608 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635565709736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14609] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14609/stat : 14609 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635564656936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14610] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14610/stat : 14610 (java) S 14597 14600 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635563604136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14611] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14611/stat : 14611 (java) S 14597 14600 14160 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140635551194088 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14612] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14597 14600 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140634946004728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14613] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140634944951816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14614] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140634943900304 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14615] ppid=14597 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14597 14600 14160 0 -1 4202560 2625 0 0 0 17 0 0 0 20 0 19 0 12227924 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140634942847416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14616] ppid=14597 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14597 14600 14160 0 -1 4202560 3843 0 0 0 27 0 0 0 20 0 19 0 12227924 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140634941794616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14617] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14617/stat : 14617 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140634940742008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14618] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140634939689416 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14619] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14619/stat : 14619 (java) S 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12227933 9856040960 11322 33554432000 1073741824 1073778376 140734598426320 140634938635944 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9625040
[startup+6.30074 s]
/proc/loadavg: 2.23 2.09 2.01 3/213 14619
/proc/meminfo: memFree=31634640/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9625040 CPUtime=6.74 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 10162 0 1 0 671 3 0 0 20 0 19 0 12227919 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2406260 12849 2257 9 0 2396937 0
[pid=14600/tid=14601] ppid=14597 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2421 0 1 0 622 2 0 0 20 0 19 0 12227919 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635727068848 140635567181845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14603] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14603/stat : 14603 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635688569896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14604] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14604/stat : 14604 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635687517096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14605] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14605/stat : 14605 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635686464296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14606] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14606/stat : 14606 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635685411496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14607] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635566762536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14608] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14608/stat : 14608 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635565709736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14609] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14609/stat : 14609 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635564656936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14610] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14610/stat : 14610 (java) S 14597 14600 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12227920 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635563604136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14611] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14611/stat : 14611 (java) S 14597 14600 14160 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140635551194088 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14612] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14597 14600 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140634946004728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14613] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140634944951816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14614] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140634943900304 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14615] ppid=14597 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14597 14600 14160 0 -1 4202560 2625 0 0 0 17 0 0 0 20 0 19 0 12227924 9856040960 12849 33554432000 1073741824 1073778376 140734598426320 140634942847416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14616] ppid=14597 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
################
# More data... #
################
[pid=14600/tid=14612] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14597 14600 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634946004728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14613] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14597 14600 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634944951816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14614] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634943900304 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14615] ppid=14597 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14597 14600 14160 0 -1 4202560 2625 0 0 0 17 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634942847416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14616] ppid=14597 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14597 14600 14160 0 -1 4202560 5746 0 0 0 40 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634941794616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14617] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14617/stat : 14617 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634940742008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14618] ppid=14597 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14597 14600 14160 0 -1 4202560 76 0 0 0 17 17 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634939689416 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14619] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14619/stat : 14619 (java) S 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12227933 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634938635944 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1292.33
Current children cumulated vsize (KiB) 9625040
[startup+1292.8 s]
/proc/loadavg: 2.13 2.11 2.06 3/213 14717
/proc/meminfo: memFree=31301220/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9625040 CPUtime=1293.93 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 12656 0 1 0 129364 29 0 0 20 0 19 0 12227919 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2406260 55277 2272 9 0 2396937 0
[pid=14600/tid=14601] ppid=14597 vsize=9625040 CPUtime=1289.24 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2487 0 1 0 128902 22 0 0 20 0 19 0 12227919 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635727077712 140635567429992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14603] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14603/stat : 14603 (java) S 14597 14600 14160 0 -1 4202560 44 0 0 0 4 1 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635688569896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14604] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14604/stat : 14604 (java) S 14597 14600 14160 0 -1 4202560 94 0 0 0 5 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635687517096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14605] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14605/stat : 14605 (java) S 14597 14600 14160 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635686464296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14606] ppid=14597 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/14600/task/14606/stat : 14606 (java) S 14597 14600 14160 0 -1 4202560 140 0 0 0 7 2 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635685411496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14607] ppid=14597 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) S 14597 14600 14160 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635566762536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14608] ppid=14597 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/14600/task/14608/stat : 14608 (java) S 14597 14600 14160 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635565709736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14609] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14609/stat : 14609 (java) S 14597 14600 14160 0 -1 4202560 77 0 0 0 5 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635564656936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14610] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14610/stat : 14610 (java) S 14597 14600 14160 0 -1 4202560 47 0 0 0 5 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635563604136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14611] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14611/stat : 14611 (java) S 14597 14600 14160 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635551194088 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14612] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14597 14600 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634946004728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14613] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14597 14600 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634944951816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14614] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634943900304 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14615] ppid=14597 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14597 14600 14160 0 -1 4202560 2625 0 0 0 17 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634942847416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14616] ppid=14597 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14597 14600 14160 0 -1 4202560 5746 0 0 0 40 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634941794616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14617] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14617/stat : 14617 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634940742008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14618] ppid=14597 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14597 14600 14160 0 -1 4202560 76 0 0 0 17 17 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634939689416 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14619] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14619/stat : 14619 (java) S 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12227933 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634938635944 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1293.93
Current children cumulated vsize (KiB) 9625040
[startup+1293.2 s]
/proc/loadavg: 2.13 2.11 2.06 3/213 14717
/proc/meminfo: memFree=31301220/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9625040 CPUtime=1294.35 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 12656 0 1 0 129406 29 0 0 20 0 19 0 12227919 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2406260 55277 2272 9 0 2396937 0
[pid=14600/tid=14601] ppid=14597 vsize=9625040 CPUtime=1289.64 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) R 14597 14600 14160 0 -1 4202560 2487 0 1 0 128942 22 0 0 20 0 19 0 12227919 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635727076760 140635567256723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14603] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14603/stat : 14603 (java) S 14597 14600 14160 0 -1 4202560 44 0 0 0 4 1 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635688569896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14604] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14604/stat : 14604 (java) S 14597 14600 14160 0 -1 4202560 94 0 0 0 5 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635687517096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14605] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14605/stat : 14605 (java) S 14597 14600 14160 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635686464296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14606] ppid=14597 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/14600/task/14606/stat : 14606 (java) S 14597 14600 14160 0 -1 4202560 140 0 0 0 7 2 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635685411496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14607] ppid=14597 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) S 14597 14600 14160 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635566762536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14608] ppid=14597 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/14600/task/14608/stat : 14608 (java) S 14597 14600 14160 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635565709736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14609] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14609/stat : 14609 (java) S 14597 14600 14160 0 -1 4202560 77 0 0 0 5 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635564656936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14610] ppid=14597 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14610/stat : 14610 (java) S 14597 14600 14160 0 -1 4202560 47 0 0 0 5 0 0 0 20 0 19 0 12227920 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635563604136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14611] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14611/stat : 14611 (java) S 14597 14600 14160 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140635551194088 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14612] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14597 14600 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634946004728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14613] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14597 14600 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12227921 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634944951816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14614] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634943900304 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14615] ppid=14597 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14597 14600 14160 0 -1 4202560 2625 0 0 0 17 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634942847416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14616] ppid=14597 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14597 14600 14160 0 -1 4202560 5746 0 0 0 42 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634941794616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14617] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14617/stat : 14617 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634940742008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14618] ppid=14597 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14597 14600 14160 0 -1 4202560 76 0 0 0 17 17 0 0 20 0 19 0 12227924 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634939689416 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14619] ppid=14597 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14619/stat : 14619 (java) S 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12227933 9856040960 55277 33554432000 1073741824 1073778376 140734598426320 140634938635944 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1294.35
Current children cumulated vsize (KiB) 9625040
[startup+1293.6 s]
/proc/loadavg: 2.13 2.11 2.06 3/213 14718
/proc/meminfo: memFree=31301220/32872528 swapFree=240572/273276
[pid=14600] ppid=14597 vsize=9691604 CPUtime=1294.76 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14597 14600 14160 0 -1 4202496 12671 0 1 0 129447 29 0 0 20 0 19 0 12227919 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140734598417456 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 2422901 55288 2276 9 0 2413578 0
[pid=14600/tid=14601] ppid=14597 vsize=9691604 CPUtime=1290.03 cores=1,3,5,7
/proc/14600/task/14601/stat : 14601 (java) S 14597 14600 14160 0 -1 4202560 2490 0 1 0 128981 22 0 0 20 0 19 0 12227919 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635727078104 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14603] ppid=14597 vsize=9691604 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14603/stat : 14603 (java) S 14597 14600 14160 0 -1 4202560 44 0 0 0 4 1 0 0 20 0 19 0 12227920 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635688569896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14604] ppid=14597 vsize=9691604 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14604/stat : 14604 (java) S 14597 14600 14160 0 -1 4202560 94 0 0 0 5 0 0 0 20 0 19 0 12227920 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635687517096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14600/tid=14605] ppid=14597 vsize=9691604 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14605/stat : 14605 (java) S 14597 14600 14160 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 19 0 12227920 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635686464296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14606] ppid=14597 vsize=9691604 CPUtime=0.09 cores=1,3,5,7
/proc/14600/task/14606/stat : 14606 (java) S 14597 14600 14160 0 -1 4202560 140 0 0 0 7 2 0 0 20 0 19 0 12227920 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635685411496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14607] ppid=14597 vsize=9691604 CPUtime=0.03 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) S 14597 14600 14160 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 12227920 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635566762536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14608] ppid=14597 vsize=9691604 CPUtime=0.04 cores=1,3,5,7
/proc/14600/task/14608/stat : 14608 (java) S 14597 14600 14160 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 12227920 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635565709736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14609] ppid=14597 vsize=9691604 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14609/stat : 14609 (java) S 14597 14600 14160 0 -1 4202560 77 0 0 0 5 0 0 0 20 0 19 0 12227920 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635564656936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14610] ppid=14597 vsize=9691604 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14610/stat : 14610 (java) S 14597 14600 14160 0 -1 4202560 47 0 0 0 5 0 0 0 20 0 19 0 12227920 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635563604136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14611] ppid=14597 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14611/stat : 14611 (java) S 14597 14600 14160 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 12227921 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140635551194088 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14612] ppid=14597 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14597 14600 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12227921 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140634946004728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14613] ppid=14597 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14597 14600 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12227921 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140634944951816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14614] ppid=14597 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140634943900304 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14615] ppid=14597 vsize=9691604 CPUtime=0.17 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14597 14600 14160 0 -1 4202560 2629 0 0 0 17 0 0 0 20 0 19 0 12227924 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140634942847416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14600/tid=14616] ppid=14597 vsize=9691604 CPUtime=0.43 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) R 14597 14600 14160 0 -1 4202560 5746 0 0 0 43 0 0 0 20 0 19 0 12227924 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140634941794616 140635731037802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14617] ppid=14597 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14617/stat : 14617 (java) S 14597 14600 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12227924 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140634940742008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14600/tid=14618] ppid=14597 vsize=9691604 CPUtime=0.34 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14597 14600 14160 0 -1 4202560 76 0 0 0 17 17 0 0 20 0 19 0 12227924 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140634939689416 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14600/tid=14718] ppid=14597 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14718/stat : 14718 (java) R 14597 14600 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12357279 9924202496 55288 33554432000 1073741824 1073778376 140734598426320 140634937584872 140635566884579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1294.76
Current children cumulated vsize (KiB) 9691604
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14600 and gives
# childrusage.ru_utime.tv_sec=1291
# childrusage.ru_utime.tv_usec=124719
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=561914
# CPU time returned by wait4() is 1291.69
# while last known CPU time is 1294.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1293.63
CPU time (s): 1294.76
CPU user time (s): 1294.47
CPU system time (s): 0.29
CPU usage (%): 100.087
Max. virtual memory (cumulated for all children) (KiB): 9691604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1291.12
system time used= 0.561914
maximum resident set size= 225760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12686
page faults= 1
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27580
involuntary context switches= 2329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79797 second user time and 7.32589 second system time
The end