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-3741894-1338777644/watcher-3741894-1338777644 -o /tmp/evaluation-result-3741894-1338777644/solver-3741894-1338777644 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741894-1338777644.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 1.94 4/177 2301
/proc/meminfo: memFree=26142288/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=19268 CPUtime=0 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 343890502 19730432 298 33554432000 134512640 137136520 4293606912 4293605192 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 4817 298 179 641 0 4076 0
[startup+0.0358211 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 2301
/proc/meminfo: memFree=26142288/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=13044 CPUtime=0.03 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 944 0 0 0 3 0 0 0 20 0 1 0 343890502 13357056 801 33554432000 134512640 137136520 4293606912 4293531356 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 3261 801 189 641 0 2617 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13044
[startup+0.100212 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 2301
/proc/meminfo: memFree=26142288/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=13044 CPUtime=0.09 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 948 0 0 0 9 0 0 0 20 0 1 0 343890502 13357056 805 33554432000 134512640 137136520 4293606912 4293531356 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 3261 805 189 641 0 2617 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13044
[startup+0.300184 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 2301
/proc/meminfo: memFree=26142288/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=13044 CPUtime=0.29 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 949 0 0 0 29 0 0 0 20 0 1 0 343890502 13357056 806 33554432000 134512640 137136520 4293606912 4293531356 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 3261 806 189 641 0 2617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13044
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 2301
/proc/meminfo: memFree=26142288/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=13044 CPUtime=0.69 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 949 0 0 0 69 0 0 0 20 0 1 0 343890502 13357056 806 33554432000 134512640 137136520 4293606912 4293531356 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 3261 806 189 641 0 2617 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13044
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2302
/proc/meminfo: memFree=26139148/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=14080 CPUtime=1.48 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 1338 0 0 0 147 1 0 0 20 0 1 0 343890502 14417920 1096 33554432000 134512640 137136520 4293606912 4293605492 136498162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 3520 1096 198 641 0 2876 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14080
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2302
/proc/meminfo: memFree=26136172/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=18524 CPUtime=3.09 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 2454 0 0 0 302 7 0 0 20 0 1 0 343890502 18968576 2212 33554432000 134512640 137136520 4293606912 4293605624 136502115 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 4631 2212 198 641 0 3987 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18524
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2302
/proc/meminfo: memFree=26125300/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=28716 CPUtime=6.29 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 5000 0 0 0 616 13 0 0 20 0 1 0 343890502 29405184 4758 33554432000 134512640 137136520 4293606912 4293605504 134616694 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 7179 4758 198 641 0 6535 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28716
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2302
/proc/meminfo: memFree=26100560/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=48112 CPUtime=12.68 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 9847 0 0 0 1250 18 0 0 20 0 1 0 343890502 49266688 9596 33554432000 134512640 137136520 4293606912 4293605496 135982486 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 12028 9596 198 641 0 11384 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48112
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2302
/proc/meminfo: memFree=26075040/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=69544 CPUtime=25.48 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 15223 0 0 0 2513 35 0 0 20 0 1 0 343890502 71213056 14972 33554432000 134512640 137136520 4293606912 4293605668 136499618 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 17386 14972 198 641 0 16742 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69544
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2302
/proc/meminfo: memFree=26010064/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=121020 CPUtime=51.07 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 28192 0 0 0 5060 47 0 0 20 0 1 0 343890502 123924480 27813 33554432000 134512640 137136520 4293606912 4293605504 134616694 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 30255 27813 198 641 0 29611 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 121020
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2303
/proc/meminfo: memFree=25889536/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=187200 CPUtime=102.26 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 44810 0 0 0 10153 73 0 0 20 0 1 0 343890502 191692800 44379 33554432000 134512640 137136520 4293606912 4293606028 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 46800 44379 198 641 0 46156 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 187200
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2303
/proc/meminfo: memFree=25747556/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=269940 CPUtime=162.24 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 65634 0 0 0 16135 89 0 0 20 0 1 0 343890502 276418560 65055 33554432000 134512640 137136520 4293606912 4293605840 134544148 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2301/statm: 67485 65055 198 641 0 66841 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 269940
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 2303
/proc/meminfo: memFree=25606444/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=351680 CPUtime=222.23 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 87000 0 0 0 22125 98 0 0 20 0 1 0 343890502 360120320 85495 33554432000 134512640 137136520 4293606912 4293605840 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 87920 85495 198 641 0 87276 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 351680
[startup+282.3 s]
/proc/loadavg: 2.11 2.04 1.95 3/177 2303
/proc/meminfo: memFree=25492376/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=412120 CPUtime=282.22 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 102386 0 0 0 28113 109 0 0 20 0 1 0 343890502 422010880 100595 33554432000 134512640 137136520 4293606912 4293605840 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 103030 100595 198 641 0 102386 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 412120
[startup+342.3 s]
/proc/loadavg: 2.13 2.06 1.96 3/177 2303
/proc/meminfo: memFree=25373368/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=479464 CPUtime=342.21 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 119545 0 0 0 34103 118 0 0 20 0 1 0 343890502 490971136 117437 33554432000 134512640 137136520 4293606912 4293605840 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 119866 117437 198 641 0 119222 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 479464
[startup+402.3 s]
/proc/loadavg: 2.21 2.09 1.98 3/177 2304
/proc/meminfo: memFree=25238608/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=547760 CPUtime=402.21 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 137466 0 0 0 40093 128 0 0 20 0 1 0 343890502 560906240 134503 33554432000 134512640 137136520 4293606912 4293606028 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 136940 134503 198 641 0 136296 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 547760
[startup+462.3 s]
/proc/loadavg: 2.11 2.08 1.98 3/177 2304
/proc/meminfo: memFree=25101740/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=613796 CPUtime=462.2 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 154892 0 0 0 46084 136 0 0 20 0 1 0 343890502 628527104 151012 33554432000 134512640 137136520 4293606912 4293605840 134544127 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 153449 151012 198 641 0 152805 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 613796
[startup+522.3 s]
/proc/loadavg: 2.07 2.08 1.99 3/177 2304
/proc/meminfo: memFree=24983032/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=679172 CPUtime=522.18 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 172181 0 0 0 52076 142 0 0 20 0 1 0 343890502 695472128 167381 33554432000 134512640 137136520 4293606912 4293605840 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 169793 167381 198 641 0 169149 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 679172
[startup+582.3 s]
/proc/loadavg: 2.06 2.08 2.00 3/178 2307
/proc/meminfo: memFree=24882404/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=733460 CPUtime=582.18 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 186281 0 0 0 58070 148 0 0 20 0 1 0 343890502 751063040 180945 33554432000 134512640 137136520 4293606912 4293605840 134544743 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 183365 180945 198 641 0 182721 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 733460
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25600576/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1129744 CPUtime=1061.98 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 290584 0 0 0 105995 203 0 0 20 0 1 0 343890502 1156857856 280018 33554432000 134512640 137136520 4293606912 4293605588 136501957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 282436 280018 198 641 0 281792 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1129744
[startup+1122.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 2357
/proc/meminfo: memFree=25466436/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1174372 CPUtime=1121.94 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 301917 0 0 0 111982 212 0 0 20 0 1 0 343890502 1202556928 291177 33554432000 134512640 137136520 4293606912 4293605840 134544256 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 293593 291177 198 641 0 292949 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1174372
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2360
/proc/meminfo: memFree=25320752/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1228028 CPUtime=1181.91 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 315861 0 0 0 117972 219 0 0 20 0 1 0 343890502 1257500672 304600 33554432000 134512640 137136520 4293606912 4293605840 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 307007 304600 198 641 0 306363 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1228028
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 2383
/proc/meminfo: memFree=25217572/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1284432 CPUtime=1241.88 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 331731 0 0 0 123962 226 0 0 20 0 1 0 343890502 1315258368 318690 33554432000 134512640 137136520 4293606912 4293605840 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 321108 318690 198 641 0 320464 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1284432
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 2383
/proc/meminfo: memFree=25122084/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1325332 CPUtime=1301.86 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 343016 0 0 0 129953 233 0 0 20 0 1 0 343890502 1357139968 328924 33554432000 134512640 137136520 4293606912 4293605840 134544129 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 331333 328924 198 641 0 330689 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1325332
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 2384
/proc/meminfo: memFree=25009760/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1392540 CPUtime=1361.82 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 361443 0 0 0 135942 240 0 0 20 0 1 0 343890502 1425960960 345732 33554432000 134512640 137136520 4293606912 4293605504 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 348135 345732 198 641 0 347491 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1392540
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 2384
/proc/meminfo: memFree=24915548/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1445552 CPUtime=1421.8 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 376876 0 0 0 141936 244 0 0 20 0 1 0 343890502 1480245248 358985 33554432000 134512640 137136520 4293606912 4293605840 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 361388 358985 198 641 0 360744 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1445552
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 2384
/proc/meminfo: memFree=24810176/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1485428 CPUtime=1481.75 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 387265 0 0 0 147927 248 0 0 20 0 1 0 343890502 1521078272 368934 33554432000 134512640 137136520 4293606912 4293605840 134543918 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 371357 368934 198 641 0 370713 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1485428
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 2384
/proc/meminfo: memFree=24724272/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1522784 CPUtime=1541.72 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 397335 0 0 0 153918 254 0 0 20 0 1 0 343890502 1559330816 378285 33554432000 134512640 137136520 4293606912 4293605840 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 380696 378285 198 641 0 380052 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1522784
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 2384
/proc/meminfo: memFree=24637752/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1558352 CPUtime=1601.69 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 407305 0 0 0 159910 259 0 0 20 0 1 0 343890502 1595752448 387178 33554432000 134512640 137136520 4293606912 4293605840 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 389588 387178 198 641 0 388944 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 1558352
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 2385
/proc/meminfo: memFree=24559412/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1595792 CPUtime=1661.66 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 417672 0 0 0 165904 262 0 0 20 0 1 0 343890502 1634091008 396545 33554432000 134512640 137136520 4293606912 4293605444 134551253 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 398948 396545 198 641 0 398304 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1595792
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 2385
/proc/meminfo: memFree=24477352/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1639920 CPUtime=1721.64 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 429534 0 0 0 171897 267 0 0 20 0 1 0 343890502 1679278080 407576 33554432000 134512640 137136520 4293606912 4293605840 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 409980 407576 198 641 0 409336 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1639920
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 2388
/proc/meminfo: memFree=24405216/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1671480 CPUtime=1781.61 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 437875 0 0 0 177892 269 0 0 20 0 1 0 343890502 1711595520 415464 33554432000 134512640 137136520 4293606912 4293605840 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 417870 415464 198 641 0 417226 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1671480
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.09 2.05 2.01 3/178 2388
/proc/meminfo: memFree=24391312/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1678056 CPUtime=1791.21 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 439659 0 0 0 178851 270 0 0 20 0 1 0 343890502 1718329344 417102 33554432000 134512640 137136520 4293606912 4293605840 134544411 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 419514 417102 198 641 0 418870 0
Current children cumulated CPU time (s) 1791.21
Current children cumulated vsize (KiB) 1678056
[startup+1795.1 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 2388
/proc/meminfo: memFree=24387080/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1679836 CPUtime=1794.41 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 440184 0 0 0 179171 270 0 0 20 0 1 0 343890502 1720152064 417554 33554432000 134512640 137136520 4293606912 4293605840 134543881 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 419959 417554 198 641 0 419315 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 1679836
[startup+1796.7 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 2388
/proc/meminfo: memFree=24385468/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1681124 CPUtime=1796 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 440524 0 0 0 179330 270 0 0 20 0 1 0 343890502 1721470976 417868 33554432000 134512640 137136520 4293606912 4293605832 135982505 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 420281 417868 198 641 0 419637 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 1681124
[startup+1797.5 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 2388
/proc/meminfo: memFree=24384228/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1681644 CPUtime=1796.8 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 440659 0 0 0 179410 270 0 0 20 0 1 0 343890502 1722003456 417998 33554432000 134512640 137136520 4293606912 4293605840 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 420411 417998 198 641 0 419767 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 1681644
[startup+1798.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 2388
/proc/meminfo: memFree=24384228/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=1682324 CPUtime=1797.6 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202496 440902 0 0 0 179490 270 0 0 20 0 1 0 343890502 1722699776 418178 33554432000 134512640 137136520 4293606912 4293605840 134543819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 420581 418178 198 641 0 419937 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1682324
[startup+1798.7 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 2388
/proc/meminfo: memFree=24382120/32873648 swapFree=6860/6860
[pid=2301] ppid=2299 vsize=0 CPUtime=1798 cores=1,3,5,7
/proc/2301/stat : 2301 (bsolo) R 2299 2301 2050 0 -1 4202500 441073 0 0 0 179529 271 0 0 20 0 1 0 343890502 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2301/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.7
CPU time (s): 1798.01
CPU user time (s): 1795.3
CPU system time (s): 2.71559
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 1682576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.3
system time used= 2.71559
maximum resident set size= 1673152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441073
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= 675
involuntary context switches= 2273
runsolver used 7.2329 second user time and 15.0967 second system time
The end