runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743332-1338796410/watcher-3743332-1338796410 -o /tmp/evaluation-result-3743332-1338796410/solver-3743332-1338796410 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743332-1338796410.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3680
/proc/meminfo: memFree=26930664/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=38784 CPUtime=0 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 398 0 0 0 0 0 0 0 20 0 1 0 345767179 39714816 351 33554432000 134512640 137136520 4287485632 4287483896 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 9696 351 190 641 0 2159 0
[startup+0.100842 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3680
/proc/meminfo: memFree=26930664/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=43180 CPUtime=0.09 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 1810 0 0 0 9 0 0 0 20 0 1 0 345767179 44216320 1723 33554432000 134512640 137136520 4287485632 4287484160 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 10795 1724 459 641 0 3258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43180
[startup+0.200188 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3680
/proc/meminfo: memFree=26930664/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=46936 CPUtime=0.19 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3042 0 0 0 19 0 0 0 20 0 1 0 345767179 48062464 2876 33554432000 134512640 137136520 4287485632 4287484144 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 11734 2876 730 641 0 4197 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46936
[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3680
/proc/meminfo: memFree=26930664/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=49872 CPUtime=0.28 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 4090 0 0 0 28 0 0 0 20 0 1 0 345767179 51068928 3875 33554432000 134512640 137136520 4287485632 4287484160 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 12468 3875 982 641 0 4931 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49872
[startup+0.700162 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3680
/proc/meminfo: memFree=26930664/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=62868 CPUtime=0.69 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 8551 0 0 0 68 1 0 0 20 0 1 0 345767179 64376832 8082 33554432000 134512640 137136520 4287485632 4287484144 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 15717 8083 1951 641 0 8180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62868
[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3681
/proc/meminfo: memFree=26892084/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=89792 CPUtime=1.49 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 17447 0 0 0 147 2 0 0 20 0 1 0 345767179 91947008 16473 33554432000 134512640 137136520 4287485632 4287483984 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 22448 16473 3634 641 0 14911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89792
[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3681
/proc/meminfo: memFree=26859772/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=121912 CPUtime=3.09 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 27983 0 0 0 305 4 0 0 20 0 1 0 345767179 124837888 27019 33554432000 134512640 137136520 4287485632 4287481608 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 30478 27019 6344 641 0 22941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121912
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3681
/proc/meminfo: memFree=26770532/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=175400 CPUtime=6.29 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 44703 0 0 0 623 6 0 0 20 0 1 0 345767179 179609600 40309 33554432000 134512640 137136520 4287485632 4282673568 134545045 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 43850 40309 189 641 0 43206 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175400
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3681
/proc/meminfo: memFree=26770328/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=175400 CPUtime=12.69 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 44704 0 0 0 1262 7 0 0 20 0 1 0 345767179 179609600 40310 33554432000 134512640 137136520 4287485632 4282673616 134563005 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 43850 40310 189 641 0 43206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175400
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3681
/proc/meminfo: memFree=26770172/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=175400 CPUtime=25.49 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 44704 0 0 0 2542 7 0 0 20 0 1 0 345767179 179609600 40310 33554432000 134512640 137136520 4287485632 4282673612 135982512 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 43850 40310 189 641 0 43206 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175400
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3681
/proc/meminfo: memFree=26770304/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=175400 CPUtime=51.08 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 44710 0 0 0 5101 7 0 0 20 0 1 0 345767179 179609600 40316 33554432000 134512640 137136520 4287485632 4282673392 134544890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 43850 40316 189 641 0 43206 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175400
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3681
/proc/meminfo: memFree=26769120/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=175532 CPUtime=102.29 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 44711 0 0 0 10221 8 0 0 20 0 1 0 345767179 179744768 40317 33554432000 134512640 137136520 4287485632 4282673392 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 43883 40317 189 641 0 43239 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 175532
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3681
/proc/meminfo: memFree=26766444/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=175532 CPUtime=162.24 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 44740 0 0 0 16215 9 0 0 20 0 1 0 345767179 179744768 40318 33554432000 134512640 137136520 4287485632 4282673616 134562901 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 43883 40318 189 641 0 43239 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 175532
[startup+222.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3681
/proc/meminfo: memFree=26754352/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=177572 CPUtime=222.23 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 317594 0 0 0 21969 254 0 0 20 0 1 0 345767179 181833728 41990 33554432000 134512640 137136520 4287485632 4287484560 134544835 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 44393 41990 198 641 0 43749 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 177572
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3682
/proc/meminfo: memFree=26755624/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=177692 CPUtime=282.21 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 501960 0 0 0 27914 307 0 0 20 0 1 0 345767179 181956608 42020 33554432000 134512640 137136520 4287485632 4287484560 134544129 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 44423 42020 198 641 0 43779 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 177692
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3682
/proc/meminfo: memFree=26750100/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=181612 CPUtime=342.21 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 709571 0 0 0 33871 350 0 0 20 0 1 0 345767179 185970688 43000 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 45403 43000 198 641 0 44759 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 181612
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3685
/proc/meminfo: memFree=26749868/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=183632 CPUtime=402.19 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 1215135 0 0 0 39763 456 0 0 20 0 1 0 345767179 188039168 43505 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 45908 43505 198 641 0 45264 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 183632
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3708
/proc/meminfo: memFree=26743860/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=184444 CPUtime=462.18 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 1427146 0 0 0 45722 496 0 0 20 0 1 0 345767179 188870656 43708 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 46111 43708 198 641 0 45467 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 184444
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3708
/proc/meminfo: memFree=26740656/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=185580 CPUtime=522.17 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 1658447 0 0 0 51670 547 0 0 20 0 1 0 345767179 190033920 43992 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 46395 43992 198 641 0 45751 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 185580
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3709
/proc/meminfo: memFree=26736180/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=187160 CPUtime=582.17 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 1864686 0 0 0 57623 594 0 0 20 0 1 0 345767179 191651840 44387 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 46790 44387 198 641 0 46146 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 187160
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26708332/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=203728 CPUtime=1062.09 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3114399 0 0 0 105332 877 0 0 20 0 1 0 345767179 208617472 48497 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 50932 48497 198 641 0 50288 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 203728
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3761
/proc/meminfo: memFree=26754268/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=203000 CPUtime=1122.08 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3173962 0 0 0 111314 894 0 0 20 0 1 0 345767179 207872000 48347 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 50750 48347 198 641 0 50106 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 203000
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3762
/proc/meminfo: memFree=26754024/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=203004 CPUtime=1182.07 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3226810 0 0 0 117297 910 0 0 20 0 1 0 345767179 207876096 48348 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 50751 48348 198 641 0 50107 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 203004
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 3762
/proc/meminfo: memFree=26753440/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=203456 CPUtime=1242.07 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3292626 0 0 0 123279 928 0 0 20 0 1 0 345767179 208338944 48429 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 50864 48429 198 641 0 50220 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 203456
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3762
/proc/meminfo: memFree=26728400/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=203016 CPUtime=1302.06 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3375568 0 0 0 129258 948 0 0 20 0 1 0 345767179 207888384 48351 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 50754 48351 198 641 0 50110 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 203016
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3762
/proc/meminfo: memFree=26724868/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=206084 CPUtime=1362.05 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3546792 0 0 0 135213 992 0 0 20 0 1 0 345767179 211030016 49100 33554432000 134512640 137136520 4287485632 4287484344 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 51521 49100 198 641 0 50877 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 206084
[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3762
/proc/meminfo: memFree=26719904/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=209220 CPUtime=1422.04 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3599105 0 0 0 141196 1008 0 0 20 0 1 0 345767179 214241280 49884 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 52305 49884 198 641 0 51661 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 209220
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3763
/proc/meminfo: memFree=26723068/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=209224 CPUtime=1482.03 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3636955 0 0 0 147182 1021 0 0 20 0 1 0 345767179 214245376 49890 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 52306 49890 198 641 0 51662 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 209224
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3763
/proc/meminfo: memFree=26719824/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=210160 CPUtime=1542.03 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3682541 0 0 0 153169 1034 0 0 20 0 1 0 345767179 215203840 50105 33554432000 134512640 137136520 4287485632 4287483956 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 52540 50105 198 641 0 51896 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 210160
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 3766
/proc/meminfo: memFree=26717980/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=209484 CPUtime=1602.02 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3729898 0 0 0 159154 1048 0 0 20 0 1 0 345767179 214511616 49968 33554432000 134512640 137136520 4287485632 4287484224 134616688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 52371 49968 198 641 0 51727 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 209484
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3766
/proc/meminfo: memFree=26715116/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=213536 CPUtime=1662 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3771841 0 0 0 165141 1059 0 0 20 0 1 0 345767179 218660864 50964 33554432000 134512640 137136520 4287485632 4287484400 134571834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53384 50964 198 641 0 52740 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 213536
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3766
/proc/meminfo: memFree=26715308/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=213312 CPUtime=1721.99 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3820669 0 0 0 171126 1073 0 0 20 0 1 0 345767179 218431488 50893 33554432000 134512640 137136520 4287485632 4287484164 134551107 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53328 50893 198 641 0 52684 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 213312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3767
/proc/meminfo: memFree=26708168/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=215568 CPUtime=1781.99 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3870378 0 0 0 177111 1088 0 0 20 0 1 0 345767179 220741632 51457 33554432000 134512640 137136520 4287485632 4287484040 136502374 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53892 51457 198 641 0 53248 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 215568
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3767
/proc/meminfo: memFree=26712636/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=215568 CPUtime=1791.69 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3876657 0 0 0 178080 1089 0 0 20 0 1 0 345767179 220741632 51457 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53892 51457 198 641 0 53248 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (KiB) 215568
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3767
/proc/meminfo: memFree=26707052/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=215568 CPUtime=1794.89 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3878568 0 0 0 178399 1090 0 0 20 0 1 0 345767179 220741632 51457 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53892 51457 198 641 0 53248 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 215568
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3767
/proc/meminfo: memFree=26707548/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=215568 CPUtime=1796.48 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3879388 0 0 0 178558 1090 0 0 20 0 1 0 345767179 220741632 51458 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53892 51458 198 641 0 53248 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (KiB) 215568
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3767
/proc/meminfo: memFree=26710092/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=215568 CPUtime=1798.08 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3880207 0 0 0 178718 1090 0 0 20 0 1 0 345767179 220741632 51458 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53892 51458 198 641 0 53248 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 215568
[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3767
/proc/meminfo: memFree=26710712/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=215568 CPUtime=1798.49 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3880480 0 0 0 178759 1090 0 0 20 0 1 0 345767179 220741632 51458 33554432000 134512640 137136520 4287485632 4287484224 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53892 51458 198 641 0 53248 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 215568
[startup+1799 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3767
/proc/meminfo: memFree=26710712/32873648 swapFree=6860/6860
[pid=3680] ppid=3678 vsize=215568 CPUtime=1798.69 cores=1,3,5,7
/proc/3680/stat : 3680 (bsolo) R 3678 3680 2050 0 -1 4202496 3880480 0 0 0 178779 1090 0 0 20 0 1 0 345767179 220741632 51458 33554432000 134512640 137136520 4287485632 4287484040 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3680/statm: 53892 51458 198 641 0 53248 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 215568
Child status: 0
Real time (s): 1799.07
CPU time (s): 1798.76
CPU user time (s): 1787.85
CPU system time (s): 10.9033
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 216248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.85
system time used= 10.9033
maximum resident set size= 207188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3880481
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= 48
involuntary context switches= 1848
runsolver used 4.87926 second user time and 12.4411 second system time
The end