runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3394425-1306075135/watcher-3394425-1306075135 -o /tmp/evaluation-result-3394425-1306075135/solver-3394425-1306075135 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394425-1306075135.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.05 2.06 2.01 2/534 20594
/proc/meminfo: memFree=13799192/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 1371 0 0 0 0 0 0 0 25 0 9 0 699929315 108199936 1279 33554432000 4194304 7232020 140737246746016 18446744073709551615 5667712 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/20594/statm: 26416 1280 902 742 0 18987 0
[pid=20594/tid=20595] ppid=20592 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 699929316 108388352 1372 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 699929316 108388352 1373 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108388352 1373 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108388352 1373 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108388352 1373 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108388352 1373 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108388352 1373 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 699929316 108388352 1373 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[startup+0.0268071 s]
/proc/loadavg: 2.05 2.06 2.01 2/534 20594
/proc/meminfo: memFree=13799192/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=105972 CPUtime=0.02 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 1512 0 0 0 2 0 0 0 25 0 9 0 699929315 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 5672143 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/20594/statm: 26493 1420 972 742 0 19064 0
[pid=20594/tid=20595] ppid=20592 vsize=105972 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 699929316 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=105972 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 699929316 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=105972 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=105972 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=105972 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=105972 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=105972 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 699929316 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=105972 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 699929316 108515328 1420 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 105972
[startup+0.100796 s]
/proc/loadavg: 2.05 2.06 2.01 2/534 20594
/proc/meminfo: memFree=13799192/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=107712 CPUtime=0.09 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 1953 0 0 0 9 0 0 0 25 0 9 0 699929315 110297088 1860 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088808290 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/20594/statm: 26928 1860 1023 742 0 19499 0
[pid=20594/tid=20595] ppid=20592 vsize=107712 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 699929316 110297088 1860 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=107712 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 699929316 110297088 1860 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=107712 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 699929316 110297088 1860 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=107712 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 699929316 110297088 1860 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=107712 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 699929316 110297088 1860 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=107712 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 699929316 110297088 1865 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=107712 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 699929316 110297088 1874 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=107712 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 699929316 110297088 1879 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 107712
[startup+0.30077 s]
/proc/loadavg: 2.05 2.06 2.01 2/534 20594
/proc/meminfo: memFree=13799192/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=109024 CPUtime=0.29 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 2328 0 0 0 29 0 0 0 18 0 9 0 699929315 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088807035 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/20594/statm: 27256 2235 1023 742 0 19827 0
[pid=20594/tid=20595] ppid=20592 vsize=109024 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 699929316 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=109024 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 699929316 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=109024 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 699929316 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=109024 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 699929316 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=109024 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 699929316 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=109024 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 699929316 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=109024 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 699929316 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=109024 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 699929316 111640576 2235 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 109024
[startup+0.700651 s]
/proc/loadavg: 2.05 2.06 2.01 2/534 20594
/proc/meminfo: memFree=13799192/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=111308 CPUtime=0.69 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 2666 0 0 0 69 0 0 0 18 0 9 0 699929315 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088809562 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/20594/statm: 27827 2490 1023 742 0 20398 0
[pid=20594/tid=20595] ppid=20592 vsize=111308 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 699929316 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=111308 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 699929316 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=111308 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=111308 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 699929316 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=111308 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 699929316 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=111308 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=111308 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=111308 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 699929316 113979392 2490 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 111308
[startup+1.50051 s]
/proc/loadavg: 2.05 2.05 2.01 3/543 20603
/proc/meminfo: memFree=13789704/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=113032 CPUtime=1.51 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 3493 0 0 0 150 1 0 0 18 0 9 0 699929315 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088806921 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/20594/statm: 28258 3120 1023 742 0 20829 0
[pid=20594/tid=20595] ppid=20592 vsize=113032 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 699929316 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=113032 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=113032 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 699929316 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=113032 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=113032 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 699929316 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=113032 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=113032 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=113032 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699929316 115744768 3120 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 113032
[startup+3.10125 s]
/proc/loadavg: 2.05 2.05 2.01 3/543 20603
/proc/meminfo: memFree=13784160/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=118444 CPUtime=3.13 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 5122 0 0 0 312 1 0 0 18 0 9 0 699929315 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088803681 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/20594/statm: 29611 3830 1023 742 0 22182 0
[pid=20594/tid=20595] ppid=20592 vsize=118444 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 699929316 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=118444 CPUtime=0.01 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 699929316 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=118444 CPUtime=0.01 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 699929316 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=118444 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=118444 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699929316 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=118444 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 699929316 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=118444 CPUtime=0.01 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 699929316 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=118444 CPUtime=0 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699929316 121286656 3830 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 118444
[startup+6.30068 s]
/proc/loadavg: 2.05 2.05 2.01 3/543 20603
/proc/meminfo: memFree=13776840/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=122604 CPUtime=6.39 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 7252 0 0 0 637 2 0 0 18 0 9 0 699929315 125546496 5118 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088811588 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/20594/statm: 30651 5118 1023 742 0 23222 0
################
# More data... #
################
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 926 6 0 0 16 0 9 0 699929316 683995136 140274 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=667964 CPUtime=9.61 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 954 7 0 0 15 0 9 0 699929316 683995136 140274 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=667964 CPUtime=9.61 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 955 6 0 0 16 0 9 0 699929316 683995136 140274 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=667964 CPUtime=9.03 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 899 4 0 0 15 0 9 0 699929316 683995136 140274 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=667964 CPUtime=0.05 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 2 3 0 0 15 0 9 0 699929316 683995136 140274 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4653.15
Current children cumulated vsize (KiB) 667964
[startup+4662.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/543 20739
/proc/meminfo: memFree=12783996/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=668156 CPUtime=4713.29 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 458275 0 0 0 471175 154 0 0 22 0 9 0 699929315 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088806961 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20594/statm: 167039 140328 1035 742 0 159610 0
[pid=20594/tid=20595] ppid=20592 vsize=668156 CPUtime=9.79 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 973 6 0 0 15 0 9 0 699929316 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=668156 CPUtime=9.97 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 991 6 0 0 16 0 9 0 699929316 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=668156 CPUtime=9.82 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 976 6 0 0 16 0 9 0 699929316 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 3 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=668156 CPUtime=9.35 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 929 6 0 0 16 0 9 0 699929316 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=668156 CPUtime=9.64 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 957 7 0 0 16 0 9 0 699929316 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=668156 CPUtime=9.63 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 957 6 0 0 16 0 9 0 699929316 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=668156 CPUtime=9.04 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 900 4 0 0 16 0 9 0 699929316 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=668156 CPUtime=0.05 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 2 3 0 0 15 0 9 0 699929316 684191744 140328 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4713.29
Current children cumulated vsize (KiB) 668156
[startup+4722.32 s]
/proc/loadavg: 2.01 2.04 2.04 3/543 20741
/proc/meminfo: memFree=12776900/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=668284 CPUtime=4773.7 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 458928 0 0 0 477216 154 0 0 24 0 9 0 699929315 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088807022 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20594/statm: 167071 139758 1035 742 0 159642 0
[pid=20594/tid=20595] ppid=20592 vsize=668284 CPUtime=9.92 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 986 6 0 0 16 0 9 0 699929316 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 3 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=668284 CPUtime=10.06 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 1000 6 0 0 16 0 9 0 699929316 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=668284 CPUtime=9.85 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 979 6 0 0 15 0 9 0 699929316 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=668284 CPUtime=9.41 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 935 6 0 0 15 0 9 0 699929316 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=668284 CPUtime=9.71 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 964 7 0 0 16 0 9 0 699929316 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=668284 CPUtime=9.7 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 964 6 0 0 16 0 9 0 699929316 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=668284 CPUtime=9.11 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 907 4 0 0 16 0 9 0 699929316 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=668284 CPUtime=0.05 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 2 3 0 0 15 0 9 0 699929316 684322816 139758 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4773.7
Current children cumulated vsize (KiB) 668284
[startup+4782.3 s]
/proc/loadavg: 1.96 2.01 2.03 3/543 20779
/proc/meminfo: memFree=13317208/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=684860 CPUtime=4833.9 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 464125 0 0 0 483235 155 0 0 22 0 9 0 699929315 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088806302 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20594/statm: 171215 144955 1035 742 0 163786 0
[pid=20594/tid=20595] ppid=20592 vsize=684860 CPUtime=10 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 994 6 0 0 16 0 9 0 699929316 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 3 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=684860 CPUtime=10.12 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 1006 6 0 0 15 0 9 0 699929316 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=684860 CPUtime=9.88 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 982 6 0 0 16 0 9 0 699929316 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=684860 CPUtime=9.44 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 938 6 0 0 16 0 9 0 699929316 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=684860 CPUtime=9.76 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 969 7 0 0 16 0 9 0 699929316 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 3 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=684860 CPUtime=9.77 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 971 6 0 0 16 0 9 0 699929316 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=684860 CPUtime=9.14 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 910 4 0 0 16 0 9 0 699929316 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=684860 CPUtime=0.05 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 2 3 0 0 15 0 9 0 699929316 701296640 144955 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4833.9
Current children cumulated vsize (KiB) 684860
[startup+4842.3 s]
/proc/loadavg: 2.12 2.04 2.04 3/543 20780
/proc/meminfo: memFree=13318312/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=684988 CPUtime=4893.98 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 464294 0 0 0 489243 155 0 0 25 0 9 0 699929315 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088806961 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20594/statm: 171247 145124 1035 742 0 163818 0
[pid=20594/tid=20595] ppid=20592 vsize=684988 CPUtime=10 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 994 6 0 0 15 0 9 0 699929316 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=684988 CPUtime=10.12 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 1006 6 0 0 15 0 9 0 699929316 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=684988 CPUtime=9.89 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 983 6 0 0 15 0 9 0 699929316 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=684988 CPUtime=9.47 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 941 6 0 0 16 0 9 0 699929316 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=684988 CPUtime=9.77 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 970 7 0 0 16 0 9 0 699929316 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 3 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=684988 CPUtime=9.77 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 971 6 0 0 15 0 9 0 699929316 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=684988 CPUtime=9.17 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 913 4 0 0 15 0 9 0 699929316 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=684988 CPUtime=0.05 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 2 3 0 0 15 0 9 0 699929316 701427712 145124 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4893.98
Current children cumulated vsize (KiB) 684988
[startup+4902.3 s]
/proc/loadavg: 2.10 2.04 2.03 3/543 20782
/proc/meminfo: memFree=13309356/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=686844 CPUtime=4953.98 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 464857 0 0 0 495243 155 0 0 25 0 9 0 699929315 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088818334 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20594/statm: 171711 145687 1035 742 0 164282 0
[pid=20594/tid=20595] ppid=20592 vsize=686844 CPUtime=10 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 994 6 0 0 15 0 9 0 699929316 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=686844 CPUtime=10.12 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 1006 6 0 0 15 0 9 0 699929316 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=686844 CPUtime=9.89 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 983 6 0 0 15 0 9 0 699929316 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=686844 CPUtime=9.47 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 941 6 0 0 16 0 9 0 699929316 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=686844 CPUtime=9.77 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 970 7 0 0 16 0 9 0 699929316 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 3 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=686844 CPUtime=9.77 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 971 6 0 0 15 0 9 0 699929316 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=686844 CPUtime=9.17 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 913 4 0 0 15 0 9 0 699929316 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=686844 CPUtime=0.05 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 2 3 0 0 15 0 9 0 699929316 703328256 145687 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4953.98
Current children cumulated vsize (KiB) 686844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4948.4 s]
/proc/loadavg: 2.05 2.03 2.03 3/543 20792
/proc/meminfo: memFree=13300820/32951124 swapFree=67023164/67111528
[pid=20594] ppid=20592 vsize=686844 CPUtime=5000.09 cores=1,3,5,7
/proc/20594/stat : 20594 (mono) R 20592 20594 20289 0 -1 4202496 464861 0 0 0 499854 155 0 0 25 0 9 0 699929315 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 1088818312 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20594/statm: 171711 145691 1035 742 0 164282 0
[pid=20594/tid=20595] ppid=20592 vsize=686844 CPUtime=10 cores=1,3,5,7
/proc/20594/task/20595/stat : 20595 (mono) S 20592 20594 20289 0 -1 4202560 4 0 0 0 994 6 0 0 15 0 9 0 699929316 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20596] ppid=20592 vsize=686844 CPUtime=10.12 cores=1,3,5,7
/proc/20594/task/20596/stat : 20596 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 1006 6 0 0 15 0 9 0 699929316 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20597] ppid=20592 vsize=686844 CPUtime=9.89 cores=1,3,5,7
/proc/20594/task/20597/stat : 20597 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 983 6 0 0 15 0 9 0 699929316 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
[pid=20594/tid=20598] ppid=20592 vsize=686844 CPUtime=9.47 cores=1,3,5,7
/proc/20594/task/20598/stat : 20598 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 941 6 0 0 16 0 9 0 699929316 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20599] ppid=20592 vsize=686844 CPUtime=9.77 cores=1,3,5,7
/proc/20594/task/20599/stat : 20599 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 970 7 0 0 16 0 9 0 699929316 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 3 0 0 0
[pid=20594/tid=20600] ppid=20592 vsize=686844 CPUtime=9.77 cores=1,3,5,7
/proc/20594/task/20600/stat : 20600 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 971 6 0 0 15 0 9 0 699929316 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 7 0 0 0
[pid=20594/tid=20601] ppid=20592 vsize=686844 CPUtime=9.17 cores=1,3,5,7
/proc/20594/task/20601/stat : 20601 (mono) S 20592 20594 20289 0 -1 4202560 2 0 0 0 913 4 0 0 15 0 9 0 699929316 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522113433 0 0 4096 545260780 18446604462954875712 0 0 -1 1 0 0 0
[pid=20594/tid=20602] ppid=20592 vsize=686844 CPUtime=0.05 cores=1,3,5,7
/proc/20594/task/20602/stat : 20602 (mono) S 20592 20594 20289 0 -1 4202560 3 0 0 0 2 3 0 0 15 0 9 0 699929316 703328256 145691 33554432000 4194304 7232020 140737246746016 18446744073709551615 233522121137 0 0 4096 545260780 18446604462954875712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 686844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4948.45
CPU time (s): 5000.14
CPU user time (s): 4998.56
CPU system time (s): 1.57976
CPU usage (%): 101.045
Max. virtual memory (cumulated for all children) (KiB): 686844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.56
system time used= 1.57976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132617
involuntary context switches= 37721
runsolver used 24.9762 second user time and 60.5828 second system time
The end