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-3251414-1303587200/watcher-3251414-1303587200 -o /tmp/evaluation-result-3251414-1303587200/solver-3251414-1303587200 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251414-1303587200.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.79 3.94 3.79 4/193 20650
/proc/meminfo: memFree=11875624/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=22164 CPUtime=0 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 743 0 0 0 0 0 0 0 21 0 1 0 470317917 22695936 686 33554432000 4194304 4210924 140733367813440 18446744073709551615 271550198469 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 5541 688 135 5 0 3354 0
[startup+0.103968 s]
/proc/loadavg: 3.79 3.94 3.79 4/193 20650
/proc/meminfo: memFree=11875624/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=38144 CPUtime=0.09 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 7974 0 0 0 9 0 0 0 22 0 1 0 470317917 39059456 7259 33554432000 4194304 4210924 140733367813440 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20650/statm: 9536 7259 94 5 0 8007 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38144
[startup+0.200953 s]
/proc/loadavg: 3.79 3.94 3.79 4/193 20650
/proc/meminfo: memFree=11875624/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=38276 CPUtime=0.19 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 7983 0 0 0 19 0 0 0 22 0 1 0 470317917 39194624 7268 33554432000 4194304 4210924 140733367813440 18446744073709551615 4204914 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20650/statm: 9569 7268 94 5 0 8040 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38276
[startup+0.300934 s]
/proc/loadavg: 3.79 3.94 3.79 4/193 20650
/proc/meminfo: memFree=11875624/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=38276 CPUtime=0.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 8010 0 0 0 29 0 0 0 22 0 1 0 470317917 39194624 7295 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20650/statm: 9569 7295 100 5 0 8040 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38276
[startup+0.700858 s]
/proc/loadavg: 3.79 3.94 3.79 4/193 20650
/proc/meminfo: memFree=11875624/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=38540 CPUtime=0.69 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 8070 0 0 0 69 0 0 0 24 0 1 0 470317917 39464960 7355 33554432000 4194304 4210924 140733367813440 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20650/statm: 9635 7355 100 5 0 8106 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38540
[startup+1.50075 s]
/proc/loadavg: 3.79 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11811888/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=38804 CPUtime=1.49 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 8138 0 0 0 148 1 0 0 25 0 1 0 470317917 39735296 7423 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 9701 7423 100 5 0 8172 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38804
[startup+3.10046 s]
/proc/loadavg: 3.79 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11810528/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=39196 CPUtime=3.09 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 8230 0 0 0 308 1 0 0 25 0 1 0 470317917 40136704 7515 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 9799 7515 101 5 0 8270 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39196
[startup+6.30088 s]
/proc/loadavg: 3.81 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11807388/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=40120 CPUtime=6.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 8464 0 0 0 628 1 0 0 25 0 1 0 470317917 41082880 7749 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 10030 7749 101 5 0 8501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40120
[startup+12.7007 s]
/proc/loadavg: 3.82 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11803544/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=40780 CPUtime=12.69 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 8631 0 0 0 1268 1 0 0 25 0 1 0 470317917 41758720 7916 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 10195 7916 101 5 0 8666 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40780
[startup+25.5004 s]
/proc/loadavg: 3.86 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11799080/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=42100 CPUtime=25.48 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 8960 0 0 0 2547 1 0 0 25 0 1 0 470317917 43110400 8245 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 10525 8245 101 5 0 8996 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42100
[startup+51.1007 s]
/proc/loadavg: 3.98 3.96 3.80 5/194 20652
/proc/meminfo: memFree=11794544/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=43948 CPUtime=51.08 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 9426 0 0 0 5107 1 0 0 25 0 1 0 470317917 45002752 8711 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 10987 8711 101 5 0 9458 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43948
[startup+102.3 s]
/proc/loadavg: 3.99 3.97 3.81 5/194 20653
/proc/meminfo: memFree=11786064/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=45664 CPUtime=102.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 9863 0 0 0 10227 2 0 0 25 0 1 0 470317917 46759936 9148 33554432000 4194304 4210924 140733367813440 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 11416 9148 101 5 0 9887 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 45664
[startup+162.301 s]
/proc/loadavg: 4.10 4.00 3.83 5/194 20655
/proc/meminfo: memFree=11782336/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=46984 CPUtime=162.28 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10174 0 0 0 16226 2 0 0 25 0 1 0 470317917 48111616 9459 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 11746 9459 101 5 0 10217 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 46984
[startup+222.307 s]
/proc/loadavg: 4.03 4.00 3.84 5/194 20657
/proc/meminfo: memFree=11778212/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=47776 CPUtime=222.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10391 0 0 0 22227 2 0 0 25 0 1 0 470317917 48922624 9676 33554432000 4194304 4210924 140733367813440 18446744073709551615 4204788 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 11944 9676 101 5 0 10415 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 47776
[startup+282.301 s]
/proc/loadavg: 4.06 4.01 3.85 5/194 20658
/proc/meminfo: memFree=11776204/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=48040 CPUtime=282.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10449 0 0 0 28227 2 0 0 25 0 1 0 470317917 49192960 9734 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12010 9734 101 5 0 10481 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 48040
[startup+342.301 s]
/proc/loadavg: 4.09 4.02 3.86 5/194 20660
/proc/meminfo: memFree=11773568/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=48304 CPUtime=342.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10520 0 0 0 34227 2 0 0 25 0 1 0 470317917 49463296 9805 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12076 9805 101 5 0 10547 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 48304
[startup+402.301 s]
/proc/loadavg: 4.03 4.02 3.87 5/194 20661
/proc/meminfo: memFree=11772184/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=48828 CPUtime=402.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10649 0 0 0 40227 2 0 0 25 0 1 0 470317917 49999872 9934 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12207 9934 101 5 0 10678 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 48828
[startup+462.301 s]
/proc/loadavg: 4.07 4.04 3.88 5/194 20663
/proc/meminfo: memFree=11769800/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=49224 CPUtime=462.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10754 0 0 0 46227 2 0 0 25 0 1 0 470317917 50405376 10039 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12306 10039 101 5 0 10777 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 49224
[startup+522.301 s]
/proc/loadavg: 4.07 4.05 3.89 5/194 20665
/proc/meminfo: memFree=11767920/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=49748 CPUtime=522.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10888 0 0 0 52227 2 0 0 25 0 1 0 470317917 50941952 10173 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12437 10173 101 5 0 10908 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 49748
[startup+582.3 s]
/proc/loadavg: 4.02 4.03 3.90 5/194 20666
/proc/meminfo: memFree=11767168/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=49880 CPUtime=582.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10915 0 0 0 58227 2 0 0 25 0 1 0 470317917 51077120 10200 33554432000 4194304 4210924 140733367813440 18446744073709551615 4204822 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12470 10200 101 5 0 10941 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 49880
[startup+642.3 s]
/proc/loadavg: 4.06 4.04 3.91 5/194 20668
/proc/meminfo: memFree=11766516/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=50012 CPUtime=642.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10958 0 0 0 64227 2 0 0 25 0 1 0 470317917 51212288 10243 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12503 10243 101 5 0 10974 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 50012
[startup+702.3 s]
/proc/loadavg: 4.02 4.03 3.91 5/194 20669
/proc/meminfo: memFree=11765268/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=50144 CPUtime=702.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 10991 0 0 0 70227 2 0 0 25 0 1 0 470317917 51347456 10276 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12536 10276 101 5 0 11007 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 50144
[startup+762.3 s]
/proc/loadavg: 4.04 4.03 3.91 5/194 20671
/proc/meminfo: memFree=11764516/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=50404 CPUtime=762.3 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11048 0 0 0 76228 2 0 0 25 0 1 0 470317917 51613696 10333 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12601 10333 101 5 0 11072 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 50404
[startup+822.301 s]
/proc/loadavg: 4.01 4.03 3.91 5/194 20673
/proc/meminfo: memFree=11763756/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=50668 CPUtime=822.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11108 0 0 0 82227 2 0 0 25 0 1 0 470317917 51884032 10393 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12667 10393 101 5 0 11138 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 50668
[startup+882.307 s]
/proc/loadavg: 4.00 4.02 3.91 5/194 20674
/proc/meminfo: memFree=11762504/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=50920 CPUtime=882.3 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11156 0 0 0 88228 2 0 0 25 0 1 0 470317917 52142080 10441 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12730 10441 101 5 0 11201 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 50920
[startup+942.301 s]
/proc/loadavg: 4.00 4.01 3.91 5/194 20676
/proc/meminfo: memFree=11761500/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=50920 CPUtime=942.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11169 0 0 0 94227 2 0 0 25 0 1 0 470317917 52142080 10454 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12730 10454 101 5 0 11201 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 50920
[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/194 20677
/proc/meminfo: memFree=11760612/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=51436 CPUtime=1002.29 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11296 0 0 0 100227 2 0 0 25 0 1 0 470317917 52670464 10581 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12859 10581 101 5 0 11330 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 51436
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/194 20679
/proc/meminfo: memFree=11760100/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=51436 CPUtime=1062.3 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11296 0 0 0 106228 2 0 0 25 0 1 0 470317917 52670464 10581 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12859 10581 101 5 0 11330 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 51436
[startup+1122.3 s]
/proc/loadavg: 4.12 4.04 3.93 5/194 20681
/proc/meminfo: memFree=11759712/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=51564 CPUtime=1122.3 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11320 0 0 0 112228 2 0 0 25 0 1 0 470317917 52801536 10605 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12891 10605 101 5 0 11362 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 51564
[startup+1182.3 s]
/proc/loadavg: 4.12 4.05 3.94 5/194 20682
/proc/meminfo: memFree=11759076/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=51828 CPUtime=1182.3 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11386 0 0 0 118228 2 0 0 25 0 1 0 470317917 53071872 10671 33554432000 4194304 4210924 140733367813440 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 12957 10671 101 5 0 11428 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 51828
[startup+1242.3 s]
/proc/loadavg: 4.04 4.03 3.94 5/194 20684
/proc/meminfo: memFree=11757568/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=52088 CPUtime=1242.3 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11466 0 0 0 124228 2 0 0 25 0 1 0 470317917 53338112 10751 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 13022 10751 101 5 0 11493 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 52088
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.06 4.04 3.94 2/189 20688
/proc/meminfo: memFree=11879104/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=52344 CPUtime=1300 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11514 0 0 0 129998 2 0 0 25 0 1 0 470317917 53600256 10799 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 13086 10799 101 5 0 11557 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 52344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 4.06 4.04 3.94 2/189 20688
/proc/meminfo: memFree=11879104/32951124 swapFree=67111528/67111528
[pid=20650] ppid=20648 vsize=52344 CPUtime=1300 cores=1,3
/proc/20650/stat : 20650 (saturn) R 20648 20650 19592 0 -1 4202496 11514 0 0 0 129998 2 0 0 25 0 1 0 470317917 53600256 10799 33554432000 4194304 4210924 140733367813440 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20650/statm: 13086 10799 101 5 0 11557 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 52344
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.02
CPU user time (s): 1299.99
CPU system time (s): 0.031995
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 52352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.99
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11514
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= 2425
runsolver used 2.10568 second user time and 5.01324 second system time
The end
Begin job on node133 at 2011-04-23 21:33:20
IDJOB=3251414
IDBENCH=88222
IDSOLVER=1583
FILE ID=node133/3251414-1303587200
RUNJOBID= node133-1303587200-20610
PBS_JOBID= 13150348
Free space on /tmp= 71616 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q663-n40-p30-s67876261.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251414-1303587200/watcher-3251414-1303587200 -o /tmp/evaluation-result-3251414-1303587200/solver-3251414-1303587200 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251414-1303587200.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= ed0227339111fb337104188c725538d0
RANDOM SEED=458709154
node133.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.834
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.834
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.834
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.834
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 : 6741.12
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.834
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.74
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.834
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.834
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.834
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: 11877268 kB
Buffers: 2163332 kB
Cached: 18233512 kB
SwapCached: 0 kB
Active: 9036888 kB
Inactive: 11476268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 11877268 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10524 kB
Writeback: 0 kB
AnonPages: 115668 kB
Mapped: 19024 kB
Slab: 498108 kB
PageTables: 5188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 319244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71624 MiB
End job on node133 at 2011-04-23 21:55:02