runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3258896-1303505929/watcher-3258896-1303505929 -o /tmp/evaluation-result-3258896-1303505929/solver-3258896-1303505929 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3258896-1303505929.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: 3.71 3.95 3.79 2/179 23581
/proc/meminfo: memFree=16433132/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=19288 CPUtime=0 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 722 0 0 0 0 0 0 0 22 0 1 0 443008421 19750912 664 33554432000 4194304 4210924 140734034038592 18446744073709551615 228095111877 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 4822 666 134 5 0 2757 0
[startup+0.0531389 s]
/proc/loadavg: 3.71 3.95 3.79 2/179 23581
/proc/meminfo: memFree=16433132/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=30376 CPUtime=0.04 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 4987 0 0 0 4 0 0 0 22 0 1 0 443008421 31105024 4929 33554432000 4194304 4210924 140734034038592 18446744073709551615 228095111877 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 7594 4932 503 5 0 5529 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30376
[startup+0.101142 s]
/proc/loadavg: 3.71 3.95 3.79 2/179 23581
/proc/meminfo: memFree=16433132/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=32060 CPUtime=0.09 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 6482 0 0 0 9 0 0 0 22 0 1 0 443008421 32829440 5888 33554432000 4194304 4210924 140734034038592 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 8015 5888 95 5 0 6486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32060
[startup+0.301093 s]
/proc/loadavg: 3.71 3.95 3.79 2/179 23581
/proc/meminfo: memFree=16433132/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=32192 CPUtime=0.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 6507 0 0 0 29 0 0 0 23 0 1 0 443008421 32964608 5913 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 8048 5913 102 5 0 6519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32192
[startup+0.70102 s]
/proc/loadavg: 3.71 3.95 3.79 2/179 23581
/proc/meminfo: memFree=16433132/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=32324 CPUtime=0.69 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 6543 0 0 0 69 0 0 0 25 0 1 0 443008421 33099776 5949 33554432000 4194304 4210924 140734034038592 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 8081 5949 102 5 0 6552 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32324
[startup+1.50088 s]
/proc/loadavg: 3.71 3.95 3.79 5/190 23602
/proc/meminfo: memFree=16359104/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=32588 CPUtime=1.49 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 6605 0 0 0 149 0 0 0 25 0 1 0 443008421 33370112 6011 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 8147 6011 102 5 0 6618 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32588
[startup+3.10059 s]
/proc/loadavg: 3.71 3.95 3.79 5/190 23602
/proc/meminfo: memFree=16356504/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=32852 CPUtime=3.09 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 6700 0 0 0 309 0 0 0 25 0 1 0 443008421 33640448 6106 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198714 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 8213 6106 102 5 0 6684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32852
[startup+6.30099 s]
/proc/loadavg: 3.73 3.95 3.80 5/190 23602
/proc/meminfo: memFree=16353660/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=33248 CPUtime=6.3 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 6786 0 0 0 629 1 0 0 25 0 1 0 443008421 34045952 6192 33554432000 4194304 4210924 140734034038592 18446744073709551615 4207029 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 8312 6192 102 5 0 6783 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 33248
[startup+12.7008 s]
/proc/loadavg: 3.75 3.95 3.80 5/190 23602
/proc/meminfo: memFree=16350240/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=34040 CPUtime=12.69 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 6982 0 0 0 1268 1 0 0 25 0 1 0 443008421 34856960 6388 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 8510 6388 102 5 0 6981 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34040
[startup+25.5005 s]
/proc/loadavg: 3.81 3.95 3.80 5/190 23602
/proc/meminfo: memFree=16346792/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=34824 CPUtime=25.49 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 7173 0 0 0 2548 1 0 0 25 0 1 0 443008421 35659776 6579 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 8706 6579 102 5 0 7177 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34824
[startup+51.1008 s]
/proc/loadavg: 3.87 3.95 3.80 5/190 23603
/proc/meminfo: memFree=16341880/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=36804 CPUtime=51.09 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 7678 0 0 0 5108 1 0 0 25 0 1 0 443008421 37687296 7084 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 9201 7084 102 5 0 7672 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36804
[startup+102.306 s]
/proc/loadavg: 3.94 3.96 3.81 5/190 23604
/proc/meminfo: memFree=16333304/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=39040 CPUtime=102.3 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 8251 0 0 0 10228 2 0 0 25 0 1 0 443008421 39976960 7657 33554432000 4194304 4210924 140734034038592 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 9760 7657 102 5 0 8231 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 39040
[startup+162.3 s]
/proc/loadavg: 3.98 3.97 3.82 5/190 23615
/proc/meminfo: memFree=16328644/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=40224 CPUtime=162.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 8524 0 0 0 16227 2 0 0 25 0 1 0 443008421 41189376 7930 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10056 7930 102 5 0 8527 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 40224
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.83 5/190 23617
/proc/meminfo: memFree=16326132/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=40488 CPUtime=222.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 8606 0 0 0 22227 2 0 0 25 0 1 0 443008421 41459712 8012 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10122 8012 102 5 0 8593 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 40488
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.83 5/190 23618
/proc/meminfo: memFree=16323136/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=41412 CPUtime=282.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 8833 0 0 0 28227 2 0 0 25 0 1 0 443008421 42405888 8239 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10353 8239 102 5 0 8824 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 41412
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.84 5/190 23620
/proc/meminfo: memFree=16320500/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=41672 CPUtime=342.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 8898 0 0 0 34227 2 0 0 25 0 1 0 443008421 42672128 8304 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10418 8304 102 5 0 8889 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 41672
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.85 5/190 23621
/proc/meminfo: memFree=16319628/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=41936 CPUtime=402.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 8970 0 0 0 40227 2 0 0 25 0 1 0 443008421 42942464 8376 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10484 8376 102 5 0 8955 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 41936
[startup+462.301 s]
/proc/loadavg: 4.03 3.99 3.86 5/190 23623
/proc/meminfo: memFree=16318476/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=42200 CPUtime=462.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9038 0 0 0 46227 2 0 0 25 0 1 0 443008421 43212800 8444 33554432000 4194304 4210924 140734034038592 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10550 8444 102 5 0 9021 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 42200
[startup+522.301 s]
/proc/loadavg: 4.01 3.99 3.86 5/190 23625
/proc/meminfo: memFree=16316720/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=42464 CPUtime=522.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9105 0 0 0 52227 2 0 0 25 0 1 0 443008421 43483136 8511 33554432000 4194304 4210924 140734034038592 18446744073709551615 4199373 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10616 8511 102 5 0 9087 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 42464
[startup+582.301 s]
/proc/loadavg: 4.03 4.00 3.87 5/190 23626
/proc/meminfo: memFree=16316448/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=42728 CPUtime=582.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9152 0 0 0 58226 2 0 0 25 0 1 0 443008421 43753472 8558 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10682 8558 102 5 0 9153 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 42728
[startup+642.301 s]
/proc/loadavg: 4.01 4.00 3.88 5/190 23628
/proc/meminfo: memFree=16315304/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=42728 CPUtime=642.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9161 0 0 0 64227 2 0 0 25 0 1 0 443008421 43753472 8567 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10682 8567 102 5 0 9153 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 42728
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.89 5/190 23629
/proc/meminfo: memFree=16313672/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=43240 CPUtime=702.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9300 0 0 0 70226 2 0 0 25 0 1 0 443008421 44277760 8706 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10810 8706 102 5 0 9281 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 43240
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.89 5/190 23631
/proc/meminfo: memFree=16311668/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=43636 CPUtime=762.3 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9384 0 0 0 76227 3 0 0 25 0 1 0 443008421 44683264 8790 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 10909 8790 102 5 0 9380 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 43636
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 23633
/proc/meminfo: memFree=16310276/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=44020 CPUtime=822.29 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9473 0 0 0 82226 3 0 0 25 0 1 0 443008421 45076480 8879 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11005 8879 102 5 0 9476 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 44020
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 23634
/proc/meminfo: memFree=16310140/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=44020 CPUtime=882.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9496 0 0 0 88225 3 0 0 25 0 1 0 443008421 45076480 8902 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11005 8902 102 5 0 9476 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 44020
[startup+942.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 23636
/proc/meminfo: memFree=16310124/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=44148 CPUtime=942.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9506 0 0 0 94225 3 0 0 25 0 1 0 443008421 45207552 8912 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11037 8912 102 5 0 9508 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 44148
[startup+1002.3 s]
/proc/loadavg: 4.04 4.01 3.91 5/190 23637
/proc/meminfo: memFree=16309464/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=44408 CPUtime=1002.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9575 0 0 0 100225 3 0 0 25 0 1 0 443008421 45473792 8981 33554432000 4194304 4210924 140734034038592 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11102 8981 102 5 0 9573 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 44408
[startup+1062.3 s]
/proc/loadavg: 4.01 4.01 3.91 5/190 23639
/proc/meminfo: memFree=16308824/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=44792 CPUtime=1062.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9677 0 0 0 106225 3 0 0 25 0 1 0 443008421 45867008 9083 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11198 9083 102 5 0 9669 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 44792
[startup+1122.3 s]
/proc/loadavg: 4.08 4.03 3.93 5/190 23641
/proc/meminfo: memFree=16308168/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=44924 CPUtime=1122.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9719 0 0 0 112225 3 0 0 25 0 1 0 443008421 46002176 9125 33554432000 4194304 4210924 140734034038592 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11231 9125 102 5 0 9702 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 44924
[startup+1182.3 s]
/proc/loadavg: 4.03 4.02 3.93 5/190 23642
/proc/meminfo: memFree=16308024/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=44924 CPUtime=1182.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9729 0 0 0 118225 3 0 0 25 0 1 0 443008421 46002176 9135 33554432000 4194304 4210924 140734034038592 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11231 9135 102 5 0 9702 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 44924
[startup+1242.3 s]
/proc/loadavg: 4.01 4.02 3.93 5/190 23644
/proc/meminfo: memFree=16305896/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=45308 CPUtime=1242.28 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9794 0 0 0 124225 3 0 0 25 0 1 0 443008421 46395392 9200 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11327 9200 102 5 0 9798 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 45308
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.01 3.93 4/189 23646
/proc/meminfo: memFree=16315812/32951124 swapFree=67111528/67111528
[pid=23581] ppid=23579 vsize=45564 CPUtime=1299.99 cores=1,3
/proc/23581/stat : 23581 (saturn) R 23579 23581 23240 0 -1 4202496 9869 0 0 0 129996 3 0 0 25 0 1 0 443008421 46657536 9275 33554432000 4194304 4210924 140734034038592 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23581/statm: 11391 9275 102 5 0 9862 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 45564
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.01
CPU time (s): 1300
CPU user time (s): 1299.96
CPU system time (s): 0.035994
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 45564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.96
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9869
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= 3
involuntary context switches= 2024
runsolver used 2.04969 second user time and 5.07523 second system time
The end
Begin job on node142 at 2011-04-22 22:58:50
IDJOB=3258896
IDBENCH=71443
IDSOLVER=1583
FILE ID=node142/3258896-1303505929
RUNJOBID= node142-1303505929-23561
PBS_JOBID= 13134236
Free space on /tmp= 71192 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1820c171155g5.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258896-1303505929/watcher-3258896-1303505929 -o /tmp/evaluation-result-3258896-1303505929/solver-3258896-1303505929 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3258896-1303505929.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 70a781814cd432fb0f934a7edd92ccff
RANDOM SEED=717504060
node142.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.846
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.69
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.846
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 : 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.82
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.846
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: 16433412 kB
Buffers: 1566364 kB
Cached: 14316544 kB
SwapCached: 0 kB
Active: 6163224 kB
Inactive: 9790216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 16433412 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 2532 kB
Writeback: 0 kB
AnonPages: 71048 kB
Mapped: 14864 kB
Slab: 498560 kB
PageTables: 5040 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 218476 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= 71188 MiB
End job on node142 at 2011-04-22 23:20:32