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-3258412-1303480898/watcher-3258412-1303480898 -o /tmp/evaluation-result-3258412-1303480898/solver-3258412-1303480898 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3258412-1303480898.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: 1.88 2.00 2.45 2/176 24650
/proc/meminfo: memFree=13700272/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=11792 CPUtime=0 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 695 0 0 0 0 0 0 0 23 0 1 0 459688573 12075008 638 33554432000 4194304 4210924 140733693170112 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 2948 639 134 5 0 1241 0
[startup+0.0290869 s]
/proc/loadavg: 1.88 2.00 2.45 2/176 24650
/proc/meminfo: memFree=13700272/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=15568 CPUtime=0.02 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2429 0 0 0 2 0 0 0 23 0 1 0 459688573 15941632 2194 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 3892 2194 95 5 0 2363 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15568
[startup+0.104073 s]
/proc/loadavg: 1.88 2.00 2.45 2/176 24650
/proc/meminfo: memFree=13700272/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=15700 CPUtime=0.1 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2455 0 0 0 10 0 0 0 24 0 1 0 459688573 16076800 2220 33554432000 4194304 4210924 140733693170112 18446744073709551615 4197169 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24650/statm: 3925 2220 101 5 0 2396 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15700
[startup+0.301039 s]
/proc/loadavg: 1.88 2.00 2.45 2/176 24650
/proc/meminfo: memFree=13700272/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=15700 CPUtime=0.29 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2482 0 0 0 29 0 0 0 25 0 1 0 459688573 16076800 2247 33554432000 4194304 4210924 140733693170112 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24650/statm: 3925 2247 101 5 0 2396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15700
[startup+0.700968 s]
/proc/loadavg: 1.88 2.00 2.45 2/176 24650
/proc/meminfo: memFree=13700272/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=15832 CPUtime=0.69 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2511 0 0 0 69 0 0 0 25 0 1 0 459688573 16211968 2276 33554432000 4194304 4210924 140733693170112 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24650/statm: 3958 2276 101 5 0 2429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15832
[startup+1.50083 s]
/proc/loadavg: 1.88 2.00 2.45 5/190 24677
/proc/meminfo: memFree=13583800/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=16096 CPUtime=1.49 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2568 0 0 0 149 0 0 0 25 0 1 0 459688573 16482304 2333 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24650/statm: 4024 2333 101 5 0 2495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16096
[startup+3.10054 s]
/proc/loadavg: 1.88 2.00 2.45 5/190 24677
/proc/meminfo: memFree=13580576/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=16360 CPUtime=3.08 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2648 0 0 0 308 0 0 0 25 0 1 0 459688573 16752640 2413 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24650/statm: 4090 2413 102 5 0 2561 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16360
[startup+6.30097 s]
/proc/loadavg: 2.05 2.04 2.46 5/190 24677
/proc/meminfo: memFree=13576816/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=16888 CPUtime=6.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2761 0 0 0 628 0 0 0 25 0 1 0 459688573 17293312 2526 33554432000 4194304 4210924 140733693170112 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4222 2526 103 5 0 2693 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16888
[startup+12.7008 s]
/proc/loadavg: 2.21 2.07 2.47 5/190 24677
/proc/meminfo: memFree=13570908/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=17416 CPUtime=12.68 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2887 0 0 0 1268 0 0 0 25 0 1 0 459688573 17833984 2652 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4354 2652 103 5 0 2825 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17416
[startup+25.5005 s]
/proc/loadavg: 2.60 2.16 2.49 5/190 24677
/proc/meminfo: memFree=13564700/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=17680 CPUtime=25.47 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 2977 0 0 0 2547 0 0 0 25 0 1 0 459688573 18104320 2742 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198741 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4420 2742 103 5 0 2891 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 17680
[startup+51.101 s]
/proc/loadavg: 3.08 2.31 2.53 5/190 24678
/proc/meminfo: memFree=13557032/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=17944 CPUtime=51.07 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3033 0 0 0 5107 0 0 0 25 0 1 0 459688573 18374656 2798 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4486 2798 103 5 0 2957 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17944
[startup+102.307 s]
/proc/loadavg: 3.64 2.58 2.61 5/190 24679
/proc/meminfo: memFree=13544852/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=18460 CPUtime=102.27 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3146 0 0 0 10227 0 0 0 25 0 1 0 459688573 18903040 2911 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4615 2911 103 5 0 3086 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18460
[startup+162.3 s]
/proc/loadavg: 3.87 2.84 2.69 5/190 24684
/proc/meminfo: memFree=13535636/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=18724 CPUtime=162.27 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3232 0 0 0 16227 0 0 0 25 0 1 0 459688573 19173376 2997 33554432000 4194304 4210924 140733693170112 18446744073709551615 4201682 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4681 2997 103 5 0 3152 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 18724
[startup+222.3 s]
/proc/loadavg: 3.98 3.06 2.78 5/190 24685
/proc/meminfo: memFree=13529324/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=19120 CPUtime=222.27 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3319 0 0 0 22227 0 0 0 25 0 1 0 459688573 19578880 3084 33554432000 4194304 4210924 140733693170112 18446744073709551615 4207023 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4780 3084 103 5 0 3251 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 19120
[startup+282.301 s]
/proc/loadavg: 3.99 3.23 2.85 5/190 24687
/proc/meminfo: memFree=13523960/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=19380 CPUtime=282.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3378 0 0 0 28227 1 0 0 25 0 1 0 459688573 19845120 3143 33554432000 4194304 4210924 140733693170112 18446744073709551615 4204800 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4845 3143 103 5 0 3316 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 19380
[startup+342.301 s]
/proc/loadavg: 3.99 3.37 2.92 5/190 24688
/proc/meminfo: memFree=13518964/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=19640 CPUtime=342.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3441 0 0 0 34227 1 0 0 25 0 1 0 459688573 20111360 3206 33554432000 4194304 4210924 140733693170112 18446744073709551615 4207011 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4910 3206 103 5 0 3381 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 19640
[startup+402.3 s]
/proc/loadavg: 3.99 3.48 2.98 5/190 24690
/proc/meminfo: memFree=13513232/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=19640 CPUtime=402.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3469 0 0 0 40227 1 0 0 25 0 1 0 459688573 20111360 3234 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4910 3234 103 5 0 3381 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 19640
[startup+462.301 s]
/proc/loadavg: 4.05 3.59 3.05 5/190 24692
/proc/meminfo: memFree=13510100/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=19764 CPUtime=462.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3495 0 0 0 46227 1 0 0 25 0 1 0 459688573 20238336 3260 33554432000 4194304 4210924 140733693170112 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4941 3260 103 5 0 3412 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 19764
[startup+522.301 s]
/proc/loadavg: 4.02 3.66 3.11 5/190 24693
/proc/meminfo: memFree=13507592/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=19896 CPUtime=522.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3537 0 0 0 52227 1 0 0 25 0 1 0 459688573 20373504 3302 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 4974 3302 103 5 0 3445 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 19896
[startup+582.3 s]
/proc/loadavg: 4.00 3.72 3.16 5/190 24695
/proc/meminfo: memFree=13504336/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=20160 CPUtime=582.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3578 0 0 0 58227 1 0 0 25 0 1 0 459688573 20643840 3343 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5040 3343 103 5 0 3511 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 20160
[startup+642.301 s]
/proc/loadavg: 4.06 3.78 3.21 5/190 24697
/proc/meminfo: memFree=13501320/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=20160 CPUtime=642.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3590 0 0 0 64227 1 0 0 25 0 1 0 459688573 20643840 3355 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5040 3355 103 5 0 3511 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 20160
[startup+702.301 s]
/proc/loadavg: 4.02 3.82 3.26 5/190 24698
/proc/meminfo: memFree=13498696/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=20420 CPUtime=702.27 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3661 0 0 0 70226 1 0 0 25 0 1 0 459688573 20910080 3426 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5105 3426 103 5 0 3576 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 20420
[startup+762.306 s]
/proc/loadavg: 4.05 3.86 3.31 5/190 24700
/proc/meminfo: memFree=13498540/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=20552 CPUtime=762.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3675 0 0 0 76227 1 0 0 25 0 1 0 459688573 21045248 3440 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5138 3440 103 5 0 3609 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 20552
[startup+822.301 s]
/proc/loadavg: 4.02 3.89 3.35 5/190 24701
/proc/meminfo: memFree=13498396/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=20552 CPUtime=822.27 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3684 0 0 0 82226 1 0 0 25 0 1 0 459688573 21045248 3449 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5138 3449 103 5 0 3609 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 20552
[startup+882.301 s]
/proc/loadavg: 4.00 3.90 3.39 5/190 24703
/proc/meminfo: memFree=13498244/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=20680 CPUtime=882.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3715 0 0 0 88227 1 0 0 25 0 1 0 459688573 21176320 3480 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5170 3480 103 5 0 3641 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 20680
[startup+942.3 s]
/proc/loadavg: 4.00 3.92 3.42 5/190 24704
/proc/meminfo: memFree=13496860/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=20812 CPUtime=942.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3756 0 0 0 94227 1 0 0 25 0 1 0 459688573 21311488 3521 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5203 3521 103 5 0 3674 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 20812
[startup+1002.3 s]
/proc/loadavg: 4.00 3.93 3.46 5/190 24706
/proc/meminfo: memFree=13494092/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=20940 CPUtime=1002.28 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3787 0 0 0 100227 1 0 0 25 0 1 0 459688573 21442560 3552 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5235 3552 103 5 0 3706 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 20940
[startup+1062.3 s]
/proc/loadavg: 4.00 3.94 3.49 5/190 24708
/proc/meminfo: memFree=13492692/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=21192 CPUtime=1062.29 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3845 0 0 0 106227 2 0 0 25 0 1 0 459688573 21700608 3610 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5298 3610 103 5 0 3769 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 21192
[startup+1122.3 s]
/proc/loadavg: 4.00 3.95 3.52 5/190 24709
/proc/meminfo: memFree=13491536/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=21324 CPUtime=1122.29 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3868 0 0 0 112227 2 0 0 25 0 1 0 459688573 21835776 3633 33554432000 4194304 4210924 140733693170112 18446744073709551615 4198639 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5331 3633 103 5 0 3802 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 21324
[startup+1182.3 s]
/proc/loadavg: 4.00 3.95 3.55 5/190 24711
/proc/meminfo: memFree=13488796/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=21324 CPUtime=1182.29 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3887 0 0 0 118227 2 0 0 25 0 1 0 459688573 21835776 3652 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5331 3652 103 5 0 3802 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 21324
[startup+1242.3 s]
/proc/loadavg: 4.03 3.97 3.57 5/190 24712
/proc/meminfo: memFree=13485412/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=21452 CPUtime=1242.29 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3912 0 0 0 124227 2 0 0 25 0 1 0 459688573 21966848 3677 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5363 3677 103 5 0 3834 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 21452
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.07 3.99 3.60 5/190 24714
/proc/meminfo: memFree=13484012/32950928 swapFree=67111528/67111528
[pid=24650] ppid=24648 vsize=21452 CPUtime=1299.99 cores=5,7
/proc/24650/stat : 24650 (saturn) R 24648 24650 23003 0 -1 4202496 3927 0 0 0 129997 2 0 0 25 0 1 0 459688573 21966848 3692 33554432000 4194304 4210924 140733693170112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24650/statm: 5363 3692 103 5 0 3834 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 21452
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.98
CPU system time (s): 0.021996
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 21456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.98
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3927
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= 2163
runsolver used 2.08268 second user time and 5.04223 second system time
The end
Begin job on node122 at 2011-04-22 16:01:38
IDJOB=3258412
IDBENCH=71354
IDSOLVER=1583
FILE ID=node122/3258412-1303480898
RUNJOBID= node122-1303480898-24637
PBS_JOBID= 13107194
Free space on /tmp= 71108 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes5.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258412-1303480898/watcher-3258412-1303480898 -o /tmp/evaluation-result-3258412-1303480898/solver-3258412-1303480898 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3258412-1303480898.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= ccc3b90e7796ba48b01939580fe6357c
RANDOM SEED=1568164715
node122.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.820
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.64
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.820
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.820
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.820
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.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
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.820
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.820
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.97
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 13700544 kB
Buffers: 1283228 kB
Cached: 17358680 kB
SwapCached: 0 kB
Active: 8712480 kB
Inactive: 9997756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13700544 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 2480 kB
Writeback: 0 kB
AnonPages: 68420 kB
Mapped: 14680 kB
Slab: 475480 kB
PageTables: 5500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 194680 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= 71100 MiB
End job on node122 at 2011-04-22 16:23:20