0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3281333-1307644572.cnf'
0.00/0.00 c -- header says num vars: 306095
0.00/0.00 c -- header says num clauses: 6069108
1.69/1.73 c -- clauses added: 0 learnts, 6069108 normals, 0 xors
1.69/1.73 c -- vars added 306095
1.69/1.73 c Parsing time: 1.62 s
1.69/1.73 c N st 0 0 306095 323996 5745111 0 17675753 0 no data no data --
2.09/2.13 c asymm cl-useful: 68/76/323988 lits-rem:1368 time: 0.37
8.69/8.79 c Flit: 78 Blit: 77882 bXBeca: 0 bXProp: 23 Bins: 0 BRemL: 0 BRemN: 0 P: 200.4M T: 6.47
9.29/9.37 c Cleaning up after failed var search: 0.58 s
9.69/9.79 c Replacing 23 vars Replaced 212813 lits Time: 0.41 s
10.69/10.75 c bin-w-bin subsume rem 1310 bins time: 0.51 s
13.39/13.43 c subs with bin: 8338 lits-rem: 58925 v-fix: 0 time: 2.68 s
18.39/18.46 c Subs w/ non-existent bins: 85 l-rem: 1372 v-fix: 350 done: 33635 time: 5.02 s
18.70/18.73 c Removed useless bin: 925 fixed: 0 props: 20.01M time: 0.26 s
33.19/33.26 c lits-rem: 14979 cl-subs: 26327 v-elim: 63577 v-fix: 0 time: 14.51 s
33.89/33.95 c Finding binary XORs T: 0.68 s found: 180
34.09/34.17 c Replacing 180 vars Replaced 47619 lits Time: 0.22 s
35.19/35.28 c Finding non-binary XORs: 0.85 s (found: 0, avg size: nan)
35.19/35.28 c calculated reachability. Time: 0.18
35.29/35.36 c Calc default polars - time: 0.08 s pos: 23429 undec: 144839 neg: 137827
35.29/35.36 c =========================================================================================
35.29/35.36 c types(t): F = full restart, N = normal restart
35.29/35.36 c types(t): S = simplification begin/end, E = solution found
35.29/35.36 c restart types(rt): st = static, dy = dynamic
35.29/35.36 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
35.29/35.36 c B st 0 0 161380 337615 3159570 0 11090745 0 no data no data --
38.69/38.75 c N dy 16 4363 161376 337615 3159851 3951 11090685 188509 14.88 15.87 --
42.39/42.42 c N dy 39 8622 161372 337615 3160200 7737 11090678 346042 14.59 15.58 --
46.10/46.14 c N dy 62 15331 161370 337615 3160451 14043 11090675 649760 13.86 14.95 --
50.69/50.72 c N dy 83 19426 157986 325380 3097595 17430 10820436 814638 13.83 19.94 --
56.99/57.04 c N dy 115 23516 157985 325380 3098036 12065 10820410 404358 14.44 17.39 --
59.39/59.45 c F st 127 25000 157985 325380 3098182 13375 10820409 453203 14.60 no data --
59.99/60.04 c Found part 474 vars: 157979 clauses: 3421337 lits size: 10819123
59.99/60.04 c Found part 475 vars: 2 clauses: 1 lits size: 2
59.99/60.04 c Found part 476 vars: 2 clauses: 1 lits size: 2
59.99/60.04 c Found part 477 vars: 2 clauses: 1 lits size: 2
59.99/60.05 c Found parts: 4 time: 0.59 s
59.99/60.05 c Solving part 475
60.19/60.23 c N st 0 0 2 0 1 0 2 0 no data no data --
60.19/60.23 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
60.19/60.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
60.19/60.26 c Finding binary XORs T: 0.02 s found: 0
60.19/60.26 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
60.19/60.26 c calculated reachability. Time: 0.00
60.19/60.26 c Calc default polars - time: 0.00 s pos: 0 undec: 306093 neg: 2
60.19/60.26 c =========================================================================================
60.19/60.26 c types(t): F = full restart, N = normal restart
60.19/60.26 c types(t): S = simplification begin/end, E = solution found
60.19/60.26 c restart types(rt): st = static, dy = dynamic
60.19/60.26 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
60.19/60.26 c B st 0 0 2 0 1 0 2 0 no data no data --
60.19/60.26 c E st 1 0 0 0 1 0 2 0 no data no data --
60.19/60.27 c Verified 0 clauses.
60.19/60.27 c Verified 0 clauses.
60.19/60.27 c Solved part
60.19/60.27 c =========================================================================================
60.19/60.28 c Solving part 476
60.40/60.46 c N st 0 0 2 0 1 0 2 0 no data no data --
60.40/60.46 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
60.40/60.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
60.40/60.49 c Finding binary XORs T: 0.02 s found: 0
60.40/60.49 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
60.40/60.49 c calculated reachability. Time: 0.00
60.40/60.49 c Calc default polars - time: 0.00 s pos: 0 undec: 306093 neg: 2
60.40/60.49 c =========================================================================================
60.40/60.49 c types(t): F = full restart, N = normal restart
60.40/60.49 c types(t): S = simplification begin/end, E = solution found
60.40/60.49 c restart types(rt): st = static, dy = dynamic
60.40/60.49 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
60.40/60.49 c B st 0 0 2 0 1 0 2 0 no data no data --
60.40/60.49 c E st 1 0 0 0 1 0 2 0 no data no data --
60.40/60.50 c Verified 0 clauses.
60.40/60.50 c Verified 0 clauses.
60.40/60.50 c Solved part
60.40/60.50 c =========================================================================================
60.50/60.51 c Solving part 477
60.59/60.69 c N st 0 0 2 0 1 0 2 0 no data no data --
60.59/60.69 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
60.59/60.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
60.69/60.71 c Finding binary XORs T: 0.02 s found: 0
60.69/60.71 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
60.69/60.71 c calculated reachability. Time: 0.00
60.69/60.72 c Calc default polars - time: 0.00 s pos: 0 undec: 306093 neg: 2
60.69/60.72 c =========================================================================================
60.69/60.72 c types(t): F = full restart, N = normal restart
60.69/60.72 c types(t): S = simplification begin/end, E = solution found
60.69/60.72 c restart types(rt): st = static, dy = dynamic
60.69/60.72 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
60.69/60.72 c B st 0 0 2 0 1 0 2 0 no data no data --
60.69/60.72 c E st 1 0 0 0 1 0 2 0 no data no data --
60.69/60.73 c Verified 0 clauses.
60.69/60.73 c Verified 0 clauses.
60.69/60.73 c Solved part
60.69/60.73 c =========================================================================================
60.69/60.73 c Coming back to original instance
60.69/60.73 c =========================================================================================
64.69/64.76 c N st 132 28294 157979 325346 3097954 16480 10819123 614997 14.60 no data --
66.89/66.97 c S st 133 30000 157979 325346 3098131 17956 10819118 651864 14.60 no data --
68.10/68.14 c S st 133 30500 157967 325346 3098277 18296 10819118 654271 14.60 no data --
68.20/68.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
68.20/68.27 c Cache BProp: 145 Set: 139 BXProp: 2 T: 0.00
344.69/344.77 c Flit: 859 Blit: 5964 bXBeca: 0 bXProp: 108 Bins: 25931 BRemL: 67 BRemN: 5725 P: 200.2M T: 276.41
344.89/344.90 c Cleaning up after failed var search: 0.13 s
345.09/345.17 c Replacing 110 vars Replaced 177648 lits Time: 0.25 s
345.80/345.82 c bin-w-bin subsume rem 10886 bins time: 0.35 s
347.20/347.29 c subs with bin: 5416 lits-rem: 110807 v-fix: 0 time: 1.47 s
349.80/349.88 c Subs w/ non-existent bins: 1538 l-rem: 5563 v-fix: 33 done: 57064 time: 2.57 s
350.10/350.15 c Removed useless bin: 1106 fixed: 0 props: 20.01M time: 0.23 s
355.60/355.60 c lits-rem: 16781 cl-subs: 17072 v-elim: 20191 v-fix: 1 time: 5.45 s
355.99/356.02 c asymm cl-useful: 194/774/262758 lits-rem:8192 time: 0.40
356.50/356.52 c calculated reachability. Time: 0.43
356.50/356.52 c N dy 133 30500 124252 262757 2616185 11027 9003722 401047 14.60 no data --
358.10/358.10 c Finding binary XORs T: 1.58 s found: 776
360.50/360.55 c N dy 151 34547 124251 262757 2616420 14742 9003692 555364 14.50 15.39 --
363.69/363.70 c N dy 177 38605 124250 262757 2616715 18428 9003684 715043 14.52 15.58 --
367.19/367.26 c N dy 190 42713 124249 262757 2617102 22024 9003669 858774 14.21 15.19 --
369.90/369.93 c S st 211 45750 124248 262757 2617400 12460 9003669 246367 14.32 no data --
370.80/370.84 c S st 211 46250 124218 262757 2617554 12789 9003669 251684 14.32 no data --
370.90/370.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
370.90/370.96 c Cache BProp: 79 Set: 38 BXProp: 11 T: 0.01
773.71/773.71 c Flit: 1253 Blit: 536 bXBeca: 0 bXProp: 83 Bins: 87409 BRemL: 652 BRemN: 1145 P: 200.0M T: 402.61
773.81/773.80 c Cleaning up after failed var search: 0.09 s
774.11/774.10 c Replacing 870 vars Replaced 139465 lits Time: 0.29 s
774.61/774.67 c bin-w-bin subsume rem 10067 bins time: 0.33 s
776.01/776.05 c subs with bin: 4899 lits-rem: 114252 v-fix: 0 time: 1.38 s
779.71/779.74 c Subs w/ non-existent bins: 2069 l-rem: 9116 v-fix: 3 done: 25739 time: 3.68 s
780.01/780.02 c Removed useless bin: 30829 fixed: 10 props: 20.01M time: 0.26 s
783.91/783.93 c lits-rem: 15601 cl-subs: 12394 v-elim: 5244 v-fix: 0 time: 3.90 s
784.81/784.89 c vivif2 -- cl tried 91308 cl shrink 4645 lits rem 4723 time: 0.93
785.21/785.25 c vivif2 -- cl tried 11564 cl shrink 2298 lits rem 18103 time: 0.36
785.61/785.63 c asymm cl-useful: 154/674/234659 lits-rem:2470 time: 0.39
786.41/786.41 c calculated reachability. Time: 0.72
786.41/786.42 c N dy 211 46250 113856 234659 2480296 11512 8250410 351459 14.32 no data --
789.01/789.01 c Finding binary XORs T: 2.59 s found: 101
792.01/792.09 c N dy 234 50337 113855 234659 2480609 15212 8250406 499721 14.28 24.23 --
794.61/794.65 c N dy 249 54347 113855 234659 2480852 18873 8250401 673418 14.17 15.13 --
797.01/797.06 c N dy 255 58585 113853 234659 2481085 22711 8250397 858336 13.79 14.73 --
800.61/800.61 c N dy 276 65188 113851 234659 2481377 28746 8250397 1088691 13.47 14.24 --
806.01/806.04 c N dy 314 69375 112894 234659 2481785 16681 8250394 413033 13.78 no data --
806.01/806.04 c S st 314 69375 112894 234659 2481785 16681 8250394 413033 13.78 no data --
806.81/806.82 c S st 314 69875 112786 234659 2481939 17017 8250394 416426 13.78 no data --
806.91/806.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
806.91/806.94 c Cache BProp: 783 Set: 714 BXProp: 18 T: 0.02
1020.61/1020.64 c Flit: 551 Blit: 1261 bXBeca: 0 bXProp: 36 Bins: 17697 BRemL: 701 BRemN: 345 P: 200.0M T: 213.64
1020.72/1020.75 c Cleaning up after failed var search: 0.11 s
1020.91/1020.94 c Replacing 158 vars Replaced 64867 lits Time: 0.18 s
1021.41/1021.46 c bin-w-bin subsume rem 6838 bins time: 0.30 s
1022.81/1022.84 c subs with bin: 4069 lits-rem: 31739 v-fix: 0 time: 1.37 s
1025.32/1025.34 c Subs w/ non-existent bins: 2410 l-rem: 8921 v-fix: 5 done: 40234 time: 2.49 s
1025.52/1025.59 c Removed useless bin: 5312 fixed: 0 props: 20.00M time: 0.25 s
1029.12/1029.11 c lits-rem: 7420 cl-subs: 7893 v-elim: 5269 v-fix: 0 time: 3.51 s
1030.02/1030.04 c vivif2 -- cl tried 114772 cl shrink 7092 lits rem 8481 time: 0.92
1030.22/1030.25 c vivif2 -- cl tried 11810 cl shrink 1652 lits rem 5360 time: 0.21
1030.62/1030.64 c asymm cl-useful: 312/1094/213633 lits-rem:2036 time: 0.39
1031.32/1031.39 c calculated reachability. Time: 0.70
1031.32/1031.39 c N dy 314 69875 102907 213633 2265151 11752 7543340 280554 13.78 no data --
1037.71/1037.74 c Finding binary XORs T: 2.90 s found: 157
1039.72/1039.80 c N dy 353 74390 102902 213631 2265562 15654 7542864 442904 14.11 20.57 --
1044.31/1044.34 c N dy 396 79152 102902 213631 2266002 19913 7542839 644105 14.51 24.34 --
1049.43/1049.46 c N dy 439 84279 102902 213631 2266482 24495 7542810 863033 14.93 22.17 --
1052.92/1052.93 c F st 471 87500 102902 213631 2266734 27422 7542801 1014815 15.25 no data --
1053.02/1053.05 c Replacing 157 vars Replaced 5670 lits Time: 0.12 s
1055.42/1055.49 c N st 476 90798 102745 213629 2266719 30550 7542499 1220472 15.25 no data --
1060.62/1060.65 c N dy 514 96686 102745 213629 2267044 19854 7542498 469142 15.57 25.80 --
1066.82/1066.85 c N dy 569 102889 102745 213629 2267435 25601 7542487 758125 16.06 17.17 --
1068.72/1068.79 c S st 588 104812 102745 213629 2267599 27338 7542487 856444 16.25 no data --
1069.62/1069.60 c S st 588 105312 102743 213629 2267748 27687 7542487 859845 16.25 no data --
1069.62/1069.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
1069.72/1069.72 c Cache BProp: 273 Set: 171 BXProp: 2 T: 0.03
1155.62/1155.63 c Flit: 434 Blit: 83 bXBeca: 0 bXProp: 41 Bins: 29908 BRemL: 372 BRemN: 348 P: 200.1M T: 85.83
1155.62/1155.63 c Cleaning up after failed var search: 0.00 s
1155.82/1155.84 c Replacing 43 vars Replaced 29060 lits Time: 0.20 s
1156.32/1156.37 c bin-w-bin subsume rem 2838 bins time: 0.29 s
1157.73/1157.75 c subs with bin: 2211 lits-rem: 31458 v-fix: 0 time: 1.38 s
1161.12/1161.13 c Subs w/ non-existent bins: 3096 l-rem: 6309 v-fix: 27 done: 39867 time: 3.37 s
1161.42/1161.44 c Removed useless bin: 11746 fixed: 0 props: 20.02M time: 0.30 s
1164.42/1164.44 c lits-rem: 6615 cl-subs: 3210 v-elim: 2914 v-fix: 5 time: 3.00 s
1166.82/1166.85 c vivif2 -- cl tried 210791 cl shrink 44144 lits rem 203370 time: 2.39
1167.42/1167.46 c vivif2 -- cl tried 26515 cl shrink 4113 lits rem 16771 time: 0.60
1167.82/1167.83 c asymm cl-useful: 20/1059/209091 lits-rem:31 time: 0.37
1168.62/1168.69 c calculated reachability. Time: 0.81
1168.62/1168.69 c N dy 588 105312 99005 209091 2231579 26497 7109341 854398 16.25 no data --
1172.12/1172.11 c Finding binary XORs T: 3.36 s found: 92
1177.92/1177.93 c N dy 642 112060 99004 209091 2231951 32675 7109088 1134554 16.40 18.69 --
1184.02/1184.02 c N dy 695 119227 99003 209091 2232389 20216 7109075 392867 16.57 19.57 --
1190.12/1190.17 c N dy 754 126957 99003 209091 2232889 27339 7109041 713697 16.68 18.27 --
1196.02/1196.04 c N dy 806 135097 99003 209091 2233374 34834 7109008 1048399 16.66 17.80 --
1202.62/1202.62 c N dy 860 143756 99003 209091 2233842 21804 7109003 401049 16.68 17.92 --
1210.42/1210.41 c N dy 911 157060 99003 209091 2234302 34237 7108973 946781 16.50 17.39 --
1211.13/1211.18 c S st 918 157968 99003 209091 2234352 35079 7108973 980461 16.50 8.68 --
1211.92/1211.97 c S st 918 158470 98995 209091 2234472 35448 7108973 985237 16.50 no data --
1212.02/1212.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
1212.02/1212.10 c Cache BProp: 136 Set: 27 BXProp: 10 T: 0.03
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-3281333-1307644572/watcher-3281333-1307644572 -o /tmp/evaluation-result-3281333-1307644572/solver-3281333-1307644572 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3281333-1307644572.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.24 1.47 2.48 4/189 24856
/proc/meminfo: memFree=31245336/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=30508 CPUtime=0 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 919 0 0 0 0 0 0 0 18 0 1 0 856873896 31240192 859 33554432000 4194304 4650387 140734319468672 18446744073709551615 4316261 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 7627 859 328 112 0 2592 0
[startup+0.0647219 s]
/proc/loadavg: 1.24 1.47 2.48 4/189 24856
/proc/meminfo: memFree=31245336/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=40636 CPUtime=0.05 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 3835 0 0 0 5 0 0 0 18 0 1 0 856873896 41611264 3263 33554432000 4194304 4650387 140734319468672 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 10159 3264 329 112 0 5124 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 40636
[startup+0.100719 s]
/proc/loadavg: 1.24 1.47 2.48 4/189 24856
/proc/meminfo: memFree=31245336/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=44912 CPUtime=0.09 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 5188 0 0 0 9 0 0 0 18 0 1 0 856873896 45989888 4600 33554432000 4194304 4650387 140734319468672 18446744073709551615 212039320440 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 11228 4600 329 112 0 6193 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44912
[startup+0.300677 s]
/proc/loadavg: 1.24 1.47 2.48 4/189 24856
/proc/meminfo: memFree=31245336/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=76916 CPUtime=0.29 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 13868 0 0 0 27 2 0 0 18 0 1 0 856873896 78761984 11660 33554432000 4194304 4650387 140734319468672 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 19229 11660 329 112 0 14194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76916
[startup+0.700613 s]
/proc/loadavg: 1.24 1.47 2.48 4/189 24856
/proc/meminfo: memFree=31245336/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=164288 CPUtime=0.68 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 29671 0 0 0 64 4 0 0 18 0 1 0 856873896 168230912 25280 33554432000 4194304 4650387 140734319468672 18446744073709551615 4545851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 41072 25280 329 112 0 36037 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 164288
[startup+1.50048 s]
/proc/loadavg: 1.24 1.47 2.48 6/190 24857
/proc/meminfo: memFree=31063940/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=262004 CPUtime=1.49 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 58356 0 0 0 139 10 0 0 20 0 1 0 856873896 268292096 49599 33554432000 4194304 4650387 140734319468672 18446744073709551615 212039316165 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 65501 49600 329 112 0 60466 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 262004
[startup+3.10021 s]
/proc/loadavg: 1.24 1.47 2.48 6/190 24857
/proc/meminfo: memFree=30926816/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=359708 CPUtime=3.09 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 89323 0 0 0 295 14 0 0 25 0 1 0 856873896 368340992 73511 33554432000 4194304 4650387 140734319468672 18446744073709551615 4302784 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 89927 73511 353 112 0 84892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 359708
[startup+6.30062 s]
/proc/loadavg: 1.46 1.52 2.49 6/190 24857
/proc/meminfo: memFree=30680228/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=543912 CPUtime=6.29 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 129005 0 0 0 611 18 0 0 25 0 1 0 856873896 556965888 113193 33554432000 4194304 4650387 140734319468672 18446744073709551615 4241552 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 135978 113204 353 112 0 130943 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 543912
[startup+12.7005 s]
/proc/loadavg: 1.66 1.56 2.49 6/190 24857
/proc/meminfo: memFree=30297600/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=783432 CPUtime=12.69 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 180798 0 0 0 1244 25 0 0 25 0 1 0 856873896 802234368 164986 33554432000 4194304 4650387 140734319468672 18446744073709551615 4420235 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 195858 164986 364 112 0 190823 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 783432
[startup+25.5002 s]
/proc/loadavg: 2.18 1.68 2.52 6/190 24857
/proc/meminfo: memFree=30183404/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=835856 CPUtime=25.49 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 195010 0 0 0 2522 27 0 0 25 0 1 0 856873896 855916544 179198 33554432000 4194304 4650387 140734319468672 18446744073709551615 4433049 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 208964 179198 370 112 0 203929 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 835856
[startup+51.1007 s]
/proc/loadavg: 2.92 1.89 2.57 6/190 24858
/proc/meminfo: memFree=30070888/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=943672 CPUtime=51.09 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 208264 0 0 0 5080 29 0 0 25 0 1 0 856873896 966320128 192452 33554432000 4194304 4650387 140734319468672 18446744073709551615 4364463 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 235918 192452 379 112 0 230883 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 943672
[startup+102.307 s]
/proc/loadavg: 3.53 2.21 2.64 6/190 24859
/proc/meminfo: memFree=29906912/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=955364 CPUtime=102.3 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 274879 0 0 0 10193 37 0 0 25 0 1 0 856873896 978292736 208071 33554432000 4194304 4650387 140734319468672 18446744073709551615 4236868 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 238841 208071 384 112 0 233806 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 955364
[startup+162.301 s]
/proc/loadavg: 3.82 2.54 2.72 6/190 24861
/proc/meminfo: memFree=29864168/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=955364 CPUtime=162.29 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 274879 0 0 0 16192 37 0 0 25 0 1 0 856873896 978292736 208071 33554432000 4194304 4650387 140734319468672 18446744073709551615 4231022 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 238841 208071 384 112 0 233806 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 955364
[startup+222.301 s]
/proc/loadavg: 3.93 2.80 2.80 6/190 24862
/proc/meminfo: memFree=29803400/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=974664 CPUtime=222.3 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 279675 0 0 0 22192 38 0 0 25 0 1 0 856873896 998055936 212867 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230706 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 243666 212867 384 112 0 238631 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 974664
[startup+282.3 s]
/proc/loadavg: 3.97 3.02 2.87 6/190 24864
/proc/meminfo: memFree=29722464/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=991876 CPUtime=282.3 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 283978 0 0 0 28192 38 0 0 25 0 1 0 856873896 1015681024 217170 33554432000 4194304 4650387 140734319468672 18446744073709551615 4231007 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 247969 217170 384 112 0 242934 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 991876
[startup+342.301 s]
/proc/loadavg: 3.99 3.19 2.94 6/190 24866
/proc/meminfo: memFree=29457296/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=1271684 CPUtime=342.3 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 341157 0 0 0 34184 46 0 0 25 0 1 0 856873896 1302204416 274349 33554432000 4194304 4650387 140734319468672 18446744073709551615 4369828 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 317921 274349 384 112 0 312886 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1271684
[startup+402.301 s]
/proc/loadavg: 3.99 3.34 3.00 6/190 24867
/proc/meminfo: memFree=29333232/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=1418232 CPUtime=402.3 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 379154 0 0 0 40180 50 0 0 25 0 1 0 856873896 1452269568 305090 33554432000 4194304 4650387 140734319468672 18446744073709551615 4236872 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 354558 305090 384 112 0 349523 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1418232
[startup+462.3 s]
/proc/loadavg: 4.06 3.47 3.07 6/190 24869
/proc/meminfo: memFree=29316364/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=1427856 CPUtime=462.3 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 381560 0 0 0 46180 50 0 0 25 0 1 0 856873896 1462124544 307496 33554432000 4194304 4650387 140734319468672 18446744073709551615 4236879 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 356964 307496 384 112 0 351929 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1427856
[startup+522.301 s]
/proc/loadavg: 4.02 3.56 3.12 6/190 24870
/proc/meminfo: memFree=29254048/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=1436668 CPUtime=522.31 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 383792 0 0 0 52179 52 0 0 25 0 1 0 856873896 1471148032 309728 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230671 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 359167 309728 384 112 0 354132 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1436668
[startup+582.301 s]
/proc/loadavg: 4.01 3.64 3.17 6/190 24872
/proc/meminfo: memFree=29236552/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=1464696 CPUtime=582.3 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 390774 0 0 0 58178 52 0 0 25 0 1 0 856873896 1499848704 316710 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230795 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 366174 316710 384 112 0 361139 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1464696
[startup+642.301 s]
/proc/loadavg: 4.07 3.73 3.23 6/190 24874
/proc/meminfo: memFree=29178300/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=1478136 CPUtime=642.31 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 394134 0 0 0 64179 52 0 0 25 0 1 0 856873896 1513611264 320070 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230546 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 369534 320070 384 112 0 364499 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1478136
[startup+702.3 s]
/proc/loadavg: 4.02 3.78 3.28 6/190 24875
/proc/meminfo: memFree=29174856/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=1485588 CPUtime=702.31 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 396022 0 0 0 70178 53 0 0 25 0 1 0 856873896 1521242112 321958 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230580 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 371397 321958 384 112 0 366362 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1485588
[startup+762.307 s]
/proc/loadavg: 4.01 3.82 3.32 6/190 24877
/proc/meminfo: memFree=29136600/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=1502604 CPUtime=762.32 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 400251 0 0 0 76179 53 0 0 25 0 1 0 856873896 1538666496 326187 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230804 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 375651 326187 384 112 0 370616 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 1502604
[startup+822.301 s]
/proc/loadavg: 4.00 3.85 3.36 6/190 24878
/proc/meminfo: memFree=28670312/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2004612 CPUtime=822.31 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 500732 0 0 0 82164 67 0 0 25 0 1 0 856873896 2052722688 426668 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230784 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 501153 426668 384 112 0 496118 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2004612
[startup+882.3 s]
/proc/loadavg: 4.00 3.87 3.40 6/190 24880
/proc/meminfo: memFree=28663960/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2017708 CPUtime=882.31 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 503998 0 0 0 88164 67 0 0 25 0 1 0 856873896 2066132992 429934 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230586 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 504427 429934 384 112 0 499392 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2017708
[startup+942.3 s]
/proc/loadavg: 4.00 3.89 3.43 6/190 24882
/proc/meminfo: memFree=28661944/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2026864 CPUtime=942.31 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 506222 0 0 0 94164 67 0 0 25 0 1 0 856873896 2075508736 432158 33554432000 4194304 4650387 140734319468672 18446744073709551615 4231034 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 506716 432158 384 112 0 501681 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2026864
[startup+1002.3 s]
/proc/loadavg: 4.00 3.91 3.47 6/190 24883
/proc/meminfo: memFree=28634468/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2037868 CPUtime=1002.31 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 508905 0 0 0 100164 67 0 0 25 0 1 0 856873896 2086776832 434841 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230784 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 509467 434841 384 112 0 504432 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2037868
[startup+1062.3 s]
/proc/loadavg: 4.03 3.94 3.50 6/190 24885
/proc/meminfo: memFree=28441200/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2283828 CPUtime=1062.32 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 564396 0 0 0 106156 76 0 0 25 0 1 0 856873896 2338639872 482767 33554432000 4194304 4650387 140734319468672 18446744073709551615 4363706 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 570957 482767 384 112 0 565922 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2283828
[startup+1122.3 s]
/proc/loadavg: 4.01 3.95 3.53 6/190 24886
/proc/meminfo: memFree=28411736/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2302200 CPUtime=1122.32 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 569254 0 0 0 112155 77 0 0 25 0 1 0 856873896 2357452800 487625 33554432000 4194304 4650387 140734319468672 18446744073709551615 4236872 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 575550 487625 384 112 0 570515 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2302200
[startup+1182.3 s]
/proc/loadavg: 4.10 3.98 3.57 6/190 24888
/proc/meminfo: memFree=28148900/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2605152 CPUtime=1182.32 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 632383 0 0 0 118147 85 0 0 25 0 1 0 856873896 2667675648 550754 33554432000 4194304 4650387 140734319468672 18446744073709551615 4363677 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 651288 550754 384 112 0 646253 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2605152
[startup+1242.3 s]
/proc/loadavg: 4.03 3.98 3.59 6/190 24890
/proc/meminfo: memFree=28160976/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2599872 CPUtime=1242.32 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 638017 0 0 0 124146 86 0 0 25 0 1 0 856873896 2662268928 550243 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230671 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 649968 550243 384 112 0 644933 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2599872
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.77 3.93 3.60 2/172 24966
/proc/meminfo: memFree=29604260/32951124 swapFree=67050916/67111528
[pid=24856] ppid=24854 vsize=2619308 CPUtime=1300.03 cores=0,2
/proc/24856/stat : 24856 (strangenight1-s) R 24854 24856 22403 0 -1 4202496 642999 0 0 0 129916 87 0 0 25 0 1 0 856873896 2682171392 555225 33554432000 4194304 4650387 140734319468672 18446744073709551615 4230586 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24856/statm: 654827 555225 384 112 0 649792 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 2619308
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.1
CPU time (s): 1300.13
CPU user time (s): 1299.17
CPU system time (s): 0.967852
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2619308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.17
system time used= 0.967852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 642999
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= 7
involuntary context switches= 15499
runsolver used 2.23766 second user time and 4.84526 second system time
The end
Begin job on node146 at 2011-06-09 20:36:16
IDJOB=3281333
IDBENCH=20580
IDSOLVER=1589
FILE ID=node146/3281333-1307644572
RUNJOBID= node146-1307644572-24797
PBS_JOBID= 13549346
Free space on /tmp= 73948 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281333-1307644572/watcher-3281333-1307644572 -o /tmp/evaluation-result-3281333-1307644572/solver-3281333-1307644572 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3281333-1307644572.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=1117670440
node146.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.830
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.830
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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.86
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.830
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.830
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.830
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.830
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: 31246508 kB
Buffers: 212492 kB
Cached: 733316 kB
SwapCached: 14540 kB
Active: 1090960 kB
Inactive: 400412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31246508 kB
SwapTotal: 67111528 kB
SwapFree: 67050916 kB
Dirty: 188256 kB
Writeback: 0 kB
AnonPages: 542548 kB
Mapped: 10120 kB
Slab: 148096 kB
PageTables: 6428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 841040 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= 73992 MiB
End job on node146 at 2011-06-09 20:57:58