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-3501740-1308044319/watcher-3501740-1308044319 -o /tmp/evaluation-result-3501740-1308044319/solver-3501740-1308044319 -C 1800 -W 1850 -M 7680 HOME/hhlmuc HOME/instance-3501740-1308044319.gcnf
running on 2 cores: 1,3
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): 1850 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: 4.03 3.75 3.40 5/189 24049
/proc/meminfo: memFree=30504652/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=24316 CPUtime=0 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 538 0 0 0 0 0 0 0 25 0 1 0 648623152 24899584 480 33554432000 4194304 4338123 140737123657312 18446744073709551615 4320353 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 6079 480 221 36 0 2701 0
[startup+0.00721409 s]
/proc/loadavg: 4.03 3.75 3.40 5/189 24049
/proc/meminfo: memFree=30504652/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=24448 CPUtime=0 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 605 0 0 0 0 0 0 0 25 0 1 0 648623152 25034752 547 33554432000 4194304 4338123 140737123657312 18446744073709551615 4260037 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 6112 548 221 36 0 2734 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24448
[startup+0.1002 s]
/proc/loadavg: 4.03 3.75 3.40 5/189 24049
/proc/meminfo: memFree=30504652/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=23132 CPUtime=0.09 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 1948 0 0 0 9 0 0 0 25 0 1 0 648623152 23687168 1702 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292272 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 5783 1702 247 36 0 2405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23132
[startup+0.300176 s]
/proc/loadavg: 4.03 3.75 3.40 5/189 24049
/proc/meminfo: memFree=30504652/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=25628 CPUtime=0.29 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 2557 0 0 0 29 0 0 0 25 0 1 0 648623152 26243072 2309 33554432000 4194304 4338123 140737123657312 18446744073709551615 268660330737 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 6407 2309 248 36 0 3029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25628
[startup+0.701091 s]
/proc/loadavg: 4.03 3.75 3.40 5/189 24049
/proc/meminfo: memFree=30504652/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=28168 CPUtime=0.69 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 3384 0 0 0 69 0 0 0 25 0 1 0 648623152 28844032 3118 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292299 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 7042 3118 248 36 0 3664 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28168
[startup+1.50095 s]
/proc/loadavg: 4.10 3.77 3.41 5/190 24050
/proc/meminfo: memFree=30487184/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=31200 CPUtime=1.49 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 4242 0 0 0 149 0 0 0 25 0 1 0 648623152 31948800 3951 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292786 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 7800 3951 248 36 0 4422 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31200
[startup+3.10067 s]
/proc/loadavg: 4.10 3.77 3.41 5/190 24050
/proc/meminfo: memFree=30479496/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=43316 CPUtime=3.08 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 7029 0 0 0 308 0 0 0 25 0 1 0 648623152 44355584 6720 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292337 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 10829 6720 248 36 0 7451 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43316
[startup+6.30111 s]
/proc/loadavg: 4.09 3.77 3.42 5/190 24050
/proc/meminfo: memFree=30453456/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=59772 CPUtime=6.29 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 12826 0 0 0 628 1 0 0 25 0 1 0 648623152 61206528 11385 33554432000 4194304 4338123 140737123657312 18446744073709551615 4274271 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 14943 11385 251 36 0 11565 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59772
[startup+12.701 s]
/proc/loadavg: 4.09 3.77 3.42 5/190 24050
/proc/meminfo: memFree=30407708/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=87988 CPUtime=12.69 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 19015 0 0 0 1267 2 0 0 25 0 1 0 648623152 90099712 17490 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292212 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 21997 17490 269 36 0 18619 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87988
[startup+25.5007 s]
/proc/loadavg: 4.07 3.78 3.43 6/188 24054
/proc/meminfo: memFree=30619000/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=123648 CPUtime=25.49 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 28191 0 0 0 2545 4 0 0 25 0 1 0 648623152 126615552 26512 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292329 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 30912 26512 269 36 0 27534 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 123648
[startup+51.1002 s]
/proc/loadavg: 4.04 3.80 3.44 5/190 24088
/proc/meminfo: memFree=30380520/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=192904 CPUtime=51.09 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 45511 0 0 0 5102 7 0 0 25 0 1 0 648623152 197533696 43548 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292539 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 48226 43548 269 36 0 44848 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 192904
[startup+102.306 s]
/proc/loadavg: 4.02 3.83 3.47 5/190 24090
/proc/meminfo: memFree=30214296/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=292156 CPUtime=102.3 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 70834 0 0 0 10219 11 0 0 25 0 1 0 648623152 299167744 68448 33554432000 4194304 4338123 140737123657312 18446744073709551615 4280950 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 73039 68448 269 36 0 69661 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 292156
[startup+162.301 s]
/proc/loadavg: 3.32 3.68 3.44 3/178 24176
/proc/meminfo: memFree=30295220/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=440908 CPUtime=162.29 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 105826 0 0 0 16213 16 0 0 25 0 1 0 648623152 451489792 102675 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 110227 102675 269 36 0 106849 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 440908
[startup+222.301 s]
/proc/loadavg: 2.48 3.37 3.35 3/175 24188
/proc/meminfo: memFree=30529776/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=547568 CPUtime=222.29 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 132502 0 0 0 22208 21 0 0 25 0 1 0 648623152 560709632 128821 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292514 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 136892 128821 269 36 0 133514 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 547568
[startup+282.3 s]
/proc/loadavg: 1.54 2.94 3.20 2/172 24203
/proc/meminfo: memFree=30485108/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=592812 CPUtime=282.3 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 144655 0 0 0 28206 24 0 0 25 0 1 0 648623152 607039488 140799 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321561 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 148203 140799 269 36 0 144825 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 592812
[startup+342.301 s]
/proc/loadavg: 1.20 2.58 3.06 2/172 24205
/proc/meminfo: memFree=30404220/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=684612 CPUtime=342.3 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 165163 0 0 0 34203 27 0 0 25 0 1 0 648623152 701042688 160968 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321144 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 171153 160968 269 36 0 167775 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 684612
[startup+402.3 s]
/proc/loadavg: 1.07 2.29 2.93 2/172 24207
/proc/meminfo: memFree=30336940/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=752568 CPUtime=402.3 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 182215 0 0 0 40200 30 0 0 25 0 1 0 648623152 770629632 177814 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321246 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 188142 177814 269 36 0 184764 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 752568
[startup+462.301 s]
/proc/loadavg: 1.02 2.06 2.80 2/172 24208
/proc/meminfo: memFree=30279712/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=809848 CPUtime=462.3 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 196795 0 0 0 46199 31 0 0 25 0 1 0 648623152 829284352 192122 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321174 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 202462 192122 269 36 0 199084 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 809848
[startup+522.301 s]
/proc/loadavg: 1.01 1.86 2.69 2/172 24210
/proc/meminfo: memFree=30241712/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=844296 CPUtime=522.31 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 206438 0 0 0 52198 33 0 0 25 0 1 0 648623152 864559104 201641 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321577 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 211074 201641 269 36 0 207696 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 844296
[startup+582.3 s]
/proc/loadavg: 1.00 1.70 2.58 2/172 24211
/proc/meminfo: memFree=30210032/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=877448 CPUtime=582.31 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 214476 0 0 0 58197 34 0 0 25 0 1 0 648623152 898506752 209584 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321210 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 219362 209584 269 36 0 215984 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 877448
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.00 1.31 2.21 2/172 24218
/proc/meminfo: memFree=30062676/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1041276 CPUtime=822.31 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 251835 0 0 0 82194 37 0 0 25 0 1 0 648623152 1066266624 246328 33554432000 4194304 4338123 140737123657312 18446744073709551615 4320818 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 260319 246328 269 36 0 256941 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1041276
[startup+882.301 s]
/proc/loadavg: 1.00 1.25 2.13 2/172 24219
/proc/meminfo: memFree=30027892/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1076284 CPUtime=882.31 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 260608 0 0 0 88193 38 0 0 25 0 1 0 648623152 1102114816 254978 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321172 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 269071 254978 269 36 0 265693 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1076284
[startup+942.301 s]
/proc/loadavg: 1.00 1.20 2.06 2/172 24221
/proc/meminfo: memFree=30024592/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1082328 CPUtime=942.31 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 262375 0 0 0 94192 39 0 0 25 0 1 0 648623152 1108303872 256643 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292318 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 270582 256643 269 36 0 267204 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1082328
[startup+1002.3 s]
/proc/loadavg: 1.00 1.16 1.99 2/172 24223
/proc/meminfo: memFree=29991052/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1114472 CPUtime=1002.31 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 270058 0 0 0 100191 40 0 0 25 0 1 0 648623152 1141219328 264256 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321589 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 278618 264256 269 36 0 275240 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1114472
[startup+1062.3 s]
/proc/loadavg: 1.00 1.13 1.92 2/172 24227
/proc/meminfo: memFree=29938412/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1166884 CPUtime=1062.31 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 283526 0 0 0 106189 42 0 0 25 0 1 0 648623152 1194889216 277517 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321174 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 291721 277517 269 36 0 288343 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1166884
[startup+1122.3 s]
/proc/loadavg: 1.00 1.10 1.86 2/172 24229
/proc/meminfo: memFree=29927424/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1175732 CPUtime=1122.32 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 286380 0 0 0 112189 43 0 0 25 0 1 0 648623152 1203949568 280324 33554432000 4194304 4338123 140737123657312 18446744073709551615 4280901 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 293933 280324 269 36 0 290555 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1175732
[startup+1182.3 s]
/proc/loadavg: 1.00 1.08 1.81 2/172 24230
/proc/meminfo: memFree=29884588/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1217564 CPUtime=1182.32 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 297054 0 0 0 118188 44 0 0 25 0 1 0 648623152 1246785536 290888 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 304391 290888 269 36 0 301013 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1217564
[startup+1242.3 s]
/proc/loadavg: 1.00 1.06 1.75 2/172 24232
/proc/meminfo: memFree=29872752/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1231772 CPUtime=1242.32 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 300402 0 0 0 124188 44 0 0 25 0 1 0 648623152 1261334528 294163 33554432000 4194304 4338123 140737123657312 18446744073709551615 4289659 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 307943 294163 269 36 0 304565 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1231772
[startup+1302.3 s]
/proc/loadavg: 1.00 1.05 1.70 2/172 24234
/proc/meminfo: memFree=29844928/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1257520 CPUtime=1302.33 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 307075 0 0 0 130188 45 0 0 25 0 1 0 648623152 1287700480 300756 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321621 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 314380 300756 269 36 0 311002 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1257520
[startup+1362.3 s]
/proc/loadavg: 1.00 1.04 1.66 2/172 24244
/proc/meminfo: memFree=29821300/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1280196 CPUtime=1362.33 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 313022 0 0 0 136187 46 0 0 25 0 1 0 648623152 1310920704 306496 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292603 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 320049 306496 269 36 0 316671 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1280196
[startup+1422.31 s]
/proc/loadavg: 1.04 1.04 1.62 2/172 24246
/proc/meminfo: memFree=29813188/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1285908 CPUtime=1422.33 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 315053 0 0 0 142187 46 0 0 25 0 1 0 648623152 1316769792 308450 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321058 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 321477 308450 269 36 0 318099 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1285908
[startup+1482.3 s]
/proc/loadavg: 1.01 1.03 1.58 2/172 24247
/proc/meminfo: memFree=29809040/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1292332 CPUtime=1482.33 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 316411 0 0 0 148187 46 0 0 25 0 1 0 648623152 1323347968 309769 33554432000 4194304 4338123 140737123657312 18446744073709551615 4320872 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 323083 309769 269 36 0 319705 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1292332
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.54 2/172 24249
/proc/meminfo: memFree=29773884/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1353208 CPUtime=1542.32 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 324985 0 0 0 154185 47 0 0 25 0 1 0 648623152 1385684992 318229 33554432000 4194304 4338123 140737123657312 18446744073709551615 4279530 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 338302 318229 269 36 0 334924 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1353208
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.50 2/172 24251
/proc/meminfo: memFree=29770716/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1357256 CPUtime=1602.32 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 325817 0 0 0 160185 47 0 0 25 0 1 0 648623152 1389830144 319061 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321018 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 339314 319061 269 36 0 335936 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1357256
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.47 2/172 24252
/proc/meminfo: memFree=29723032/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1406908 CPUtime=1662.33 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 337856 0 0 0 166184 49 0 0 25 0 1 0 648623152 1440673792 330960 33554432000 4194304 4338123 140737123657312 18446744073709551615 4321572 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 351727 330960 269 36 0 348349 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1406908
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.43 2/172 24254
/proc/meminfo: memFree=29718028/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1410472 CPUtime=1722.33 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 339187 0 0 0 172184 49 0 0 25 0 1 0 648623152 1444323328 332243 33554432000 4194304 4338123 140737123657312 18446744073709551615 4320862 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 352618 332243 269 36 0 349240 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1410472
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.41 2/172 24255
/proc/meminfo: memFree=29708664/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1422288 CPUtime=1782.33 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 341841 0 0 0 178184 49 0 0 25 0 1 0 648623152 1456422912 334854 33554432000 4194304 4338123 140737123657312 18446744073709551615 4292467 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 355572 334854 269 36 0 352194 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1422288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.40 2/172 24256
/proc/meminfo: memFree=29688684/32951124 swapFree=67055716/67111528
[pid=24049] ppid=24047 vsize=1443452 CPUtime=1800.04 cores=1,3
/proc/24049/stat : 24049 (hhlmuc) R 24047 24049 22605 0 -1 4202496 346562 0 0 0 179954 50 0 0 25 0 1 0 648623152 1478094848 339570 33554432000 4194304 4338123 140737123657312 18446744073709551615 4289659 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24049/statm: 360863 339570 269 36 0 357485 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1443452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.1
CPU user time (s): 1799.55
CPU system time (s): 0.553915
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1443452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.553915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346562
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= 10
involuntary context switches= 1049
runsolver used 2.29365 second user time and 6.03408 second system time
The end
Begin job on node107 at 2011-06-14 11:38:39
IDJOB=3501740
IDBENCH=90089
IDSOLVER=2001
FILE ID=node107/3501740-1308044319
RUNJOBID= node107-1308043852-23244
PBS_JOBID= 13564695
Free space on /tmp= 74124 MiB
SOLVER NAME= Haifa-HLMUC 2011-04-07
BENCH NAME= SAT11/gmus/belov/vis4arbitp1.aig.k25.gcnf
COMMAND LINE= HOME/hhlmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501740-1308044319/watcher-3501740-1308044319 -o /tmp/evaluation-result-3501740-1308044319/solver-3501740-1308044319 -C 1800 -W 1850 -M 7680 HOME/hhlmuc HOME/instance-3501740-1308044319.gcnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 962dfafc2f2e56bfaa2e057ae691f806
RANDOM SEED=1141895535
node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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 : 5359.47
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.829
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.75
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.829
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30505320 kB
Buffers: 194164 kB
Cached: 1474276 kB
SwapCached: 20168 kB
Active: 858296 kB
Inactive: 1382804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30505320 kB
SwapTotal: 67111528 kB
SwapFree: 67055716 kB
Dirty: 1368 kB
Writeback: 0 kB
AnonPages: 570216 kB
Mapped: 13296 kB
Slab: 139168 kB
PageTables: 6472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 814852 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= 74132 MiB
End job on node107 at 2011-06-14 12:08:41