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-3285651-1303775921/watcher-3285651-1303775921 -o /tmp/evaluation-result-3285651-1303775921/solver-3285651-1303775921 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3285651-1303775921.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: 0.72 1.01 1.88 4/177 21025
/proc/meminfo: memFree=24815236/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=34680 CPUtime=0 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 2755 0 0 0 0 0 0 0 21 0 1 0 489190895 35512320 2697 33554432000 4194304 4210924 140734257306144 18446744073709551615 4201563 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 8670 2704 94 5 0 4205 0
[startup+0.099505 s]
/proc/loadavg: 0.72 1.01 1.88 4/177 21025
/proc/meminfo: memFree=24815236/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=92824 CPUtime=0.09 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 11398 0 0 0 8 1 0 0 21 0 1 0 489190895 95051776 11340 33554432000 4194304 4210924 140734257306144 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 23206 11343 860 5 0 18741 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92824
[startup+0.100509 s]
/proc/loadavg: 0.72 1.01 1.88 4/177 21025
/proc/meminfo: memFree=24815236/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=93088 CPUtime=0.09 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 11476 0 0 0 8 1 0 0 21 0 1 0 489190895 95322112 11418 33554432000 4194304 4210924 140734257306144 18446744073709551615 242970211013 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 23272 11422 868 5 0 18807 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93088
[startup+0.300462 s]
/proc/loadavg: 0.72 1.01 1.88 4/177 21025
/proc/meminfo: memFree=24815236/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=132160 CPUtime=0.29 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 27001 0 0 0 27 2 0 0 22 0 1 0 489190895 135331840 26943 33554432000 4194304 4210924 140734257306144 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 33040 26946 2659 5 0 28575 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 132160
[startup+0.700427 s]
/proc/loadavg: 0.72 1.01 1.88 4/177 21025
/proc/meminfo: memFree=24815236/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=127808 CPUtime=0.69 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 30462 0 0 0 66 3 0 0 24 0 1 0 489190895 130875392 27283 33554432000 4194304 4210924 140734257306144 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 31952 27283 96 5 0 30423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127808
[startup+1.50029 s]
/proc/loadavg: 0.72 1.01 1.88 4/178 21026
/proc/meminfo: memFree=24706196/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=127808 CPUtime=1.49 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 30465 0 0 0 146 3 0 0 25 0 1 0 489190895 130875392 27285 33554432000 4194304 4210924 140734257306144 18446744073709551615 4201054 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 31952 27285 96 5 0 30423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127808
[startup+3.10105 s]
/proc/loadavg: 0.72 1.01 1.88 5/182 21034
/proc/meminfo: memFree=24667804/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=127940 CPUtime=3.09 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 30526 0 0 0 305 4 0 0 25 0 1 0 489190895 131010560 27346 33554432000 4194304 4210924 140734257306144 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 31985 27346 96 5 0 30456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127940
[startup+6.30046 s]
/proc/loadavg: 0.98 1.06 1.89 6/185 21040
/proc/meminfo: memFree=24088060/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=128084 CPUtime=6.29 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 30584 0 0 0 623 6 0 0 25 0 1 0 489190895 131158016 27404 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 32021 27404 97 5 0 30492 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 128084
[startup+12.7005 s]
/proc/loadavg: 1.54 1.17 1.93 5/188 21046
/proc/meminfo: memFree=22854668/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=128360 CPUtime=12.69 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 30643 0 0 0 1261 8 0 0 25 0 1 0 489190895 131440640 27463 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 32090 27463 97 5 0 30561 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 128360
[startup+25.5004 s]
/proc/loadavg: 2.90 1.49 2.02 5/188 21046
/proc/meminfo: memFree=22570276/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=128360 CPUtime=25.49 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 30643 0 0 0 2538 11 0 0 25 0 1 0 489190895 131440640 27463 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 32090 27463 97 5 0 30561 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128360
[startup+51.1002 s]
/proc/loadavg: 4.16 1.90 2.14 6/188 21047
/proc/meminfo: memFree=22569484/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=130340 CPUtime=51.08 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 31233 0 0 0 5090 18 0 0 25 0 1 0 489190895 133468160 28012 33554432000 4194304 4210924 140734257306144 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 32585 28012 103 5 0 31056 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 130340
[startup+102.307 s]
/proc/loadavg: 5.10 2.56 2.35 5/188 21048
/proc/meminfo: memFree=22562644/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=133740 CPUtime=102.28 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 32132 0 0 0 10203 25 0 0 25 0 1 0 489190895 136949760 28896 33554432000 4194304 4210924 140734257306144 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 33435 28896 104 5 0 31906 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 133740
[startup+162.3 s]
/proc/loadavg: 4.46 2.84 2.46 5/188 21059
/proc/meminfo: memFree=22560920/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=133740 CPUtime=162.27 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 32132 0 0 0 16202 25 0 0 25 0 1 0 489190895 136949760 28896 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 33435 28896 104 5 0 31906 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 133740
[startup+222.3 s]
/proc/loadavg: 4.17 3.05 2.55 5/188 21061
/proc/meminfo: memFree=22555900/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=133740 CPUtime=222.26 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 32136 0 0 0 22201 25 0 0 25 0 1 0 489190895 136949760 28898 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 33435 28898 104 5 0 31906 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 133740
[startup+282.301 s]
/proc/loadavg: 4.06 3.22 2.64 5/188 21062
/proc/meminfo: memFree=22554304/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=133740 CPUtime=282.25 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 32138 0 0 0 28200 25 0 0 25 0 1 0 489190895 136949760 28899 33554432000 4194304 4210924 140734257306144 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 33435 28899 104 5 0 31906 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 133740
[startup+342.301 s]
/proc/loadavg: 4.02 3.36 2.72 5/188 21064
/proc/meminfo: memFree=22553448/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=133740 CPUtime=342.24 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 32138 0 0 0 34199 25 0 0 25 0 1 0 489190895 136949760 28899 33554432000 4194304 4210924 140734257306144 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 33435 28899 104 5 0 31906 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 133740
[startup+402.301 s]
/proc/loadavg: 4.01 3.47 2.80 5/188 21065
/proc/meminfo: memFree=22548976/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=136644 CPUtime=402.24 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 32859 0 0 0 40198 26 0 0 25 0 1 0 489190895 139923456 29614 33554432000 4194304 4210924 140734257306144 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 34161 29614 104 5 0 32632 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 136644
[startup+462.301 s]
/proc/loadavg: 4.08 3.58 2.88 5/188 21070
/proc/meminfo: memFree=22542648/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=140268 CPUtime=462.23 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 33789 0 0 0 46197 26 0 0 25 0 1 0 489190895 143634432 30539 33554432000 4194304 4210924 140734257306144 18446744073709551615 4201104 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 35067 30539 104 5 0 33538 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 140268
[startup+522.301 s]
/proc/loadavg: 4.09 3.67 2.95 5/188 21072
/proc/meminfo: memFree=22535660/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=144184 CPUtime=522.23 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 34764 0 0 0 52196 27 0 0 25 0 1 0 489190895 147644416 31514 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 36046 31514 104 5 0 34517 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 144184
[startup+582.3 s]
/proc/loadavg: 4.03 3.73 3.01 5/188 21073
/proc/meminfo: memFree=22524912/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=152052 CPUtime=582.22 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 36729 0 0 0 58195 27 0 0 25 0 1 0 489190895 155701248 33479 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198790 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 38013 33479 104 5 0 36484 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 152052
[startup+642.3 s]
/proc/loadavg: 4.01 3.77 3.07 5/188 21075
/proc/meminfo: memFree=22519120/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=152052 CPUtime=642.21 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 36730 0 0 0 64194 27 0 0 25 0 1 0 489190895 155701248 33480 33554432000 4194304 4210924 140734257306144 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 38013 33480 104 5 0 36484 0
Current children cumulated CPU time (s) 642.21
Current children cumulated vsize (KiB) 152052
[startup+702.301 s]
/proc/loadavg: 4.00 3.81 3.13 5/188 21076
/proc/meminfo: memFree=22515564/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=152052 CPUtime=702.2 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 36730 0 0 0 70193 27 0 0 25 0 1 0 489190895 155701248 33480 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 38013 33480 104 5 0 36484 0
Current children cumulated CPU time (s) 702.2
Current children cumulated vsize (KiB) 152052
[startup+762.307 s]
/proc/loadavg: 4.08 3.86 3.18 5/188 21078
/proc/meminfo: memFree=22504000/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=158672 CPUtime=762.21 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 38390 0 0 0 76193 28 0 0 25 0 1 0 489190895 162480128 35140 33554432000 4194304 4210924 140734257306144 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 39668 35140 104 5 0 38139 0
Current children cumulated CPU time (s) 762.21
Current children cumulated vsize (KiB) 158672
[startup+822.301 s]
/proc/loadavg: 4.03 3.88 3.23 5/188 21080
/proc/meminfo: memFree=22498612/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=162352 CPUtime=822.19 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 39290 0 0 0 82191 28 0 0 25 0 1 0 489190895 166248448 36040 33554432000 4194304 4210924 140734257306144 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 40588 36040 104 5 0 39059 0
Current children cumulated CPU time (s) 822.19
Current children cumulated vsize (KiB) 162352
[startup+882.301 s]
/proc/loadavg: 4.01 3.90 3.28 5/188 21081
/proc/meminfo: memFree=22494124/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=164720 CPUtime=882.18 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 39899 0 0 0 88190 28 0 0 25 0 1 0 489190895 168673280 36649 33554432000 4194304 4210924 140734257306144 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 41180 36649 104 5 0 39651 0
Current children cumulated CPU time (s) 882.18
Current children cumulated vsize (KiB) 164720
[startup+942.301 s]
/proc/loadavg: 4.00 3.92 3.32 5/188 21083
/proc/meminfo: memFree=22493240/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=164720 CPUtime=942.18 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 39899 0 0 0 94190 28 0 0 25 0 1 0 489190895 168673280 36649 33554432000 4194304 4210924 140734257306144 18446744073709551615 4199444 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 41180 36649 104 5 0 39651 0
Current children cumulated CPU time (s) 942.18
Current children cumulated vsize (KiB) 164720
[startup+1002.3 s]
/proc/loadavg: 4.00 3.93 3.36 5/188 21084
/proc/meminfo: memFree=22487276/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=167376 CPUtime=1002.18 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 40551 0 0 0 100190 28 0 0 25 0 1 0 489190895 171393024 37301 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 41844 37301 104 5 0 40315 0
Current children cumulated CPU time (s) 1002.18
Current children cumulated vsize (KiB) 167376
[startup+1062.3 s]
/proc/loadavg: 4.00 3.94 3.40 5/188 21086
/proc/meminfo: memFree=22483772/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=168324 CPUtime=1062.17 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 40797 0 0 0 106189 28 0 0 25 0 1 0 489190895 172363776 37547 33554432000 4194304 4210924 140734257306144 18446744073709551615 4205086 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 42081 37547 104 5 0 40552 0
Current children cumulated CPU time (s) 1062.17
Current children cumulated vsize (KiB) 168324
[startup+1122.3 s]
/proc/loadavg: 4.04 3.96 3.44 5/188 21088
/proc/meminfo: memFree=22477200/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=171724 CPUtime=1122.15 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 41650 0 0 0 112187 28 0 0 25 0 1 0 489190895 175845376 38400 33554432000 4194304 4210924 140734257306144 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 42931 38400 104 5 0 41402 0
Current children cumulated CPU time (s) 1122.15
Current children cumulated vsize (KiB) 171724
[startup+1182.3 s]
/proc/loadavg: 4.01 3.97 3.47 5/188 21089
/proc/meminfo: memFree=22470036/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=175144 CPUtime=1182.16 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 42503 0 0 0 118187 29 0 0 25 0 1 0 489190895 179347456 39253 33554432000 4194304 4210924 140734257306144 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 43786 39253 104 5 0 42257 0
Current children cumulated CPU time (s) 1182.16
Current children cumulated vsize (KiB) 175144
[startup+1242.3 s]
/proc/loadavg: 4.00 3.97 3.50 5/188 21091
/proc/meminfo: memFree=22467948/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=175144 CPUtime=1242.15 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 42518 0 0 0 124186 29 0 0 25 0 1 0 489190895 179347456 39268 33554432000 4194304 4210924 140734257306144 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 43786 39268 104 5 0 42257 0
Current children cumulated CPU time (s) 1242.15
Current children cumulated vsize (KiB) 175144
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.53 4/186 21093
/proc/meminfo: memFree=22601996/32951132 swapFree=67111364/67111528
[pid=21025] ppid=21023 vsize=176228 CPUtime=1299.85 cores=4,6
/proc/21025/stat : 21025 (saturn) R 21023 21025 20197 0 -1 4202496 42775 0 0 0 129956 29 0 0 25 0 1 0 489190895 180457472 39525 33554432000 4194304 4210924 140734257306144 18446744073709551615 4200784 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21025/statm: 44057 39525 104 5 0 42528 0
Current children cumulated CPU time (s) 1299.85
Current children cumulated vsize (KiB) 176228
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): 1299.86
CPU user time (s): 1299.56
CPU system time (s): 0.300954
CPU usage (%): 99.9884
Max. virtual memory (cumulated for all children) (KiB): 176228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.56
system time used= 0.300954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42775
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= 16927
runsolver used 2.30165 second user time and 4.83026 second system time
The end
Begin job on node128 at 2011-04-26 01:58:42
IDJOB=3285651
IDBENCH=82392
IDSOLVER=1583
FILE ID=node128/3285651-1303775921
RUNJOBID= node128-1303775920-21004
PBS_JOBID= 13157180
Free space on /tmp= 66780 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285651-1303775921/watcher-3285651-1303775921 -o /tmp/evaluation-result-3285651-1303775921/solver-3285651-1303775921 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3285651-1303775921.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 28233bedeee44da6e79e63b9febc4d1e
RANDOM SEED=1348718942
node128.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.852
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.70
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.852
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.852
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.852
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.852
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.82
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.852
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.852
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.82
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.852
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 : 5434.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 24815508 kB
Buffers: 1288168 kB
Cached: 6085312 kB
SwapCached: 160 kB
Active: 708228 kB
Inactive: 6808708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 24815508 kB
SwapTotal: 67111528 kB
SwapFree: 67111364 kB
Dirty: 19720 kB
Writeback: 0 kB
AnonPages: 142888 kB
Mapped: 15192 kB
Slab: 554084 kB
PageTables: 5020 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 299796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node128 at 2011-04-26 02:20:24