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-3707666-1338237139/watcher-3707666-1338237139 -o /tmp/evaluation-result-3707666-1338237139/solver-3707666-1338237139 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707666-1338237139.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 25164
/proc/meminfo: memFree=29972332/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=20004 CPUtime=0 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 289838491 20484096 314 33554432000 134512640 137138936 4292792752 4292791104 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 5001 316 178 642 0 4079 0
[startup+0.0984089 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25164
/proc/meminfo: memFree=29972332/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=17164 CPUtime=0.09 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 2110 0 0 0 9 0 0 0 20 0 1 0 289838491 17575936 1785 33554432000 134512640 137138936 4292792752 4292591532 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 4291 1785 184 642 0 3647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17164
[startup+0.100305 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25164
/proc/meminfo: memFree=29972332/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=17164 CPUtime=0.09 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 2110 0 0 0 9 0 0 0 20 0 1 0 289838491 17575936 1785 33554432000 134512640 137138936 4292792752 4292591532 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 4291 1785 184 642 0 3647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17164
[startup+0.300186 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25164
/proc/meminfo: memFree=29972332/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=17164 CPUtime=0.29 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 2116 0 0 0 29 0 0 0 20 0 1 0 289838491 17575936 1791 33554432000 134512640 137138936 4292792752 4292591532 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 4291 1791 184 642 0 3647 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17164
[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25164
/proc/meminfo: memFree=29972332/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=17164 CPUtime=0.69 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 2117 0 0 0 69 0 0 0 20 0 1 0 289838491 17575936 1792 33554432000 134512640 137138936 4292792752 4292591532 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 4291 1792 184 642 0 3647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17164
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25165
/proc/meminfo: memFree=29966016/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=17164 CPUtime=1.49 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 2117 0 0 0 149 0 0 0 20 0 1 0 289838491 17575936 1792 33554432000 134512640 137138936 4292792752 4292591532 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 4291 1792 184 642 0 3647 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17164
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25165
/proc/meminfo: memFree=29966884/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=17164 CPUtime=3.09 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 2118 0 0 0 308 1 0 0 20 0 1 0 289838491 17575936 1793 33554432000 134512640 137138936 4292792752 4292591532 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 4291 1793 184 642 0 3647 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17164
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25203
/proc/meminfo: memFree=31018268/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=17164 CPUtime=6.29 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 2120 0 0 0 628 1 0 0 20 0 1 0 289838491 17575936 1795 33554432000 134512640 137138936 4292792752 4292591344 134541980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 4291 1795 184 642 0 3647 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17164
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25203
/proc/meminfo: memFree=31010340/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=25340 CPUtime=12.69 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 4350 0 0 0 1253 16 0 0 20 0 1 0 289838491 25948160 3857 33554432000 134512640 137138936 4292792752 4292791416 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 6335 3857 192 642 0 5691 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25340
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25203
/proc/meminfo: memFree=30971304/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=44956 CPUtime=25.48 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 9270 0 0 0 2512 36 0 0 20 0 1 0 289838491 46034944 8777 33554432000 134512640 137138936 4292792752 4292791680 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 11239 8777 192 642 0 10595 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44956
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25203
/proc/meminfo: memFree=30909700/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=71780 CPUtime=51.05 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 15980 0 0 0 5041 64 0 0 20 0 1 0 289838491 73502720 15468 33554432000 134512640 137138936 4292792752 4292791680 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 17945 15468 192 642 0 17301 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 71780
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25203
/proc/meminfo: memFree=30748488/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=130396 CPUtime=102.24 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 30667 0 0 0 10123 101 0 0 20 0 1 0 289838491 133525504 30132 33554432000 134512640 137138936 4292792752 4292791680 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 32599 30132 192 642 0 31955 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 130396
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25203
/proc/meminfo: memFree=30597484/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=199548 CPUtime=162.22 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 47975 0 0 0 16094 128 0 0 20 0 1 0 289838491 204337152 47440 33554432000 134512640 137138936 4292792752 4292791176 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 49887 47440 192 642 0 49243 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 199548
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25204
/proc/meminfo: memFree=30459004/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=264328 CPUtime=222.21 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 64143 0 0 0 22069 152 0 0 20 0 1 0 289838491 270671872 63608 33554432000 134512640 137138936 4292792752 4292791680 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 66082 63608 192 642 0 65438 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 264328
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25205
/proc/meminfo: memFree=30297212/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=367524 CPUtime=282.2 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 89956 0 0 0 28057 163 0 0 20 0 1 0 289838491 376344576 89421 33554432000 134512640 137138936 4292792752 4292791176 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 91881 89421 192 642 0 91237 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 367524
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25205
/proc/meminfo: memFree=30135544/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=465144 CPUtime=342.19 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 114384 0 0 0 34048 171 0 0 20 0 1 0 289838491 476307456 113849 33554432000 134512640 137138936 4292792752 4292791176 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 116286 113849 192 642 0 115642 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 465144
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25205
/proc/meminfo: memFree=29977912/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=553484 CPUtime=402.18 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 137019 0 0 0 40040 178 0 0 20 0 1 0 289838491 566767616 135915 33554432000 134512640 137138936 4292792752 4292791176 134606601 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 138371 135915 192 642 0 137727 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 553484
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25205
/proc/meminfo: memFree=29833400/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=642620 CPUtime=462.15 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 161111 0 0 0 46031 184 0 0 20 0 1 0 289838491 658042880 158207 33554432000 134512640 137138936 4292792752 4292791176 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 160655 158207 192 642 0 160011 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 642620
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25208
/proc/meminfo: memFree=29741412/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=693052 CPUtime=522.1 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 173977 0 0 0 52010 200 0 0 20 0 1 0 289838491 709685248 170795 33554432000 134512640 137138936 4292792752 4292791680 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 173263 170795 192 642 0 172619 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 693052
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25209
/proc/meminfo: memFree=29652168/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=740300 CPUtime=582.07 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 185816 0 0 0 57989 218 0 0 20 0 1 0 289838491 758067200 182607 33554432000 134512640 137138936 4292792752 4292791680 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 185075 182607 192 642 0 184431 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 740300
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28957904/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1121.77 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 111878 299 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791504 134573444 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 1039208
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25214
/proc/meminfo: memFree=28958400/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1181.77 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 117843 334 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791496 135984561 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 1039208
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25214
/proc/meminfo: memFree=28958028/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1241.76 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 123835 341 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791504 134577137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 1039208
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25214
/proc/meminfo: memFree=28957992/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1301.75 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 129828 347 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791176 134606604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 1039208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25214
/proc/meminfo: memFree=28957896/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1361.74 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 135805 369 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791408 134618140 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1039208
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25214
/proc/meminfo: memFree=28958048/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1421.73 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 141790 383 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1039208
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25215
/proc/meminfo: memFree=28957952/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1481.72 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 147767 405 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791680 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1039208
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25215
/proc/meminfo: memFree=28958104/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1541.71 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 153751 420 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791680 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1039208
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25215
/proc/meminfo: memFree=28958008/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1601.7 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 159734 436 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791680 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1039208
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 25218
/proc/meminfo: memFree=28958048/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1661.69 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 165725 444 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1039208
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 25241
/proc/meminfo: memFree=28958572/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1721.68 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 171716 452 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791680 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1039208
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 25242
/proc/meminfo: memFree=28957708/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1781.67 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 177706 461 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791680 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1039208
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25242
/proc/meminfo: memFree=28958204/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1791.28 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 178664 464 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 1039208
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25242
/proc/meminfo: memFree=28958204/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1794.47 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 178983 464 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791248 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 1039208
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25242
/proc/meminfo: memFree=28958204/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1796.07 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 179143 464 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791680 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 1039208
[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25242
/proc/meminfo: memFree=28958204/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1796.87 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 179222 465 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791176 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 1039208
[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25242
/proc/meminfo: memFree=28958204/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1797.67 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 179302 465 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791680 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 1039208
[startup+1798.51 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25242
/proc/meminfo: memFree=28958204/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1797.88 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 179323 465 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791428 136511155 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 1039208
[startup+1798.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25242
/proc/meminfo: memFree=28958204/32873844 swapFree=6080/6080
[pid=25164] ppid=25162 vsize=1039208 CPUtime=1797.97 cores=1,3,5,7
/proc/25164/stat : 25164 (bsolo) R 25162 25164 24091 0 -1 4202496 260922 0 0 0 179332 465 0 0 20 0 1 0 289838491 1064148992 257782 33554432000 134512640 137138936 4292792752 4292791248 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25164/statm: 259802 257782 192 642 0 259158 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 1039208
Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.01
CPU user time (s): 1793.35
CPU system time (s): 4.65629
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 1039736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.35
system time used= 4.65629
maximum resident set size= 1031128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260922
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= 399
involuntary context switches= 1832
runsolver used 5.48817 second user time and 10.6354 second system time
The end