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-3379844-1305460542/watcher-3379844-1305460542 -o /tmp/evaluation-result-3379844-1305460542/solver-3379844-1305460542 -C 2400 -W 1300 -M 7680 SApperloT2010 HOME/instance-3379844-1305460542.cnf
running on 2 cores: 1,3
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: 4.07 4.02 3.84 5/314 11254
/proc/meminfo: memFree=23397944/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=13244 CPUtime=0 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 672 0 0 0 0 0 0 0 25 0 1 0 736284771 13561856 613 33554432000 4194304 4394578 140736628972304 18446744073709551615 260020056773 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 3311 614 247 49 0 452 0
[startup+0.0514451 s]
/proc/loadavg: 4.07 4.02 3.84 5/314 11254
/proc/meminfo: memFree=23397944/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=16384 CPUtime=0.04 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 1584 0 0 0 4 0 0 0 25 0 1 0 736284771 16777216 1404 33554432000 4194304 4394578 140736628972304 18446744073709551615 4290847 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 4096 1404 266 49 0 1237 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16384
[startup+0.100435 s]
/proc/loadavg: 4.07 4.02 3.84 5/314 11254
/proc/meminfo: memFree=23397944/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=18232 CPUtime=0.09 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 2045 0 0 0 9 0 0 0 25 0 1 0 736284771 18669568 1865 33554432000 4194304 4394578 140736628972304 18446744073709551615 4313480 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 4558 1865 266 49 0 1699 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18232
[startup+0.300395 s]
/proc/loadavg: 4.07 4.02 3.84 5/314 11254
/proc/meminfo: memFree=23397944/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=23652 CPUtime=0.28 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 3398 0 0 0 28 0 0 0 25 0 1 0 736284771 24219648 3218 33554432000 4194304 4394578 140736628972304 18446744073709551615 4291928 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 5913 3218 266 49 0 3054 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23652
[startup+0.700325 s]
/proc/loadavg: 4.07 4.02 3.84 5/314 11254
/proc/meminfo: memFree=23397944/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=30616 CPUtime=0.69 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 5117 0 0 0 68 1 0 0 25 0 1 0 736284771 31350784 4937 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298832 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 7654 4937 266 49 0 4795 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30616
[startup+1.50018 s]
/proc/loadavg: 4.07 4.02 3.84 5/315 11255
/proc/meminfo: memFree=23371160/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=36368 CPUtime=1.49 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 6545 0 0 0 148 1 0 0 25 0 1 0 736284771 37240832 6365 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298832 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 9092 6365 266 49 0 6233 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36368
[startup+3.10089 s]
/proc/loadavg: 4.07 4.02 3.84 5/315 11255
/proc/meminfo: memFree=23360708/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=45324 CPUtime=3.09 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 8722 0 0 0 308 1 0 0 25 0 1 0 736284771 46411776 8542 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298862 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 11331 8542 266 49 0 8472 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45324
[startup+6.30029 s]
/proc/loadavg: 4.06 4.02 3.84 5/315 11255
/proc/meminfo: memFree=23339752/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=54156 CPUtime=6.29 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 10819 0 0 0 627 2 0 0 25 0 1 0 736284771 55455744 10639 33554432000 4194304 4394578 140736628972304 18446744073709551615 260020054837 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 13539 10639 266 49 0 10680 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54156
[startup+12.7001 s]
/proc/loadavg: 4.06 4.02 3.84 5/315 11255
/proc/meminfo: memFree=23298736/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=63948 CPUtime=12.69 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 12959 0 0 0 1267 2 0 0 25 0 1 0 736284771 65482752 12779 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298923 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 15987 12779 266 49 0 13128 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63948
[startup+25.5008 s]
/proc/loadavg: 4.12 4.04 3.85 5/315 11256
/proc/meminfo: memFree=23234760/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=86284 CPUtime=25.49 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 18089 0 0 0 2546 3 0 0 25 0 1 0 736284771 88354816 17909 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 21571 17909 266 49 0 18712 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86284
[startup+51.1011 s]
/proc/loadavg: 4.08 4.03 3.85 5/315 11256
/proc/meminfo: memFree=23114336/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=111576 CPUtime=51.1 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 23579 0 0 0 5105 5 0 0 25 0 1 0 736284771 114253824 23399 33554432000 4194304 4394578 140736628972304 18446744073709551615 4287940 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 27894 23399 266 49 0 25035 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 111576
[startup+102.312 s]
/proc/loadavg: 4.03 4.03 3.86 5/315 11258
/proc/meminfo: memFree=22918080/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=143860 CPUtime=102.3 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 30566 0 0 0 10224 6 0 0 25 0 1 0 736284771 147312640 30386 33554432000 4194304 4394578 140736628972304 18446744073709551615 4316336 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 35965 30386 266 49 0 33106 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 143860
[startup+162.301 s]
/proc/loadavg: 4.01 4.02 3.86 5/315 11259
/proc/meminfo: memFree=22636620/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=173868 CPUtime=162.29 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 36853 0 0 0 16222 7 0 0 25 0 1 0 736284771 178040832 36673 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298832 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 43467 36673 266 49 0 40608 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 173868
[startup+222.301 s]
/proc/loadavg: 4.12 4.05 3.88 5/315 11261
/proc/meminfo: memFree=22445856/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=197260 CPUtime=222.29 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 42422 0 0 0 22221 8 0 0 25 0 1 0 736284771 201994240 42242 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298821 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 49315 42242 266 49 0 46456 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 197260
[startup+282.301 s]
/proc/loadavg: 4.04 4.03 3.89 5/315 11262
/proc/meminfo: memFree=22240140/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=224332 CPUtime=282.3 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 47713 0 0 0 28221 9 0 0 25 0 1 0 736284771 229715968 47533 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298738 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 56083 47533 266 49 0 53224 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 224332
[startup+342.301 s]
/proc/loadavg: 4.07 4.04 3.90 5/315 11273
/proc/meminfo: memFree=22076904/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=232740 CPUtime=342.3 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 49577 0 0 0 34221 9 0 0 25 0 1 0 736284771 238325760 49397 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 58185 49397 266 49 0 55326 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232740
[startup+402.301 s]
/proc/loadavg: 4.02 4.03 3.90 5/315 11275
/proc/meminfo: memFree=21872452/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=248444 CPUtime=402.3 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 52600 0 0 0 40220 10 0 0 25 0 1 0 736284771 254406656 52420 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298837 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 62111 52420 266 49 0 59252 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 248444
[startup+462.301 s]
/proc/loadavg: 4.04 4.04 3.91 5/315 11276
/proc/meminfo: memFree=21703520/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=262124 CPUtime=462.31 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 55611 0 0 0 46220 11 0 0 25 0 1 0 736284771 268414976 55431 33554432000 4194304 4394578 140736628972304 18446744073709551615 4287234 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 65531 55431 266 49 0 62672 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 262124
[startup+522.301 s]
/proc/loadavg: 4.01 4.03 3.91 5/315 11278
/proc/meminfo: memFree=21539816/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=284684 CPUtime=522.31 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 61186 0 0 0 52219 12 0 0 25 0 1 0 736284771 291516416 60594 33554432000 4194304 4394578 140736628972304 18446744073709551615 4299008 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 71171 60594 267 49 0 68312 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 284684
[startup+582.301 s]
/proc/loadavg: 4.04 4.03 3.92 5/315 11279
/proc/meminfo: memFree=21444216/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=291668 CPUtime=582.3 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 62578 0 0 0 58218 12 0 0 25 0 1 0 736284771 298668032 61986 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298812 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 72917 61986 267 49 0 70058 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 291668
[startup+642.301 s]
/proc/loadavg: 4.01 4.02 3.92 5/315 11281
/proc/meminfo: memFree=21320664/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=307080 CPUtime=642.31 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 66149 0 0 0 64218 13 0 0 25 0 1 0 736284771 314449920 65236 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298812 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 76770 65236 267 49 0 73911 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 307080
[startup+702.301 s]
/proc/loadavg: 4.00 4.02 3.92 5/315 11283
/proc/meminfo: memFree=21215736/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=313696 CPUtime=702.31 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 67436 0 0 0 70217 14 0 0 25 0 1 0 736284771 321224704 66458 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298812 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 78424 66458 267 49 0 75565 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 313696
[startup+762.311 s]
/proc/loadavg: 4.08 4.03 3.92 5/315 11284
/proc/meminfo: memFree=21142412/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=317024 CPUtime=762.32 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 68160 0 0 0 76218 14 0 0 25 0 1 0 736284771 324632576 67117 33554432000 4194304 4394578 140736628972304 18446744073709551615 4296323 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 79256 67117 267 49 0 76397 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 317024
[startup+822.3 s]
/proc/loadavg: 4.03 4.02 3.92 5/315 11286
/proc/meminfo: memFree=21078532/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=322144 CPUtime=822.32 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 69114 0 0 0 82217 15 0 0 25 0 1 0 736284771 329875456 68071 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298807 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 80536 68071 267 49 0 77677 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 322144
[startup+882.3 s]
/proc/loadavg: 4.08 4.03 3.93 5/315 11287
/proc/meminfo: memFree=21004756/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=332952 CPUtime=882.32 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 71201 0 0 0 88216 16 0 0 25 0 1 0 736284771 340942848 70158 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298814 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 83238 70158 267 49 0 80379 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 332952
[startup+942.3 s]
/proc/loadavg: 4.14 4.06 3.94 5/315 11289
/proc/meminfo: memFree=20923232/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=337560 CPUtime=942.32 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 72163 0 0 0 94216 16 0 0 25 0 1 0 736284771 345661440 71120 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 84390 71120 267 49 0 81531 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 337560
[startup+1002.3 s]
/proc/loadavg: 4.05 4.04 3.94 5/315 11291
/proc/meminfo: memFree=20908436/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=348824 CPUtime=1002.32 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 74131 0 0 0 100216 16 0 0 25 0 1 0 736284771 357195776 73088 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298698 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 87206 73088 267 49 0 84347 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 348824
[startup+1062.3 s]
/proc/loadavg: 4.02 4.03 3.94 5/315 11292
/proc/meminfo: memFree=20830888/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=361112 CPUtime=1062.32 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 76505 0 0 0 106216 16 0 0 25 0 1 0 736284771 369778688 75462 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298993 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 90278 75462 267 49 0 87419 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 361112
[startup+1122.3 s]
/proc/loadavg: 4.05 4.04 3.94 5/315 11294
/proc/meminfo: memFree=20763260/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=367384 CPUtime=1122.33 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 77711 0 0 0 112216 17 0 0 25 0 1 0 736284771 376201216 76668 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 91846 76668 267 49 0 88987 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 367384
[startup+1182.3 s]
/proc/loadavg: 4.02 4.03 3.94 5/315 11295
/proc/meminfo: memFree=20676100/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=372764 CPUtime=1182.32 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 78792 0 0 0 118215 17 0 0 25 0 1 0 736284771 381710336 77749 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298826 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 93191 77749 267 49 0 90332 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 372764
[startup+1242.3 s]
/proc/loadavg: 4.00 4.02 3.94 5/315 11297
/proc/meminfo: memFree=20619380/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=379676 CPUtime=1242.32 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 80089 0 0 0 124215 17 0 0 25 0 1 0 736284771 388788224 79046 33554432000 4194304 4394578 140736628972304 18446744073709551615 4298364 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 94919 79046 267 49 0 92060 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 379676
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.82 3.73 3.85 2/297 11353
/proc/meminfo: memFree=24308288/32951124 swapFree=67083432/67111528
[pid=11254] ppid=11252 vsize=386588 CPUtime=1300.04 cores=1,3
/proc/11254/stat : 11254 (SApperloT2010) R 11252 11254 10957 0 -1 4202496 81322 0 0 0 129986 18 0 0 25 0 1 0 736284771 395866112 80279 33554432000 4194304 4394578 140736628972304 18446744073709551615 4287405 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11254/statm: 96647 80279 267 49 0 93788 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 386588
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): 1300.02
CPU time (s): 1300.06
CPU user time (s): 1299.87
CPU system time (s): 0.197969
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 386588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.87
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81322
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= 5
involuntary context switches= 2753
runsolver used 3.57046 second user time and 8.96964 second system time
The end
Begin job on node110 at 2011-05-15 13:55:42
IDJOB=3379844
IDBENCH=85456
IDSOLVER=1862
FILE ID=node110/3379844-1305460542
RUNJOBID= node110-1305460503-11132
PBS_JOBID= 13324910
Free space on /tmp= 73328 MiB
SOLVER NAME= SApperloT2010 2011-05-15 (fixed)
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf
COMMAND LINE= SApperloT2010 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3379844-1305460542/watcher-3379844-1305460542 -o /tmp/evaluation-result-3379844-1305460542/solver-3379844-1305460542 -C 2400 -W 1300 -M 7680 SApperloT2010 HOME/instance-3379844-1305460542.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8c84d9b9f2d75de33656119bc03a9afb
RANDOM SEED=1890871375
node110.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.830
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.66
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.830
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.83
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.830
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.830
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.83
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.830
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.76
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.830
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.83
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.830
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.74
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.830
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: 23397976 kB
Buffers: 293680 kB
Cached: 4578860 kB
SwapCached: 1440 kB
Active: 5914084 kB
Inactive: 3301724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 23397976 kB
SwapTotal: 67111528 kB
SwapFree: 67083432 kB
Dirty: 282732 kB
Writeback: 0 kB
AnonPages: 4341752 kB
Mapped: 27528 kB
Slab: 247012 kB
PageTables: 26048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 64547024 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= 73612 MiB
End job on node110 at 2011-05-15 14:17:24