runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3349705-1304969406/watcher-3349705-1304969406 -o /tmp/evaluation-result-3349705-1304969406/solver-3349705-1304969406 -C 2400 -W 1300 -M 7680 HOME/lr_gl_shr HOME/instance-3349705-1304969406.cnf -verb=0 -model -no-shrinking -no-glucose
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.89 3.95 3.01 4/356 20697
/proc/meminfo: memFree=28672144/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=20712 CPUtime=0 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 800 0 0 0 0 0 0 0 21 0 1 0 608543262 21209088 727 33554432000 4194304 4300056 140737165428352 18446744073709551615 4286249 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 5178 727 219 26 0 1810 0
[startup+0.080373 s]
/proc/loadavg: 3.89 3.95 3.01 4/356 20697
/proc/meminfo: memFree=28672144/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=28712 CPUtime=0.06 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 4042 0 0 0 6 0 0 0 21 0 1 0 608543262 29401088 3470 33554432000 4194304 4300056 140737165428352 18446744073709551615 216634515200 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 7178 3470 220 26 0 3810 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 28712
[startup+0.10038 s]
/proc/loadavg: 3.89 3.95 3.01 4/356 20697
/proc/meminfo: memFree=28672144/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=33828 CPUtime=0.08 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 5200 0 0 0 8 0 0 0 21 0 1 0 608543262 34639872 4377 33554432000 4194304 4300056 140737165428352 18446744073709551615 216634515200 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 8457 4377 220 26 0 5089 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33828
[startup+0.300336 s]
/proc/loadavg: 3.89 3.95 3.01 4/356 20697
/proc/meminfo: memFree=28672144/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=46656 CPUtime=0.28 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 9079 0 0 0 27 1 0 0 22 0 1 0 608543262 47775744 7731 33554432000 4194304 4300056 140737165428352 18446744073709551615 4230361 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 11664 7731 227 26 0 8296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 46656
[startup+0.700248 s]
/proc/loadavg: 3.89 3.95 3.01 4/356 20697
/proc/meminfo: memFree=28672144/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=46656 CPUtime=0.68 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 9079 0 0 0 67 1 0 0 23 0 1 0 608543262 47775744 7731 33554432000 4194304 4300056 140737165428352 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 11664 7731 227 26 0 8296 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46656
[startup+1.50109 s]
/proc/loadavg: 3.89 3.95 3.01 5/359 20702
/proc/meminfo: memFree=28622668/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=46656 CPUtime=1.48 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 9079 0 0 0 147 1 0 0 25 0 1 0 608543262 47775744 7731 33554432000 4194304 4300056 140737165428352 18446744073709551615 4230355 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 11664 7731 227 26 0 8296 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46656
[startup+3.10083 s]
/proc/loadavg: 3.89 3.95 3.01 5/359 20702
/proc/meminfo: memFree=28577940/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=46964 CPUtime=3.08 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 9167 0 0 0 307 1 0 0 25 0 1 0 608543262 48091136 7811 33554432000 4194304 4300056 140737165428352 18446744073709551615 4230052 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 11741 7811 228 26 0 8373 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46964
[startup+6.30028 s]
/proc/loadavg: 3.98 3.97 3.02 5/359 20702
/proc/meminfo: memFree=28432256/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=63996 CPUtime=6.29 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 16501 0 0 0 626 3 0 0 25 0 1 0 608543262 65531904 12018 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256504 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 15999 12018 246 26 0 12631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63996
[startup+12.7011 s]
/proc/loadavg: 4.06 3.98 3.03 5/362 20708
/proc/meminfo: memFree=27825460/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=121808 CPUtime=12.69 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 26572 0 0 0 1265 4 0 0 25 0 1 0 608543262 124731392 22049 33554432000 4194304 4300056 140737165428352 18446744073709551615 4273366 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 30452 22049 246 26 0 27084 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121808
[startup+25.5009 s]
/proc/loadavg: 4.05 3.98 3.04 5/362 20708
/proc/meminfo: memFree=27742396/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=182812 CPUtime=25.49 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 42350 0 0 0 2541 8 0 0 25 0 1 0 608543262 187199488 37746 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256291 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 45703 37746 246 26 0 42335 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 182812
[startup+51.1004 s]
/proc/loadavg: 4.03 3.98 3.06 5/362 20709
/proc/meminfo: memFree=27746868/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=278868 CPUtime=51.09 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 59000 0 0 0 5099 10 0 0 25 0 1 0 608543262 285560832 54299 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 69717 54299 246 26 0 66349 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 278868
[startup+102.313 s]
/proc/loadavg: 3.96 3.97 3.11 5/362 20793
/proc/meminfo: memFree=27209092/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=433720 CPUtime=102.3 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 91817 0 0 0 10213 17 0 0 25 0 1 0 608543262 444129280 86972 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 108430 86972 246 26 0 105062 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 433720
[startup+162.301 s]
/proc/loadavg: 4.02 3.99 3.16 5/362 20822
/proc/meminfo: memFree=27106888/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=665900 CPUtime=162.29 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 119738 0 0 0 16205 24 0 0 25 0 1 0 608543262 681881600 114744 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256033 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 166475 114744 246 26 0 163107 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 665900
[startup+222.301 s]
/proc/loadavg: 4.00 3.99 3.21 5/362 20823
/proc/meminfo: memFree=26564564/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=677068 CPUtime=222.29 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 143864 0 0 0 22199 30 0 0 25 0 1 0 608543262 693317632 138723 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256553 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 169267 138723 246 26 0 165899 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 677068
[startup+282.301 s]
/proc/loadavg: 4.03 4.00 3.27 5/362 20825
/proc/meminfo: memFree=26219640/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=695812 CPUtime=282.3 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 165169 0 0 0 28196 34 0 0 25 0 1 0 608543262 712511488 159916 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 173953 159916 246 26 0 170585 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 695812
[startup+342.301 s]
/proc/loadavg: 4.01 4.00 3.31 5/362 20827
/proc/meminfo: memFree=25754220/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1062852 CPUtime=342.3 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 187131 0 0 0 34191 39 0 0 25 0 1 0 608543262 1088360448 181770 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 265713 181770 246 26 0 262345 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1062852
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.35 5/362 20828
/proc/meminfo: memFree=25391724/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1068304 CPUtime=402.3 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 212806 0 0 0 40184 46 0 0 25 0 1 0 608543262 1093943296 207316 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256319 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 267076 207316 246 26 0 263708 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1068304
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.39 5/362 20830
/proc/meminfo: memFree=25708748/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=310892 CPUtime=462.3 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 254523 0 0 0 46173 57 0 0 25 0 1 0 608543262 318353408 66145 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 77723 66145 246 26 0 74355 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 310892
[startup+522.301 s]
/proc/loadavg: 4.06 4.03 3.43 5/362 20831
/proc/meminfo: memFree=25309556/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=524540 CPUtime=522.3 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 299864 0 0 0 52165 65 0 0 25 0 1 0 608543262 537128960 111266 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256008 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 131135 111266 246 26 0 127767 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 524540
[startup+582.301 s]
/proc/loadavg: 4.12 4.05 3.48 5/362 20833
/proc/meminfo: memFree=24965788/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=739464 CPUtime=582.3 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 323104 0 0 0 58160 70 0 0 25 0 1 0 608543262 757211136 134399 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256291 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 184866 134399 246 26 0 181498 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 739464
[startup+642.301 s]
/proc/loadavg: 3.51 3.90 3.46 4/356 20852
/proc/meminfo: memFree=25640948/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=739464 CPUtime=642.32 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 337173 0 0 0 64157 75 0 0 25 0 1 0 608543262 757211136 148387 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256288 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 184866 148387 246 26 0 181498 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 739464
[startup+702.3 s]
/proc/loadavg: 3.19 3.73 3.43 4/356 20853
/proc/meminfo: memFree=25834224/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=739464 CPUtime=702.3 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 342646 0 0 0 70154 76 0 0 25 0 1 0 608543262 757211136 153831 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256309 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 184866 153831 246 26 0 181498 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 739464
[startup+762.313 s]
/proc/loadavg: 3.07 3.60 3.40 4/356 20855
/proc/meminfo: memFree=25550960/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=740272 CPUtime=762.32 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 348714 0 0 0 76154 78 0 0 25 0 1 0 608543262 758038528 159867 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 185068 159867 246 26 0 181700 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 740272
[startup+822.301 s]
/proc/loadavg: 3.02 3.48 3.37 4/356 20856
/proc/meminfo: memFree=25330832/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=748132 CPUtime=822.31 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 353368 0 0 0 82152 79 0 0 25 0 1 0 608543262 766087168 164512 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256288 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 187033 164512 246 26 0 183665 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 748132
[startup+882.301 s]
/proc/loadavg: 3.01 3.39 3.34 4/356 20858
/proc/meminfo: memFree=25126692/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=748132 CPUtime=882.31 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 357374 0 0 0 88151 80 0 0 25 0 1 0 608543262 766087168 168486 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256309 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 187033 168486 246 26 0 183665 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 748132
[startup+942.301 s]
/proc/loadavg: 3.00 3.32 3.32 4/356 20860
/proc/meminfo: memFree=24867004/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1107800 CPUtime=942.31 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 382340 0 0 0 94147 84 0 0 25 0 1 0 608543262 1134387200 193313 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 276950 193313 246 26 0 273582 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1107800
[startup+1002.3 s]
/proc/loadavg: 3.00 3.26 3.30 4/356 20861
/proc/meminfo: memFree=24602084/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1112920 CPUtime=1002.31 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 406846 0 0 0 100142 89 0 0 25 0 1 0 608543262 1139630080 217667 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 278230 217667 246 26 0 274862 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1112920
[startup+1062.3 s]
/proc/loadavg: 2.64 3.13 3.25 3/350 20880
/proc/meminfo: memFree=24892508/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1117960 CPUtime=1062.31 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 428049 0 0 0 106138 93 0 0 25 0 1 0 608543262 1144791040 238766 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256224 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 279490 238766 246 26 0 276122 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1117960
[startup+1122.3 s]
/proc/loadavg: 2.33 2.95 3.18 3/350 20881
/proc/meminfo: memFree=24680792/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1117960 CPUtime=1122.31 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 451339 0 0 0 112133 98 0 0 25 0 1 0 608543262 1144791040 261945 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 279490 261945 246 26 0 276122 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1117960
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 2.31 2.93 3.17 3/350 20882
/proc/meminfo: memFree=24669128/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1117960 CPUtime=1126.33 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 452468 0 0 0 112534 99 0 0 25 0 1 0 608543262 1144791040 263069 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256534 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 279490 263069 246 26 0 276122 0
Current children cumulated CPU time (s) 1126.33
Current children cumulated vsize (KiB) 1117960
[startup+1151.9 s]
/proc/loadavg: 2.20 2.86 3.14 3/350 20882
/proc/meminfo: memFree=24625456/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1123364 CPUtime=1151.92 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 460241 0 0 0 115092 100 0 0 25 0 1 0 608543262 1150324736 270793 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 280841 270793 246 26 0 277473 0
Current children cumulated CPU time (s) 1151.92
Current children cumulated vsize (KiB) 1123364
[startup+1164.7 s]
/proc/loadavg: 2.16 2.81 3.12 3/350 20883
/proc/meminfo: memFree=24604372/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1691748 CPUtime=1164.71 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 463996 0 0 0 116370 101 0 0 25 0 1 0 608543262 1732349952 274521 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256504 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 422937 274521 246 26 0 419569 0
Current children cumulated CPU time (s) 1164.71
Current children cumulated vsize (KiB) 1691748
[startup+1171.1 s]
/proc/loadavg: 2.14 2.80 3.11 3/350 20883
/proc/meminfo: memFree=24594940/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1692032 CPUtime=1171.12 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 465273 0 0 0 117010 102 0 0 25 0 1 0 608543262 1732640768 275792 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256309 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 423008 275792 246 26 0 419640 0
Current children cumulated CPU time (s) 1171.12
Current children cumulated vsize (KiB) 1692032
[startup+1172.7 s]
/proc/loadavg: 2.14 2.80 3.11 3/350 20883
/proc/meminfo: memFree=24592460/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1692032 CPUtime=1172.72 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 465528 0 0 0 117170 102 0 0 25 0 1 0 608543262 1732640768 276047 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 423008 276047 246 26 0 419640 0
Current children cumulated CPU time (s) 1172.72
Current children cumulated vsize (KiB) 1692032
[startup+1173.5 s]
/proc/loadavg: 2.14 2.80 3.11 3/350 20883
/proc/meminfo: memFree=24592460/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1692032 CPUtime=1173.52 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 465758 0 0 0 117250 102 0 0 25 0 1 0 608543262 1732640768 276277 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 423008 276277 246 26 0 419640 0
Current children cumulated CPU time (s) 1173.52
Current children cumulated vsize (KiB) 1692032
[startup+1174.3 s]
/proc/loadavg: 2.13 2.79 3.11 3/350 20883
/proc/meminfo: memFree=24590600/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1692032 CPUtime=1174.32 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 465912 0 0 0 117330 102 0 0 25 0 1 0 608543262 1732640768 276431 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256060 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 423008 276431 246 26 0 419640 0
Current children cumulated CPU time (s) 1174.32
Current children cumulated vsize (KiB) 1692032
[startup+1174.7 s]
/proc/loadavg: 2.13 2.79 3.11 3/350 20883
/proc/meminfo: memFree=24588988/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=1692032 CPUtime=1174.73 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202496 466026 0 0 0 117371 102 0 0 25 0 1 0 608543262 1732640768 276545 33554432000 4194304 4300056 140737165428352 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/20697/statm: 423008 276545 246 26 0 419640 0
Current children cumulated CPU time (s) 1174.73
Current children cumulated vsize (KiB) 1692032
[startup+1174.81 s]
/proc/loadavg: 2.13 2.79 3.11 3/350 20883
/proc/meminfo: memFree=24588988/32951124 swapFree=53501176/67111528
[pid=20697] ppid=20695 vsize=0 CPUtime=1174.83 cores=4,6
/proc/20697/stat : 20697 (lr_gl_shr) R 20695 20697 20502 0 -1 4202500 466050 0 0 0 117378 105 0 0 25 0 1 0 608543262 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 4 0 0 0
/proc/20697/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1174.83
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 1174.83
CPU time (s): 1174.85
CPU user time (s): 1173.79
CPU system time (s): 1.06684
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1692032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1173.79
system time used= 1.06684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466050
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= 9
involuntary context switches= 902
runsolver used 4.13337 second user time and 8.75367 second system time
The end
Begin job on node103 at 2011-05-09 21:30:06
IDJOB=3349705
IDBENCH=71095
IDSOLVER=1814
FILE ID=node103/3349705-1304969406
RUNJOBID= node103-1304968099-20521
PBS_JOBID= 13285647
Free space on /tmp= 48856 MiB
SOLVER NAME= minisat hack: LR_NOGL_NOSHR 2011-03-02
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf
COMMAND LINE= HOME/lr_gl_shr BENCHNAME -verb=0 -model -no-shrinking -no-glucose
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3349705-1304969406/watcher-3349705-1304969406 -o /tmp/evaluation-result-3349705-1304969406/solver-3349705-1304969406 -C 2400 -W 1300 -M 7680 HOME/lr_gl_shr HOME/instance-3349705-1304969406.cnf -verb=0 -model -no-shrinking -no-glucose
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 4cf2a693df1b6e5a084b88e84ec5f2af
RANDOM SEED=1041096563
node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28672424 kB
Buffers: 186276 kB
Cached: 1336500 kB
SwapCached: 339736 kB
Active: 915140 kB
Inactive: 3127024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28672424 kB
SwapTotal: 67111528 kB
SwapFree: 53501176 kB
Dirty: 8172 kB
Writeback: 0 kB
AnonPages: 2190756 kB
Mapped: 10964 kB
Slab: 117588 kB
PageTables: 54292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 78617776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 48696 MiB
End job on node103 at 2011-05-09 21:49:41