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-3395023-1306090108/watcher-3395023-1306090108 -o /tmp/evaluation-result-3395023-1306090108/solver-3395023-1306090108 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395023-1306090108.cnf
running on 4 cores: 0,2,4,6
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.13 2.09 2.06 3/538 25600
/proc/meminfo: memFree=6568776/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=105720 CPUtime=0.01 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 1401 0 0 0 1 0 0 0 25 0 9 0 720609515 108257280 1309 33554432000 4194304 7232020 140733888631104 18446744073709551615 242970575978 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25600/statm: 26430 1309 926 742 0 19001 0
[pid=25600/tid=25601] ppid=25598 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 720609515 108339200 1372 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720609515 108339200 1372 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720609515 108339200 1374 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720609515 108339200 1374 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720609515 108339200 1375 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720609515 108339200 1375 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720609515 108339200 1375 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720609516 108339200 1375 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[startup+0.112244 s]
/proc/loadavg: 2.13 2.09 2.06 3/538 25600
/proc/meminfo: memFree=6568776/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=119396 CPUtime=0.12 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 4889 0 0 0 11 1 0 0 18 0 9 0 720609515 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 1074144219 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25600/statm: 29849 4793 975 742 0 22420 0
[pid=25600/tid=25601] ppid=25598 vsize=119396 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 720609515 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=119396 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720609515 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=119396 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609515 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=119396 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609515 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=119396 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609515 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=119396 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609515 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=119396 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609515 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=119396 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720609516 122261504 4793 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 119396
[startup+0.201172 s]
/proc/loadavg: 2.13 2.09 2.06 3/538 25600
/proc/meminfo: memFree=6568776/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=124032 CPUtime=0.23 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 5781 0 0 0 22 1 0 0 18 0 9 0 720609515 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 1074144232 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25600/statm: 31008 5685 975 742 0 23579 0
[pid=25600/tid=25601] ppid=25598 vsize=124032 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 720609515 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=124032 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 720609515 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=124032 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609515 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=124032 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609515 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=124032 CPUtime=0.01 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609515 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=124032 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609515 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=124032 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609515 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=124032 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 24 0 9 0 720609516 127008768 5685 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 124032
[startup+0.301191 s]
/proc/loadavg: 2.13 2.09 2.06 3/538 25600
/proc/meminfo: memFree=6568776/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=130104 CPUtime=0.35 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 6720 0 0 0 34 1 0 0 18 0 9 0 720609515 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 1074147688 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25600/statm: 32526 6624 975 742 0 25097 0
[pid=25600/tid=25601] ppid=25598 vsize=130104 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 720609515 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=130104 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 720609515 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=130104 CPUtime=0.01 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609515 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=130104 CPUtime=0.01 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609515 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=130104 CPUtime=0.01 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720609515 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=130104 CPUtime=0.01 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609515 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=130104 CPUtime=0.01 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609515 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=130104 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 720609516 133226496 6624 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 130104
[startup+0.701158 s]
/proc/loadavg: 2.13 2.09 2.06 3/538 25600
/proc/meminfo: memFree=6568776/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=146756 CPUtime=0.87 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 10275 0 0 0 85 2 0 0 18 0 9 0 720609515 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 1074156800 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/25600/statm: 36689 10179 975 742 0 29260 0
[pid=25600/tid=25601] ppid=25598 vsize=146756 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 720609515 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=146756 CPUtime=0.02 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720609515 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=146756 CPUtime=0.05 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 720609515 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=146756 CPUtime=0.03 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720609515 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=146756 CPUtime=0.03 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720609515 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=146756 CPUtime=0.03 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720609515 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=146756 CPUtime=0.04 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 720609515 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=146756 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720609516 150278144 10179 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 146756
[startup+1.50104 s]
/proc/loadavg: 2.13 2.09 2.06 3/547 25609
/proc/meminfo: memFree=6517376/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=172036 CPUtime=1.89 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 16487 0 0 0 185 4 0 0 18 0 9 0 720609515 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982376907 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25600/statm: 43009 16391 975 742 0 35580 0
[pid=25600/tid=25601] ppid=25598 vsize=172036 CPUtime=0.03 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 3 0 0 0 16 0 9 0 720609515 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=172036 CPUtime=0.06 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 720609515 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=172036 CPUtime=0.09 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 720609515 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=172036 CPUtime=0.07 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 720609515 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=172036 CPUtime=0.06 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 720609515 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=172036 CPUtime=0.07 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 720609515 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=172036 CPUtime=0.09 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 720609515 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=172036 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720609516 176164864 16391 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 172036
[startup+3.10067 s]
/proc/loadavg: 2.13 2.09 2.06 3/547 25609
/proc/meminfo: memFree=6499900/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=485756 CPUtime=3.71 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 95142 0 0 0 360 11 0 0 18 0 9 0 720609515 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 1074181226 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/25600/statm: 121439 95046 999 742 0 114010 0
[pid=25600/tid=25601] ppid=25598 vsize=485756 CPUtime=0.06 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 6 0 0 0 16 0 9 0 720609515 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=485756 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 720609515 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=485756 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=485756 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 720609515 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=485756 CPUtime=0.1 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 720609515 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=485756 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=485756 CPUtime=0.15 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 720609515 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=485756 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720609516 497414144 95046 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 485756
Solver just ended. Dumping a history of the last processes samples
[startup+3.20066 s]
/proc/loadavg: 2.13 2.09 2.06 3/547 25609
/proc/meminfo: memFree=6499900/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=494076 CPUtime=3.81 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 96635 0 0 0 370 11 0 0 18 0 9 0 720609515 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 1074177261 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/25600/statm: 123519 96539 999 742 0 116090 0
[pid=25600/tid=25601] ppid=25598 vsize=494076 CPUtime=0.06 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 6 0 0 0 16 0 9 0 720609515 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=494076 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 720609515 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=494076 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=494076 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 720609515 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=494076 CPUtime=0.1 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 720609515 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=494076 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=494076 CPUtime=0.15 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 720609515 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=494076 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720609516 505933824 96539 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 494076
[startup+4.0006 s]
/proc/loadavg: 2.28 2.12 2.07 4/547 25609
/proc/meminfo: memFree=6170284/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=527500 CPUtime=4.61 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 106346 0 0 0 449 12 0 0 19 0 9 0 720609515 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 1074181038 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25600/statm: 131875 106250 999 742 0 124446 0
[pid=25600/tid=25601] ppid=25598 vsize=527500 CPUtime=0.06 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 6 0 0 0 16 0 9 0 720609515 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=527500 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 720609515 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=527500 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=527500 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 720609515 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=527500 CPUtime=0.1 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 720609515 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=527500 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=527500 CPUtime=0.15 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 720609515 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=527500 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720609516 540160000 106250 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 527500
[startup+4.40053 s]
/proc/loadavg: 2.28 2.12 2.07 3/547 25609
/proc/meminfo: memFree=6101216/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=544268 CPUtime=5.03 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 109662 0 0 0 490 13 0 0 20 0 9 0 720609515 557330432 109566 33554432000 4194304 7232020 140733888631104 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25600/statm: 136067 109567 999 742 0 128638 0
[pid=25600/tid=25601] ppid=25598 vsize=544268 CPUtime=0.06 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 6 0 0 0 16 0 9 0 720609515 557330432 109588 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=544268 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 720609515 557330432 109589 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=544268 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 557330432 109590 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=544268 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 720609515 557330432 109590 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=544268 CPUtime=0.1 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 720609515 557330432 109590 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=544268 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 557330432 109590 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=544268 CPUtime=0.15 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 720609515 557330432 109590 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=544268 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720609516 557330432 109590 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 544268
[startup+4.80045 s]
/proc/loadavg: 2.28 2.12 2.07 3/547 25609
/proc/meminfo: memFree=6101216/32951132 swapFree=54105148/67111528
[pid=25600] ppid=25598 vsize=586508 CPUtime=5.46 cores=0,2,4,6
/proc/25600/stat : 25600 (mono) R 25598 25600 24318 0 -1 4202496 121677 0 0 0 532 14 0 0 18 0 9 0 720609515 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 1091091589 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25600/statm: 146627 121581 1001 742 0 139198 0
[pid=25600/tid=25601] ppid=25598 vsize=586508 CPUtime=0.07 cores=0,2,4,6
/proc/25600/task/25601/stat : 25601 (mono) S 25598 25600 24318 0 -1 4202560 4 0 0 0 7 0 0 0 16 0 9 0 720609515 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25602] ppid=25598 vsize=586508 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25602/stat : 25602 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 720609515 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
[pid=25600/tid=25603] ppid=25598 vsize=586508 CPUtime=0.13 cores=0,2,4,6
/proc/25600/task/25603/stat : 25603 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 720609515 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25604] ppid=25598 vsize=586508 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25604/stat : 25604 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 720609515 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25605] ppid=25598 vsize=586508 CPUtime=0.11 cores=0,2,4,6
/proc/25600/task/25605/stat : 25605 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 720609515 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 2 0 0 0
[pid=25600/tid=25606] ppid=25598 vsize=586508 CPUtime=0.12 cores=0,2,4,6
/proc/25600/task/25606/stat : 25606 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 720609515 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 6 0 0 0
[pid=25600/tid=25607] ppid=25598 vsize=586508 CPUtime=0.16 cores=0,2,4,6
/proc/25600/task/25607/stat : 25607 (mono) S 25598 25600 24318 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 720609515 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982366105 0 0 4096 545260780 18446604445030725632 0 0 -1 0 0 0 0
[pid=25600/tid=25608] ppid=25598 vsize=586508 CPUtime=0 cores=0,2,4,6
/proc/25600/task/25608/stat : 25608 (mono) S 25598 25600 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720609516 600584192 121581 33554432000 4194304 7232020 140733888631104 18446744073709551615 242982373809 0 0 4096 545260780 18446604445030725632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 586508
Child status: 0
Real time (s): 4.89127
CPU time (s): 5.56415
CPU user time (s): 5.39618
CPU system time (s): 0.167974
CPU usage (%): 113.757
Max. virtual memory (cumulated for all children) (KiB): 586508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.39618
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121822
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= 4158
involuntary context switches= 893
runsolver used 0.031995 second user time and 0.06399 second system time
The end