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-3370690-1305396551.cnf'
0.00/0.01 c -- header says num vars: 651875
0.00/0.01 c -- header says num clauses: 9927770
2.78/2.86 c -- clauses added: 0 learnts, 9927770 normals, 0 xors
2.78/2.86 c -- vars added 651875
3.09/3.48 c Parsing time: 2.65 s
3.09/3.48 c N st 0 0 651875 1143902 8783867 0 28821359 0 no data no data --
3.09/3.48 c asymm cl-useful: 48/48/1143841 lits-rem:1658 time: 0.41
11.99/12.00 c Flit: 269 Blit: 69871 bXBeca: 0 bXProp: 197 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 8.41
12.49/12.56 c Cleaning up after failed var search: 0.55 s
12.89/12.90 c Replacing 198 vars Replaced 262002 lits Time: 0.33 s
14.19/14.25 c bin-w-bin subsume rem 59 bins time: 0.66 s
15.70/15.79 c subs with bin: 83372 lits-rem: 82376 v-fix: 0 time: 1.55 s
20.28/20.38 c Subs w/ non-existent bins: 121 l-rem: 81 v-fix: 0 done: 55115 time: 4.59 s
20.78/20.83 c Removed useless bin: 230 fixed: 0 props: 20.01M time: 0.43 s
25.28/25.33 c lits-rem: 0 cl-subs: 48000 v-elim: 7803 v-fix: 0 time: 4.48 s
26.48/26.51 c Finding binary XORs T: 1.18 s found: 2993
26.69/26.76 c Replacing 2993 vars Replaced 107577 lits Time: 0.25 s
27.88/27.96 c Finding non-binary XORs: 0.74 s (found: 0, avg size: nan)
27.88/27.96 c calculated reachability. Time: 0.31
27.98/28.09 c Calc default polars - time: 0.12 s pos: 40668 undec: 81410 neg: 529797
27.98/28.09 c =========================================================================================
27.98/28.09 c types(t): F = full restart, N = normal restart
27.98/28.09 c types(t): S = simplification begin/end, E = solution found
27.98/28.09 c restart types(rt): st = static, dy = dynamic
27.98/28.09 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
27.98/28.09 c B st 0 0 570555 692270 6181069 0 19941593 0 no data no data --
44.69/44.73 c N dy 23 4191 570537 692270 6182011 3147 19941582 148089 9.57 10.79 --
78.59/78.69 c N dy 44 9859 570535 692270 6182748 7878 19941572 520743 10.81 11.60 --
110.69/110.71 c N dy 66 15323 570531 692270 6183657 12311 19941569 765174 11.21 12.03 --
129.09/129.13 c N dy 81 19444 570528 692270 6184243 15751 19941569 1025052 10.97 11.67 --
151.09/151.13 c N dy 108 23644 570527 692270 6184907 11139 19941470 474005 11.65 13.26 --
161.69/161.76 c F st 118 25001 570527 692270 6185092 12294 19941466 550984 12.20 no data --
176.89/176.96 c N st 123 28297 570527 691246 6167674 14659 19884813 738160 12.20 no data --
187.20/187.25 c S st 124 30000 570527 691246 6168156 15870 19884813 784637 12.20 no data --
189.89/189.91 c S st 124 30501 570527 691246 6168457 16060 19884813 786984 12.20 no data --
190.09/190.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.23
190.09/190.16 c Cache BProp: 376 Set: 2 BXProp: 4 T: 0.01
248.20/248.28 c Flit: 267 Blit: 231 bXBeca: 0 bXProp: 1052 Bins: 7990 BRemL: 0 BRemN: 70 P: 200.0M T: 57.92
248.30/248.30 c Cleaning up after failed var search: 0.00 s
248.70/248.77 c Replacing 1095 vars Replaced 77092 lits Time: 0.45 s
249.91/249.99 c bin-w-bin subsume rem 1630 bins time: 0.70 s
251.40/251.48 c subs with bin: 20966 lits-rem: 34250 v-fix: 0 time: 1.49 s
252.00/252.03 c Subs w/ non-existent bins: 1648 l-rem: 3317 v-fix: 0 done: 8147 time: 0.54 s
252.50/252.53 c Removed useless bin: 1473 fixed: 0 props: 20.03M time: 0.32 s
256.19/256.24 c lits-rem: 14 cl-subs: 1915 v-elim: 10803 v-fix: 0 time: 3.69 s
256.60/256.68 c asymm cl-useful: 84/99/648361 lits-rem:3192 time: 0.44
257.79/257.80 c calculated reachability. Time: 0.98
257.79/257.82 c N dy 124 30501 557990 648361 6169470 13342 19794715 629887 12.20 no data --
283.89/283.95 c N dy 145 34722 557983 648361 6170027 16956 19794709 894298 12.11 12.85 --
311.69/311.76 c N dy 162 39632 557982 648361 6170786 21074 19794709 1289531 11.92 12.77 --
334.00/334.04 c N dy 184 43669 557981 648361 6171517 12378 19794707 357122 11.97 12.88 --
343.60/343.60 c S st 197 45751 557979 648361 6171641 14306 19794707 478762 12.12 6.22 --
347.30/347.38 c S st 197 46251 557945 648361 6171961 14476 19794707 480683 12.12 no data --
347.60/347.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.23
347.60/347.67 c Cache BProp: 182 Set: 176 BXProp: 25 T: 0.06
435.20/435.21 c Flit: 147 Blit: 496 bXBeca: 0 bXProp: 1492 Bins: 50907 BRemL: 0 BRemN: 35 P: 200.1M T: 87.44
435.20/435.22 c Cleaning up after failed var search: 0.00 s
435.60/435.68 c Replacing 1517 vars Replaced 103384 lits Time: 0.43 s
436.80/436.87 c bin-w-bin subsume rem 7926 bins time: 0.72 s
438.30/438.38 c subs with bin: 30506 lits-rem: 60272 v-fix: 0 time: 1.51 s
441.31/441.31 c Subs w/ non-existent bins: 1314 l-rem: 1498 v-fix: 0 done: 48828 time: 2.93 s
442.20/442.20 c Removed useless bin: 154 fixed: 0 props: 20.01M time: 0.43 s
447.51/447.52 c lits-rem: 2508 cl-subs: 5324 v-elim: 21528 v-fix: 0 time: 5.30 s
448.50/448.56 c vivif2 -- cl tried 357645 cl shrink 3308 lits rem 3430 time: 1.04
448.70/448.72 c vivif2 -- cl tried 8523 cl shrink 755 lits rem 5234 time: 0.16
449.11/449.15 c asymm cl-useful: 53/311/604458 lits-rem:996 time: 0.43
450.50/450.56 c calculated reachability. Time: 1.27
450.50/450.57 c N dy 197 46251 533463 604458 6158886 8403 20074769 254363 12.12 no data --
455.40/455.41 c Finding binary XORs T: 4.83 s found: 3938
472.80/472.82 c N dy 220 50331 533455 604458 6159146 12162 20074653 467441 12.13 12.85 --
487.00/487.02 c N dy 245 54348 533455 604458 6159305 15979 20074653 667741 12.28 13.58 --
502.20/502.22 c N dy 271 58551 533454 604458 6159498 19926 20074653 889471 12.39 13.34 --
516.70/516.72 c N dy 303 62577 533451 604458 6159759 23661 20074651 1122277 12.76 23.94 --
530.41/530.45 c N dy 337 66762 533450 604458 6159933 27633 20074650 1367198 13.26 13.99 --
539.80/539.80 c S st 355 69376 533448 604458 6160082 15168 20074649 400453 13.36 no data --
544.91/544.90 c S st 355 69876 533422 604458 6160413 15327 20074649 401903 13.36 no data --
545.11/545.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.24
545.21/545.23 c Cache BProp: 1197 Set: 1184 BXProp: 13 T: 0.09
559.51/559.52 c Flit: 81 Blit: 78 bXBeca: 0 bXProp: 441 Bins: 2294 BRemL: 0 BRemN: 21 P: 200.0M T: 14.18
559.51/559.54 c Cleaning up after failed var search: 0.00 s
560.01/560.03 c Replacing 4394 vars Replaced 133381 lits Time: 0.46 s
561.22/561.23 c bin-w-bin subsume rem 6538 bins time: 0.70 s
562.51/562.58 c subs with bin: 906 lits-rem: 6870 v-fix: 0 time: 1.35 s
568.71/568.75 c Subs w/ non-existent bins: 167 l-rem: 460 v-fix: 0 done: 30963 time: 6.17 s
569.21/569.21 c Removed useless bin: 479 fixed: 0 props: 20.01M time: 0.46 s
574.81/574.89 c lits-rem: 97 cl-subs: 2610 v-elim: 53157 v-fix: 0 time: 5.67 s
575.91/575.97 c vivif2 -- cl tried 279935 cl shrink 1166 lits rem 1167 time: 1.08
576.21/576.26 c vivif2 -- cl tried 12174 cl shrink 856 lits rem 7834 time: 0.28
576.62/576.69 c asymm cl-useful: 74/446/550344 lits-rem:1587 time: 0.44
578.41/578.40 c calculated reachability. Time: 1.57
578.41/578.41 c N dy 355 69876 474476 550344 6067867 12137 19785853 293241 13.36 no data --
584.32/584.35 c Finding binary XORs T: 5.93 s found: 634
600.21/600.21 c N dy 377 74351 474467 550344 6068151 16262 19785851 531156 13.43 14.93 --
615.61/615.68 c N dy 409 79122 474460 550344 6068400 20725 19785766 773842 13.55 20.24 --
633.00/633.04 c N dy 452 84218 474460 550344 6068717 25454 19785766 1032898 13.83 22.61 --
644.60/644.66 c F st 474 87501 474460 550344 6068876 28537 19785763 1222286 13.96 no data --
645.00/645.07 c Replacing 634 vars Replaced 13517 lits Time: 0.27 s
658.41/658.45 c N st 479 90796 473826 550267 6065134 31634 19776160 1384552 13.96 no data --
677.71/677.71 c N dy 506 96621 473822 550267 6065476 19501 19776160 496962 14.06 18.57 --
700.21/700.27 c N dy 547 102929 473820 550267 6065840 25389 19776155 817800 14.25 16.10 --
706.42/706.43 c S st 565 104814 473820 550267 6065914 27189 19776155 937006 14.39 no data --
711.92/711.98 c S st 565 105314 473817 550267 6066230 27368 19776154 938409 14.39 no data --
712.21/712.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.23
712.31/712.32 c Cache BProp: 1355 Set: 1353 BXProp: 41 T: 0.11
724.70/724.72 c Flit: 100 Blit: 275 bXBeca: 0 bXProp: 727 Bins: 1352 BRemL: 1 BRemN: 66 P: 200.0M T: 12.27
724.70/724.74 c Cleaning up after failed var search: 0.00 s
725.22/725.24 c Replacing 770 vars Replaced 90624 lits Time: 0.48 s
726.41/726.44 c bin-w-bin subsume rem 3330 bins time: 0.69 s
727.71/727.75 c subs with bin: 2097 lits-rem: 6214 v-fix: 0 time: 1.31 s
733.21/733.28 c Subs w/ non-existent bins: 248 l-rem: 1034 v-fix: 0 done: 32505 time: 5.52 s
733.71/733.78 c Removed useless bin: 221 fixed: 0 props: 20.02M time: 0.50 s
739.52/739.53 c lits-rem: 10174 cl-subs: 3291 v-elim: 62743 v-fix: 0 time: 5.75 s
742.82/742.81 c vivif2 -- cl tried 323241 cl shrink 7960 lits rem 10371 time: 3.27
743.92/743.93 c vivif2 -- cl tried 23119 cl shrink 3138 lits rem 43615 time: 1.12
744.41/744.44 c asymm cl-useful: 63/395/478545 lits-rem:886 time: 0.51
746.12/746.11 c calculated reachability. Time: 1.55
746.12/746.13 c N dy 565 105314 408540 478545 5926006 23087 19309518 591762 14.39 no data --
752.81/752.84 c Finding binary XORs T: 6.71 s found: 793
771.71/771.74 c N dy 615 112070 408377 478545 5926397 29360 19309518 936224 14.58 19.64 --
792.71/792.79 c N dy 675 119242 408375 478545 5926785 36081 19309517 1348569 14.93 15.84 --
815.42/815.46 c N dy 741 126942 408372 478545 5927138 24210 19309517 574623 15.30 17.18 --
837.42/837.43 c N dy 804 135196 408372 478545 5927536 31973 19309517 1031265 15.57 16.76 --
862.01/862.05 c N dy 864 143987 408368 478545 5928049 40164 19309513 1526107 15.81 16.74 --
891.91/891.95 c N dy 941 153201 408366 478545 5928566 27530 19309513 604784 16.17 23.93 --
907.73/907.78 c S st 984 157971 408366 478545 5928805 32029 19309513 887437 16.38 14.78 --
913.11/913.18 c S st 984 158471 408361 478545 5929089 32240 19309513 890537 16.38 no data --
913.41/913.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.23
913.41/913.49 c Cache BProp: 2737 Set: 1729 BXProp: 40 T: 0.07
928.22/928.24 c Flit: 17 Blit: 212 bXBeca: 0 bXProp: 151 Bins: 2983 BRemL: 0 BRemN: 36 P: 200.0M T: 14.62
928.22/928.26 c Cleaning up after failed var search: 0.00 s
928.82/928.80 c Replacing 984 vars Replaced 99409 lits Time: 0.51 s
930.02/930.02 c bin-w-bin subsume rem 2338 bins time: 0.69 s
931.32/931.36 c subs with bin: 864 lits-rem: 17513 v-fix: 0 time: 1.34 s
936.92/936.96 c Subs w/ non-existent bins: 252 l-rem: 988 v-fix: 0 done: 35373 time: 5.60 s
937.53/937.52 c Removed useless bin: 252 fixed: 0 props: 20.01M time: 0.54 s
947.11/947.18 c lits-rem: 27435 cl-subs: 11429 v-elim: 30056 v-fix: 0 time: 9.66 s
950.62/950.61 c vivif2 -- cl tried 333913 cl shrink 11244 lits rem 23382 time: 3.42
951.21/951.20 c vivif2 -- cl tried 21170 cl shrink 2169 lits rem 20483 time: 0.59
951.73/951.71 c asymm cl-useful: 101/498/517625 lits-rem:5749 time: 0.50
953.52/953.54 c calculated reachability. Time: 1.72
953.52/953.56 c N dy 984 158471 375383 517610 5715040 21134 19188319 467880 16.38 no data --
961.82/961.84 c Finding binary XORs T: 8.29 s found: 619
1000.32/1000.30 c N dy 1056 169420 375376 517610 5715782 31241 19188312 976859 16.50 17.45 --
1034.02/1034.06 c N dy 1132 180294 375374 517610 5716475 41327 19188312 1530718 16.68 19.12 --
1075.72/1075.73 c N dy 1216 191839 375373 517610 5717134 30542 19188267 751375 16.90 30.77 --
1112.63/1112.60 c N dy 1304 204452 375366 517610 5717943 42243 19188265 1416129 17.13 18.52 --
1159.64/1159.61 c N dy 1402 217596 375361 517610 5718559 31316 19188262 699279 17.49 27.42 --
1206.83/1206.86 c N dy 1513 231584 375358 517610 5719428 44362 19188259 1480038 17.86 19.09 --
1226.03/1226.08 c S st 1555 237706 375356 517610 5719689 25259 19188207 300373 17.94 no data --
1231.13/1231.13 c S st 1555 238206 375346 517610 5719994 25443 19188207 304011 17.94 no data --
1231.32/1231.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.21
1231.42/1231.41 c Cache BProp: 421 Set: 414 BXProp: 6 T: 0.06
1247.83/1247.82 c Flit: 41 Blit: 237 bXBeca: 0 bXProp: 1615 Bins: 3772 BRemL: 2 BRemN: 64 P: 200.1M T: 16.30
1247.83/1247.83 c Cleaning up after failed var search: 0.00 s
1248.43/1248.45 c Replacing 2240 vars Replaced 111646 lits Time: 0.59 s
1249.63/1249.60 c bin-w-bin subsume rem 1879 bins time: 0.66 s
1250.94/1250.91 c subs with bin: 767 lits-rem: 33684 v-fix: 0 time: 1.30 s
1257.83/1257.84 c Subs w/ non-existent bins: 57 l-rem: 93 v-fix: 0 done: 36557 time: 6.94 s
1258.43/1258.41 c Removed useless bin: 218 fixed: 0 props: 20.00M time: 0.57 s
1266.13/1266.17 c lits-rem: 1937 cl-subs: 3879 v-elim: 24260 v-fix: 0 time: 7.76 s
1269.74/1269.77 c vivif2 -- cl tried 283851 cl shrink 6043 lits rem 6218 time: 3.60
1270.33/1270.30 c vivif2 -- cl tried 22869 cl shrink 2219 lits rem 10062 time: 0.53
1270.84/1270.82 c asymm cl-useful: 85/442/488585 lits-rem:3760 time: 0.52
1272.83/1272.80 c calculated reachability. Time: 1.86
1272.83/1272.81 c N dy 1555 238206 348147 488571 5402766 22754 18184761 247746 17.94 no data --
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-3370690-1305396551/watcher-3370690-1305396551 -o /tmp/evaluation-result-3370690-1305396551/solver-3370690-1305396551 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370690-1305396551.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.41 3.51 3.73 5/286 30824
/proc/meminfo: memFree=24672964/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=30416 CPUtime=0 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 896 0 0 0 0 0 0 0 22 0 1 0 729885933 31145984 837 33554432000 4194304 4650387 140735601320976 18446744073709551615 4316261 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 7604 837 327 112 0 2569 0
[startup+0.0691309 s]
/proc/loadavg: 2.41 3.51 3.73 5/286 30824
/proc/meminfo: memFree=24672964/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=41812 CPUtime=0.05 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 4105 0 0 0 5 0 0 0 22 0 1 0 729885933 42815488 3561 33554432000 4194304 4650387 140735601320976 18446744073709551615 260020056773 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 10453 3563 329 112 0 5418 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 41812
[startup+0.101124 s]
/proc/loadavg: 2.41 3.51 3.73 5/286 30824
/proc/meminfo: memFree=24672964/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=46440 CPUtime=0.08 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 5524 0 0 0 8 0 0 0 22 0 1 0 729885933 47554560 4962 33554432000 4194304 4650387 140735601320976 18446744073709551615 4545901 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 11610 4963 329 112 0 6575 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46440
[startup+0.301087 s]
/proc/loadavg: 2.41 3.51 3.73 5/286 30824
/proc/meminfo: memFree=24672964/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=79360 CPUtime=0.29 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 15646 0 0 0 27 2 0 0 23 0 1 0 729885933 81264640 13434 33554432000 4194304 4650387 140735601320976 18446744073709551615 4319750 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 19840 13435 329 112 0 14805 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79360
[startup+0.701016 s]
/proc/loadavg: 2.41 3.51 3.73 5/286 30824
/proc/meminfo: memFree=24672964/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=172980 CPUtime=0.69 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 33912 0 0 0 64 5 0 0 25 0 1 0 729885933 177131520 29448 33554432000 4194304 4650387 140735601320976 18446744073709551615 260020092683 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 43245 29449 329 112 0 38210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 172980
[startup+1.50091 s]
/proc/loadavg: 2.41 3.51 3.73 5/287 30825
/proc/meminfo: memFree=24458684/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=295024 CPUtime=1.48 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 69371 0 0 0 138 10 0 0 25 0 1 0 729885933 302104576 60428 33554432000 4194304 4650387 140735601320976 18446744073709551615 260020092683 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 73756 60428 329 112 0 68721 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 295024
[startup+3.10057 s]
/proc/loadavg: 2.41 3.51 3.73 5/287 30825
/proc/meminfo: memFree=24259568/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=554040 CPUtime=3.09 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 126603 0 0 0 288 21 0 0 25 0 1 0 729885933 567336960 108960 33554432000 4194304 4650387 140735601320976 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 138510 108960 347 112 0 133475 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 554040
[startup+6.30099 s]
/proc/loadavg: 2.78 3.57 3.74 5/287 30826
/proc/meminfo: memFree=24011984/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=705168 CPUtime=6.29 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 176437 0 0 0 602 27 0 0 25 0 1 0 729885933 722092032 144448 33554432000 4194304 4650387 140735601320976 18446744073709551615 4243895 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 176292 144448 353 112 0 171257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 705168
[startup+12.7008 s]
/proc/loadavg: 2.87 3.58 3.75 5/287 30826
/proc/meminfo: memFree=23686496/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=1006176 CPUtime=12.69 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 236774 0 0 0 1236 33 0 0 25 0 1 0 729885933 1030324224 204785 33554432000 4194304 4650387 140735601320976 18446744073709551615 4506520 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 251544 204785 357 112 0 246509 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1006176
[startup+25.5005 s]
/proc/loadavg: 3.12 3.60 3.75 5/287 30826
/proc/meminfo: memFree=23395740/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=1257664 CPUtime=25.49 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 300655 0 0 0 2508 41 0 0 25 0 1 0 729885933 1287847936 265899 33554432000 4194304 4650387 140735601320976 18446744073709551615 4528832 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 314416 265899 371 112 0 309381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1257664
[startup+51.1008 s]
/proc/loadavg: 3.48 3.65 3.76 5/287 30827
/proc/meminfo: memFree=23202696/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=1268484 CPUtime=51.09 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 303229 0 0 0 5067 42 0 0 25 0 1 0 729885933 1298927616 268473 33554432000 4194304 4650387 140735601320976 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 317121 268473 380 112 0 312086 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1268484
[startup+102.3 s]
/proc/loadavg: 3.77 3.70 3.77 5/287 30828
/proc/meminfo: memFree=23099916/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=1268484 CPUtime=102.29 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 303763 0 0 0 10187 42 0 0 25 0 1 0 729885933 1298927616 269007 33554432000 4194304 4650387 140735601320976 18446744073709551615 4365257 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 317121 269007 380 112 0 312086 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1268484
[startup+162.3 s]
/proc/loadavg: 3.99 3.78 3.79 5/287 30882
/proc/meminfo: memFree=21490488/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=1268484 CPUtime=162.29 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 304408 0 0 0 16187 42 0 0 25 0 1 0 729885933 1298927616 269652 33554432000 4194304 4650387 140735601320976 18446744073709551615 4258557 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 317121 269652 382 112 0 312086 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1268484
[startup+222.3 s]
/proc/loadavg: 3.99 3.82 3.80 5/287 30910
/proc/meminfo: memFree=21410132/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=1309020 CPUtime=222.29 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 315158 0 0 0 22186 43 0 0 25 0 1 0 729885933 1340436480 280402 33554432000 4194304 4650387 140735601320976 18446744073709551615 4230600 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 327255 280402 383 112 0 322220 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1309020
[startup+282.3 s]
/proc/loadavg: 4.06 3.86 3.82 5/287 30912
/proc/meminfo: memFree=20298216/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=2100816 CPUtime=282.29 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 468687 0 0 0 28165 64 0 0 25 0 1 0 729885933 2151235584 433931 33554432000 4194304 4650387 140735601320976 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 525204 433931 383 112 0 520169 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 2100816
[startup+342.3 s]
/proc/loadavg: 4.02 3.89 3.82 5/287 30914
/proc/meminfo: memFree=20212664/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=2070172 CPUtime=342.31 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 479299 0 0 0 34165 66 0 0 25 0 1 0 729885933 2119856128 426104 33554432000 4194304 4650387 140735601320976 18446744073709551615 4363677 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 517543 426104 383 112 0 512508 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 2070172
[startup+402.3 s]
/proc/loadavg: 4.06 3.92 3.84 5/287 30915
/proc/meminfo: memFree=20066988/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=2142340 CPUtime=402.3 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 498142 0 0 0 40162 68 0 0 25 0 1 0 729885933 2193756160 444947 33554432000 4194304 4650387 140735601320976 18446744073709551615 4230702 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 535585 444947 383 112 0 530550 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2142340
[startup+462.311 s]
/proc/loadavg: 4.08 3.94 3.85 5/287 30917
/proc/meminfo: memFree=19244872/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=2611324 CPUtime=462.31 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 590914 0 0 0 46153 78 0 0 25 0 1 0 729885933 2673995776 537719 33554432000 4194304 4650387 140735601320976 18446744073709551615 4368256 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 652831 537719 383 112 0 647796 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2611324
[startup+522.3 s]
/proc/loadavg: 4.03 3.95 3.85 5/287 30918
/proc/meminfo: memFree=18808540/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=2624848 CPUtime=522.3 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 595727 0 0 0 52151 79 0 0 25 0 1 0 729885933 2687844352 542532 33554432000 4194304 4650387 140735601320976 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 656212 542532 383 112 0 651177 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2624848
[startup+582.301 s]
/proc/loadavg: 4.08 3.97 3.86 5/287 30920
/proc/meminfo: memFree=18000164/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=3203124 CPUtime=582.31 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 710758 0 0 0 58139 92 0 0 25 0 1 0 729885933 3279998976 657563 33554432000 4194304 4650387 140735601320976 18446744073709551615 4528949 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 800781 657563 383 112 0 795746 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 3203124
[startup+642.301 s]
/proc/loadavg: 4.03 3.97 3.87 5/287 30922
/proc/meminfo: memFree=17884760/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=3203124 CPUtime=642.31 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 712922 0 0 0 64139 92 0 0 25 0 1 0 729885933 3279998976 659727 33554432000 4194304 4650387 140735601320976 18446744073709551615 4304167 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 800781 659727 383 112 0 795746 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 3203124
[startup+702.301 s]
/proc/loadavg: 4.01 3.97 3.88 5/287 30923
/proc/meminfo: memFree=17341416/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=3221176 CPUtime=702.31 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 729222 0 0 0 70137 94 0 0 25 0 1 0 729885933 3298484224 660190 33554432000 4194304 4650387 140735601320976 18446744073709551615 4363677 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 805294 660190 383 112 0 800259 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 3221176
[startup+762.301 s]
/proc/loadavg: 4.00 3.97 3.88 5/287 30925
/proc/meminfo: memFree=16352388/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=3819356 CPUtime=762.32 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 844663 0 0 0 76122 110 0 0 25 0 1 0 729885933 3911020544 775631 33554432000 4194304 4650387 140735601320976 18446744073709551615 4364308 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 954839 775631 383 112 0 949804 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 3819356
[startup+822.301 s]
/proc/loadavg: 4.00 3.97 3.89 5/287 30926
/proc/meminfo: memFree=16266224/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=3833688 CPUtime=822.31 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 849951 0 0 0 82121 110 0 0 25 0 1 0 729885933 3925696512 780919 33554432000 4194304 4650387 140735601320976 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 958422 780919 383 112 0 953387 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 3833688
[startup+882.301 s]
/proc/loadavg: 4.03 3.99 3.90 5/287 30928
/proc/meminfo: memFree=15486452/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=3864820 CPUtime=882.31 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 868016 0 0 0 88118 113 0 0 25 0 1 0 729885933 3957575680 785338 33554432000 4194304 4650387 140735601320976 18446744073709551615 4366787 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 966205 785338 383 112 0 961170 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 3864820
[startup+942.301 s]
/proc/loadavg: 4.09 4.00 3.91 5/287 30930
/proc/meminfo: memFree=14849344/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=4426372 CPUtime=942.32 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 986346 0 0 0 94104 128 0 0 25 0 1 0 729885933 4532604928 903668 33554432000 4194304 4650387 140735601320976 18446744073709551615 4433049 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 1106593 903668 383 112 0 1101558 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 4426372
[startup+1002.3 s]
/proc/loadavg: 4.11 4.02 3.92 5/287 30931
/proc/meminfo: memFree=14654656/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=4432468 CPUtime=1002.33 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 990620 0 0 0 100104 129 0 0 25 0 1 0 729885933 4538847232 907942 33554432000 4194304 4650387 140735601320976 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 1108117 907942 383 112 0 1103082 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 4432468
[startup+1062.3 s]
/proc/loadavg: 4.04 4.01 3.92 5/287 30933
/proc/meminfo: memFree=14292720/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=4447276 CPUtime=1062.32 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 995117 0 0 0 106103 129 0 0 25 0 1 0 729885933 4554010624 912439 33554432000 4194304 4650387 140735601320976 18446744073709551615 4303957 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 1111819 912439 383 112 0 1106784 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 4447276
[startup+1122.31 s]
/proc/loadavg: 4.09 4.03 3.93 5/287 30934
/proc/meminfo: memFree=13984648/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=4537148 CPUtime=1122.33 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 1001620 0 0 0 112102 131 0 0 25 0 1 0 729885933 4646039552 918942 33554432000 4194304 4650387 140735601320976 18446744073709551615 4363303 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 1134287 918942 383 112 0 1129252 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 4537148
[startup+1182.3 s]
/proc/loadavg: 4.03 4.03 3.93 5/287 30936
/proc/meminfo: memFree=13918812/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=4494328 CPUtime=1182.32 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 1016954 0 0 0 118099 133 0 0 25 0 1 0 729885933 4602191872 920089 33554432000 4194304 4650387 140735601320976 18446744073709551615 4303920 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 1123582 920089 383 112 0 1118547 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 4494328
[startup+1242.3 s]
/proc/loadavg: 4.01 4.02 3.93 5/287 30938
/proc/meminfo: memFree=13472616/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=4823536 CPUtime=1242.32 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 1085006 0 0 0 124091 141 0 0 25 0 1 0 729885933 4939300864 988141 33554432000 4194304 4650387 140735601320976 18446744073709551615 4369344 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 1205884 988141 383 112 0 1200849 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 4823536
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.01 3.93 5/287 30939
/proc/meminfo: memFree=12690520/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=4999416 CPUtime=1300.04 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4202496 1122328 0 0 0 129858 146 0 0 25 0 1 0 729885933 5119401984 1025463 33554432000 4194304 4650387 140735601320976 18446744073709551615 4363718 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30824/statm: 1249854 1025463 383 112 0 1244819 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 4999416
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: 4.00 4.01 3.93 5/287 30939
/proc/meminfo: memFree=12690520/32951124 swapFree=67083432/67111528
[pid=30824] ppid=30822 vsize=0 CPUtime=1300.14 cores=4,6
/proc/30824/stat : 30824 (strangenight1-s) R 30822 30824 29599 0 -1 4203524 1122328 0 0 0 129858 156 0 0 25 0 1 0 729885933 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30824/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.17
CPU time (s): 1300.21
CPU user time (s): 1298.58
CPU system time (s): 1.62575
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4999416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.58
system time used= 1.62575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1122328
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= 8
involuntary context switches= 919
runsolver used 3.78143 second user time and 8.00278 second system time
The end
Begin job on node110 at 2011-05-14 20:09:14
IDJOB=3370690
IDBENCH=88158
IDSOLVER=1847
FILE ID=node110/3370690-1305396551
RUNJOBID= node110-1305396545-30706
PBS_JOBID= 13324412
Free space on /tmp= 73336 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370690-1305396551/watcher-3370690-1305396551 -o /tmp/evaluation-result-3370690-1305396551/solver-3370690-1305396551 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370690-1305396551.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=1330291053
node110.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.83
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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.76
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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.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.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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 24672996 kB
Buffers: 274268 kB
Cached: 4002660 kB
SwapCached: 1440 kB
Active: 5042780 kB
Inactive: 2895812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 24672996 kB
SwapTotal: 67111528 kB
SwapFree: 67083432 kB
Dirty: 270208 kB
Writeback: 0 kB
AnonPages: 3660044 kB
Mapped: 24076 kB
Slab: 253696 kB
PageTables: 22396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 46806716 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= 73060 MiB
End job on node110 at 2011-05-14 20:30:56