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-3708076-1338312547/watcher-3708076-1338312547 -o /tmp/evaluation-result-3708076-1338312547/solver-3708076-1338312547 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708076-1338312547.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.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=18608 CPUtime=0 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 297379610 19054592 251 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 4652 251 192 642 0 4008 0
[startup+0.030965 s]
/proc/loadavg: 2.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=10916 CPUtime=0.02 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 350 0 0 0 2 0 0 0 20 0 1 0 297379610 11177984 300 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 2729 300 192 642 0 2085 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10916
[startup+0.100296 s]
/proc/loadavg: 2.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=11412 CPUtime=0.09 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 464 0 0 0 9 0 0 0 20 0 1 0 297379610 11685888 414 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 2853 414 192 642 0 2209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11412
[startup+0.300274 s]
/proc/loadavg: 2.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=12784 CPUtime=0.29 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 790 0 0 0 29 0 0 0 20 0 1 0 297379610 13090816 740 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3196 740 192 642 0 2552 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12784
[startup+0.70027 s]
/proc/loadavg: 2.01 1.99 1.93 2/171 28096
/proc/meminfo: memFree=31109184/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=14168 CPUtime=0.69 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1136 0 0 0 69 0 0 0 20 0 1 0 297379610 14508032 1086 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3542 1086 192 642 0 2898 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14168
[startup+1.50023 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31100092/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=14168 CPUtime=1.49 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1138 0 0 0 148 1 0 0 20 0 1 0 297379610 14508032 1087 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3542 1087 192 642 0 2898 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14168
[startup+3.10023 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31098168/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=14796 CPUtime=3.08 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1307 0 0 0 307 1 0 0 20 0 1 0 297379610 15151104 1256 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3699 1256 192 642 0 3055 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14796
[startup+6.30022 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31096060/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=15796 CPUtime=6.28 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1569 0 0 0 626 2 0 0 20 0 1 0 297379610 16175104 1518 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 3949 1518 192 642 0 3305 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15796
[startup+12.7002 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31095356/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=16048 CPUtime=12.69 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1625 0 0 0 1265 4 0 0 20 0 1 0 297379610 16433152 1574 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 4012 1574 192 642 0 3368 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16048
[startup+25.5003 s]
/proc/loadavg: 2.01 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31094216/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=17292 CPUtime=25.48 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 1936 0 0 0 2540 8 0 0 20 0 1 0 297379610 17707008 1884 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 4323 1884 192 642 0 3679 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17292
[startup+51.1002 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 28111
/proc/meminfo: memFree=31091980/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=19276 CPUtime=51.08 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 2445 0 0 0 5094 14 0 0 20 0 1 0 297379610 19738624 2392 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 4819 2392 192 642 0 4175 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19276
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 28115
/proc/meminfo: memFree=31089304/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=21244 CPUtime=102.27 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 2923 0 0 0 10202 25 0 0 20 0 1 0 297379610 21753856 2869 33554432000 134512640 137138936 4294288752 4294287816 134540824 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 5311 2869 192 642 0 4667 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21244
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 28115
/proc/meminfo: memFree=31087760/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=21684 CPUtime=162.26 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3057 0 0 0 16189 37 0 0 20 0 1 0 297379610 22204416 2995 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 5421 2995 192 642 0 4777 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 21684
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 28116
/proc/meminfo: memFree=31085900/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=23584 CPUtime=222.26 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3516 0 0 0 22174 52 0 0 20 0 1 0 297379610 24150016 3454 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 5896 3454 192 642 0 5252 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 23584
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 28116
/proc/meminfo: memFree=31085348/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=23884 CPUtime=282.24 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3592 0 0 0 28161 63 0 0 20 0 1 0 297379610 24457216 3529 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 5971 3529 192 642 0 5327 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 23884
[startup+342.3 s]
/proc/loadavg: 2.16 2.03 1.95 3/177 28116
/proc/meminfo: memFree=31083984/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=25288 CPUtime=342.23 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3947 0 0 0 34148 75 0 0 20 0 1 0 297379610 25894912 3884 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6322 3884 192 642 0 5678 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 25288
[startup+402.3 s]
/proc/loadavg: 2.16 2.05 1.96 3/177 28117
/proc/meminfo: memFree=31084108/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=24944 CPUtime=402.23 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 3947 0 0 0 40131 92 0 0 20 0 1 0 297379610 25542656 3810 33554432000 134512640 137138936 4294288752 4294287680 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6236 3810 192 642 0 5592 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 24944
[startup+462.3 s]
/proc/loadavg: 2.06 2.04 1.96 3/177 28117
/proc/meminfo: memFree=31084108/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=25196 CPUtime=462.21 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4022 0 0 0 46118 103 0 0 20 0 1 0 297379610 25800704 3867 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6299 3867 192 642 0 5655 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 25196
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/177 28117
/proc/meminfo: memFree=31083176/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=26116 CPUtime=522.2 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4273 0 0 0 52107 113 0 0 20 0 1 0 297379610 26742784 4103 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6529 4103 192 642 0 5885 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 26116
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 28117
/proc/meminfo: memFree=31083052/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=26108 CPUtime=582.19 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4273 0 0 0 58091 128 0 0 20 0 1 0 297379610 26734592 4101 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6527 4101 192 642 0 5883 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 26108
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31082120/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=26108 CPUtime=1122.12 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4273 0 0 0 111969 243 0 0 20 0 1 0 297379610 26734592 4101 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 6527 4101 192 642 0 5883 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 26108
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28122
/proc/meminfo: memFree=31079700/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28700 CPUtime=1182.1 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4933 0 0 0 117957 253 0 0 20 0 1 0 297379610 29388800 4749 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7175 4749 192 642 0 6531 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 28700
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28122
/proc/meminfo: memFree=31079824/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28644 CPUtime=1242.1 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4933 0 0 0 123942 268 0 0 20 0 1 0 297379610 29331456 4735 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7161 4735 192 642 0 6517 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 28644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 28126
/proc/meminfo: memFree=31079692/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28256 CPUtime=1302.09 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4960 0 0 0 129929 280 0 0 20 0 1 0 297379610 28934144 4633 33554432000 134512640 137138936 4294288752 4294287680 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7064 4633 192 642 0 6420 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 28256
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28126
/proc/meminfo: memFree=31079948/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28256 CPUtime=1362.08 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4960 0 0 0 135917 291 0 0 20 0 1 0 297379610 28934144 4633 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7064 4633 192 642 0 6420 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 28256
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28126
/proc/meminfo: memFree=31079576/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28232 CPUtime=1422.08 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4960 0 0 0 141905 303 0 0 20 0 1 0 297379610 28909568 4632 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7058 4632 192 642 0 6414 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 28232
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28126
/proc/meminfo: memFree=31079700/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28224 CPUtime=1482.06 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4960 0 0 0 147891 315 0 0 20 0 1 0 297379610 28901376 4630 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7056 4630 192 642 0 6412 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 28224
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28126
/proc/meminfo: memFree=31079824/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28228 CPUtime=1542.05 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4962 0 0 0 153878 327 0 0 20 0 1 0 297379610 28905472 4631 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7057 4631 192 642 0 6413 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 28228
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31079824/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=28224 CPUtime=1602.04 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 4962 0 0 0 159864 340 0 0 20 0 1 0 297379610 28901376 4630 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7056 4630 192 642 0 6412 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 28224
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31078212/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30180 CPUtime=1662.03 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5443 0 0 0 165852 351 0 0 20 0 1 0 297379610 30904320 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7545 5109 192 642 0 6901 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 30180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31078148/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30168 CPUtime=1722.02 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 171839 363 0 0 20 0 1 0 297379610 30892032 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7542 5109 192 642 0 6898 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 30168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077776/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1782.01 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 177827 374 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287680 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 30152
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1791.62 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 178786 376 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 30152
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1794.81 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179105 376 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287680 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 30152
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1796.41 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179264 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 30152
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1797.21 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179344 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287436 136520996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 30152
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1797.61 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179384 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 30152
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1797.81 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179404 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 30152
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28127
/proc/meminfo: memFree=31077652/32873844 swapFree=7120/7120
[pid=28096] ppid=28094 vsize=30152 CPUtime=1797.91 cores=1,3,5,7
/proc/28096/stat : 28096 (bsolo) R 28094 28096 27953 0 -1 4202496 5444 0 0 0 179414 377 0 0 20 0 1 0 297379610 30875648 5109 33554432000 134512640 137138936 4294288752 4294287868 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28096/statm: 7538 5109 192 642 0 6894 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 30152
Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1794.23
CPU system time (s): 3.77243
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 30180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 3.77243
maximum resident set size= 20440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5445
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= 12
involuntary context switches= 1848
runsolver used 3.55446 second user time and 9.25859 second system time
The end