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-3742011-1338779588/watcher-3742011-1338779588 -o /tmp/evaluation-result-3742011-1338779588/solver-3742011-1338779588 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742011-1338779588.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 31538
/proc/meminfo: memFree=25007916/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=11424 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 344084225 11698176 316 33554432000 134512640 137136520 4291645648 4291644056 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 2856 317 183 641 0 2125 0
[startup+0.052772 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31538
/proc/meminfo: memFree=25007916/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=12728 CPUtime=0.05 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 876 0 0 0 5 0 0 0 20 0 1 0 344084225 13033472 742 33554432000 134512640 137136520 4291645648 4291577436 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 3182 742 189 641 0 2538 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12728
[startup+0.100215 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31538
/proc/meminfo: memFree=25007916/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=12728 CPUtime=0.09 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 876 0 0 0 9 0 0 0 20 0 1 0 344084225 13033472 742 33554432000 134512640 137136520 4291645648 4291577436 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 3182 742 189 641 0 2538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12728
[startup+0.300119 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31538
/proc/meminfo: memFree=25007916/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=12728 CPUtime=0.29 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 877 0 0 0 29 0 0 0 20 0 1 0 344084225 13033472 743 33554432000 134512640 137136520 4291645648 4291577436 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 3182 743 189 641 0 2538 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12728
[startup+0.700099 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31538
/proc/meminfo: memFree=25007916/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=12728 CPUtime=0.69 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 877 0 0 0 69 0 0 0 20 0 1 0 344084225 13033472 743 33554432000 134512640 137136520 4291645648 4291577436 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 3182 743 189 641 0 2538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12728
[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=25005180/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=13904 CPUtime=1.48 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 1274 0 0 0 147 1 0 0 20 0 1 0 344084225 14237696 1058 33554432000 134512640 137136520 4291645648 4291644764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 3476 1058 198 641 0 2832 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13904
[startup+3.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=25000832/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=19936 CPUtime=3.09 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 2765 0 0 0 304 5 0 0 20 0 1 0 344084225 20414464 2549 33554432000 134512640 137136520 4291645648 4291644508 136518982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 4984 2549 198 641 0 4340 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19936
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24987412/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=28440 CPUtime=6.29 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 4891 0 0 0 619 10 0 0 20 0 1 0 344084225 29122560 4675 33554432000 134512640 137136520 4291645648 4291644576 134544384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 7110 4675 198 641 0 6466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28440
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24960892/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=50104 CPUtime=12.68 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 10326 0 0 0 1254 14 0 0 20 0 1 0 344084225 51306496 10110 33554432000 134512640 137136520 4291645648 4291644576 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 12526 10110 198 641 0 11882 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50104
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24921956/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=78556 CPUtime=25.48 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 17413 0 0 0 2524 24 0 0 20 0 1 0 344084225 80441344 17197 33554432000 134512640 137136520 4291645648 4291644576 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 19639 17197 198 641 0 18995 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78556
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24844176/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=135484 CPUtime=51.08 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 31661 0 0 0 5074 34 0 0 20 0 1 0 344084225 138735616 31440 33554432000 134512640 137136520 4291645648 4291644576 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 33871 31440 198 641 0 33227 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 135484
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24693064/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=252712 CPUtime=102.28 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 61091 0 0 0 10181 47 0 0 20 0 1 0 344084225 258777088 60751 33554432000 134512640 137136520 4291645648 4291644576 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 63178 60751 198 641 0 62534 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 252712
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24551732/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=355600 CPUtime=162.27 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 86873 0 0 0 16168 59 0 0 20 0 1 0 344084225 364134400 86486 33554432000 134512640 137136520 4291645648 4291644764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 88900 86486 198 641 0 88256 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 355600
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31539
/proc/meminfo: memFree=24439292/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=421720 CPUtime=222.26 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 103452 0 0 0 22158 68 0 0 20 0 1 0 344084225 431841280 103007 33554432000 134512640 137136520 4291645648 4291644240 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 105430 103007 198 641 0 104786 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 421720
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31540
/proc/meminfo: memFree=24344152/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=479412 CPUtime=282.24 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 117908 0 0 0 28149 75 0 0 20 0 1 0 344084225 490917888 117445 33554432000 134512640 137136520 4291645648 4291644576 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 119853 117445 198 641 0 119209 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 479412
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31540
/proc/meminfo: memFree=24248332/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=535856 CPUtime=342.2 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 132154 0 0 0 34138 82 0 0 20 0 1 0 344084225 548716544 131552 33554432000 134512640 137136520 4291645648 4291644576 134543939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 133964 131552 198 641 0 133320 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 535856
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31540
/proc/meminfo: memFree=24157096/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=596132 CPUtime=402.16 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 147474 0 0 0 40127 89 0 0 20 0 1 0 344084225 610439168 146621 33554432000 134512640 137136520 4291645648 4291644560 136294917 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 149033 146621 198 641 0 148389 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 596132
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31543
/proc/meminfo: memFree=24074036/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=657012 CPUtime=462.13 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 163443 0 0 0 46116 97 0 0 20 0 1 0 344084225 672780288 161846 33554432000 134512640 137136520 4291645648 4291644576 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 164253 161846 198 641 0 163609 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 657012
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31543
/proc/meminfo: memFree=23980824/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=721296 CPUtime=522.09 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 179771 0 0 0 52104 105 0 0 20 0 1 0 344084225 738607104 177904 33554432000 134512640 137136520 4291645648 4291644576 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 180324 177904 198 641 0 179680 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 721296
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31543
/proc/meminfo: memFree=23899020/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=773708 CPUtime=582.05 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 192938 0 0 0 58090 115 0 0 20 0 1 0 344084225 792276992 191014 33554432000 134512640 137136520 4291645648 4291644544 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 193427 191014 198 641 0 192783 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 773708
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24196288/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1296352 CPUtime=1121.78 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 326072 0 0 0 111988 190 0 0 20 0 1 0 344084225 1327464448 321676 33554432000 134512640 137136520 4291645648 4291644576 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 324088 321676 198 641 0 323444 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 1296352
[startup+1182.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 31597
/proc/meminfo: memFree=24119376/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1324024 CPUtime=1181.77 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 332991 0 0 0 117978 199 0 0 20 0 1 0 344084225 1355800576 328593 33554432000 134512640 137136520 4291645648 4291644576 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 331006 328593 198 641 0 330362 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 1324024
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 31598
/proc/meminfo: memFree=24032652/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1360508 CPUtime=1241.76 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 342108 0 0 0 123970 206 0 0 20 0 1 0 344084225 1393160192 337710 33554432000 134512640 137136520 4291645648 4291644576 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 340127 337710 198 641 0 339483 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 1360508
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31598
/proc/meminfo: memFree=23919592/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1420036 CPUtime=1301.76 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 357019 0 0 0 129961 215 0 0 20 0 1 0 344084225 1454116864 352593 33554432000 134512640 137136520 4291645648 4291644576 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 355009 352593 198 641 0 354365 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1420036
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31598
/proc/meminfo: memFree=23841128/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1451592 CPUtime=1361.74 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 364903 0 0 0 135952 222 0 0 20 0 1 0 344084225 1486430208 360475 33554432000 134512640 137136520 4291645648 4291644576 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 362898 360475 198 641 0 362254 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1451592
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31598
/proc/meminfo: memFree=23765104/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1489716 CPUtime=1421.74 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 374520 0 0 0 141945 229 0 0 20 0 1 0 344084225 1525469184 370008 33554432000 134512640 137136520 4291645648 4291644576 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 372429 370008 198 641 0 371785 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1489716
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31598
/proc/meminfo: memFree=23674860/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1533300 CPUtime=1481.73 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 385441 0 0 0 147938 235 0 0 20 0 1 0 344084225 1570099200 380917 33554432000 134512640 137136520 4291645648 4291644576 134544398 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 383325 380917 198 641 0 382681 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1533300
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31599
/proc/meminfo: memFree=23587472/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1571108 CPUtime=1541.71 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 394897 0 0 0 153931 240 0 0 20 0 1 0 344084225 1608814592 390365 33554432000 134512640 137136520 4291645648 4291644576 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 392777 390365 198 641 0 392133 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1571108
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31599
/proc/meminfo: memFree=23491524/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1606628 CPUtime=1601.7 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 403780 0 0 0 159926 244 0 0 20 0 1 0 344084225 1645187072 399248 33554432000 134512640 137136520 4291645648 4291644240 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 401657 399248 198 641 0 401013 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1606628
[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/178 31602
/proc/meminfo: memFree=23404504/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1638968 CPUtime=1661.7 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 411865 0 0 0 165921 249 0 0 20 0 1 0 344084225 1678303232 407331 33554432000 134512640 137136520 4291645648 4291644576 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 409742 407331 198 641 0 409098 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1638968
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 31602
/proc/meminfo: memFree=23330392/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1669072 CPUtime=1721.69 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 419428 0 0 0 171917 252 0 0 20 0 1 0 344084225 1709129728 414862 33554432000 134512640 137136520 4291645648 4291644576 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 417268 414862 198 641 0 416624 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1669072
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31602
/proc/meminfo: memFree=23244148/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1706228 CPUtime=1781.68 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 428724 0 0 0 177911 257 0 0 20 0 1 0 344084225 1747177472 424140 33554432000 134512640 137136520 4291645648 4291644576 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 426557 424140 198 641 0 425913 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1706228
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31602
/proc/meminfo: memFree=23232740/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1710612 CPUtime=1791.28 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 429836 0 0 0 178871 257 0 0 20 0 1 0 344084225 1751666688 425248 33554432000 134512640 137136520 4291645648 4291644544 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 427653 425248 198 641 0 427009 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 1710612
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31602
/proc/meminfo: memFree=23228772/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1712380 CPUtime=1794.49 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 430269 0 0 0 179191 258 0 0 20 0 1 0 344084225 1753477120 425681 33554432000 134512640 137136520 4291645648 4291644576 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 428095 425681 198 641 0 427451 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 1712380
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31602
/proc/meminfo: memFree=23227904/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1712752 CPUtime=1796.08 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 430357 0 0 0 179350 258 0 0 20 0 1 0 344084225 1753858048 425769 33554432000 134512640 137136520 4291645648 4291644360 136502195 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 428188 425769 198 641 0 427544 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 1712752
[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31602
/proc/meminfo: memFree=23226168/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1713232 CPUtime=1796.88 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 430480 0 0 0 179430 258 0 0 20 0 1 0 344084225 1754349568 425892 33554432000 134512640 137136520 4291645648 4291644576 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 428308 425892 198 641 0 427664 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 1713232
[startup+1798.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31602
/proc/meminfo: memFree=23226168/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1713684 CPUtime=1797.68 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 430596 0 0 0 179510 258 0 0 20 0 1 0 344084225 1754812416 426008 33554432000 134512640 137136520 4291645648 4291644576 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 428421 426008 198 641 0 427777 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 1713684
[startup+1798.51 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31602
/proc/meminfo: memFree=23225052/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1713756 CPUtime=1797.89 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 430611 0 0 0 179531 258 0 0 20 0 1 0 344084225 1754886144 426023 33554432000 134512640 137136520 4291645648 4291644568 135982528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 428439 426023 198 641 0 427795 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 1713756
[startup+1798.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31602
/proc/meminfo: memFree=23225052/32873648 swapFree=6864/6864
[pid=31538] ppid=31536 vsize=1713756 CPUtime=1797.98 cores=1,3,5,7
/proc/31538/stat : 31538 (bsolo) R 31536 31538 30743 0 -1 4202496 430611 0 0 0 179540 258 0 0 20 0 1 0 344084225 1754886144 426023 33554432000 134512640 137136520 4291645648 4291644576 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31538/statm: 428439 426023 198 641 0 427795 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1713756
Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.05
CPU user time (s): 1795.43
CPU system time (s): 2.6196
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 1713756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.43
system time used= 2.6196
maximum resident set size= 1704092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 430612
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= 528
involuntary context switches= 1832
runsolver used 4.73628 second user time and 9.78451 second system time
The end