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-3386033-1305581475/watcher-3386033-1305581475 -o /tmp/evaluation-result-3386033-1305581475/solver-3386033-1305581475 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386033-1305581475.cnf -threads=4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.47 7.96 7.78 5/427 5801
/proc/meminfo: memFree=20119552/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=19704 CPUtime=0 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 702 0 0 0 0 0 0 0 25 0 1 0 748378147 20176896 601 33554432000 4194304 4625164 140734611094176 18446744073709551615 260905393920 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5801/statm: 4926 601 296 106 0 429 0
[pid=5801/tid=5802] ppid=5799 vsize=117952 CPUtime=0 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 748378147 120782848 1125 33554432000 4194304 4625164 140734611094176 18446744073709551615 47572620416936 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=117952 CPUtime=0 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 4 0 748378147 120782848 1126 33554432000 4194304 4625164 140734611094176 18446744073709551615 47572620417574 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=117952 CPUtime=0 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 33 0 0 0 0 0 0 0 25 0 4 0 748378147 120782848 1126 33554432000 4194304 4625164 140734611094176 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
[startup+0.038514 s]
/proc/loadavg: 7.47 7.96 7.78 5/427 5801
/proc/meminfo: memFree=20119552/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=188224 CPUtime=0.09 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) D 5799 5801 5247 0 -1 4202496 3988 0 0 0 9 0 0 0 25 0 4 0 748378147 192741376 2530 33554432000 4194304 4625164 140734611094176 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5801/statm: 47056 2530 340 106 0 42559 0
[pid=5801/tid=5802] ppid=5799 vsize=188224 CPUtime=0.02 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 46 0 0 0 2 0 0 0 25 0 4 0 748378147 192741376 2531 33554432000 4194304 4625164 140734611094176 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=188224 CPUtime=0.02 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 299 0 0 0 2 0 0 0 25 0 4 0 748378147 192741376 2531 33554432000 4194304 4625164 140734611094176 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=188224 CPUtime=0.02 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 597 0 0 0 2 0 0 0 25 0 4 0 748378147 192741376 2531 33554432000 4194304 4625164 140734611094176 18446744073709551615 4327729 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 188224
[startup+0.114604 s]
/proc/loadavg: 7.47 7.96 7.78 5/427 5801
/proc/meminfo: memFree=20119552/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=256520 CPUtime=0.39 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 5729 0 0 0 39 0 0 0 25 0 4 0 748378147 262676480 3526 33554432000 4194304 4625164 140734611094176 18446744073709551615 4511970 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 64130 3526 346 106 0 59633 0
[pid=5801/tid=5802] ppid=5799 vsize=256520 CPUtime=0.09 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 766 0 0 0 9 0 0 0 25 0 4 0 748378147 262676480 3526 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=256520 CPUtime=0.09 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 880 0 0 0 9 0 0 0 25 0 4 0 748378147 262676480 3526 33554432000 4194304 4625164 140734611094176 18446744073709551615 4352407 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=256520 CPUtime=0.09 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 927 0 0 0 9 0 0 0 25 0 4 0 748378147 262676480 3526 33554432000 4194304 4625164 140734611094176 18446744073709551615 4352305 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 256520
[startup+0.300574 s]
/proc/loadavg: 7.47 7.96 7.78 5/427 5801
/proc/meminfo: memFree=20119552/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=257544 CPUtime=1.15 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 7297 0 0 0 114 1 0 0 25 0 4 0 748378147 263725056 3930 33554432000 4194304 4625164 140734611094176 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 64386 3930 346 106 0 59889 0
[pid=5801/tid=5802] ppid=5799 vsize=257544 CPUtime=0.28 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 802 0 0 0 28 0 0 0 25 0 4 0 748378147 263725056 3930 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=257544 CPUtime=0.28 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 1330 0 0 0 28 0 0 0 25 0 4 0 748378147 263725056 3930 33554432000 4194304 4625164 140734611094176 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=257544 CPUtime=0.28 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 1738 0 0 0 28 0 0 0 25 0 4 0 748378147 263725056 3930 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 257544
[startup+0.700501 s]
/proc/loadavg: 7.47 7.96 7.78 5/427 5801
/proc/meminfo: memFree=20119552/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=259376 CPUtime=2.74 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 9975 0 0 0 273 1 0 0 25 0 4 0 748378147 265601024 4713 33554432000 4194304 4625164 140734611094176 18446744073709551615 4514961 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 64844 4714 346 106 0 60347 0
[pid=5801/tid=5802] ppid=5799 vsize=259376 CPUtime=0.68 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 1307 0 0 0 68 0 0 0 25 0 4 0 748378147 265601024 4714 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=259376 CPUtime=0.68 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 1702 0 0 0 68 0 0 0 25 0 4 0 748378147 265601024 4714 33554432000 4194304 4625164 140734611094176 18446744073709551615 4340391 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=259376 CPUtime=0.68 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 3140 0 0 0 68 0 0 0 25 0 4 0 748378147 265601024 4714 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351866 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 259376
[startup+1.50036 s]
/proc/loadavg: 7.47 7.96 7.78 9/431 5805
/proc/meminfo: memFree=20091752/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=261276 CPUtime=5.92 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 16322 0 0 0 590 2 0 0 25 0 4 0 748378147 267546624 6036 33554432000 4194304 4625164 140734611094176 18446744073709551615 4338051 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 65319 6036 347 106 0 60822 0
[pid=5801/tid=5802] ppid=5799 vsize=261276 CPUtime=1.48 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 2185 0 0 0 148 0 0 0 25 0 4 0 748378147 267546624 6036 33554432000 4194304 4625164 140734611094176 18446744073709551615 4278640 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=261276 CPUtime=1.48 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 2611 0 0 0 148 0 0 0 25 0 4 0 748378147 267546624 6036 33554432000 4194304 4625164 140734611094176 18446744073709551615 260905052422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=261276 CPUtime=1.48 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 7583 0 0 0 147 1 0 0 25 0 4 0 748378147 267546624 6036 33554432000 4194304 4625164 140734611094176 18446744073709551615 4469343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 261276
[startup+3.10106 s]
/proc/loadavg: 7.47 7.96 7.78 9/431 5805
/proc/meminfo: memFree=20077492/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=260888 CPUtime=12.31 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 24166 0 0 0 1227 4 0 0 25 0 4 0 748378147 267149312 8172 33554432000 4194304 4625164 140734611094176 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 65222 8172 347 106 0 60725 0
[pid=5801/tid=5802] ppid=5799 vsize=260888 CPUtime=3.07 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 3643 0 0 0 307 0 0 0 25 0 4 0 748378147 267149312 8172 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=260888 CPUtime=3.08 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 4210 0 0 0 307 1 0 0 25 0 4 0 748378147 267149312 8172 33554432000 4194304 4625164 140734611094176 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=260888 CPUtime=3.08 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 11599 0 0 0 306 2 0 0 25 0 4 0 748378147 267149312 8172 33554432000 4194304 4625164 140734611094176 18446744073709551615 4334708 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 260888
[startup+6.30048 s]
/proc/loadavg: 7.51 7.96 7.78 9/431 5805
/proc/meminfo: memFree=20044460/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=271612 CPUtime=25.07 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 38959 0 0 0 2498 9 0 0 25 0 4 0 748378147 278130688 13493 33554432000 4194304 4625164 140734611094176 18446744073709551615 4512029 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 67903 13493 364 106 0 63406 0
[pid=5801/tid=5802] ppid=5799 vsize=271612 CPUtime=6.28 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 5921 0 0 0 627 1 0 0 25 0 4 0 748378147 278130688 13493 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=271612 CPUtime=6.28 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 6660 0 0 0 626 2 0 0 25 0 4 0 748378147 278130688 13493 33554432000 4194304 4625164 140734611094176 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=271612 CPUtime=6.28 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 20732 0 0 0 624 4 0 0 25 0 4 0 748378147 278130688 13493 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 271612
[startup+12.7003 s]
/proc/loadavg: 7.55 7.96 7.78 9/431 5805
/proc/meminfo: memFree=20008548/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=280180 CPUtime=50.58 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 69757 0 0 0 5045 13 0 0 25 0 4 0 748378147 286904320 17617 33554432000 4194304 4625164 140734611094176 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 70045 17617 375 106 0 65548 0
[pid=5801/tid=5802] ppid=5799 vsize=280180 CPUtime=12.67 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 8273 0 0 0 1266 1 0 0 25 0 4 0 748378147 286904320 17617 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=280180 CPUtime=12.68 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 9394 0 0 0 1265 3 0 0 25 0 4 0 748378147 286904320 17617 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=280180 CPUtime=12.67 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 45605 0 0 0 1261 6 0 0 25 0 4 0 748378147 286904320 17617 33554432000 4194304 4625164 140734611094176 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 280180
[startup+25.501 s]
/proc/loadavg: 7.78 7.99 7.80 9/431 5805
/proc/meminfo: memFree=19958076/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=294564 CPUtime=101.6 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 112533 0 0 0 10139 21 0 0 25 0 4 0 748378147 301633536 25130 33554432000 4194304 4625164 140734611094176 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 73641 25130 347 106 0 69144 0
[pid=5801/tid=5802] ppid=5799 vsize=294564 CPUtime=25.47 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 12638 0 0 0 2545 2 0 0 25 0 4 0 748378147 301633536 25130 33554432000 4194304 4625164 140734611094176 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=294564 CPUtime=25.48 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 14578 0 0 0 2543 5 0 0 25 0 4 0 748378147 301633536 25130 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=294564 CPUtime=25.48 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 76893 0 0 0 2536 12 0 0 25 0 4 0 748378147 301633536 25130 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 294564
Solver just ended. Dumping a history of the last processes samples
[startup+38.3006 s]
/proc/loadavg: 7.82 7.99 7.80 9/431 5806
/proc/meminfo: memFree=19915784/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=330452 CPUtime=152.64 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 141077 0 0 0 15236 28 0 0 25 0 4 0 748378147 338382848 34095 33554432000 4194304 4625164 140734611094176 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 82613 34095 416 106 0 78116 0
[pid=5801/tid=5802] ppid=5799 vsize=330452 CPUtime=38.27 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 17312 0 0 0 3824 3 0 0 25 0 4 0 748378147 338382848 34095 33554432000 4194304 4625164 140734611094176 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=330452 CPUtime=38.28 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 20416 0 0 0 3821 7 0 0 25 0 4 0 748378147 338382848 34095 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=330452 CPUtime=38.27 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 87507 0 0 0 3814 13 0 0 25 0 4 0 748378147 338382848 34095 33554432000 4194304 4625164 140734611094176 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 152.64
Current children cumulated vsize (KiB) 330452
[startup+41.501 s]
/proc/loadavg: 7.83 7.99 7.80 9/431 5806
/proc/meminfo: memFree=19893340/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=330452 CPUtime=165.38 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 142358 0 0 0 16510 28 0 0 25 0 4 0 748378147 338382848 35308 33554432000 4194304 4625164 140734611094176 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 82613 35308 375 106 0 78116 0
[pid=5801/tid=5802] ppid=5799 vsize=330452 CPUtime=41.47 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 17680 0 0 0 4143 4 0 0 25 0 4 0 748378147 338382848 35308 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=330452 CPUtime=41.48 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 20878 0 0 0 4141 7 0 0 25 0 4 0 748378147 338382848 35308 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=330452 CPUtime=41.47 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 87677 0 0 0 4134 13 0 0 25 0 4 0 748378147 338382848 35308 33554432000 4194304 4625164 140734611094176 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 165.38
Current children cumulated vsize (KiB) 330452
[startup+43.1007 s]
/proc/loadavg: 7.83 7.99 7.80 9/431 5806
/proc/meminfo: memFree=19889124/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=330452 CPUtime=171.75 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 142881 0 0 0 17146 29 0 0 25 0 4 0 748378147 338382848 35818 33554432000 4194304 4625164 140734611094176 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 82613 35818 375 106 0 78116 0
[pid=5801/tid=5802] ppid=5799 vsize=330452 CPUtime=43.07 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 17812 0 0 0 4303 4 0 0 25 0 4 0 748378147 338382848 35818 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=330452 CPUtime=43.08 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 20986 0 0 0 4300 8 0 0 25 0 4 0 748378147 338382848 35818 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=330452 CPUtime=43.08 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 87769 0 0 0 4294 14 0 0 25 0 4 0 748378147 338382848 35818 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 171.75
Current children cumulated vsize (KiB) 330452
[startup+44.7004 s]
/proc/loadavg: 7.83 7.99 7.80 9/431 5806
/proc/meminfo: memFree=19886892/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=330452 CPUtime=178.13 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 143482 0 0 0 17784 29 0 0 25 0 4 0 748378147 338382848 36405 33554432000 4194304 4625164 140734611094176 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 82613 36405 375 106 0 78116 0
[pid=5801/tid=5802] ppid=5799 vsize=330452 CPUtime=44.67 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 17965 0 0 0 4463 4 0 0 25 0 4 0 748378147 338382848 36405 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=330452 CPUtime=44.68 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 21112 0 0 0 4460 8 0 0 25 0 4 0 748378147 338382848 36405 33554432000 4194304 4625164 140734611094176 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=330452 CPUtime=44.68 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 87894 0 0 0 4454 14 0 0 25 0 4 0 748378147 338382848 36405 33554432000 4194304 4625164 140734611094176 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 178.13
Current children cumulated vsize (KiB) 330452
[startup+45.1164 s]
/proc/loadavg: 7.84 7.99 7.80 9/431 5806
/proc/meminfo: memFree=19882428/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=330452 CPUtime=179.78 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 145232 0 0 0 17949 29 0 0 25 0 4 0 748378147 338382848 36749 33554432000 4194304 4625164 140734611094176 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 82613 36749 375 106 0 78116 0
[pid=5801/tid=5802] ppid=5799 vsize=330452 CPUtime=45.08 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 17978 0 0 0 4504 4 0 0 25 0 4 0 748378147 338382848 36749 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=330452 CPUtime=45.1 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 21129 0 0 0 4502 8 0 0 25 0 4 0 748378147 338382848 36751 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=330452 CPUtime=45.09 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 89614 0 0 0 4495 14 0 0 25 0 4 0 748378147 338382848 36751 33554432000 4194304 4625164 140734611094176 18446744073709551615 4551649 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 179.78
Current children cumulated vsize (KiB) 330452
[startup+45.5003 s]
/proc/loadavg: 7.84 7.99 7.80 9/431 5806
/proc/meminfo: memFree=19882428/32950928 swapFree=65730892/67111528
[pid=5801] ppid=5799 vsize=330452 CPUtime=181.32 cores=1,3,5,7
/proc/5801/stat : 5801 (SArTagnan) R 5799 5801 5247 0 -1 4202496 147262 0 0 0 18102 30 0 0 25 0 4 0 748378147 338382848 36831 33554432000 4194304 4625164 140734611094176 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5801/statm: 82613 36831 375 106 0 78116 0
[pid=5801/tid=5802] ppid=5799 vsize=330452 CPUtime=45.47 cores=1,3,5,7
/proc/5801/task/5802/stat : 5802 (SArTagnan) R 5799 5801 5247 0 -1 4202560 17996 0 0 0 4543 4 0 0 25 0 4 0 748378147 338382848 36831 33554432000 4194304 4625164 140734611094176 18446744073709551615 4339600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5801/tid=5803] ppid=5799 vsize=330452 CPUtime=45.48 cores=1,3,5,7
/proc/5801/task/5803/stat : 5803 (SArTagnan) R 5799 5801 5247 0 -1 4202560 21138 0 0 0 4540 8 0 0 25 0 4 0 748378147 338382848 36831 33554432000 4194304 4625164 140734611094176 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5801/tid=5804] ppid=5799 vsize=330452 CPUtime=45.48 cores=1,3,5,7
/proc/5801/task/5804/stat : 5804 (SArTagnan) R 5799 5801 5247 0 -1 4202560 91615 0 0 0 4534 14 0 0 25 0 4 0 748378147 338382848 36831 33554432000 4194304 4625164 140734611094176 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 181.32
Current children cumulated vsize (KiB) 330452
Child status: 10
Real time (s): 45.5398
CPU time (s): 181.467
CPU user time (s): 181.16
CPU system time (s): 0.306953
CPU usage (%): 398.48
Max. virtual memory (cumulated for all children) (KiB): 330452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.16
system time used= 0.306953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147483
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= 98
involuntary context switches= 1270
runsolver used 0.189971 second user time and 0.442932 second system time
The end