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-3292229-1303796746/watcher-3292229-1303796746 -o /tmp/evaluation-result-3292229-1303796746/solver-3292229-1303796746 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3292229-1303796746.cnf
running on 2 cores: 5,7
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.43 3.88 3.83 2/179 1509
/proc/meminfo: memFree=17628540/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=15292 CPUtime=0 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 425 0 0 0 0 0 0 0 25 0 1 0 569905172 15659008 368 33554432000 4194304 4210924 140736025392560 18446744073709551615 4203203 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 3823 369 114 5 0 1879 0
[startup+0.059832 s]
/proc/loadavg: 3.43 3.88 3.83 2/179 1509
/proc/meminfo: memFree=17628540/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24324 CPUtime=0.05 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4610 0 0 0 5 0 0 0 25 0 1 0 569905172 24907776 4138 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1509/statm: 6081 4138 93 5 0 4552 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24324
[startup+0.100825 s]
/proc/loadavg: 3.43 3.88 3.83 2/179 1509
/proc/meminfo: memFree=17628540/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24324 CPUtime=0.09 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4613 0 0 0 9 0 0 0 25 0 1 0 569905172 24907776 4141 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1509/statm: 6081 4141 94 5 0 4552 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24324
[startup+0.300788 s]
/proc/loadavg: 3.43 3.88 3.83 2/179 1509
/proc/meminfo: memFree=17628540/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24324 CPUtime=0.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4619 0 0 0 29 0 0 0 25 0 1 0 569905172 24907776 4147 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1509/statm: 6081 4147 94 5 0 4552 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24324
[startup+0.700717 s]
/proc/loadavg: 3.43 3.88 3.83 2/179 1509
/proc/meminfo: memFree=17628540/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24324 CPUtime=0.69 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4628 0 0 0 69 0 0 0 25 0 1 0 569905172 24907776 4156 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1509/statm: 6081 4156 100 5 0 4552 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24324
[startup+1.5006 s]
/proc/loadavg: 3.43 3.88 3.83 5/190 1530
/proc/meminfo: memFree=17546184/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24324 CPUtime=1.49 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4636 0 0 0 149 0 0 0 25 0 1 0 569905172 24907776 4164 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6081 4164 100 5 0 4552 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24324
[startup+3.10031 s]
/proc/loadavg: 3.43 3.88 3.83 5/190 1530
/proc/meminfo: memFree=17544944/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24324 CPUtime=3.09 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4640 0 0 0 309 0 0 0 25 0 1 0 569905172 24907776 4168 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6081 4168 100 5 0 4552 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24324
[startup+6.30072 s]
/proc/loadavg: 3.47 3.88 3.83 5/190 1530
/proc/meminfo: memFree=17544764/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24324 CPUtime=6.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4644 0 0 0 629 0 0 0 25 0 1 0 569905172 24907776 4172 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6081 4172 100 5 0 4552 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24324
[startup+12.7006 s]
/proc/loadavg: 3.52 3.88 3.83 5/190 1530
/proc/meminfo: memFree=17543476/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24456 CPUtime=12.69 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4651 0 0 0 1269 0 0 0 25 0 1 0 569905172 25042944 4179 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6114 4179 101 5 0 4585 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24456
[startup+25.5002 s]
/proc/loadavg: 3.62 3.89 3.83 5/190 1531
/proc/meminfo: memFree=17543468/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24456 CPUtime=25.49 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4664 0 0 0 2549 0 0 0 25 0 1 0 569905172 25042944 4192 33554432000 4194304 4210924 140736025392560 18446744073709551615 4207004 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6114 4192 101 5 0 4585 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24456
[startup+51.1005 s]
/proc/loadavg: 3.75 3.90 3.83 5/190 1531
/proc/meminfo: memFree=17542912/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24456 CPUtime=51.09 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4674 0 0 0 5109 0 0 0 25 0 1 0 569905172 25042944 4202 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6114 4202 101 5 0 4585 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24456
[startup+102.307 s]
/proc/loadavg: 3.89 3.91 3.83 5/190 1533
/proc/meminfo: memFree=17541164/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24720 CPUtime=102.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4721 0 0 0 10229 0 0 0 25 0 1 0 569905172 25313280 4249 33554432000 4194304 4210924 140736025392560 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6180 4249 101 5 0 4651 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 24720
[startup+162.301 s]
/proc/loadavg: 3.96 3.92 3.84 6/190 1534
/proc/meminfo: memFree=17540528/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=24852 CPUtime=162.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4772 0 0 0 16229 0 0 0 25 0 1 0 569905172 25448448 4300 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6213 4300 101 5 0 4684 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24852
[startup+222.301 s]
/proc/loadavg: 3.98 3.93 3.85 5/190 1536
/proc/meminfo: memFree=17539888/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=25108 CPUtime=222.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4831 0 0 0 22229 0 0 0 25 0 1 0 569905172 25710592 4359 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198667 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6277 4359 101 5 0 4748 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 25108
[startup+282.301 s]
/proc/loadavg: 3.99 3.94 3.85 5/190 1537
/proc/meminfo: memFree=17539360/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=25240 CPUtime=282.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4850 0 0 0 28229 0 0 0 25 0 1 0 569905172 25845760 4378 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6310 4378 101 5 0 4781 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25240
[startup+342.301 s]
/proc/loadavg: 3.99 3.95 3.86 5/190 1539
/proc/meminfo: memFree=17538588/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=25372 CPUtime=342.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4886 0 0 0 34229 0 0 0 25 0 1 0 569905172 25980928 4414 33554432000 4194304 4210924 140736025392560 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6343 4414 101 5 0 4814 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25372
[startup+402.3 s]
/proc/loadavg: 3.99 3.96 3.86 5/190 1541
/proc/meminfo: memFree=17537944/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=25496 CPUtime=402.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4924 0 0 0 40229 0 0 0 25 0 1 0 569905172 26107904 4452 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6374 4452 101 5 0 4845 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25496
[startup+462.3 s]
/proc/loadavg: 3.99 3.96 3.87 5/190 1542
/proc/meminfo: memFree=17537048/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=25628 CPUtime=462.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 4954 0 0 0 46229 0 0 0 25 0 1 0 569905172 26243072 4482 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6407 4482 101 5 0 4878 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 25628
[startup+522.3 s]
/proc/loadavg: 4.03 3.98 3.88 5/190 1544
/proc/meminfo: memFree=17536400/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=25756 CPUtime=522.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5004 0 0 0 52229 0 0 0 25 0 1 0 569905172 26374144 4532 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6439 4532 101 5 0 4910 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 25756
[startup+582.3 s]
/proc/loadavg: 4.01 3.98 3.89 5/190 1545
/proc/meminfo: memFree=17536024/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=25888 CPUtime=582.29 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5039 0 0 0 58229 0 0 0 25 0 1 0 569905172 26509312 4567 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6472 4567 101 5 0 4943 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 25888
[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.89 5/190 1547
/proc/meminfo: memFree=17534996/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=26152 CPUtime=642.3 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5083 0 0 0 64230 0 0 0 25 0 1 0 569905172 26779648 4611 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204892 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6538 4611 101 5 0 5009 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 26152
[startup+702.301 s]
/proc/loadavg: 4.03 4.00 3.90 5/190 1549
/proc/meminfo: memFree=17533836/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=26280 CPUtime=702.3 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5121 0 0 0 70230 0 0 0 25 0 1 0 569905172 26910720 4649 33554432000 4194304 4210924 140736025392560 18446744073709551615 4200057 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6570 4649 101 5 0 5041 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 26280
[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.91 5/190 1550
/proc/meminfo: memFree=17533060/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=26544 CPUtime=762.31 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5185 0 0 0 76230 1 0 0 25 0 1 0 569905172 27181056 4713 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6636 4713 101 5 0 5107 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 26544
[startup+822.3 s]
/proc/loadavg: 4.04 4.01 3.91 5/190 1552
/proc/meminfo: memFree=17532288/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=26676 CPUtime=822.3 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5227 0 0 0 82229 1 0 0 25 0 1 0 569905172 27316224 4755 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6669 4755 101 5 0 5140 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 26676
[startup+882.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/190 1553
/proc/meminfo: memFree=17531772/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=26808 CPUtime=882.31 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5265 0 0 0 88230 1 0 0 25 0 1 0 569905172 27451392 4793 33554432000 4194304 4210924 140736025392560 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6702 4793 101 5 0 5173 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 26808
[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 1564
/proc/meminfo: memFree=17531424/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=26940 CPUtime=942.31 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5302 0 0 0 94230 1 0 0 25 0 1 0 569905172 27586560 4830 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198629 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6735 4830 101 5 0 5206 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 26940
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 1566
/proc/meminfo: memFree=17530380/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=27188 CPUtime=1002.31 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5340 0 0 0 100230 1 0 0 25 0 1 0 569905172 27840512 4868 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204583 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6797 4868 101 5 0 5268 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 27188
[startup+1062.3 s]
/proc/loadavg: 4.05 4.01 3.92 5/190 1567
/proc/meminfo: memFree=17529736/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=27320 CPUtime=1062.31 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5375 0 0 0 106230 1 0 0 25 0 1 0 569905172 27975680 4903 33554432000 4194304 4210924 140736025392560 18446744073709551615 4205018 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6830 4903 101 5 0 5301 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 27320
[startup+1122.3 s]
/proc/loadavg: 4.02 4.01 3.92 5/190 1569
/proc/meminfo: memFree=17529220/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=27452 CPUtime=1122.31 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5410 0 0 0 112230 1 0 0 25 0 1 0 569905172 28110848 4938 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204587 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6863 4938 101 5 0 5334 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 27452
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/190 1570
/proc/meminfo: memFree=17528692/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=27584 CPUtime=1182.31 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5438 0 0 0 118230 1 0 0 25 0 1 0 569905172 28246016 4966 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198745 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6896 4966 101 5 0 5367 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 27584
[startup+1242.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/190 1572
/proc/meminfo: memFree=17527304/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=27716 CPUtime=1242.31 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5483 0 0 0 124230 1 0 0 25 0 1 0 569905172 28381184 5011 33554432000 4194304 4210924 140736025392560 18446744073709551615 4198741 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6929 5011 101 5 0 5400 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 27716
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.08 4.02 3.93 4/189 1575
/proc/meminfo: memFree=17540768/32951124 swapFree=67111528/67111528
[pid=1509] ppid=1507 vsize=27848 CPUtime=1300.02 cores=5,7
/proc/1509/stat : 1509 (saturn) R 1507 1509 555 0 -1 4202496 5531 0 0 0 130001 1 0 0 25 0 1 0 569905172 28516352 5059 33554432000 4194304 4210924 140736025392560 18446744073709551615 4204923 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1509/statm: 6962 5059 101 5 0 5433 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 27848
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.03
CPU user time (s): 1300.02
CPU system time (s): 0.013997
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.02
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5531
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= 2335
runsolver used 2.08068 second user time and 5.03823 second system time
The end
Begin job on node110 at 2011-04-26 07:45:46
IDJOB=3292229
IDBENCH=85973
IDSOLVER=1583
FILE ID=node110/3292229-1303796746
RUNJOBID= node110-1303796746-1490
PBS_JOBID= 13157271
Free space on /tmp= 72964 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292229-1303796746/watcher-3292229-1303796746 -o /tmp/evaluation-result-3292229-1303796746/solver-3292229-1303796746 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3292229-1303796746.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=527498789
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: 17629308 kB
Buffers: 2325272 kB
Cached: 12358076 kB
SwapCached: 0 kB
Active: 7508356 kB
Inactive: 7242804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17629308 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 2888 kB
Writeback: 0 kB
AnonPages: 67520 kB
Mapped: 15260 kB
Slab: 505348 kB
PageTables: 5164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 216816 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= 72960 MiB
End job on node110 at 2011-04-26 08:07:28