runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456918-1307203814/watcher-3456918-1307203814 -o /tmp/evaluation-result-3456918-1307203814/solver-3456918-1307203814 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456918-1307203814.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 1.94 2/461 31640
/proc/meminfo: memFree=29046212/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 6564 0 1 0 0 0 0 0 25 0 2 0 910612114 10694979584 6265 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2611079 6277 917 9 0 2602235 0
[pid=31640/tid=31641] ppid=31638 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 5584 0 1 0 0 0 0 0 25 0 2 0 910612114 10694979584 6401 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.085078 s]
/proc/loadavg: 1.92 2.00 1.94 2/461 31640
/proc/meminfo: memFree=29046212/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10539820 CPUtime=0.08 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 12672 0 1 0 7 1 0 0 25 0 18 0 910612114 10792775680 12368 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2634955 12368 2022 9 0 2625689 0
[pid=31640/tid=31641] ppid=31638 vsize=10539820 CPUtime=0.07 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 10943 0 1 0 6 1 0 0 18 0 18 0 910612114 10792775680 12368 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231895486309 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539820
[startup+0.100689 s]
/proc/loadavg: 1.92 2.00 1.94 2/461 31640
/proc/meminfo: memFree=29046212/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10540332 CPUtime=0.1 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 13104 0 1 0 9 1 0 0 25 0 18 0 910612114 10793299968 12800 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2635083 12801 2092 9 0 2625817 0
[pid=31640/tid=31641] ppid=31638 vsize=10540332 CPUtime=0.08 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 11192 0 1 0 7 1 0 0 18 0 18 0 910612114 10793299968 12802 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907317195 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540332
[startup+0.300593 s]
/proc/loadavg: 1.92 2.00 1.94 2/461 31640
/proc/meminfo: memFree=29046212/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10545928 CPUtime=0.55 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 22127 0 1 0 52 3 0 0 25 0 19 0 910612114 10799030272 20008 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2636482 20008 2206 9 0 2627216 0
[pid=31640/tid=31641] ppid=31638 vsize=10545928 CPUtime=0.28 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 15250 0 1 0 27 1 0 0 18 0 19 0 910612114 10799030272 20009 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 46912505328187 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10545928
[startup+0.700578 s]
/proc/loadavg: 1.92 2.00 1.94 2/461 31640
/proc/meminfo: memFree=29046212/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10558016 CPUtime=1.65 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 53144 0 1 0 158 7 0 0 25 0 19 0 910612114 10811408384 49650 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2639504 49652 2219 9 0 2630238 0
[pid=31640/tid=31641] ppid=31638 vsize=10558016 CPUtime=0.68 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 41383 0 1 0 63 5 0 0 18 0 19 0 910612114 10811408384 49653 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 46912505624296 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10558016
[startup+1.50143 s]
/proc/loadavg: 2.09 2.03 1.95 3/480 31659
/proc/meminfo: memFree=28412568/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10558016 CPUtime=2.67 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 136907 0 1 0 250 17 0 0 25 0 19 0 910612114 10811408384 133315 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2639504 133322 2225 9 0 2630238 0
[pid=31640/tid=31641] ppid=31638 vsize=10558016 CPUtime=1.48 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 125026 0 1 0 133 15 0 0 18 0 19 0 910612114 10811408384 133325 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 46912505575696 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31640/tid=31643] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31643/stat : 31643 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 133330 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31644] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31644/stat : 31644 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 133333 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31645] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31645/stat : 31645 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 133338 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31646] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31646/stat : 31646 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 133341 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31647] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31647/stat : 31647 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 133345 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31648] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31648/stat : 31648 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 133349 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31649] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31649/stat : 31649 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 133352 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31650] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31650/stat : 31650 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 133356 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31651] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31651/stat : 31651 (java) S 31638 31640 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910612117 10811408384 133359 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 0 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31652] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31652/stat : 31652 (java) S 31638 31640 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910612117 10811408384 133363 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31653] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31653/stat : 31653 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910612117 10811408384 133366 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31654] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31654/stat : 31654 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 133370 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907314097 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31655] ppid=31638 vsize=10558016 CPUtime=0.53 cores=1,3,5,7
/proc/31640/task/31655/stat : 31655 (java) S 31638 31640 31238 0 -1 4202560 4564 0 0 0 53 0 0 0 20 0 19 0 910612119 10811408384 133373 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31656] ppid=31638 vsize=10558016 CPUtime=0.64 cores=1,3,5,7
/proc/31640/task/31656/stat : 31656 (java) S 31638 31640 31238 0 -1 4202560 6167 0 0 0 63 1 0 0 16 0 19 0 910612119 10811408384 133376 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31657] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31657/stat : 31657 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 133379 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31658] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31658/stat : 31658 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910612119 10811408384 133382 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31659] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31659/stat : 31659 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910612130 10811408384 133386 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10558016
[startup+3.10113 s]
/proc/loadavg: 2.09 2.03 1.95 3/480 31659
/proc/meminfo: memFree=27795420/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10558016 CPUtime=4.28 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 276241 0 1 0 394 34 0 0 25 0 19 0 910612114 10811408384 272647 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2639504 272654 2225 9 0 2630238 0
[pid=31640/tid=31641] ppid=31638 vsize=10558016 CPUtime=3.08 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 264362 0 1 0 276 32 0 0 19 0 19 0 910612114 10811408384 272660 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 46912505366018 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31640/tid=31643] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31643/stat : 31643 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 272665 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31644] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31644/stat : 31644 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 272665 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31645] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31645/stat : 31645 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 272665 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31646] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31646/stat : 31646 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 272665 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31647] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31647/stat : 31647 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 272665 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31648] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31648/stat : 31648 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 272665 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31649] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31649/stat : 31649 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 272665 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31650] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31650/stat : 31650 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 272665 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31651] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31651/stat : 31651 (java) S 31638 31640 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910612117 10811408384 272666 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 0 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31652] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31652/stat : 31652 (java) S 31638 31640 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910612117 10811408384 272666 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31653] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31653/stat : 31653 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910612117 10811408384 272666 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31654] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31654/stat : 31654 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 272666 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907314097 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31655] ppid=31638 vsize=10558016 CPUtime=0.53 cores=1,3,5,7
/proc/31640/task/31655/stat : 31655 (java) S 31638 31640 31238 0 -1 4202560 4564 0 0 0 53 0 0 0 15 0 19 0 910612119 10811408384 272666 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31656] ppid=31638 vsize=10558016 CPUtime=0.64 cores=1,3,5,7
/proc/31640/task/31656/stat : 31656 (java) S 31638 31640 31238 0 -1 4202560 6167 0 0 0 63 1 0 0 16 0 19 0 910612119 10811408384 272672 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31657] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31657/stat : 31657 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 272679 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31658] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31658/stat : 31658 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910612119 10811408384 272684 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31659] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31659/stat : 31659 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910612130 10811408384 272684 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 10558016
[startup+6.30153 s]
/proc/loadavg: 2.09 2.03 1.95 3/480 31659
/proc/meminfo: memFree=26504056/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10558016 CPUtime=7.47 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 404227 0 1 0 700 47 0 0 25 0 19 0 910612114 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2639504 400595 2226 9 0 2630238 0
[pid=31640/tid=31641] ppid=31638 vsize=10558016 CPUtime=6.29 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 392334 0 1 0 583 46 0 0 25 0 19 0 910612114 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 46912505995735 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31640/tid=31643] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31643/stat : 31643 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31644] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31644/stat : 31644 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31645] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31645/stat : 31645 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31646] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31646/stat : 31646 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31647] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31647/stat : 31647 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31648] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31648/stat : 31648 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31649] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31649/stat : 31649 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31650] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31650/stat : 31650 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612116 10811408384 400595 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31651] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31651/stat : 31651 (java) S 31638 31640 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910612117 10811408384 400597 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 0 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31652] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31652/stat : 31652 (java) S 31638 31640 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910612117 10811408384 400597 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31653] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31653/stat : 31653 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910612117 10811408384 400597 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31654] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31654/stat : 31654 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 400597 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907314097 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31655] ppid=31638 vsize=10558016 CPUtime=0.54 cores=1,3,5,7
/proc/31640/task/31655/stat : 31655 (java) S 31638 31640 31238 0 -1 4202560 4564 0 0 0 54 0 0 0 15 0 19 0 910612119 10811408384 400597 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31656] ppid=31638 vsize=10558016 CPUtime=0.64 cores=1,3,5,7
/proc/31640/task/31656/stat : 31656 (java) S 31638 31640 31238 0 -1 4202560 6167 0 0 0 63 1 0 0 16 0 19 0 910612119 10811408384 400597 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/31640/task/31653/stat : 31653 (java) S 31638 31640 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31654] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31654/stat : 31654 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907314097 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31655] ppid=31638 vsize=10558016 CPUtime=0.55 cores=1,3,5,7
/proc/31640/task/31655/stat : 31655 (java) S 31638 31640 31238 0 -1 4202560 4568 0 0 0 55 0 0 0 15 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31656] ppid=31638 vsize=10558016 CPUtime=0.64 cores=1,3,5,7
/proc/31640/task/31656/stat : 31656 (java) S 31638 31640 31238 0 -1 4202560 6167 0 0 0 63 1 0 0 16 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31657] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31657/stat : 31657 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31658] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31658/stat : 31658 (java) S 31638 31640 31238 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31659] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31659/stat : 31659 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910612130 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1663.84
Current children cumulated vsize (KiB) 10558016
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/480 31753
/proc/meminfo: memFree=22761732/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10558016 CPUtime=1723.84 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 868465 0 1 0 172284 100 0 0 25 0 19 0 910612114 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2639504 862770 2239 9 0 2630238 0
[pid=31640/tid=31641] ppid=31638 vsize=10558016 CPUtime=1722.1 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 721891 0 1 0 172128 82 0 0 25 0 19 0 910612114 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 46912505995742 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31640/tid=31643] ppid=31638 vsize=10558016 CPUtime=0.07 cores=1,3,5,7
/proc/31640/task/31643/stat : 31643 (java) S 31638 31640 31238 0 -1 4202560 22818 0 0 0 5 2 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31644] ppid=31638 vsize=10558016 CPUtime=0.07 cores=1,3,5,7
/proc/31640/task/31644/stat : 31644 (java) S 31638 31640 31238 0 -1 4202560 24594 0 0 0 5 2 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31645] ppid=31638 vsize=10558016 CPUtime=0.01 cores=1,3,5,7
/proc/31640/task/31645/stat : 31645 (java) S 31638 31640 31238 0 -1 4202560 8302 0 0 0 1 0 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31646] ppid=31638 vsize=10558016 CPUtime=0.04 cores=1,3,5,7
/proc/31640/task/31646/stat : 31646 (java) S 31638 31640 31238 0 -1 4202560 10642 0 0 0 3 1 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31647] ppid=31638 vsize=10558016 CPUtime=0.04 cores=1,3,5,7
/proc/31640/task/31647/stat : 31647 (java) S 31638 31640 31238 0 -1 4202560 13133 0 0 0 3 1 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31648] ppid=31638 vsize=10558016 CPUtime=0.06 cores=1,3,5,7
/proc/31640/task/31648/stat : 31648 (java) S 31638 31640 31238 0 -1 4202560 15544 0 0 0 5 1 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31649] ppid=31638 vsize=10558016 CPUtime=0.08 cores=1,3,5,7
/proc/31640/task/31649/stat : 31649 (java) S 31638 31640 31238 0 -1 4202560 22231 0 0 0 5 3 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31650] ppid=31638 vsize=10558016 CPUtime=0.08 cores=1,3,5,7
/proc/31640/task/31650/stat : 31650 (java) S 31638 31640 31238 0 -1 4202560 17300 0 0 0 6 2 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31651] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31651/stat : 31651 (java) S 31638 31640 31238 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 0 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31652] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31652/stat : 31652 (java) S 31638 31640 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31653] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31653/stat : 31653 (java) S 31638 31640 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31654] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31654/stat : 31654 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907314097 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31655] ppid=31638 vsize=10558016 CPUtime=0.55 cores=1,3,5,7
/proc/31640/task/31655/stat : 31655 (java) S 31638 31640 31238 0 -1 4202560 4568 0 0 0 55 0 0 0 15 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31656] ppid=31638 vsize=10558016 CPUtime=0.64 cores=1,3,5,7
/proc/31640/task/31656/stat : 31656 (java) S 31638 31640 31238 0 -1 4202560 6167 0 0 0 63 1 0 0 16 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31657] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31657/stat : 31657 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31658] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31658/stat : 31658 (java) S 31638 31640 31238 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31659] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31659/stat : 31659 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910612130 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1723.84
Current children cumulated vsize (KiB) 10558016
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/480 31756
/proc/meminfo: memFree=22761468/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10558016 CPUtime=1783.84 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 868469 0 1 0 178284 100 0 0 25 0 19 0 910612114 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2639504 862770 2239 9 0 2630238 0
[pid=31640/tid=31641] ppid=31638 vsize=10558016 CPUtime=1782.1 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 721891 0 1 0 178128 82 0 0 25 0 19 0 910612114 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 46912505576513 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31640/tid=31643] ppid=31638 vsize=10558016 CPUtime=0.07 cores=1,3,5,7
/proc/31640/task/31643/stat : 31643 (java) S 31638 31640 31238 0 -1 4202560 22818 0 0 0 5 2 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31644] ppid=31638 vsize=10558016 CPUtime=0.07 cores=1,3,5,7
/proc/31640/task/31644/stat : 31644 (java) S 31638 31640 31238 0 -1 4202560 24594 0 0 0 5 2 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31645] ppid=31638 vsize=10558016 CPUtime=0.01 cores=1,3,5,7
/proc/31640/task/31645/stat : 31645 (java) S 31638 31640 31238 0 -1 4202560 8302 0 0 0 1 0 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31646] ppid=31638 vsize=10558016 CPUtime=0.04 cores=1,3,5,7
/proc/31640/task/31646/stat : 31646 (java) S 31638 31640 31238 0 -1 4202560 10642 0 0 0 3 1 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31647] ppid=31638 vsize=10558016 CPUtime=0.04 cores=1,3,5,7
/proc/31640/task/31647/stat : 31647 (java) S 31638 31640 31238 0 -1 4202560 13133 0 0 0 3 1 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31648] ppid=31638 vsize=10558016 CPUtime=0.06 cores=1,3,5,7
/proc/31640/task/31648/stat : 31648 (java) S 31638 31640 31238 0 -1 4202560 15544 0 0 0 5 1 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31649] ppid=31638 vsize=10558016 CPUtime=0.08 cores=1,3,5,7
/proc/31640/task/31649/stat : 31649 (java) S 31638 31640 31238 0 -1 4202560 22231 0 0 0 5 3 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31650] ppid=31638 vsize=10558016 CPUtime=0.08 cores=1,3,5,7
/proc/31640/task/31650/stat : 31650 (java) S 31638 31640 31238 0 -1 4202560 17300 0 0 0 6 2 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31651] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31651/stat : 31651 (java) S 31638 31640 31238 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 0 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31652] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31652/stat : 31652 (java) S 31638 31640 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31653] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31653/stat : 31653 (java) S 31638 31640 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31654] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31654/stat : 31654 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907314097 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31655] ppid=31638 vsize=10558016 CPUtime=0.55 cores=1,3,5,7
/proc/31640/task/31655/stat : 31655 (java) S 31638 31640 31238 0 -1 4202560 4568 0 0 0 55 0 0 0 15 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31656] ppid=31638 vsize=10558016 CPUtime=0.64 cores=1,3,5,7
/proc/31640/task/31656/stat : 31656 (java) S 31638 31640 31238 0 -1 4202560 6167 0 0 0 63 1 0 0 16 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31657] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31657/stat : 31657 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31658] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31658/stat : 31658 (java) S 31638 31640 31238 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31659] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31659/stat : 31659 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910612130 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1783.84
Current children cumulated vsize (KiB) 10558016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.52 s]
/proc/loadavg: 2.05 2.03 2.00 3/480 31756
/proc/meminfo: memFree=22761468/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=10558016 CPUtime=1800.07 cores=1,3,5,7
/proc/31640/stat : 31640 (java) S 31638 31640 31238 0 -1 4202496 868469 0 1 0 179907 100 0 0 25 0 19 0 910612114 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 2639504 862770 2239 9 0 2630238 0
[pid=31640/tid=31641] ppid=31638 vsize=10558016 CPUtime=1798.34 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4202560 721891 0 1 0 179752 82 0 0 25 0 19 0 910612114 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 46912505576577 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31640/tid=31643] ppid=31638 vsize=10558016 CPUtime=0.07 cores=1,3,5,7
/proc/31640/task/31643/stat : 31643 (java) S 31638 31640 31238 0 -1 4202560 22818 0 0 0 5 2 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31644] ppid=31638 vsize=10558016 CPUtime=0.07 cores=1,3,5,7
/proc/31640/task/31644/stat : 31644 (java) S 31638 31640 31238 0 -1 4202560 24594 0 0 0 5 2 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31645] ppid=31638 vsize=10558016 CPUtime=0.01 cores=1,3,5,7
/proc/31640/task/31645/stat : 31645 (java) S 31638 31640 31238 0 -1 4202560 8302 0 0 0 1 0 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31646] ppid=31638 vsize=10558016 CPUtime=0.04 cores=1,3,5,7
/proc/31640/task/31646/stat : 31646 (java) S 31638 31640 31238 0 -1 4202560 10642 0 0 0 3 1 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31647] ppid=31638 vsize=10558016 CPUtime=0.04 cores=1,3,5,7
/proc/31640/task/31647/stat : 31647 (java) S 31638 31640 31238 0 -1 4202560 13133 0 0 0 3 1 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31648] ppid=31638 vsize=10558016 CPUtime=0.06 cores=1,3,5,7
/proc/31640/task/31648/stat : 31648 (java) S 31638 31640 31238 0 -1 4202560 15544 0 0 0 5 1 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31649] ppid=31638 vsize=10558016 CPUtime=0.08 cores=1,3,5,7
/proc/31640/task/31649/stat : 31649 (java) S 31638 31640 31238 0 -1 4202560 22231 0 0 0 5 3 0 0 15 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31650] ppid=31638 vsize=10558016 CPUtime=0.08 cores=1,3,5,7
/proc/31640/task/31650/stat : 31650 (java) S 31638 31640 31238 0 -1 4202560 17300 0 0 0 6 2 0 0 16 0 19 0 910612116 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31651] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31651/stat : 31651 (java) S 31638 31640 31238 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 0 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31652] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31652/stat : 31652 (java) S 31638 31640 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31653] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31653/stat : 31653 (java) S 31638 31640 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910612117 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31654] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31654/stat : 31654 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907314097 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31655] ppid=31638 vsize=10558016 CPUtime=0.55 cores=1,3,5,7
/proc/31640/task/31655/stat : 31655 (java) S 31638 31640 31238 0 -1 4202560 4568 0 0 0 55 0 0 0 15 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 7 0 0 0
[pid=31640/tid=31656] ppid=31638 vsize=10558016 CPUtime=0.64 cores=1,3,5,7
/proc/31640/task/31656/stat : 31656 (java) S 31638 31640 31238 0 -1 4202560 6167 0 0 0 63 1 0 0 16 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31657] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31657/stat : 31657 (java) S 31638 31640 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907306393 0 4 0 16800975 18446604459066620800 0 0 -1 5 0 0 0
[pid=31640/tid=31658] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31658/stat : 31658 (java) S 31638 31640 31238 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 910612119 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
[pid=31640/tid=31659] ppid=31638 vsize=10558016 CPUtime=0 cores=1,3,5,7
/proc/31640/task/31659/stat : 31659 (java) S 31638 31640 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910612130 10811408384 862770 33554432000 1073741824 1073778376 140736020700576 18446744073709551615 231907307008 0 4 0 16800975 18446604459066620800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10558016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.62 s]
/proc/loadavg: 2.05 2.03 2.00 3/480 31756
/proc/meminfo: memFree=22761468/32950928 swapFree=52246700/67111528
[pid=31640] ppid=31638 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/31640/stat : 31640 (java) Z 31638 31640 31238 0 -1 4203548 868499 0 1 0 179908 108 0 0 17 0 2 0 910612114 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31640/statm: 0 0 0 0 0 0 0
[pid=31640/tid=31641] ppid=31638 vsize=0 CPUtime=1798.42 cores=1,3,5,7
/proc/31640/task/31641/stat : 31641 (java) R 31638 31640 31238 0 -1 4203588 721891 0 1 0 179752 90 0 0 25 0 2 0 910612114 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.68
CPU time (s): 1800.24
CPU user time (s): 1799.09
CPU system time (s): 1.14782
CPU usage (%): 100.086
Max. virtual memory (cumulated for all children) (KiB): 10558016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.14783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 868499
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36799
involuntary context switches= 3046
runsolver used 7.56585 second user time and 17.9053 second system time
The end