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-3262812-1303568138/watcher-3262812-1303568138 -o /tmp/evaluation-result-3262812-1303568138/solver-3262812-1303568138 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3262812-1303568138.cnf
running on 2 cores: 4,6
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.32 3.82 3.75 5/189 32034
/proc/meminfo: memFree=14720064/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=12044 CPUtime=0 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 647 0 0 0 0 0 0 0 22 0 1 0 449229365 12333056 589 33554432000 4194304 4210924 140733932602384 18446744073709551615 264726065861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 3011 592 127 5 0 1301 0
[startup+0.0746219 s]
/proc/loadavg: 3.32 3.82 3.75 5/189 32034
/proc/meminfo: memFree=14720064/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=16600 CPUtime=0.07 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 2663 0 0 0 7 0 0 0 22 0 1 0 449229365 16998400 2424 33554432000 4194304 4210924 140733932602384 18446744073709551615 4207004 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4150 2424 95 5 0 2621 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16600
[startup+0.100615 s]
/proc/loadavg: 3.32 3.82 3.75 5/189 32034
/proc/meminfo: memFree=14720064/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=16600 CPUtime=0.09 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 2666 0 0 0 9 0 0 0 22 0 1 0 449229365 16998400 2427 33554432000 4194304 4210924 140733932602384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4150 2427 95 5 0 2621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16600
[startup+0.300551 s]
/proc/loadavg: 3.32 3.82 3.75 5/189 32034
/proc/meminfo: memFree=14720064/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=16732 CPUtime=0.29 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 2685 0 0 0 29 0 0 0 23 0 1 0 449229365 17133568 2446 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4183 2446 101 5 0 2654 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16732
[startup+0.700509 s]
/proc/loadavg: 3.32 3.82 3.75 5/189 32034
/proc/meminfo: memFree=14720064/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=16864 CPUtime=0.69 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 2727 0 0 0 69 0 0 0 25 0 1 0 449229365 17268736 2488 33554432000 4194304 4210924 140733932602384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4216 2488 102 5 0 2687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16864
[startup+1.50036 s]
/proc/loadavg: 3.32 3.82 3.75 5/190 32035
/proc/meminfo: memFree=14707540/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=16996 CPUtime=1.49 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 2767 0 0 0 149 0 0 0 25 0 1 0 449229365 17403904 2528 33554432000 4194304 4210924 140733932602384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4249 2528 102 5 0 2720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16996
[startup+3.10104 s]
/proc/loadavg: 3.38 3.83 3.75 5/190 32035
/proc/meminfo: memFree=14704560/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=17260 CPUtime=3.09 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 2843 0 0 0 309 0 0 0 25 0 1 0 449229365 17674240 2604 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4315 2604 102 5 0 2786 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17260
[startup+6.30044 s]
/proc/loadavg: 3.38 3.83 3.75 5/190 32035
/proc/meminfo: memFree=14701004/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=17656 CPUtime=6.29 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 2934 0 0 0 629 0 0 0 25 0 1 0 449229365 18079744 2695 33554432000 4194304 4210924 140733932602384 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4414 2695 102 5 0 2885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17656
[startup+12.7002 s]
/proc/loadavg: 3.47 3.83 3.75 5/190 32036
/proc/meminfo: memFree=14692860/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=17788 CPUtime=12.69 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 2961 0 0 0 1269 0 0 0 25 0 1 0 449229365 18214912 2722 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4447 2722 102 5 0 2918 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17788
[startup+25.5008 s]
/proc/loadavg: 3.55 3.84 3.76 5/190 32036
/proc/meminfo: memFree=14680468/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=18052 CPUtime=25.49 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3034 0 0 0 2549 0 0 0 25 0 1 0 449229365 18485248 2795 33554432000 4194304 4210924 140733932602384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4513 2795 102 5 0 2984 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18052
[startup+51.101 s]
/proc/loadavg: 3.70 3.85 3.76 5/190 32037
/proc/meminfo: memFree=14659780/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=18844 CPUtime=51.09 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3239 0 0 0 5109 0 0 0 25 0 1 0 449229365 19296256 3000 33554432000 4194304 4210924 140733932602384 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4711 3000 102 5 0 3182 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18844
[startup+102.306 s]
/proc/loadavg: 3.95 3.89 3.78 5/190 32038
/proc/meminfo: memFree=14623788/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=19356 CPUtime=102.3 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3354 0 0 0 10230 0 0 0 25 0 1 0 449229365 19820544 3115 33554432000 4194304 4210924 140733932602384 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 4839 3115 102 5 0 3310 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19356
[startup+162.301 s]
/proc/loadavg: 4.05 3.92 3.79 5/190 32040
/proc/meminfo: memFree=14587924/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=20008 CPUtime=162.3 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3515 0 0 0 16230 0 0 0 25 0 1 0 449229365 20488192 3276 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5002 3276 103 5 0 3473 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 20008
[startup+222.301 s]
/proc/loadavg: 4.02 3.93 3.81 5/190 32041
/proc/meminfo: memFree=14556284/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=20404 CPUtime=222.3 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3622 0 0 0 22230 0 0 0 25 0 1 0 449229365 20893696 3383 33554432000 4194304 4210924 140733932602384 18446744073709551615 4204758 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5101 3383 103 5 0 3572 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20404
[startup+282.3 s]
/proc/loadavg: 4.00 3.94 3.82 5/190 32043
/proc/meminfo: memFree=14527728/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=20664 CPUtime=282.3 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3699 0 0 0 28230 0 0 0 25 0 1 0 449229365 21159936 3460 33554432000 4194304 4210924 140733932602384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5166 3460 103 5 0 3637 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20664
[startup+342.301 s]
/proc/loadavg: 4.06 3.96 3.83 5/190 32044
/proc/meminfo: memFree=14501400/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=21052 CPUtime=342.3 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3775 0 0 0 34230 0 0 0 25 0 1 0 449229365 21557248 3536 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5263 3536 103 5 0 3734 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21052
[startup+402.301 s]
/proc/loadavg: 4.09 3.99 3.84 5/190 32046
/proc/meminfo: memFree=14476452/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=21304 CPUtime=402.3 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3841 0 0 0 40230 0 0 0 25 0 1 0 449229365 21815296 3602 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5326 3602 103 5 0 3797 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 21304
[startup+462.3 s]
/proc/loadavg: 4.03 3.99 3.85 5/190 32048
/proc/meminfo: memFree=14455092/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=21436 CPUtime=462.3 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3875 0 0 0 46230 0 0 0 25 0 1 0 449229365 21950464 3636 33554432000 4194304 4210924 140733932602384 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5359 3636 103 5 0 3830 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21436
[startup+522.301 s]
/proc/loadavg: 4.01 3.99 3.85 5/190 32049
/proc/meminfo: memFree=14435716/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=21436 CPUtime=522.3 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3876 0 0 0 52230 0 0 0 25 0 1 0 449229365 21950464 3637 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5359 3637 103 5 0 3830 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 21436
[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.86 5/190 32054
/proc/meminfo: memFree=14415068/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=21568 CPUtime=582.32 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3928 0 0 0 58231 1 0 0 25 0 1 0 449229365 22085632 3689 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5392 3689 103 5 0 3863 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 21568
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.86 5/190 32055
/proc/meminfo: memFree=14397956/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=21832 CPUtime=642.32 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 3983 0 0 0 64231 1 0 0 25 0 1 0 449229365 22355968 3744 33554432000 4194304 4210924 140733932602384 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5458 3744 103 5 0 3929 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 21832
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.87 5/190 32057
/proc/meminfo: memFree=14380052/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=22096 CPUtime=702.32 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4061 0 0 0 70231 1 0 0 25 0 1 0 449229365 22626304 3822 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5524 3822 103 5 0 3995 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 22096
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.88 5/190 32059
/proc/meminfo: memFree=14361180/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=22484 CPUtime=762.33 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4137 0 0 0 76232 1 0 0 25 0 1 0 449229365 23023616 3898 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5621 3898 103 5 0 4092 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 22484
[startup+822.3 s]
/proc/loadavg: 4.05 4.00 3.89 5/190 32060
/proc/meminfo: memFree=14344780/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=22736 CPUtime=822.32 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4206 0 0 0 82231 1 0 0 25 0 1 0 449229365 23281664 3967 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5684 3967 103 5 0 4155 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 22736
[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.89 5/190 32062
/proc/meminfo: memFree=14329368/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=23000 CPUtime=882.32 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4280 0 0 0 88231 1 0 0 25 0 1 0 449229365 23552000 4041 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5750 4041 103 5 0 4221 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 23000
[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 32063
/proc/meminfo: memFree=14314844/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=23132 CPUtime=942.33 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4318 0 0 0 94232 1 0 0 25 0 1 0 449229365 23687168 4079 33554432000 4194304 4210924 140733932602384 18446744073709551615 4201692 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5783 4079 103 5 0 4254 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 23132
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 32065
/proc/meminfo: memFree=14300432/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=23528 CPUtime=1002.33 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4401 0 0 0 100232 1 0 0 25 0 1 0 449229365 24092672 4162 33554432000 4194304 4210924 140733932602384 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5882 4162 103 5 0 4353 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 23528
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 32067
/proc/meminfo: memFree=14286128/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=23792 CPUtime=1062.33 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4474 0 0 0 106232 1 0 0 25 0 1 0 449229365 24363008 4235 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 5948 4235 103 5 0 4419 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 23792
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 32068
/proc/meminfo: memFree=14272072/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=24160 CPUtime=1122.33 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4580 0 0 0 112232 1 0 0 25 0 1 0 449229365 24739840 4341 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 6040 4341 103 5 0 4511 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 24160
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 32070
/proc/meminfo: memFree=14259396/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=24548 CPUtime=1182.33 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4666 0 0 0 118232 1 0 0 25 0 1 0 449229365 25137152 4427 33554432000 4194304 4210924 140733932602384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 6137 4427 103 5 0 4608 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 24548
[startup+1242.3 s]
/proc/loadavg: 4.05 4.01 3.91 5/190 32071
/proc/meminfo: memFree=14245472/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=24812 CPUtime=1242.34 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4732 0 0 0 124233 1 0 0 25 0 1 0 449229365 25407488 4493 33554432000 4194304 4210924 140733932602384 18446744073709551615 4198750 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 6203 4493 103 5 0 4674 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 24812
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.91 2/184 32076
/proc/meminfo: memFree=14723992/32951124 swapFree=67111528/67111528
[pid=32034] ppid=32032 vsize=24944 CPUtime=1300.04 cores=4,6
/proc/32034/stat : 32034 (saturn) R 32032 32034 30434 0 -1 4202496 4776 0 0 0 130003 1 0 0 25 0 1 0 449229365 25542656 4537 33554432000 4194304 4210924 140733932602384 18446744073709551615 4198616 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32034/statm: 6236 4537 103 5 0 4707 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 24944
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.05
CPU user time (s): 1300.04
CPU system time (s): 0.014997
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 24944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.04
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4776
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= 14722
runsolver used 2.29565 second user time and 4.82727 second system time
The end
Begin job on node141 at 2011-04-23 16:15:38
IDJOB=3262812
IDBENCH=83896
IDSOLVER=1583
FILE ID=node141/3262812-1303568138
RUNJOBID= node141-1303568137-31993
PBS_JOBID= 13150274
Free space on /tmp= 70960 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262812-1303568138/watcher-3262812-1303568138 -o /tmp/evaluation-result-3262812-1303568138/solver-3262812-1303568138 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3262812-1303568138.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= b5a637600c242725f15a247a84bdea1b
RANDOM SEED=1987312919
node141.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.806
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.61
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.806
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 : 5362.96
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.806
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.806
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.75
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.806
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.84
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.806
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.806
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.806
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: 14720104 kB
Buffers: 1625876 kB
Cached: 15941752 kB
SwapCached: 0 kB
Active: 9767392 kB
Inactive: 7893088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14720104 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4044 kB
Writeback: 0 kB
AnonPages: 91960 kB
Mapped: 14872 kB
Slab: 508552 kB
PageTables: 4736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 277000 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= 70964 MiB
End job on node141 at 2011-04-23 16:37:20