runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3281022-1303750772/watcher-3281022-1303750772 -o /tmp/evaluation-result-3281022-1303750772/solver-3281022-1303750772 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3281022-1303750772.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.46 3.89 3.85 4/213 19535
/proc/meminfo: memFree=15193448/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=102604 CPUtime=0 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 919 0 0 0 0 0 0 0 22 0 8 0 467492855 105066496 827 33554432000 4194304 7232020 140733433376560 18446744073709551615 264726065861 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 25651 827 637 742 0 18222 0
[pid=19535/tid=19536] ppid=19533 vsize=102604 CPUtime=0 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 8 0 467492855 105066496 827 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=102604 CPUtime=0 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 467492855 105066496 829 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=102604 CPUtime=0 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 467492855 105066496 830 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=102604 CPUtime=0 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 467492855 105066496 830 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=102604 CPUtime=0 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 467492855 105066496 830 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=102604 CPUtime=0 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 467492855 105066496 830 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=102604 CPUtime=0 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 467492855 105066496 830 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[startup+0.0670939 s]
/proc/loadavg: 3.46 3.89 3.85 4/213 19535
/proc/meminfo: memFree=15193448/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=118692 CPUtime=0.05 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 4472 0 0 0 5 0 0 0 23 0 9 0 467492855 121540608 4374 33554432000 4194304 7232020 140733433376560 18446744073709551615 264726095978 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 29673 4374 975 742 0 22244 0
[pid=19535/tid=19536] ppid=19533 vsize=118692 CPUtime=0 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 9 0 467492855 121540608 4374 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=118692 CPUtime=0 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 121540608 4374 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=118692 CPUtime=0 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 121540608 4374 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=118692 CPUtime=0 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 121540608 4374 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=118692 CPUtime=0 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 121540608 4374 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=118692 CPUtime=0 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 121540608 4374 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=118692 CPUtime=0 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 121540608 4374 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 118692
[startup+0.101101 s]
/proc/loadavg: 3.46 3.89 3.85 4/213 19535
/proc/meminfo: memFree=15193448/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=123048 CPUtime=0.09 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 4743 0 0 0 8 1 0 0 23 0 9 0 467492855 126001152 4645 33554432000 4194304 7232020 140733433376560 18446744073709551615 264726098891 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 30762 4648 975 742 0 23333 0
[pid=19535/tid=19536] ppid=19533 vsize=123048 CPUtime=0.01 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 9 0 467492855 126001152 4649 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=123048 CPUtime=0 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 126001152 4652 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=123048 CPUtime=0 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 126001152 4654 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=123048 CPUtime=0 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 126001152 4656 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=123048 CPUtime=0 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 126001152 4658 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=123048 CPUtime=0 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 126001152 4663 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=123048 CPUtime=0 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 467492855 126001152 4664 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 123048
[startup+0.301049 s]
/proc/loadavg: 3.46 3.89 3.85 4/213 19535
/proc/meminfo: memFree=15193448/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=128900 CPUtime=0.29 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 6291 0 0 0 28 1 0 0 23 0 9 0 467492855 131993600 6193 33554432000 4194304 7232020 140733433376560 18446744073709551615 1088084075 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 32225 6193 975 742 0 24796 0
[pid=19535/tid=19536] ppid=19533 vsize=128900 CPUtime=0.01 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 9 0 467492855 131993600 6193 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=128900 CPUtime=0 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 467492855 131993600 6193 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=128900 CPUtime=0 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 467492855 131993600 6193 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=128900 CPUtime=0 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 467492855 131993600 6193 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=128900 CPUtime=0 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 467492855 131993600 6193 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=128900 CPUtime=0.01 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 467492855 131993600 6193 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=128900 CPUtime=0.01 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 467492855 131993600 6193 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 128900
[startup+0.700977 s]
/proc/loadavg: 3.46 3.89 3.85 4/213 19535
/proc/meminfo: memFree=15193448/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=136852 CPUtime=0.69 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 8922 0 0 0 68 1 0 0 25 0 9 0 467492855 140136448 8824 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738222223 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 34213 8824 975 742 0 26784 0
[pid=19535/tid=19536] ppid=19533 vsize=136852 CPUtime=0.01 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 467492855 140136448 8824 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=136852 CPUtime=0.03 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 467492855 140136448 8824 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=136852 CPUtime=0.01 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 467492855 140136448 8824 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=136852 CPUtime=0 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) R 19533 19535 18989 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 467492855 140136448 8824 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=136852 CPUtime=0.03 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 467492855 140136448 8824 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=136852 CPUtime=0.02 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) R 19533 19535 18989 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 467492855 140136448 8824 33554432000 4194304 7232020 140733433376560 18446744073709551615 6168994 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=136852 CPUtime=0.02 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 2 0 0 0 17 0 9 0 467492855 140136448 8824 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 136852
[startup+1.50079 s]
/proc/loadavg: 3.46 3.89 3.85 5/222 19544
/proc/meminfo: memFree=14770544/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=162068 CPUtime=1.61 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 14399 0 0 0 158 3 0 0 17 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 1088084056 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/19535/statm: 40517 14301 975 742 0 33088 0
[pid=19535/tid=19536] ppid=19533 vsize=162068 CPUtime=0.05 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 5 0 0 0 16 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=162068 CPUtime=0.06 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=162068 CPUtime=0.05 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=162068 CPUtime=0.02 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=162068 CPUtime=0.06 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=162068 CPUtime=0.08 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=162068 CPUtime=0.04 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=162068 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 165957632 14301 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 162068
[startup+3.10052 s]
/proc/loadavg: 3.50 3.89 3.85 5/222 19544
/proc/meminfo: memFree=14726548/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=856508 CPUtime=3.37 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 168137 0 0 0 320 17 0 0 18 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 1088105667 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 214127 168039 999 742 0 206698 0
[pid=19535/tid=19536] ppid=19533 vsize=856508 CPUtime=0.12 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 12 0 0 0 16 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=856508 CPUtime=0.09 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=856508 CPUtime=0.08 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=856508 CPUtime=0.05 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=856508 CPUtime=0.14 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 14 0 0 0 16 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=856508 CPUtime=0.15 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=856508 CPUtime=0.07 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=856508 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 877064192 168039 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 856508
[startup+6.30092 s]
/proc/loadavg: 3.50 3.89 3.85 5/222 19544
/proc/meminfo: memFree=13983788/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=974644 CPUtime=6.62 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 217087 0 0 0 640 22 0 0 18 0 9 0 467492855 998035456 216989 33554432000 4194304 7232020 140733433376560 18446744073709551615 1087689776 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 243661 216989 1024 742 0 236232 0
[pid=19535/tid=19536] ppid=19533 vsize=974644 CPUtime=0.12 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 12 0 0 0 15 0 9 0 467492855 998035456 216989 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=974644 CPUtime=0.09 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 467492855 998035456 216989 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=974644 CPUtime=0.09 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 467492855 998035456 216989 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=974644 CPUtime=0.05 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 467492855 998035456 216989 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=974644 CPUtime=0.16 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 467492855 998035456 216989 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 239581 0 0 0 38478 27 0 0 25 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 1087689791 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 265965 239482 1035 742 0 258536 0
[pid=19535/tid=19536] ppid=19533 vsize=1063860 CPUtime=0.38 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 38 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=1063860 CPUtime=0.34 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 34 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=1063860 CPUtime=0.25 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 25 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=1063860 CPUtime=0.2 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=1063860 CPUtime=0.33 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=1063860 CPUtime=0.3 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 30 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=1063860 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 385.05
Current children cumulated vsize (KiB) 1063860
[startup+390.301 s]
/proc/loadavg: 4.00 3.97 3.89 6/222 19598
/proc/meminfo: memFree=13469848/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=1063860 CPUtime=391.53 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 239581 0 0 0 39126 27 0 0 25 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 1087689893 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 265965 239482 1035 742 0 258536 0
[pid=19535/tid=19536] ppid=19533 vsize=1063860 CPUtime=0.38 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 38 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=1063860 CPUtime=0.27 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 27 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=1063860 CPUtime=0.21 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 21 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=1063860 CPUtime=0.33 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=1063860 CPUtime=0.37 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 37 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=1063860 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 391.53
Current children cumulated vsize (KiB) 1063860
[startup+393.501 s]
/proc/loadavg: 4.00 3.97 3.89 6/222 19598
/proc/meminfo: memFree=13468728/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=1063860 CPUtime=394.73 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 239581 0 0 0 39446 27 0 0 25 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 1087686333 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 265965 239482 1035 742 0 258536 0
[pid=19535/tid=19536] ppid=19533 vsize=1063860 CPUtime=0.38 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 38 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=1063860 CPUtime=0.27 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 27 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=1063860 CPUtime=0.21 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 21 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=1063860 CPUtime=0.33 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=1063860 CPUtime=0.37 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 37 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=1063860 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 394.73
Current children cumulated vsize (KiB) 1063860
[startup+396.701 s]
/proc/loadavg: 4.00 3.97 3.89 6/222 19598
/proc/meminfo: memFree=13465876/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=1063860 CPUtime=397.93 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 239581 0 0 0 39766 27 0 0 25 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 1087689893 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 265965 239482 1035 742 0 258536 0
[pid=19535/tid=19536] ppid=19533 vsize=1063860 CPUtime=0.38 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 38 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=1063860 CPUtime=0.27 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 27 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=1063860 CPUtime=0.21 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 21 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=1063860 CPUtime=0.33 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=1063860 CPUtime=0.37 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 37 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=1063860 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 397.93
Current children cumulated vsize (KiB) 1063860
[startup+397.501 s]
/proc/loadavg: 4.00 3.97 3.89 6/222 19598
/proc/meminfo: memFree=13465256/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=1063860 CPUtime=398.73 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 239581 0 0 0 39846 27 0 0 25 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 1087689797 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 265965 239482 1035 742 0 258536 0
[pid=19535/tid=19536] ppid=19533 vsize=1063860 CPUtime=0.38 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 38 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=1063860 CPUtime=0.27 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 27 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=1063860 CPUtime=0.21 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 21 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=1063860 CPUtime=0.33 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=1063860 CPUtime=0.37 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 37 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=1063860 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 398.73
Current children cumulated vsize (KiB) 1063860
[startup+397.901 s]
/proc/loadavg: 4.00 3.97 3.89 6/222 19598
/proc/meminfo: memFree=13465256/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=1063860 CPUtime=399.13 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 239581 0 0 0 39886 27 0 0 25 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 1087689893 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 265965 239482 1035 742 0 258536 0
[pid=19535/tid=19536] ppid=19533 vsize=1063860 CPUtime=0.38 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 38 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=1063860 CPUtime=0.27 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 27 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=1063860 CPUtime=0.21 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 21 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=1063860 CPUtime=0.33 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=1063860 CPUtime=0.37 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 37 0 0 0 16 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=1063860 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 1089392640 239482 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 399.13
Current children cumulated vsize (KiB) 1063860
[startup+398.301 s]
/proc/loadavg: 4.00 3.97 3.89 6/222 19598
/proc/meminfo: memFree=13465376/32951124 swapFree=67111528/67111528
[pid=19535] ppid=19533 vsize=1063860 CPUtime=399.53 cores=5,7
/proc/19535/stat : 19535 (mono) R 19533 19535 18989 0 -1 4202496 239601 0 0 0 39926 27 0 0 25 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738232095 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/19535/statm: 265965 239502 1043 742 0 258536 0
[pid=19535/tid=19536] ppid=19533 vsize=1063860 CPUtime=0.38 cores=5,7
/proc/19535/task/19536/stat : 19536 (mono) S 19533 19535 18989 0 -1 4202560 4 0 0 0 38 0 0 0 15 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19537] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19537/stat : 19537 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 16 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19538] ppid=19533 vsize=1063860 CPUtime=0.27 cores=5,7
/proc/19535/task/19538/stat : 19538 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 27 0 0 0 16 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19539] ppid=19533 vsize=1063860 CPUtime=0.21 cores=5,7
/proc/19535/task/19539/stat : 19539 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 21 0 0 0 16 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19540] ppid=19533 vsize=1063860 CPUtime=0.33 cores=5,7
/proc/19535/task/19540/stat : 19540 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
[pid=19535/tid=19541] ppid=19533 vsize=1063860 CPUtime=0.37 cores=5,7
/proc/19535/task/19541/stat : 19541 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 37 0 0 0 16 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19542] ppid=19533 vsize=1063860 CPUtime=0.42 cores=5,7
/proc/19535/task/19542/stat : 19542 (mono) S 19533 19535 18989 0 -1 4202560 2 0 0 0 42 0 0 0 15 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738220953 0 0 4096 545260780 18446604471135914816 0 0 -1 7 0 0 0
[pid=19535/tid=19544] ppid=19533 vsize=1063860 CPUtime=0 cores=5,7
/proc/19535/task/19544/stat : 19544 (mono) S 19533 19535 18989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467492855 1089392640 239502 33554432000 4194304 7232020 140733433376560 18446744073709551615 264738228657 0 0 4096 545260780 18446604471135914816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 399.53
Current children cumulated vsize (KiB) 1063860
Child status: 0
Real time (s): 398.38
CPU time (s): 399.612
CPU user time (s): 399.291
CPU system time (s): 0.320951
CPU usage (%): 100.309
Max. virtual memory (cumulated for all children) (KiB): 1063860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 399.291
system time used= 0.320951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239673
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= 3081
involuntary context switches= 1355
runsolver used 0.603908 second user time and 1.57776 second system time
The end