runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3283167-1307637377/watcher-3283167-1307637377 -o /tmp/evaluation-result-3283167-1307637377/solver-3283167-1307637377 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283167-1307637377.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: 2.08 3.16 3.47 7/182 10622
/proc/meminfo: memFree=32455120/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=37396 CPUtime=0 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 1999 0 0 0 0 0 0 0 18 0 1 0 856153417 38293504 1942 33554432000 4194304 4210924 140735840498384 18446744073709551615 4201563 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 9349 1951 94 5 0 4877 0
[startup+0.040867 s]
/proc/loadavg: 2.08 3.16 3.47 7/182 10622
/proc/meminfo: memFree=32455120/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=83740 CPUtime=0.03 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 7061 0 0 0 2 1 0 0 18 0 1 0 856153417 85749760 7004 33554432000 4194304 4210924 140735840498384 18446744073709551615 4203330 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 20935 7005 323 5 0 16463 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 83740
[startup+0.100836 s]
/proc/loadavg: 2.08 3.16 3.47 7/182 10622
/proc/meminfo: memFree=32455120/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=93244 CPUtime=0.09 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 10769 0 0 0 8 1 0 0 18 0 1 0 856153417 95481856 10712 33554432000 4194304 4210924 140735840498384 18446744073709551615 270338044613 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 23311 10715 696 5 0 18839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93244
[startup+0.300807 s]
/proc/loadavg: 2.08 3.16 3.47 7/182 10622
/proc/meminfo: memFree=32455120/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=122680 CPUtime=0.29 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 22495 0 0 0 26 3 0 0 18 0 1 0 856153417 125624320 22438 33554432000 4194304 4210924 140735840498384 18446744073709551615 270338044613 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 30670 22440 2055 5 0 26198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 122680
[startup+0.700688 s]
/proc/loadavg: 2.08 3.16 3.47 7/182 10622
/proc/meminfo: memFree=32455120/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=130972 CPUtime=0.68 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 31472 0 0 0 64 4 0 0 18 0 1 0 856153417 134115328 28170 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 32743 28170 96 5 0 31214 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 130972
[startup+1.50053 s]
/proc/loadavg: 2.23 3.17 3.47 6/187 10634
/proc/meminfo: memFree=32022844/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=130972 CPUtime=1.48 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 31478 0 0 0 144 4 0 0 20 0 1 0 856153417 134115328 28176 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 32743 28176 96 5 0 31214 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 130972
[startup+3.10022 s]
/proc/loadavg: 2.23 3.17 3.47 6/187 10634
/proc/meminfo: memFree=31728660/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=130972 CPUtime=3.08 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 31483 0 0 0 304 4 0 0 25 0 1 0 856153417 134115328 28181 33554432000 4194304 4210924 140735840498384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 32743 28181 96 5 0 31214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 130972
[startup+6.30062 s]
/proc/loadavg: 2.37 3.18 3.48 5/187 10634
/proc/meminfo: memFree=31528188/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=130972 CPUtime=6.28 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 31495 0 0 0 624 4 0 0 25 0 1 0 856153417 134115328 28193 33554432000 4194304 4210924 140735840498384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 32743 28193 96 5 0 31214 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 130972
[startup+12.7003 s]
/proc/loadavg: 2.50 3.20 3.48 5/187 10634
/proc/meminfo: memFree=31271516/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=130972 CPUtime=12.69 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 31504 0 0 0 1265 4 0 0 25 0 1 0 856153417 134115328 28202 33554432000 4194304 4210924 140735840498384 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 32743 28202 96 5 0 31214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 130972
[startup+25.5008 s]
/proc/loadavg: 2.73 3.22 3.48 6/190 10645
/proc/meminfo: memFree=29430124/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=131500 CPUtime=25.49 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 31625 0 0 0 2545 4 0 0 25 0 1 0 856153417 134656000 28323 33554432000 4194304 4210924 140735840498384 18446744073709551615 4197169 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 32875 28323 103 5 0 31346 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 131500
[startup+51.1007 s]
/proc/loadavg: 3.16 3.28 3.50 6/190 10645
/proc/meminfo: memFree=25208348/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=131764 CPUtime=51.09 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 31700 0 0 0 5105 4 0 0 25 0 1 0 856153417 134926336 28398 33554432000 4194304 4210924 140735840498384 18446744073709551615 4204576 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 32941 28398 103 5 0 31412 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 131764
[startup+102.301 s]
/proc/loadavg: 3.66 3.40 3.52 6/190 10647
/proc/meminfo: memFree=25133100/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=131764 CPUtime=102.29 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 31703 0 0 0 10225 4 0 0 25 0 1 0 856153417 134926336 28401 33554432000 4194304 4210924 140735840498384 18446744073709551615 4207055 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 32941 28401 103 5 0 31412 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 131764
[startup+162.301 s]
/proc/loadavg: 3.87 3.51 3.55 6/190 10648
/proc/meminfo: memFree=25128208/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=134212 CPUtime=162.3 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 32328 0 0 0 16226 4 0 0 25 0 1 0 856153417 137433088 29026 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 33553 29026 103 5 0 32024 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 134212
[startup+222.301 s]
/proc/loadavg: 3.95 3.59 3.57 6/190 10650
/proc/meminfo: memFree=25122728/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=135548 CPUtime=222.29 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 32673 0 0 0 22225 4 0 0 25 0 1 0 856153417 138801152 29371 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 33887 29371 103 5 0 32358 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 135548
[startup+282.307 s]
/proc/loadavg: 4.07 3.70 3.61 6/187 10659
/proc/meminfo: memFree=30548600/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=137308 CPUtime=282.3 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 33142 0 0 0 28226 4 0 0 25 0 1 0 856153417 140603392 29840 33554432000 4194304 4210924 140735840498384 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 34327 29840 103 5 0 32798 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 137308
[startup+342.301 s]
/proc/loadavg: 4.02 3.75 3.63 6/190 10691
/proc/meminfo: memFree=31427740/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=138248 CPUtime=342.27 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 33372 0 0 0 34217 10 0 0 25 0 1 0 856153417 141565952 30070 33554432000 4194304 4210924 140735840498384 18446744073709551615 4201886 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 34562 30070 103 5 0 33033 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 138248
[startup+402.301 s]
/proc/loadavg: 4.07 3.81 3.66 6/190 10693
/proc/meminfo: memFree=31421788/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=139072 CPUtime=402.27 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 33578 0 0 0 40217 10 0 0 25 0 1 0 856153417 142409728 30276 33554432000 4194304 4210924 140735840498384 18446744073709551615 4196998 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 34768 30276 103 5 0 33239 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 139072
[startup+462.301 s]
/proc/loadavg: 4.02 3.84 3.67 5/190 10694
/proc/meminfo: memFree=31418068/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=142148 CPUtime=462.27 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 34347 0 0 0 46217 10 0 0 25 0 1 0 856153417 145559552 31045 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 35537 31045 103 5 0 34008 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 142148
[startup+522.301 s]
/proc/loadavg: 4.01 3.87 3.69 5/190 10696
/proc/meminfo: memFree=31406880/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=143372 CPUtime=522.28 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 34667 0 0 0 52217 11 0 0 25 0 1 0 856153417 146812928 31365 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 35843 31365 103 5 0 34314 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 143372
[startup+582.3 s]
/proc/loadavg: 4.00 3.89 3.71 6/190 10698
/proc/meminfo: memFree=31400352/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=144868 CPUtime=582.29 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 35035 0 0 0 58218 11 0 0 25 0 1 0 856153417 148344832 31733 33554432000 4194304 4210924 140735840498384 18446744073709551615 4207011 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 36217 31733 103 5 0 34688 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 144868
[startup+642.3 s]
/proc/loadavg: 4.00 3.91 3.73 6/190 10699
/proc/meminfo: memFree=31399048/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=145000 CPUtime=642.29 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 35076 0 0 0 64218 11 0 0 25 0 1 0 856153417 148480000 31774 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 36250 31774 103 5 0 34721 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 145000
[startup+702.3 s]
/proc/loadavg: 4.00 3.92 3.74 6/190 10701
/proc/meminfo: memFree=31387440/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=150876 CPUtime=702.28 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 36527 0 0 0 70217 11 0 0 25 0 1 0 856153417 154497024 33225 33554432000 4194304 4210924 140735840498384 18446744073709551615 4205232 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 37719 33225 103 5 0 36190 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 150876
[startup+762.3 s]
/proc/loadavg: 4.00 3.93 3.75 6/190 10702
/proc/meminfo: memFree=31382156/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=150864 CPUtime=762.29 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 36527 0 0 0 76218 11 0 0 25 0 1 0 856153417 154484736 33225 33554432000 4194304 4210924 140735840498384 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 37716 33225 103 5 0 36187 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 150864
[startup+822.301 s]
/proc/loadavg: 4.00 3.94 3.76 6/190 10704
/proc/meminfo: memFree=31378980/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=151684 CPUtime=822.3 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 36736 0 0 0 82219 11 0 0 25 0 1 0 856153417 155324416 33434 33554432000 4194304 4210924 140735840498384 18446744073709551615 4205022 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 37921 33434 103 5 0 36392 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 151684
[startup+882.301 s]
/proc/loadavg: 4.00 3.95 3.77 6/190 10706
/proc/meminfo: memFree=31371588/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=155652 CPUtime=882.29 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 37721 0 0 0 88218 11 0 0 25 0 1 0 856153417 159387648 34419 33554432000 4194304 4210924 140735840498384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 38913 34419 103 5 0 37384 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 155652
[startup+942.307 s]
/proc/loadavg: 4.03 3.97 3.79 6/190 10707
/proc/meminfo: memFree=31363960/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=158512 CPUtime=942.3 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 38444 0 0 0 94219 11 0 0 25 0 1 0 856153417 162316288 35142 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 39628 35142 103 5 0 38099 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 158512
[startup+1002.3 s]
/proc/loadavg: 4.01 3.97 3.80 6/190 10709
/proc/meminfo: memFree=31359900/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=160676 CPUtime=1002.3 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 38992 0 0 0 100219 11 0 0 25 0 1 0 856153417 164532224 35690 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 40169 35690 103 5 0 38640 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 160676
[startup+1062.3 s]
/proc/loadavg: 4.00 3.97 3.81 6/190 10710
/proc/meminfo: memFree=31353508/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=160812 CPUtime=1062.31 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 39022 0 0 0 106219 12 0 0 25 0 1 0 856153417 164671488 35720 33554432000 4194304 4210924 140735840498384 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 40203 35720 103 5 0 38674 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 160812
[startup+1122.3 s]
/proc/loadavg: 4.00 3.97 3.82 6/190 10712
/proc/meminfo: memFree=31350596/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=161608 CPUtime=1122.31 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 39241 0 0 0 112219 12 0 0 25 0 1 0 856153417 165486592 35939 33554432000 4194304 4210924 140735840498384 18446744073709551615 4197169 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 40402 35939 103 5 0 38873 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 161608
[startup+1182.3 s]
/proc/loadavg: 4.00 3.97 3.83 6/190 10714
/proc/meminfo: memFree=31345560/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=163372 CPUtime=1182.31 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 39669 0 0 0 118219 12 0 0 25 0 1 0 856153417 167292928 36367 33554432000 4194304 4210924 140735840498384 18446744073709551615 4207055 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 40843 36367 103 5 0 39314 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 163372
[startup+1242.3 s]
/proc/loadavg: 4.08 3.99 3.84 6/190 10715
/proc/meminfo: memFree=31342636/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=165248 CPUtime=1242.32 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 40144 0 0 0 124220 12 0 0 25 0 1 0 856153417 169213952 36842 33554432000 4194304 4210924 140735840498384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 41312 36842 103 5 0 39783 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 165248
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 3.99 3.84 6/190 10717
/proc/meminfo: memFree=31339344/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=167144 CPUtime=1300.02 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 40628 0 0 0 129990 12 0 0 25 0 1 0 856153417 171155456 37326 33554432000 4194304 4210924 140735840498384 18446744073709551615 4198701 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 41786 37326 103 5 0 40257 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 167144
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.03 3.99 3.84 6/190 10717
/proc/meminfo: memFree=31339344/32951124 swapFree=67055520/67111528
[pid=10620] ppid=10617 vsize=167144 CPUtime=1300.02 cores=4,6
/proc/10620/stat : 10620 (saturn) R 10617 10620 8202 0 -1 4202496 40628 0 0 0 129990 12 0 0 25 0 1 0 856153417 171155456 37326 33554432000 4194304 4210924 140735840498384 18446744073709551615 4198701 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10620/statm: 41786 37326 103 5 0 40257 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 167144
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1300.04
CPU user time (s): 1299.91
CPU system time (s): 0.12998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 167144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.91
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40628
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= 31
involuntary context switches= 2984
runsolver used 2.30165 second user time and 4.82427 second system time
The end
Begin job on node143 at 2011-06-09 18:36:18
IDJOB=3283167
IDBENCH=71003
IDSOLVER=1583
FILE ID=node143/3283167-1307637377
RUNJOBID= node143-1307637377-10586
PBS_JOBID= 13549349
Free space on /tmp= 74096 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283167-1307637377/watcher-3283167-1307637377 -o /tmp/evaluation-result-3283167-1307637377/solver-3283167-1307637377 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283167-1307637377.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= ef1df882c8a642421a1d0216a16bf652
RANDOM SEED=1028839800
node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 32460476 kB
Buffers: 45932 kB
Cached: 261220 kB
SwapCached: 8636 kB
Active: 124464 kB
Inactive: 208660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 32460476 kB
SwapTotal: 67111528 kB
SwapFree: 67055520 kB
Dirty: 80028 kB
Writeback: 0 kB
AnonPages: 24840 kB
Mapped: 12744 kB
Slab: 91948 kB
PageTables: 6016 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 196056 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= 74072 MiB
End job on node143 at 2011-06-09 18:58:00