0.00/0.01 c Outputting solution to console
0.00/0.01 c This is CryptoMiniSat 2.9.0
0.00/0.01 c compiled with gcc version 4.4.5
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3370892-1305380482.cnf'
0.00/0.01 c -- header says num vars: 1134832
0.00/0.01 c -- header says num clauses: 6175026
1.69/1.75 c -- clauses added: 0 learnts, 6175026 normals, 0 xors
1.69/1.75 c -- vars added 1134832
1.69/1.75 c Parsing time: 1.56 s
1.69/1.75 c N st 0 0 1134832 42166 5044247 0 12016870 0 no data no data --
2.59/2.68 c asymm cl-useful: 0/421/40366 lits-rem:0 time: 0.92
12.39/12.42 c Flit: 261 Blit: 32470 bXBeca: 0 bXProp: 197 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 9.56
12.49/12.50 c Cleaning up after failed var search: 0.07 s
12.59/12.67 c Replacing 198 vars Replaced 3980 lits Time: 0.14 s
13.49/13.51 c bin-w-bin subsume rem 191 bins time: 0.56 s
14.79/14.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.29 s
18.49/18.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8919 time: 3.70 s
18.70/18.74 c Removed useless bin: 15067 fixed: 0 props: 20.02M time: 0.20 s
20.29/20.38 c lits-rem: 0 cl-subs: 7 v-elim: 317605 v-fix: 0 time: 1.64 s
21.09/21.11 c Finding binary XORs T: 0.73 s found: 26
21.19/21.24 c Replacing 26 vars Replaced 804 lits Time: 0.13 s
21.59/21.60 c Finding non-binary XORs: 0.07 s (found: 0, avg size: nan)
21.59/21.60 c calculated reachability. Time: 0.22
21.59/21.67 c Calc default polars - time: 0.06 s pos: 22430 undec: 692226 neg: 420176
21.59/21.67 c =========================================================================================
21.59/21.67 c types(t): F = full restart, N = normal restart
21.59/21.67 c types(t): S = simplification begin/end, E = solution found
21.59/21.67 c restart types(rt): st = static, dy = dynamic
21.59/21.67 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
21.59/21.67 c B st 0 0 635184 49117 4152060 0 10052374 0 no data no data --
38.59/38.65 c N dy 12 4242 635184 49117 4152116 4156 10052374 11137472 52.36 55.75 --
59.69/59.76 c N dy 21 8717 635184 49117 4152137 5121 10052374 5460691 39.19 41.41 --
70.49/70.59 c N dy 27 13014 635181 49117 4152166 9344 10052374 9969887 30.70 34.27 --
82.30/82.33 c N dy 36 17215 635179 49117 4152187 7816 10052374 3294785 28.19 33.44 --
97.00/97.00 c N dy 50 21804 635177 49117 4152210 12341 10052374 9714263 27.33 30.43 --
107.59/107.66 c F st 61 25001 635174 49117 4152229 8213 10052374 2479514 26.81 no data --
113.79/113.83 c N st 64 26188 635174 49117 4152146 9386 10052168 5321257 26.81 no data --
124.20/124.27 c S st 67 30003 635172 49117 4152173 13140 10052168 10525121 26.81 no data --
126.19/126.25 c S st 67 30507 634885 49117 4152184 13613 10052168 10712036 26.81 no data --
126.40/126.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
126.40/126.45 c Cache BProp: 24536 Set: 32 BXProp: 0 T: 0.05
138.79/138.80 c Flit: 1076 Blit: 8970 bXBeca: 0 bXProp: 0 Bins: 23322 BRemL: 0 BRemN: 338 P: 200.0M T: 12.24
138.89/138.93 c Cleaning up after failed var search: 0.11 s
140.19/140.27 c bin-w-bin subsume rem 22 bins time: 0.25 s
141.59/141.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.40 s
145.90/145.90 c Subs w/ non-existent bins: 200 l-rem: 44 v-fix: 0 done: 19147 time: 4.22 s
146.09/146.11 c Removed useless bin: 819 fixed: 0 props: 20.05M time: 0.22 s
185.40/185.45 c lits-rem: 90 cl-subs: 547 v-elim: 77038 v-fix: 0 time: 39.34 s
185.80/185.84 c asymm cl-useful: 10/325/48545 lits-rem:273 time: 0.39
186.50/186.57 c calculated reachability. Time: 0.67
186.50/186.59 c N dy 67 30507 546924 48545 4050942 12851 9764618 9693194 26.81 no data --
188.11/188.16 c Finding binary XORs T: 1.57 s found: 13
210.39/210.42 c N dy 73 34619 546917 48545 4050980 16893 9764618 18559162 25.36 28.34 --
226.90/226.90 c N dy 81 40137 546909 48545 4051050 13812 9764618 8159614 23.71 24.96 --
242.30/242.38 c N dy 91 44341 546759 48545 4051093 17926 9764618 14184034 22.84 24.09 --
247.20/247.29 c S st 97 45760 546759 48545 4051107 9737 9764618 1030508 22.67 15.72 --
249.20/249.21 c S st 97 46264 546750 48545 4051113 10224 9764618 1217440 22.67 no data --
249.30/249.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14
249.40/249.41 c Cache BProp: 19675 Set: 114 BXProp: 0 T: 0.07
266.40/266.49 c Flit: 236 Blit: 1509 bXBeca: 0 bXProp: 0 Bins: 14534 BRemL: 0 BRemN: 0 P: 200.0M T: 16.97
266.50/266.51 c Cleaning up after failed var search: 0.00 s
266.70/266.75 c Replacing 13 vars Replaced 1213 lits Time: 0.21 s
267.20/267.26 c bin-w-bin subsume rem 3 bins time: 0.26 s
268.60/268.63 c subs with bin: 468 lits-rem: 0 v-fix: 0 time: 1.37 s
272.99/273.06 c Subs w/ non-existent bins: 425 l-rem: 58 v-fix: 0 done: 9240 time: 4.41 s
273.19/273.28 c Removed useless bin: 3765 fixed: 0 props: 20.05M time: 0.22 s
277.59/277.64 c lits-rem: 226 cl-subs: 274 v-elim: 1389 v-fix: 0 time: 4.36 s
277.89/277.97 c vivif2 -- cl tried 48269 cl shrink 5968 lits rem 16255 time: 0.33
278.09/278.11 c vivif2 -- cl tried 9806 cl shrink 501 lits rem 51343 time: 0.14
278.39/278.42 c asymm cl-useful: 19/935/48265 lits-rem:487 time: 0.31
279.41/279.48 c calculated reachability. Time: 1.00
279.41/279.49 c N dy 97 46264 543487 48265 4040917 9756 9689318 1112812 22.67 no data --
297.59/297.69 c N dy 101 50845 543484 48265 4040948 14272 9689318 7321428 21.77 23.92 --
316.49/316.57 c N dy 112 55192 543431 48265 4040978 18558 9689318 13777102 21.15 22.74 --
334.30/334.31 c N dy 127 59704 543426 48265 4041005 12466 9689318 4089284 20.73 22.80 --
352.90/352.92 c N dy 136 63772 543425 48265 4041055 16443 9689318 10282435 20.47 21.65 --
373.50/373.56 c N dy 146 68501 543419 48265 4041081 21095 9689318 18127142 20.06 24.22 --
376.89/376.91 c S st 149 69396 543419 48265 4041086 21976 9689318 19859298 20.01 11.61 --
378.50/378.53 c S st 149 69899 543408 48265 4041098 22456 9689318 20023263 20.01 no data --
378.60/378.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
378.70/378.77 c Cache BProp: 20389 Set: 54 BXProp: 0 T: 0.08
416.20/416.25 c Flit: 840 Blit: 7603 bXBeca: 0 bXProp: 0 Bins: 39667 BRemL: 1671 BRemN: 0 P: 200.1M T: 37.36
416.40/416.41 c Cleaning up after failed var search: 0.14 s
418.20/418.24 c bin-w-bin subsume rem 9 bins time: 0.25 s
419.70/419.71 c subs with bin: 124 lits-rem: 0 v-fix: 0 time: 1.47 s
422.00/422.09 c Subs w/ non-existent bins: 565 l-rem: 20 v-fix: 0 done: 57306 time: 2.36 s
422.31/422.31 c Removed useless bin: 831 fixed: 0 props: 20.06M time: 0.21 s
441.12/441.19 c lits-rem: 5 cl-subs: 4624 v-elim: 7179 v-fix: 0 time: 18.89 s
441.61/441.66 c vivif2 -- cl tried 52236 cl shrink 3415 lits rem 8120 time: 0.46
442.40/442.44 c vivif2 -- cl tried 17763 cl shrink 2346 lits rem 1511171 time: 0.78
442.70/442.76 c asymm cl-useful: 4/1098/52232 lits-rem:8 time: 0.31
444.10/444.11 c calculated reachability. Time: 1.29
444.10/444.12 c N dy 149 69899 527634 52232 3969954 17705 9476690 8409895 20.01 no data --
447.10/447.18 c Finding binary XORs T: 3.06 s found: 1
471.60/471.67 c N dy 159 75554 527619 52232 3970003 11881 9476690 1543566 19.54 20.78 --
508.11/508.14 c N dy 169 80504 527573 52232 3970035 16771 9476690 8637054 19.10 20.20 --
551.30/551.38 c N dy 184 85753 527552 52232 3970082 21945 9476690 15978378 18.79 19.97 --
556.71/556.74 c F st 191 87500 527521 52232 3970121 23635 9476690 17841194 18.78 10.50 --
557.01/557.02 c Replacing 1 vars Replaced 166 lits Time: 0.17 s
575.60/575.67 c N dy 197 92698 527422 52224 3968841 16121 9473764 5786360 18.78 no data --
674.31/674.36 c N dy 211 104689 527396 52224 3968922 14191 9473764 1722967 18.01 19.12 --
675.10/675.18 c S st 212 104849 527396 52224 3968924 14349 9473764 1897949 17.99 7.23 --
676.90/676.90 c S st 212 105356 527392 52224 3968945 14827 9473764 2148953 17.99 no data --
677.00/677.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14
677.10/677.14 c Cache BProp: 26898 Set: 86 BXProp: 0 T: 0.09
686.31/686.36 c Flit: 444 Blit: 448 bXBeca: 0 bXProp: 0 Bins: 6784 BRemL: 2 BRemN: 278 P: 200.1M T: 9.12
686.31/686.37 c Cleaning up after failed var search: 0.00 s
686.90/686.93 c bin-w-bin subsume rem 19 bins time: 0.25 s
688.31/688.34 c subs with bin: 388 lits-rem: 4 v-fix: 0 time: 1.41 s
692.91/693.00 c Subs w/ non-existent bins: 236 l-rem: 65 v-fix: 0 done: 13138 time: 4.64 s
693.21/693.22 c Removed useless bin: 1641 fixed: 0 props: 20.02M time: 0.22 s
697.91/697.92 c lits-rem: 27 cl-subs: 766 v-elim: 1513 v-fix: 0 time: 4.71 s
698.42/698.46 c vivif2 -- cl tried 53595 cl shrink 2365 lits rem 11163 time: 0.53
698.71/698.72 c vivif2 -- cl tried 14207 cl shrink 338 lits rem 182505 time: 0.26
699.01/699.00 c asymm cl-useful: 85/659/53595 lits-rem:936 time: 0.28
700.62/700.63 c calculated reachability. Time: 1.57
700.62/700.64 c N dy 212 105356 524792 53591 3956968 14169 9451434 1751812 17.99 no data --
721.21/721.24 c N dy 223 112578 524782 53591 3957021 21290 9451434 9406844 17.62 18.64 --
748.11/748.16 c N dy 245 119855 524772 53591 3957088 28453 9451434 19073630 17.36 19.19 --
776.81/776.82 c N dy 270 127822 524762 53591 3957131 21735 9451434 8882365 17.13 18.37 --
802.81/802.84 c N dy 306 136299 524748 53591 3957168 30117 9451434 17396118 16.99 18.04 --
829.81/829.84 c N dy 336 145028 524709 53591 3957229 23106 9451434 9132953 16.77 35.90 --
859.81/859.85 c N dy 372 154289 524696 53591 3957285 32234 9451433 20162926 16.64 38.55 --
872.22/872.28 c S st 385 158034 524696 53591 3957304 19049 9451433 3515569 16.56 8.78 --
874.02/874.02 c S st 385 158538 524695 53591 3957308 19541 9451433 3818039 16.56 no data --
874.12/874.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14
874.22/874.26 c Cache BProp: 25847 Set: 78 BXProp: 1 T: 0.10
886.31/886.33 c Flit: 704 Blit: 1186 bXBeca: 0 bXProp: 0 Bins: 8028 BRemL: 0 BRemN: 286 P: 200.0M T: 11.98
886.31/886.34 c Cleaning up after failed var search: 0.00 s
886.52/886.60 c Replacing 1 vars Replaced 161 lits Time: 0.22 s
887.21/887.23 c bin-w-bin subsume rem 9 bins time: 0.25 s
888.61/888.66 c subs with bin: 297 lits-rem: 4 v-fix: 0 time: 1.43 s
892.22/892.24 c Subs w/ non-existent bins: 1365 l-rem: 197 v-fix: 6 done: 8075 time: 3.57 s
892.42/892.47 c Removed useless bin: 2155 fixed: 0 props: 20.02M time: 0.22 s
895.32/895.31 c lits-rem: 20 cl-subs: 945 v-elim: 2173 v-fix: 0 time: 2.83 s
895.82/895.88 c vivif2 -- cl tried 53558 cl shrink 1902 lits rem 4066 time: 0.57
896.21/896.27 c vivif2 -- cl tried 18433 cl shrink 736 lits rem 279425 time: 0.38
896.52/896.56 c asymm cl-useful: 6/1384/53556 lits-rem:74 time: 0.29
898.41/898.49 c calculated reachability. Time: 1.87
898.51/898.50 c N dy 385 158538 520196 53553 3934090 18398 9380595 2639061 16.56 no data --
924.61/924.66 c N dy 411 168660 520180 53553 3934200 28340 9380595 12982515 16.29 19.21 --
951.81/951.87 c N dy 435 179429 520166 53553 3934331 21292 9380595 4119747 16.02 17.19 --
988.62/988.66 c N dy 482 190896 520015 53553 3934410 32609 9380594 18292627 15.95 16.85 --
1025.92/1025.92 c N dy 526 203081 520000 53553 3934505 26711 9380594 9696380 15.82 29.55 --
1069.01/1069.00 c N dy 593 217809 519892 53553 3934608 22370 9380594 2606690 15.75 16.70 --
1115.32/1115.35 c N dy 646 231893 519882 53553 3934657 36321 9380594 19745399 15.63 17.29 --
1131.31/1131.38 c S st 667 237808 519876 53553 3934704 42139 9380594 25687290 15.55 8.18 --
1133.22/1133.27 c S st 667 238312 519875 53553 3934723 42618 9380594 26054126 15.55 no data --
1133.42/1133.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.18
1133.52/1133.57 c Cache BProp: 25970 Set: 310 BXProp: 0 T: 0.11
1141.92/1141.99 c Flit: 258 Blit: 2480 bXBeca: 0 bXProp: 0 Bins: 11936 BRemL: 0 BRemN: 250 P: 200.1M T: 8.32
1142.01/1142.01 c Cleaning up after failed var search: 0.00 s
1144.42/1144.48 c bin-w-bin subsume rem 8 bins time: 0.25 s
1146.02/1146.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.56 s
1148.72/1148.71 c Subs w/ non-existent bins: 104 l-rem: 95 v-fix: 0 done: 30014 time: 2.65 s
1148.91/1148.93 c Removed useless bin: 1004 fixed: 0 props: 20.04M time: 0.22 s
1210.32/1210.38 c lits-rem: 102 cl-subs: 3191 v-elim: 705 v-fix: 0 time: 61.45 s
1211.02/1211.03 c vivif2 -- cl tried 54438 cl shrink 1221 lits rem 2508 time: 0.65
1212.82/1212.83 c vivif2 -- cl tried 39126 cl shrink 5216 lits rem 3185719 time: 1.79
1213.12/1213.16 c asymm cl-useful: 9/1399/54438 lits-rem:123 time: 0.32
1215.53/1215.56 c calculated reachability. Time: 2.34
1215.53/1215.58 c N dy 667 238312 515966 54433 3905292 39094 9289570 16164126 15.55 no data --
1220.93/1220.98 c Finding binary XORs T: 5.40 s found: 15
1275.72/1275.74 c N dy 743 254074 515922 54433 3905393 34955 9289570 17935191 15.55 16.80 --
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3370892-1305380482/watcher-3370892-1305380482 -o /tmp/evaluation-result-3370892-1305380482/solver-3370892-1305380482 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370892-1305380482.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: 4.10 3.98 3.04 4/328 5454
/proc/meminfo: memFree=22994980/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=25656 CPUtime=0 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1881 0 0 0 0 0 0 0 23 0 1 0 382239853 26271744 1587 33554432000 4194304 4650387 140733668401920 18446744073709551615 268660720042 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 6468 1587 328 112 0 1433 0
[startup+0.023327 s]
/proc/loadavg: 4.10 3.98 3.04 4/328 5454
/proc/meminfo: memFree=22994980/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=34484 CPUtime=0.01 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 4317 0 0 0 1 0 0 0 23 0 1 0 382239853 35311616 3223 33554432000 4194304 4650387 140733668401920 18446744073709551615 4372543 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 8621 3223 329 112 0 3586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 34484
[startup+0.100301 s]
/proc/loadavg: 4.10 3.98 3.04 4/328 5454
/proc/meminfo: memFree=22994980/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=67392 CPUtime=0.09 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 11044 0 0 0 8 1 0 0 23 0 1 0 382239853 69009408 8823 33554432000 4194304 4650387 140733668401920 18446744073709551615 268660662016 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 16848 8823 330 112 0 11813 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67392
[startup+0.300301 s]
/proc/loadavg: 4.10 3.98 3.04 4/328 5454
/proc/meminfo: memFree=22994980/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=137368 CPUtime=0.29 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 29282 0 0 0 26 3 0 0 24 0 1 0 382239853 140664832 20668 33554432000 4194304 4650387 140733668401920 18446744073709551615 4547046 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 34342 20668 330 112 0 29307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 137368
[startup+0.700243 s]
/proc/loadavg: 4.10 3.98 3.04 4/328 5454
/proc/meminfo: memFree=22994980/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=272236 CPUtime=0.69 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 56657 0 0 0 62 7 0 0 25 0 1 0 382239853 278769664 47539 33554432000 4194304 4650387 140733668401920 18446744073709551615 4361539 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 68059 47557 330 112 0 63024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 272236
[startup+1.50108 s]
/proc/loadavg: 4.10 3.98 3.04 5/326 5458
/proc/meminfo: memFree=23170332/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=385068 CPUtime=1.49 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 105853 0 0 0 134 15 0 0 25 0 1 0 382239853 394309632 87572 33554432000 4194304 4650387 140733668401920 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 96267 87573 330 112 0 91232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 385068
[startup+3.10079 s]
/proc/loadavg: 4.10 3.98 3.04 4/324 5472
/proc/meminfo: memFree=23010752/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=570552 CPUtime=3.09 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 147713 0 0 0 289 20 0 0 25 0 1 0 382239853 584245248 110818 33554432000 4194304 4650387 140733668401920 18446744073709551615 4244293 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 142638 110818 354 112 0 137603 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 570552
[startup+6.30023 s]
/proc/loadavg: 4.09 3.98 3.04 5/326 5476
/proc/meminfo: memFree=22802316/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=708428 CPUtime=6.29 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 173498 0 0 0 607 22 0 0 25 0 1 0 382239853 725430272 136603 33554432000 4194304 4650387 140733668401920 18446744073709551615 4244288 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 177107 136603 354 112 0 172072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 708428
[startup+12.7011 s]
/proc/loadavg: 4.08 3.98 3.04 5/329 5482
/proc/meminfo: memFree=21860452/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=1187492 CPUtime=12.69 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 263243 0 0 0 1236 33 0 0 25 0 1 0 382239853 1215991808 226348 33554432000 4194304 4650387 140733668401920 18446744073709551615 268660329439 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 296873 226348 361 112 0 291838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1187492
[startup+25.5009 s]
/proc/loadavg: 4.06 3.98 3.06 5/329 5482
/proc/meminfo: memFree=21221224/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=1291020 CPUtime=25.49 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 300425 0 0 0 2511 38 0 0 25 0 1 0 382239853 1322004480 254664 33554432000 4194304 4650387 140733668401920 18446744073709551615 4314845 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 322755 254664 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: 4.04 3.98 3.08 5/329 5483
/proc/meminfo: memFree=21068652/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=1392452 CPUtime=51.09 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 323083 0 0 0 5068 41 0 0 25 0 1 0 382239853 1425870848 277322 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315225 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 348113 277322 379 112 0 343078 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1392452
[startup+102.312 s]
/proc/loadavg: 3.97 3.97 3.12 5/329 5539
/proc/meminfo: memFree=21838708/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=1513476 CPUtime=102.3 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 377828 0 0 0 10181 49 0 0 25 0 1 0 382239853 1549799424 296039 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315048 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 378369 296039 381 112 0 373334 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1513476
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.18 5/329 5541
/proc/meminfo: memFree=20656324/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=2324152 CPUtime=162.3 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 566985 0 0 0 16158 72 0 0 25 0 1 0 382239853 2379931648 462003 33554432000 4194304 4650387 140733668401920 18446744073709551615 4436425 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 581038 462003 383 112 0 576003 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 2324152
[startup+222.301 s]
/proc/loadavg: 4.03 3.99 3.23 5/329 5543
/proc/meminfo: memFree=20425516/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=2324152 CPUtime=222.29 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 576928 0 0 0 22156 73 0 0 25 0 1 0 382239853 2379931648 456578 33554432000 4194304 4650387 140733668401920 18446744073709551615 4363309 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 581038 456578 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: 4.11 4.02 3.29 5/329 5544
/proc/meminfo: memFree=19940376/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=2976272 CPUtime=282.29 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 722458 0 0 0 28140 89 0 0 25 0 1 0 382239853 3047702528 581977 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 744068 581977 383 112 0 739033 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 2976272
[startup+342.301 s]
/proc/loadavg: 4.13 4.04 3.34 5/329 5546
/proc/meminfo: memFree=19875264/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=3056872 CPUtime=342.3 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 745523 0 0 0 34137 93 0 0 25 0 1 0 382239853 3130236928 590717 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315164 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 764218 590717 383 112 0 759183 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3056872
[startup+402.3 s]
/proc/loadavg: 4.05 4.03 3.38 5/329 5574
/proc/meminfo: memFree=19769672/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=3130176 CPUtime=402.3 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 774616 0 0 0 40134 96 0 0 25 0 1 0 382239853 3205300224 619810 33554432000 4194304 4650387 140733668401920 18446744073709551615 4230798 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 782544 619810 383 112 0 777509 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3130176
[startup+462.301 s]
/proc/loadavg: 4.02 4.02 3.41 5/329 5576
/proc/meminfo: memFree=18842704/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=3938240 CPUtime=462.3 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 948569 0 0 0 46114 116 0 0 25 0 1 0 382239853 4032757760 784897 33554432000 4194304 4650387 140733668401920 18446744073709551615 4229522 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 984560 784897 383 112 0 979525 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 3938240
[startup+522.3 s]
/proc/loadavg: 4.07 4.05 3.46 5/329 5578
/proc/meminfo: memFree=18850060/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=3875292 CPUtime=522.3 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 957074 0 0 0 52112 118 0 0 25 0 1 0 382239853 3968299008 766684 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315050 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 968823 766684 383 112 0 963788 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 3875292
[startup+582.301 s]
/proc/loadavg: 4.06 4.05 3.49 5/329 5579
/proc/meminfo: memFree=18755040/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=3917844 CPUtime=582.31 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 980127 0 0 0 58109 122 0 0 25 0 1 0 382239853 4011872256 774695 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315098 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 979461 774695 383 112 0 974426 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 3917844
[startup+642.301 s]
/proc/loadavg: 4.06 4.05 3.53 5/329 5581
/proc/meminfo: memFree=18480668/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=3920040 CPUtime=642.31 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 992270 0 0 0 64107 124 0 0 25 0 1 0 382239853 4014120960 786838 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315152 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 980010 786838 383 112 0 974975 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 3920040
[startup+702.3 s]
/proc/loadavg: 4.02 4.04 3.55 5/329 5582
/proc/meminfo: memFree=18118540/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=4431080 CPUtime=702.31 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1110893 0 0 0 70093 138 0 0 25 0 1 0 382239853 4537425920 876822 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315240 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1107770 876822 383 112 0 1102735 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 4431080
[startup+762.312 s]
/proc/loadavg: 4.01 4.03 3.58 5/329 5584
/proc/meminfo: memFree=18060276/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=4511660 CPUtime=762.32 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1133382 0 0 0 76090 142 0 0 25 0 1 0 382239853 4619939840 881739 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1127915 881739 383 112 0 1122880 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 4511660
[startup+822.3 s]
/proc/loadavg: 4.00 4.02 3.60 5/329 5586
/proc/meminfo: memFree=18002004/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=4556080 CPUtime=822.31 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1160002 0 0 0 82085 146 0 0 25 0 1 0 382239853 4665425920 893677 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315106 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1139020 893677 383 112 0 1133985 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 4556080
[startup+882.301 s]
/proc/loadavg: 4.19 4.06 3.64 5/329 5590
/proc/meminfo: memFree=17718904/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=4746620 CPUtime=882.31 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1224207 0 0 0 88078 153 0 0 25 0 1 0 382239853 4860538880 940685 33554432000 4194304 4650387 140733668401920 18446744073709551615 4245165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1186655 940686 383 112 0 1181620 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 4746620
[startup+942.301 s]
/proc/loadavg: 4.07 4.05 3.66 5/329 5592
/proc/meminfo: memFree=17403784/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=5178780 CPUtime=942.31 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1308376 0 0 0 94068 163 0 0 25 0 1 0 382239853 5303070720 1015987 33554432000 4194304 4650387 140733668401920 18446744073709551615 4363648 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1294695 1015987 383 112 0 1289660 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 5178780
[startup+1002.3 s]
/proc/loadavg: 4.02 4.04 3.68 5/329 5593
/proc/meminfo: memFree=17371280/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=5207352 CPUtime=1002.32 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1334451 0 0 0 100064 168 0 0 25 0 1 0 382239853 5332328448 1024862 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315980 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1301838 1024862 383 112 0 1296803 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 5207352
[startup+1062.3 s]
/proc/loadavg: 4.01 4.03 3.69 5/329 5595
/proc/meminfo: memFree=17299588/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=5257840 CPUtime=1062.32 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1364389 0 0 0 106059 173 0 0 25 0 1 0 382239853 5384028160 1035344 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315949 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1314460 1035344 383 112 0 1309425 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 5257840
[startup+1122.3 s]
/proc/loadavg: 4.05 4.04 3.72 5/329 5597
/proc/meminfo: memFree=17255896/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=5298040 CPUtime=1122.32 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1394515 0 0 0 112055 177 0 0 25 0 1 0 382239853 5425192960 1044701 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1324510 1044701 383 112 0 1319475 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 5298040
[startup+1182.3 s]
/proc/loadavg: 4.08 4.04 3.74 5/329 5607
/proc/meminfo: memFree=16545532/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=6142808 CPUtime=1182.32 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1569847 0 0 0 118035 197 0 0 25 0 1 0 382239853 6290235392 1211167 33554432000 4194304 4650387 140733668401920 18446744073709551615 4476487 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1535702 1211167 383 112 0 1530667 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 6142808
[startup+1242.3 s]
/proc/loadavg: 4.03 4.03 3.75 5/329 5609
/proc/meminfo: memFree=16469716/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=6089816 CPUtime=1242.32 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1586937 0 0 0 124031 201 0 0 25 0 1 0 382239853 6235971584 1193822 33554432000 4194304 4650387 140733668401920 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1522454 1193822 383 112 0 1517419 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 6089816
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.85 3.99 3.75 4/323 5628
/proc/meminfo: memFree=18444816/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=6173284 CPUtime=1300.03 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4202496 1611199 0 0 0 129798 205 0 0 25 0 1 0 382239853 6321442816 1218084 33554432000 4194304 4650387 140733668401920 18446744073709551615 4315451 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5454/statm: 1543321 1218084 383 112 0 1538286 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 6173284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 3.85 3.99 3.75 4/324 5629
/proc/meminfo: memFree=21034568/32951124 swapFree=46575252/67111528
[pid=5454] ppid=5452 vsize=0 CPUtime=1300.13 cores=4,6
/proc/5454/stat : 5454 (strangenight1-s) R 5452 5454 5193 0 -1 4203524 1611206 0 0 0 129798 215 0 0 25 0 1 0 382239853 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5454/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.2
CPU time (s): 1300.23
CPU user time (s): 1297.99
CPU system time (s): 2.23866
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 6208352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.99
system time used= 2.23866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1611206
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= 955
runsolver used 4.18136 second user time and 8.85565 second system time
The end
Begin job on node107 at 2011-05-14 15:41:26
IDJOB=3370892
IDBENCH=82413
IDSOLVER=1847
FILE ID=node107/3370892-1305380482
RUNJOBID= node107-1305379157-5212
PBS_JOBID= 13324395
Free space on /tmp= 73252 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
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-3370892-1305380482/watcher-3370892-1305380482 -o /tmp/evaluation-result-3370892-1305380482/solver-3370892-1305380482 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370892-1305380482.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c6d3480970bb2819448dd0a800a3cf1c
RANDOM SEED=1259301777
node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
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 : 5359.47
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.829
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.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 22995260 kB
Buffers: 292812 kB
Cached: 4074196 kB
SwapCached: 10016 kB
Active: 7233552 kB
Inactive: 2423408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22995260 kB
SwapTotal: 67111528 kB
SwapFree: 46575252 kB
Dirty: 184940 kB
Writeback: 0 kB
AnonPages: 5286588 kB
Mapped: 20492 kB
Slab: 163468 kB
PageTables: 71760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 66212492 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= 73292 MiB
End job on node107 at 2011-05-14 16:03:08