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-3286071-1303767192.cnf'
0.00/0.00 c -- header says num vars: 1134832
0.00/0.00 c -- header says num clauses: 6175026
1.89/1.96 c -- clauses added: 0 learnts, 6175026 normals, 0 xors
1.89/1.96 c -- vars added 1134832
2.59/2.69 c Parsing time: 1.74 s
2.59/2.69 c N st 0 0 1134832 42166 5044247 0 12016870 0 no data no data --
2.98/3.01 c asymm cl-useful: 0/421/40366 lits-rem:0 time: 1.03
13.79/13.86 c Flit: 261 Blit: 32470 bXBeca: 0 bXProp: 197 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 10.64
13.89/13.95 c Cleaning up after failed var search: 0.08 s
14.09/14.13 c Replacing 198 vars Replaced 3980 lits Time: 0.16 s
14.99/15.07 c bin-w-bin subsume rem 191 bins time: 0.63 s
16.49/16.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.44 s
20.69/20.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8919 time: 4.17 s
20.90/20.93 c Removed useless bin: 15067 fixed: 0 props: 20.02M time: 0.22 s
22.69/22.78 c lits-rem: 0 cl-subs: 7 v-elim: 317605 v-fix: 0 time: 1.85 s
23.59/23.60 c Finding binary XORs T: 0.82 s found: 26
23.69/23.75 c Replacing 26 vars Replaced 804 lits Time: 0.15 s
24.10/24.15 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
24.10/24.15 c calculated reachability. Time: 0.25
24.20/24.22 c Calc default polars - time: 0.07 s pos: 22430 undec: 692226 neg: 420176
24.20/24.22 c =========================================================================================
24.20/24.22 c types(t): F = full restart, N = normal restart
24.20/24.22 c types(t): S = simplification begin/end, E = solution found
24.20/24.22 c restart types(rt): st = static, dy = dynamic
24.20/24.22 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
24.20/24.22 c B st 0 0 635184 49117 4152060 0 10052374 0 no data no data --
43.39/43.45 c N dy 12 4242 635184 49117 4152116 4156 10052374 11137472 52.36 55.75 --
67.19/67.24 c N dy 21 8717 635184 49117 4152137 5121 10052374 5460691 39.19 41.41 --
79.49/79.53 c N dy 27 13014 635181 49117 4152166 9344 10052374 9969887 30.70 34.27 --
92.30/92.40 c N dy 36 17215 635179 49117 4152187 7816 10052374 3294785 28.19 33.44 --
108.49/108.56 c N dy 50 21804 635177 49117 4152210 12341 10052374 9714263 27.33 30.43 --
120.59/120.60 c F st 61 25001 635174 49117 4152229 8213 10052374 2479514 26.81 no data --
127.50/127.56 c N st 64 26188 635174 49117 4152146 9386 10052168 5321257 26.81 no data --
139.30/139.36 c S st 67 30003 635172 49117 4152173 13140 10052168 10525121 26.81 no data --
141.59/141.64 c S st 67 30507 634885 49117 4152184 13613 10052168 10712036 26.81 no data --
141.80/141.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
141.80/141.86 c Cache BProp: 24536 Set: 32 BXProp: 0 T: 0.05
155.80/155.81 c Flit: 1076 Blit: 8970 bXBeca: 0 bXProp: 0 Bins: 23322 BRemL: 0 BRemN: 338 P: 200.0M T: 13.81
155.90/155.96 c Cleaning up after failed var search: 0.13 s
157.39/157.48 c bin-w-bin subsume rem 22 bins time: 0.28 s
158.99/159.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.56 s
163.90/163.94 c Subs w/ non-existent bins: 200 l-rem: 44 v-fix: 0 done: 19147 time: 4.88 s
164.09/164.18 c Removed useless bin: 819 fixed: 0 props: 20.05M time: 0.24 s
208.39/208.40 c lits-rem: 90 cl-subs: 547 v-elim: 77038 v-fix: 0 time: 44.22 s
208.79/208.84 c asymm cl-useful: 10/325/48545 lits-rem:273 time: 0.44
209.59/209.66 c calculated reachability. Time: 0.76
209.59/209.69 c N dy 67 30507 546924 48545 4050942 12851 9764618 9693194 26.81 no data --
211.39/211.45 c Finding binary XORs T: 1.76 s found: 13
236.40/236.44 c N dy 73 34619 546917 48545 4050980 16893 9764618 18559162 25.36 28.34 --
255.40/255.42 c N dy 81 40137 546909 48545 4051050 13812 9764618 8159614 23.71 24.96 --
272.70/272.77 c N dy 91 44341 546759 48545 4051093 17926 9764618 14184034 22.84 24.09 --
278.10/278.13 c S st 97 45760 546759 48545 4051107 9737 9764618 1030508 22.67 15.72 --
280.20/280.24 c S st 97 46264 546750 48545 4051113 10224 9764618 1217440 22.67 no data --
280.30/280.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
280.41/280.47 c Cache BProp: 19675 Set: 114 BXProp: 0 T: 0.07
299.50/299.53 c Flit: 236 Blit: 1509 bXBeca: 0 bXProp: 0 Bins: 14534 BRemL: 0 BRemN: 0 P: 200.0M T: 18.92
299.50/299.55 c Cleaning up after failed var search: 0.00 s
299.80/299.82 c Replacing 13 vars Replaced 1213 lits Time: 0.23 s
300.31/300.39 c bin-w-bin subsume rem 3 bins time: 0.30 s
301.90/301.93 c subs with bin: 468 lits-rem: 0 v-fix: 0 time: 1.54 s
306.80/306.85 c Subs w/ non-existent bins: 425 l-rem: 58 v-fix: 0 done: 9240 time: 4.90 s
307.10/307.10 c Removed useless bin: 3765 fixed: 0 props: 20.05M time: 0.24 s
311.90/311.91 c lits-rem: 226 cl-subs: 274 v-elim: 1389 v-fix: 0 time: 4.82 s
312.20/312.28 c vivif2 -- cl tried 48269 cl shrink 5968 lits rem 16255 time: 0.37
312.40/312.44 c vivif2 -- cl tried 9806 cl shrink 501 lits rem 51343 time: 0.16
312.70/312.79 c asymm cl-useful: 19/935/48265 lits-rem:487 time: 0.34
313.90/313.97 c calculated reachability. Time: 1.11
313.90/313.99 c N dy 97 46264 543487 48265 4040917 9756 9689318 1112812 22.67 no data --
334.10/334.12 c N dy 101 50845 543484 48265 4040948 14272 9689318 7321428 21.77 23.92 --
354.90/354.91 c N dy 112 55192 543431 48265 4040978 18558 9689318 13777102 21.15 22.74 --
374.40/374.45 c N dy 127 59704 543426 48265 4041005 12466 9689318 4089284 20.73 22.80 --
394.81/394.86 c N dy 136 63772 543425 48265 4041055 16443 9689318 10282435 20.47 21.65 --
417.30/417.32 c N dy 146 68501 543419 48265 4041081 21095 9689318 18127142 20.06 24.22 --
420.90/420.96 c S st 149 69396 543419 48265 4041086 21976 9689318 19859298 20.01 11.61 --
422.70/422.71 c S st 149 69899 543408 48265 4041098 22456 9689318 20023263 20.01 no data --
422.80/422.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.18
422.90/422.98 c Cache BProp: 20389 Set: 54 BXProp: 0 T: 0.09
464.80/464.87 c Flit: 840 Blit: 7603 bXBeca: 0 bXProp: 0 Bins: 39667 BRemL: 1671 BRemN: 0 P: 200.1M T: 41.78
465.00/465.05 c Cleaning up after failed var search: 0.16 s
467.01/467.07 c bin-w-bin subsume rem 9 bins time: 0.28 s
468.71/468.72 c subs with bin: 124 lits-rem: 0 v-fix: 0 time: 1.66 s
471.31/471.35 c Subs w/ non-existent bins: 565 l-rem: 20 v-fix: 0 done: 57306 time: 2.61 s
471.50/471.59 c Removed useless bin: 831 fixed: 0 props: 20.06M time: 0.24 s
492.31/492.38 c lits-rem: 5 cl-subs: 4624 v-elim: 7179 v-fix: 0 time: 20.79 s
492.91/492.90 c vivif2 -- cl tried 52236 cl shrink 3415 lits rem 8120 time: 0.52
493.71/493.77 c vivif2 -- cl tried 17763 cl shrink 2346 lits rem 1511171 time: 0.86
494.11/494.12 c asymm cl-useful: 4/1098/52232 lits-rem:8 time: 0.35
495.61/495.60 c calculated reachability. Time: 1.41
495.61/495.62 c N dy 149 69899 527634 52232 3969954 17705 9476690 8409895 20.01 no data --
499.01/499.04 c Finding binary XORs T: 3.42 s found: 1
525.21/525.24 c N dy 159 75554 527619 52232 3970003 11881 9476690 1543566 19.54 20.78 --
565.51/565.58 c N dy 169 80504 527573 52232 3970035 16771 9476690 8637054 19.10 20.20 --
613.31/613.33 c N dy 184 85753 527552 52232 3970082 21945 9476690 15978378 18.79 19.97 --
619.11/619.14 c F st 191 87500 527521 52232 3970121 23635 9476690 17841194 18.78 10.50 --
619.41/619.45 c Replacing 1 vars Replaced 166 lits Time: 0.19 s
639.82/639.80 c N dy 197 92698 527422 52224 3968841 16121 9473764 5786360 18.78 no data --
747.92/747.99 c N dy 211 104689 527396 52224 3968922 14191 9473764 1722967 18.01 19.12 --
748.81/748.87 c S st 212 104849 527396 52224 3968924 14349 9473764 1897949 17.99 7.23 --
750.71/750.72 c S st 212 105356 527392 52224 3968945 14827 9473764 2148953 17.99 no data --
750.81/750.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
750.91/750.98 c Cache BProp: 26898 Set: 86 BXProp: 0 T: 0.10
761.02/761.05 c Flit: 444 Blit: 448 bXBeca: 0 bXProp: 0 Bins: 6784 BRemL: 2 BRemN: 278 P: 200.1M T: 9.94
761.02/761.06 c Cleaning up after failed var search: 0.00 s
761.62/761.68 c bin-w-bin subsume rem 19 bins time: 0.28 s
763.22/763.26 c subs with bin: 388 lits-rem: 4 v-fix: 0 time: 1.59 s
768.31/768.34 c Subs w/ non-existent bins: 236 l-rem: 65 v-fix: 0 done: 13138 time: 5.06 s
768.52/768.58 c Removed useless bin: 1641 fixed: 0 props: 20.02M time: 0.24 s
773.52/773.52 c lits-rem: 27 cl-subs: 766 v-elim: 1513 v-fix: 0 time: 4.94 s
774.12/774.12 c vivif2 -- cl tried 53595 cl shrink 2365 lits rem 11163 time: 0.60
774.43/774.41 c vivif2 -- cl tried 14207 cl shrink 338 lits rem 182505 time: 0.29
774.72/774.72 c asymm cl-useful: 85/659/53595 lits-rem:936 time: 0.31
776.53/776.52 c calculated reachability. Time: 1.73
776.53/776.54 c N dy 212 105356 524792 53591 3956968 14169 9451434 1751812 17.99 no data --
798.82/798.83 c N dy 223 112578 524782 53591 3957021 21290 9451434 9406844 17.62 18.64 --
827.72/827.77 c N dy 245 119855 524772 53591 3957088 28453 9451434 19073630 17.36 19.19 --
858.82/858.83 c N dy 270 127822 524762 53591 3957131 21735 9451434 8882365 17.13 18.37 --
887.12/887.11 c N dy 306 136299 524748 53591 3957168 30117 9451434 17396118 16.99 18.04 --
916.22/916.21 c N dy 336 145028 524709 53591 3957229 23106 9451434 9132953 16.77 35.90 --
948.33/948.36 c N dy 372 154289 524696 53591 3957285 32234 9451433 20162926 16.64 38.55 --
961.33/961.36 c S st 385 158034 524696 53591 3957304 19049 9451433 3515569 16.56 8.78 --
963.22/963.20 c S st 385 158538 524695 53591 3957308 19541 9451433 3818039 16.56 no data --
963.32/963.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
963.42/963.47 c Cache BProp: 25847 Set: 78 BXProp: 1 T: 0.11
976.72/976.75 c Flit: 704 Blit: 1186 bXBeca: 0 bXProp: 0 Bins: 8028 BRemL: 0 BRemN: 286 P: 200.0M T: 13.16
976.72/976.76 c Cleaning up after failed var search: 0.00 s
977.03/977.04 c Replacing 1 vars Replaced 161 lits Time: 0.25 s
977.73/977.75 c bin-w-bin subsume rem 9 bins time: 0.28 s
979.33/979.35 c subs with bin: 297 lits-rem: 4 v-fix: 0 time: 1.60 s
983.23/983.21 c Subs w/ non-existent bins: 1365 l-rem: 197 v-fix: 6 done: 8075 time: 3.83 s
983.43/983.45 c Removed useless bin: 2155 fixed: 0 props: 20.02M time: 0.25 s
986.43/986.44 c lits-rem: 20 cl-subs: 945 v-elim: 2173 v-fix: 0 time: 2.99 s
987.03/987.09 c vivif2 -- cl tried 53558 cl shrink 1902 lits rem 4066 time: 0.64
987.53/987.52 c vivif2 -- cl tried 18433 cl shrink 736 lits rem 279425 time: 0.43
987.83/987.84 c asymm cl-useful: 6/1384/53556 lits-rem:74 time: 0.32
989.93/989.99 c calculated reachability. Time: 2.08
990.03/990.01 c N dy 385 158538 520196 53553 3934090 18398 9380595 2639061 16.56 no data --
1018.12/1018.15 c N dy 411 168660 520180 53553 3934200 28340 9380595 12982515 16.29 19.21 --
1047.13/1047.18 c N dy 435 179429 520166 53553 3934331 21292 9380595 4119747 16.02 17.19 --
1086.73/1086.79 c N dy 482 190896 520015 53553 3934410 32609 9380594 18292627 15.95 16.85 --
1126.83/1126.86 c N dy 526 203081 520000 53553 3934505 26711 9380594 9696380 15.82 29.55 --
1173.53/1173.50 c N dy 593 217809 519892 53553 3934608 22370 9380594 2606690 15.75 16.70 --
1223.43/1223.43 c N dy 646 231893 519882 53553 3934657 36321 9380594 19745399 15.63 17.29 --
1240.64/1240.69 c S st 667 237808 519876 53553 3934704 42139 9380594 25687290 15.55 8.18 --
1242.73/1242.75 c S st 667 238312 519875 53553 3934723 42618 9380594 26054126 15.55 no data --
1242.94/1242.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.20
1243.03/1243.08 c Cache BProp: 25970 Set: 310 BXProp: 0 T: 0.12
1252.13/1252.12 c Flit: 258 Blit: 2480 bXBeca: 0 bXProp: 0 Bins: 11936 BRemL: 0 BRemN: 250 P: 200.1M T: 8.92
1252.13/1252.14 c Cleaning up after failed var search: 0.00 s
1254.74/1254.79 c bin-w-bin subsume rem 8 bins time: 0.28 s
1256.54/1256.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.74 s
1259.44/1259.41 c Subs w/ non-existent bins: 104 l-rem: 95 v-fix: 0 done: 30014 time: 2.86 s
1259.63/1259.65 c Removed useless bin: 1004 fixed: 0 props: 20.04M time: 0.24 s
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-3286071-1303767192/watcher-3286071-1303767192 -o /tmp/evaluation-result-3286071-1303767192/solver-3286071-1303767192 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3286071-1303767192.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: 3.62 3.01 3.03 5/189 6948
/proc/meminfo: memFree=14700000/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=23004 CPUtime=0 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1131 0 0 0 0 0 0 0 23 0 1 0 566950326 23556096 972 33554432000 4194304 4650387 140734458829040 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 5751 977 327 112 0 716 0
[startup+0.0968369 s]
/proc/loadavg: 3.62 3.01 3.03 5/189 6948
/proc/meminfo: memFree=14700000/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=58616 CPUtime=0.08 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 8838 0 0 0 8 0 0 0 23 0 1 0 566950326 60022784 6629 33554432000 4194304 4650387 140734458829040 18446744073709551615 4316388 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 14654 6636 330 112 0 9619 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58616
[startup+0.100838 s]
/proc/loadavg: 3.62 3.01 3.03 5/189 6948
/proc/meminfo: memFree=14700000/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=62936 CPUtime=0.09 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 9968 0 0 0 8 1 0 0 23 0 1 0 566950326 64446464 7746 33554432000 4194304 4650387 140734458829040 18446744073709551615 4317213 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 15734 7753 330 112 0 10699 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62936
[startup+0.300793 s]
/proc/loadavg: 3.62 3.01 3.03 5/189 6948
/proc/meminfo: memFree=14700000/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=112792 CPUtime=0.29 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 22845 0 0 0 26 3 0 0 25 0 1 0 566950326 115499008 18381 33554432000 4194304 4650387 140734458829040 18446744073709551615 4316324 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 28198 18392 330 112 0 23163 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112792
[startup+0.700724 s]
/proc/loadavg: 3.62 3.01 3.03 5/189 6948
/proc/meminfo: memFree=14700000/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=206696 CPUtime=0.69 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 50272 0 0 0 63 6 0 0 25 0 1 0 566950326 211656704 41262 33554432000 4194304 4650387 140734458829040 18446744073709551615 4317213 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 51674 41272 330 112 0 46639 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 206696
[startup+1.50057 s]
/proc/loadavg: 3.62 3.01 3.03 5/190 6949
/proc/meminfo: memFree=14443188/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=371672 CPUtime=1.48 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 96813 0 0 0 134 14 0 0 25 0 1 0 566950326 380592128 78752 33554432000 4194304 4650387 140734458829040 18446744073709551615 231895139442 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 92918 78752 330 112 0 87883 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 371672
[startup+3.10027 s]
/proc/loadavg: 3.62 3.01 3.03 5/190 6949
/proc/meminfo: memFree=14173648/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=569628 CPUtime=3.09 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 147469 0 0 0 286 23 0 0 25 0 1 0 566950326 583299072 110573 33554432000 4194304 4650387 140734458829040 18446744073709551615 4243873 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 142407 110573 354 112 0 137372 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 569628
[startup+6.30068 s]
/proc/loadavg: 3.65 3.03 3.04 5/190 6949
/proc/meminfo: memFree=13986708/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=641692 CPUtime=6.29 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 161652 0 0 0 604 25 0 0 25 0 1 0 566950326 657092608 124756 33554432000 4194304 4650387 140734458829040 18446744073709551615 4244897 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 160423 124756 354 112 0 155388 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 641692
[startup+12.7005 s]
/proc/loadavg: 3.68 3.04 3.04 5/190 6949
/proc/meminfo: memFree=13676104/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=1076176 CPUtime=12.69 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 241765 0 0 0 1235 34 0 0 25 0 1 0 566950326 1102004224 204869 33554432000 4194304 4650387 140734458829040 18446744073709551615 4244897 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 269044 204869 354 112 0 264009 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1076176
[startup+25.5011 s]
/proc/loadavg: 3.75 3.09 3.06 5/190 6949
/proc/meminfo: memFree=13400412/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=1291020 CPUtime=25.49 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 298909 0 0 0 2507 42 0 0 25 0 1 0 566950326 1322004480 253147 33554432000 4194304 4650387 140734458829040 18446744073709551615 4363718 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 322755 253147 379 112 0 317720 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1291020
[startup+51.1003 s]
/proc/loadavg: 3.84 3.16 3.08 5/190 6950
/proc/meminfo: memFree=13278008/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=1385916 CPUtime=51.09 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 318467 0 0 0 5063 46 0 0 25 0 1 0 566950326 1419177984 272705 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315980 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 346479 272705 379 112 0 341444 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1385916
[startup+102.307 s]
/proc/loadavg: 3.93 3.29 3.13 5/190 6951
/proc/meminfo: memFree=12115044/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=1492328 CPUtime=102.3 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 369843 0 0 0 10176 54 0 0 25 0 1 0 566950326 1528143872 288053 33554432000 4194304 4650387 140734458829040 18446744073709551615 4335203 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 373082 288053 381 112 0 368047 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1492328
[startup+162.3 s]
/proc/loadavg: 3.97 3.42 3.18 5/190 6953
/proc/meminfo: memFree=9980448/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=2359616 CPUtime=162.29 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 566982 0 0 0 16146 83 0 0 25 0 1 0 566950326 2416246784 470865 33554432000 4194304 4650387 140734458829040 18446744073709551615 4446457 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 589904 470865 383 112 0 584869 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2359616
[startup+222.301 s]
/proc/loadavg: 4.07 3.54 3.23 5/190 6955
/proc/meminfo: memFree=9567004/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=2324152 CPUtime=222.29 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 571142 0 0 0 22146 83 0 0 25 0 1 0 566950326 2379931648 466159 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315961 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 581038 466159 383 112 0 576003 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2324152
[startup+282.301 s]
/proc/loadavg: 3.74 3.55 3.26 4/184 6973
/proc/meminfo: memFree=9920484/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=2323188 CPUtime=282.3 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 599485 0 0 0 28141 89 0 0 25 0 1 0 566950326 2378944512 467869 33554432000 4194304 4650387 140734458829040 18446744073709551615 4230555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 580797 467869 383 112 0 575762 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2323188
[startup+342.301 s]
/proc/loadavg: 3.27 3.45 3.24 4/184 6978
/proc/meminfo: memFree=8877664/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=3041816 CPUtime=342.3 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 730208 0 0 0 34123 107 0 0 25 0 1 0 566950326 3114819584 589726 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315038 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 760454 589726 383 112 0 755419 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3041816
[startup+402.3 s]
/proc/loadavg: 3.10 3.37 3.22 4/184 6979
/proc/meminfo: memFree=8319532/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=3058504 CPUtime=402.31 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 750967 0 0 0 40120 111 0 0 25 0 1 0 566950326 3131908096 596160 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315225 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 764626 596160 383 112 0 759591 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 3058504
[startup+462.301 s]
/proc/loadavg: 3.03 3.30 3.20 4/184 6981
/proc/meminfo: memFree=7472196/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=3432228 CPUtime=462.31 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 829908 0 0 0 46111 120 0 0 25 0 1 0 566950326 3514601472 675101 33554432000 4194304 4650387 140734458829040 18446744073709551615 4369362 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 858057 675101 383 112 0 853022 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 3432228
[startup+522.301 s]
/proc/loadavg: 3.01 3.24 3.19 4/184 6982
/proc/meminfo: memFree=5986028/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=3938240 CPUtime=522.31 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 949920 0 0 0 52096 135 0 0 25 0 1 0 566950326 4032757760 786247 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 984560 786247 383 112 0 979525 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 3938240
[startup+582.3 s]
/proc/loadavg: 3.00 3.19 3.17 4/184 6984
/proc/meminfo: memFree=6049172/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=3875292 CPUtime=582.3 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 957149 0 0 0 58094 136 0 0 25 0 1 0 566950326 3968299008 766758 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 968823 766758 383 112 0 963788 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 3875292
[startup+642.301 s]
/proc/loadavg: 3.00 3.16 3.16 4/184 6986
/proc/meminfo: memFree=5161656/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=3917844 CPUtime=642.32 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 978567 0 0 0 64091 141 0 0 25 0 1 0 566950326 4011872256 773134 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315098 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 979461 773134 383 112 0 974426 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 3917844
[startup+702.301 s]
/proc/loadavg: 3.04 3.14 3.16 4/184 6987
/proc/meminfo: memFree=5143392/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=3920040 CPUtime=702.31 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 990916 0 0 0 70089 142 0 0 25 0 1 0 566950326 4014120960 785483 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315194 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 980010 785483 383 112 0 974975 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 3920040
[startup+762.307 s]
/proc/loadavg: 3.10 3.14 3.15 4/184 6989
/proc/meminfo: memFree=4641100/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=4416552 CPUtime=762.32 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1097261 0 0 0 76074 158 0 0 25 0 1 0 566950326 4522549248 872055 33554432000 4194304 4650387 140734458829040 18446744073709551615 4436402 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1104138 872055 383 112 0 1099103 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 4416552
[startup+822.301 s]
/proc/loadavg: 3.04 3.11 3.14 4/184 6991
/proc/meminfo: memFree=4092200/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=4496624 CPUtime=822.32 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1125987 0 0 0 82070 162 0 0 25 0 1 0 566950326 4604542976 891915 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1124156 891915 383 112 0 1119121 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 4496624
[startup+882.301 s]
/proc/loadavg: 3.01 3.09 3.13 4/184 6992
/proc/meminfo: memFree=3991972/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=4524664 CPUtime=882.33 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1147008 0 0 0 88067 166 0 0 25 0 1 0 566950326 4633255936 895364 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1131166 895364 383 112 0 1126131 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 4524664
[startup+942.301 s]
/proc/loadavg: 3.00 3.07 3.12 4/184 6994
/proc/meminfo: memFree=3341080/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=4564896 CPUtime=942.33 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1172942 0 0 0 94062 171 0 0 25 0 1 0 566950326 4674453504 906616 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315170 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1141224 906616 383 112 0 1136189 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 4564896
[startup+1002.3 s]
/proc/loadavg: 3.00 3.06 3.11 4/184 6995
/proc/meminfo: memFree=2926004/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=5113236 CPUtime=1002.33 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1296638 0 0 0 100045 188 0 0 25 0 1 0 566950326 5235953664 1004248 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315137 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1278309 1004248 383 112 0 1273274 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 5113236
[startup+1062.3 s]
/proc/loadavg: 3.00 3.04 3.10 4/184 6997
/proc/meminfo: memFree=2879364/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=5127744 CPUtime=1062.32 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1317562 0 0 0 106041 191 0 0 25 0 1 0 566950326 5250809856 1007972 33554432000 4194304 4650387 140734458829040 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1281936 1007972 383 112 0 1276901 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 5127744
[startup+1122.3 s]
/proc/loadavg: 3.00 3.03 3.09 4/184 6999
/proc/meminfo: memFree=2672176/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=5169140 CPUtime=1122.33 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1345052 0 0 0 112035 198 0 0 25 0 1 0 566950326 5293199360 1016006 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315137 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1292285 1016006 383 112 0 1287250 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 5169140
[startup+1182.3 s]
/proc/loadavg: 3.00 3.02 3.08 4/184 7000
/proc/meminfo: memFree=2340536/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=5222660 CPUtime=1182.33 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1375457 0 0 0 118029 204 0 0 25 0 1 0 566950326 5348003840 1025642 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1305665 1025642 383 112 0 1300630 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 5222660
[startup+1242.3 s]
/proc/loadavg: 2.47 2.88 3.03 3/178 7020
/proc/meminfo: memFree=8169384/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=5317200 CPUtime=1242.33 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1401993 0 0 0 124024 209 0 0 25 0 1 0 566950326 5444812800 1052178 33554432000 4194304 4650387 140734458829040 18446744073709551615 4315240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1329300 1052178 383 112 0 1324265 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 5317200
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.09 2.70 2.95 2/173 7039
/proc/meminfo: memFree=12617224/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=6142808 CPUtime=1300.04 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4202496 1569848 0 0 0 129773 231 0 0 25 0 1 0 566950326 6290235392 1211167 33554432000 4194304 4650387 140734458829040 18446744073709551615 4476188 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6948/statm: 1535702 1211167 383 112 0 1530667 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 6142808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.21 s]
/proc/loadavg: 2.09 2.70 2.95 2/173 7040
/proc/meminfo: memFree=14780768/32950928 swapFree=67111528/67111528
[pid=6948] ppid=6946 vsize=0 CPUtime=1300.24 cores=0,2
/proc/6948/stat : 6948 (strangenight1-s) R 6946 6948 5482 0 -1 4203524 1569848 0 0 0 129773 251 0 0 25 0 1 0 566950326 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6948/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.24
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.22
CPU time (s): 1300.27
CPU user time (s): 1297.73
CPU system time (s): 2.53461
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 6178272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.73
system time used= 2.53461
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1569848
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= 6
involuntary context switches= 1565
runsolver used 2.33764 second user time and 4.68629 second system time
The end
Begin job on node114 at 2011-04-25 23:33:16
IDJOB=3286071
IDBENCH=82413
IDSOLVER=1589
FILE ID=node114/3286071-1303767192
RUNJOBID= node114-1303767085-6822
PBS_JOBID= 13157139
Free space on /tmp= 71176 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286071-1303767192/watcher-3286071-1303767192 -o /tmp/evaluation-result-3286071-1303767192/solver-3286071-1303767192 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3286071-1303767192.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c6d3480970bb2819448dd0a800a3cf1c
RANDOM SEED=555872549
node114.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.848
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.848
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.848
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.848
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.73
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.848
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.848
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.848
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.848
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: 32950928 kB
MemFree: 14700652 kB
Buffers: 2291544 kB
Cached: 12831572 kB
SwapCached: 0 kB
Active: 9471804 kB
Inactive: 8183400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 14700652 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 390360 kB
Writeback: 0 kB
AnonPages: 2531212 kB
Mapped: 16216 kB
Slab: 523168 kB
PageTables: 11076 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 3342364 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= 71460 MiB
End job on node114 at 2011-04-25 23:54:58