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-3293523-1303790785.cnf'
0.00/0.00 c -- header says num vars: 651875
0.00/0.00 c -- header says num clauses: 9927770
3.09/3.19 c -- clauses added: 0 learnts, 9927770 normals, 0 xors
3.09/3.19 c -- vars added 651875
3.09/3.19 c Parsing time: 2.98 s
3.09/3.19 c N st 0 0 651875 1143902 8783867 0 28821359 0 no data no data --
3.68/3.72 c asymm cl-useful: 48/48/1143841 lits-rem:1658 time: 0.48
13.78/13.89 c Flit: 269 Blit: 69871 bXBeca: 0 bXProp: 197 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 9.85
14.48/14.52 c Cleaning up after failed var search: 0.63 s
14.88/14.92 c Replacing 198 vars Replaced 262002 lits Time: 0.38 s
16.29/16.39 c bin-w-bin subsume rem 59 bins time: 0.73 s
18.09/18.14 c subs with bin: 83372 lits-rem: 82376 v-fix: 0 time: 1.75 s
23.09/23.19 c Subs w/ non-existent bins: 121 l-rem: 81 v-fix: 0 done: 55115 time: 5.06 s
23.59/23.69 c Removed useless bin: 230 fixed: 0 props: 20.01M time: 0.47 s
28.59/28.67 c lits-rem: 0 cl-subs: 48000 v-elim: 7803 v-fix: 0 time: 4.97 s
29.89/29.97 c Finding binary XORs T: 1.30 s found: 2993
30.19/30.25 c Replacing 2993 vars Replaced 107577 lits Time: 0.28 s
31.49/31.59 c Finding non-binary XORs: 0.82 s (found: 0, avg size: nan)
31.49/31.59 c calculated reachability. Time: 0.35
31.69/31.72 c Calc default polars - time: 0.13 s pos: 40668 undec: 81410 neg: 529797
31.69/31.72 c =========================================================================================
31.69/31.72 c types(t): F = full restart, N = normal restart
31.69/31.72 c types(t): S = simplification begin/end, E = solution found
31.69/31.72 c restart types(rt): st = static, dy = dynamic
31.69/31.72 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
31.69/31.72 c B st 0 0 570555 692270 6181069 0 19941593 0 no data no data --
50.49/50.55 c N dy 23 4191 570537 692270 6182011 3147 19941582 148089 9.57 10.79 --
89.18/89.20 c N dy 44 9859 570535 692270 6182748 7878 19941572 520743 10.81 11.60 --
124.38/124.43 c N dy 66 15323 570531 692270 6183657 12311 19941569 765174 11.21 12.03 --
145.39/145.41 c N dy 81 19444 570528 692270 6184243 15751 19941569 1025052 10.97 11.67 --
171.29/171.37 c N dy 108 23644 570527 692270 6184907 11139 19941470 474005 11.65 13.26 --
183.98/184.01 c F st 118 25001 570527 692270 6185092 12294 19941466 550984 12.20 no data --
202.18/202.25 c N st 123 28297 570527 691246 6167674 14659 19884813 738160 12.20 no data --
214.28/214.35 c S st 124 30000 570527 691246 6168156 15870 19884813 784637 12.20 no data --
217.38/217.46 c S st 124 30501 570527 691246 6168457 16060 19884813 786984 12.20 no data --
217.68/217.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.27
217.68/217.74 c Cache BProp: 376 Set: 2 BXProp: 4 T: 0.02
283.98/284.05 c Flit: 267 Blit: 231 bXBeca: 0 bXProp: 1052 Bins: 7990 BRemL: 0 BRemN: 70 P: 200.0M T: 66.09
283.98/284.07 c Cleaning up after failed var search: 0.00 s
284.58/284.63 c Replacing 1095 vars Replaced 77092 lits Time: 0.52 s
285.88/285.99 c bin-w-bin subsume rem 1630 bins time: 0.78 s
287.58/287.67 c subs with bin: 20966 lits-rem: 34250 v-fix: 0 time: 1.68 s
288.18/288.29 c Subs w/ non-existent bins: 1648 l-rem: 3317 v-fix: 0 done: 8147 time: 0.62 s
288.78/288.88 c Removed useless bin: 1473 fixed: 0 props: 20.03M time: 0.38 s
293.18/293.25 c lits-rem: 14 cl-subs: 1915 v-elim: 10803 v-fix: 0 time: 4.36 s
293.68/293.76 c asymm cl-useful: 84/99/648361 lits-rem:3192 time: 0.51
294.98/295.00 c calculated reachability. Time: 1.09
294.98/295.01 c N dy 124 30501 557990 648361 6169470 13342 19794715 629887 12.20 no data --
331.18/331.21 c N dy 145 34722 557983 648361 6170027 16956 19794709 894298 12.11 12.85 --
371.48/371.54 c N dy 162 39632 557982 648361 6170786 21074 19794709 1289531 11.92 12.77 --
402.58/402.60 c N dy 184 43669 557981 648361 6171517 12378 19794707 357122 11.97 12.88 --
416.27/416.38 c S st 197 45751 557979 648361 6171641 14306 19794707 478762 12.12 6.22 --
421.67/421.78 c S st 197 46251 557945 648361 6171961 14476 19794707 480683 12.12 no data --
422.07/422.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.32
422.07/422.17 c Cache BProp: 182 Set: 176 BXProp: 25 T: 0.08
527.78/527.81 c Flit: 147 Blit: 496 bXBeca: 0 bXProp: 1492 Bins: 50907 BRemL: 0 BRemN: 35 P: 200.1M T: 105.47
527.78/527.84 c Cleaning up after failed var search: 0.00 s
528.38/528.47 c Replacing 1517 vars Replaced 103384 lits Time: 0.57 s
529.88/529.92 c bin-w-bin subsume rem 7926 bins time: 0.82 s
531.68/531.73 c subs with bin: 30506 lits-rem: 60272 v-fix: 0 time: 1.81 s
535.48/535.55 c Subs w/ non-existent bins: 1314 l-rem: 1498 v-fix: 0 done: 48828 time: 3.82 s
536.58/536.65 c Removed useless bin: 154 fixed: 0 props: 20.01M time: 0.55 s
543.46/543.53 c lits-rem: 2508 cl-subs: 5324 v-elim: 21528 v-fix: 0 time: 6.86 s
544.76/544.80 c vivif2 -- cl tried 357645 cl shrink 3308 lits rem 3430 time: 1.26
544.96/545.00 c vivif2 -- cl tried 8523 cl shrink 755 lits rem 5234 time: 0.20
545.56/545.63 c asymm cl-useful: 53/311/604458 lits-rem:996 time: 0.63
547.67/547.71 c calculated reachability. Time: 1.92
547.67/547.75 c N dy 197 46251 533463 604458 6158886 8403 20074769 254363 12.12 no data --
554.76/554.84 c Finding binary XORs T: 7.09 s found: 3938
577.86/577.90 c N dy 220 50331 533455 604458 6159146 12162 20074653 467441 12.13 12.85 --
596.08/596.19 c N dy 245 54348 533455 604458 6159305 15979 20074653 667741 12.28 13.58 --
615.56/615.68 c N dy 271 58551 533454 604458 6159498 19926 20074653 889471 12.39 13.34 --
635.16/635.29 c N dy 303 62577 533451 604458 6159759 23661 20074651 1122277 12.76 23.94 --
653.76/653.86 c N dy 337 66762 533450 604458 6159933 27633 20074650 1367198 13.26 13.99 --
666.36/666.43 c S st 355 69376 533448 604458 6160082 15168 20074649 400453 13.36 no data --
673.07/673.13 c S st 355 69876 533422 604458 6160413 15327 20074649 401903 13.36 no data --
673.36/673.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.32
673.46/673.57 c Cache BProp: 1197 Set: 1184 BXProp: 13 T: 0.12
692.36/692.41 c Flit: 81 Blit: 78 bXBeca: 0 bXProp: 441 Bins: 2294 BRemL: 0 BRemN: 21 P: 200.0M T: 18.65
692.36/692.44 c Cleaning up after failed var search: 0.00 s
692.96/693.06 c Replacing 4394 vars Replaced 133381 lits Time: 0.59 s
694.46/694.51 c bin-w-bin subsume rem 6538 bins time: 0.80 s
695.96/696.10 c subs with bin: 906 lits-rem: 6870 v-fix: 0 time: 1.59 s
704.56/704.66 c Subs w/ non-existent bins: 167 l-rem: 460 v-fix: 0 done: 30963 time: 8.57 s
705.16/705.25 c Removed useless bin: 479 fixed: 0 props: 20.01M time: 0.58 s
712.26/712.38 c lits-rem: 97 cl-subs: 2610 v-elim: 53157 v-fix: 0 time: 7.11 s
713.66/713.73 c vivif2 -- cl tried 279935 cl shrink 1166 lits rem 1167 time: 1.34
713.96/714.09 c vivif2 -- cl tried 12174 cl shrink 856 lits rem 7834 time: 0.36
714.56/714.64 c asymm cl-useful: 74/446/550344 lits-rem:1587 time: 0.55
716.76/716.82 c calculated reachability. Time: 2.03
716.76/716.84 c N dy 355 69876 474476 550344 6067867 12137 19785853 293241 13.36 no data --
724.26/724.38 c Finding binary XORs T: 7.54 s found: 634
742.26/742.33 c N dy 377 74351 474467 550344 6068151 16262 19785851 531156 13.43 14.93 --
760.35/760.48 c N dy 409 79122 474460 550344 6068400 20725 19785766 773842 13.55 20.24 --
781.25/781.35 c N dy 452 84218 474460 550344 6068717 25454 19785766 1032898 13.83 22.61 --
794.96/795.01 c F st 474 87501 474460 550344 6068876 28537 19785763 1222286 13.96 no data --
795.36/795.49 c Replacing 634 vars Replaced 13517 lits Time: 0.32 s
813.66/813.75 c N st 479 90796 473826 550267 6065134 31634 19776160 1384552 13.96 no data --
835.56/835.67 c N dy 506 96621 473822 550267 6065476 19501 19776160 496962 14.06 18.57 --
860.96/861.05 c N dy 547 102929 473820 550267 6065840 25389 19776155 817800 14.25 16.10 --
867.85/867.93 c S st 565 104814 473820 550267 6065914 27189 19776155 937006 14.39 no data --
874.16/874.26 c S st 565 105314 473817 550267 6066230 27368 19776154 938409 14.39 no data --
874.46/874.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.27
874.56/874.66 c Cache BProp: 1355 Set: 1353 BXProp: 41 T: 0.13
888.45/888.52 c Flit: 100 Blit: 275 bXBeca: 0 bXProp: 727 Bins: 1352 BRemL: 1 BRemN: 66 P: 200.0M T: 13.68
888.45/888.53 c Cleaning up after failed var search: 0.00 s
889.05/889.12 c Replacing 770 vars Replaced 90624 lits Time: 0.56 s
890.35/890.47 c bin-w-bin subsume rem 3330 bins time: 0.77 s
891.86/891.97 c subs with bin: 2097 lits-rem: 6214 v-fix: 0 time: 1.49 s
898.46/898.56 c Subs w/ non-existent bins: 248 l-rem: 1034 v-fix: 0 done: 32505 time: 6.59 s
899.05/899.15 c Removed useless bin: 221 fixed: 0 props: 20.02M time: 0.58 s
906.05/906.18 c lits-rem: 10174 cl-subs: 3291 v-elim: 62743 v-fix: 0 time: 7.01 s
909.95/910.08 c vivif2 -- cl tried 323241 cl shrink 7960 lits rem 10371 time: 3.90
911.35/911.45 c vivif2 -- cl tried 23119 cl shrink 3138 lits rem 43615 time: 1.37
911.95/912.05 c asymm cl-useful: 63/395/478545 lits-rem:886 time: 0.60
913.96/914.06 c calculated reachability. Time: 1.87
913.96/914.08 c N dy 565 105314 408540 478545 5926006 23087 19309518 591762 14.39 no data --
922.05/922.19 c Finding binary XORs T: 8.11 s found: 793
945.35/945.40 c N dy 615 112070 408377 478545 5926397 29360 19309518 936224 14.58 19.64 --
971.06/971.12 c N dy 675 119242 408375 478545 5926785 36081 19309517 1348569 14.93 15.84 --
998.85/998.90 c N dy 741 126942 408372 478545 5927138 24210 19309517 574623 15.30 17.18 --
1027.45/1027.59 c N dy 804 135196 408372 478545 5927536 31973 19309517 1031265 15.57 16.76 --
1057.75/1057.88 c N dy 864 143987 408368 478545 5928049 40164 19309513 1526107 15.81 16.74 --
1094.65/1094.74 c N dy 941 153201 408366 478545 5928566 27530 19309513 604784 16.17 23.93 --
1114.16/1114.26 c S st 984 157971 408366 478545 5928805 32029 19309513 887437 16.38 14.78 --
1120.65/1120.73 c S st 984 158471 408361 478545 5929089 32240 19309513 890537 16.38 no data --
1120.94/1121.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.29
1121.04/1121.11 c Cache BProp: 2737 Set: 1729 BXProp: 40 T: 0.09
1137.85/1137.95 c Flit: 17 Blit: 212 bXBeca: 0 bXProp: 151 Bins: 2983 BRemL: 0 BRemN: 36 P: 200.0M T: 16.67
1137.85/1137.97 c Cleaning up after failed var search: 0.00 s
1138.45/1138.59 c Replacing 984 vars Replaced 99409 lits Time: 0.60 s
1139.85/1139.95 c bin-w-bin subsume rem 2338 bins time: 0.76 s
1141.35/1141.42 c subs with bin: 864 lits-rem: 17513 v-fix: 0 time: 1.47 s
1146.75/1146.84 c Subs w/ non-existent bins: 252 l-rem: 988 v-fix: 0 done: 35373 time: 5.42 s
1147.35/1147.45 c Removed useless bin: 252 fixed: 0 props: 20.01M time: 0.59 s
1159.04/1159.14 c lits-rem: 27435 cl-subs: 11429 v-elim: 30056 v-fix: 0 time: 11.66 s
1162.94/1163.00 c vivif2 -- cl tried 333913 cl shrink 11244 lits rem 23382 time: 3.86
1163.55/1163.68 c vivif2 -- cl tried 21170 cl shrink 2169 lits rem 20483 time: 0.68
1164.14/1164.27 c asymm cl-useful: 101/498/517625 lits-rem:5749 time: 0.58
1166.24/1166.34 c calculated reachability. Time: 1.94
1166.24/1166.35 c N dy 984 158471 375383 517610 5715040 21134 19188319 467880 16.38 no data --
1175.24/1175.35 c Finding binary XORs T: 8.99 s found: 619
1219.32/1219.46 c N dy 1056 169420 375376 517610 5715782 31241 19188312 976859 16.50 17.45 --
1260.32/1260.46 c N dy 1132 180294 375374 517610 5716475 41327 19188312 1530718 16.68 19.12 --
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-3293523-1303790785/watcher-3293523-1303790785 -o /tmp/evaluation-result-3293523-1303790785/solver-3293523-1303790785 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3293523-1303790785.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.45 3.88 3.88 5/189 1722
/proc/meminfo: memFree=12543616/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=4 CPUtime=0 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4194304 43 0 0 0 0 0 0 0 23 0 1 0 569309430 4096 1 33554432000 0 0 0 18446744073709551615 5055495 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1722/statm: 164 4 0 0 0 21 0
[startup+0.0347101 s]
/proc/loadavg: 3.45 3.88 3.88 5/189 1722
/proc/meminfo: memFree=12543616/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=35036 CPUtime=0.02 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 2170 0 0 0 2 0 0 0 23 0 1 0 569309430 35876864 1904 33554432000 4194304 4650387 140735083354496 18446744073709551615 4319750 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 8759 1908 329 112 0 3724 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 35036
[startup+0.100694 s]
/proc/loadavg: 3.45 3.88 3.88 5/189 1722
/proc/meminfo: memFree=12543616/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=45036 CPUtime=0.08 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 5234 0 0 0 8 0 0 0 23 0 1 0 569309430 46116864 4677 33554432000 4194304 4650387 140735083354496 18446744073709551615 4319131 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 11259 4677 329 112 0 6224 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45036
[startup+0.300656 s]
/proc/loadavg: 3.45 3.88 3.88 5/189 1722
/proc/meminfo: memFree=12543616/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=76096 CPUtime=0.29 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 14379 0 0 0 27 2 0 0 25 0 1 0 569309430 77922304 12184 33554432000 4194304 4650387 140735083354496 18446744073709551615 4372507 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 19024 12187 329 112 0 13989 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76096
[startup+0.700581 s]
/proc/loadavg: 3.45 3.88 3.88 5/189 1722
/proc/meminfo: memFree=12543616/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=166052 CPUtime=0.68 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 31086 0 0 0 64 4 0 0 25 0 1 0 569309430 170037248 26659 33554432000 4194304 4650387 140735083354496 18446744073709551615 4305864 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 41513 26660 329 112 0 36478 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 166052
[startup+1.83737 s]
/proc/loadavg: 3.45 3.88 3.88 5/189 1722
/proc/meminfo: memFree=12543616/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=308884 CPUtime=1.82 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 74965 0 0 0 171 11 0 0 25 0 1 0 569309430 316297216 65950 33554432000 4194304 4650387 140735083354496 18446744073709551615 256415052485 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 77221 65951 329 112 0 72186 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 308884
[startup+3.10113 s]
/proc/loadavg: 3.49 3.88 3.88 5/190 1723
/proc/meminfo: memFree=12069864/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=544988 CPUtime=3.09 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 123802 0 0 0 289 20 0 0 25 0 1 0 569309430 558067712 106170 33554432000 4194304 4650387 140735083354496 18446744073709551615 256415088395 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 136247 106170 329 112 0 131212 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 544988
[startup+6.30053 s]
/proc/loadavg: 3.49 3.88 3.88 5/190 1723
/proc/meminfo: memFree=11953804/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=671768 CPUtime=6.28 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 169386 0 0 0 603 25 0 0 25 0 1 0 569309430 687890432 137396 33554432000 4194304 4650387 140735083354496 18446744073709551615 4370741 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 167942 137396 353 112 0 162907 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 671768
[startup+12.7003 s]
/proc/loadavg: 3.57 3.88 3.88 5/190 1723
/proc/meminfo: memFree=11665780/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=944536 CPUtime=12.68 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 224691 0 0 0 1235 33 0 0 25 0 1 0 569309430 967204864 192701 33554432000 4194304 4650387 140735083354496 18446744073709551615 4243824 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 236134 192701 353 112 0 231099 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 944536
[startup+25.5009 s]
/proc/loadavg: 3.64 3.89 3.88 5/190 1723
/proc/meminfo: memFree=11329388/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=1250600 CPUtime=25.48 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 292474 0 0 0 2506 42 0 0 25 0 1 0 569309430 1280614400 260462 33554432000 4194304 4650387 140735083354496 18446744073709551615 4433055 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 312650 260462 371 112 0 307615 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1250600
[startup+51.101 s]
/proc/loadavg: 3.78 3.90 3.88 5/190 1724
/proc/meminfo: memFree=11135296/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=1268492 CPUtime=51.09 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 303143 0 0 0 5066 43 0 0 25 0 1 0 569309430 1298935808 268386 33554432000 4194304 4650387 140735083354496 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 317123 268386 380 112 0 312088 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1268492
[startup+102.3 s]
/proc/loadavg: 4.02 3.94 3.90 5/190 1725
/proc/meminfo: memFree=11008724/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=1268492 CPUtime=102.28 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 303609 0 0 0 10185 43 0 0 25 0 1 0 569309430 1298935808 268852 33554432000 4194304 4650387 140735083354496 18446744073709551615 4229472 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 317123 268852 380 112 0 312088 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1268492
[startup+162.301 s]
/proc/loadavg: 4.25 4.02 3.93 5/190 1779
/proc/meminfo: memFree=9466100/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=1268492 CPUtime=162.29 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 304236 0 0 0 16185 44 0 0 25 0 1 0 569309430 1298935808 269479 33554432000 4194304 4650387 140735083354496 18446744073709551615 4303957 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 317123 269479 381 112 0 312088 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1268492
[startup+222.301 s]
/proc/loadavg: 4.09 4.02 3.93 5/190 1807
/proc/meminfo: memFree=8471452/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=1299204 CPUtime=222.28 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 312704 0 0 0 22183 45 0 0 25 0 1 0 569309430 1330384896 277947 33554432000 4194304 4650387 140735083354496 18446744073709551615 4230804 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 324801 277947 383 112 0 319766 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1299204
[startup+282.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/190 1808
/proc/meminfo: memFree=7547664/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=2010852 CPUtime=282.28 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 447935 0 0 0 28164 64 0 0 25 0 1 0 569309430 2059112448 413178 33554432000 4194304 4650387 140735083354496 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 502713 413178 383 112 0 497678 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 2010852
[startup+342.301 s]
/proc/loadavg: 4.01 4.01 3.93 5/190 1810
/proc/meminfo: memFree=6886076/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=2100824 CPUtime=342.28 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 468761 0 0 0 34161 67 0 0 25 0 1 0 569309430 2151243776 434004 33554432000 4194304 4650387 140735083354496 18446744073709551615 4364314 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 525206 434004 383 112 0 520171 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 2100824
[startup+402.301 s]
/proc/loadavg: 4.06 4.02 3.93 5/190 1811
/proc/meminfo: memFree=6629384/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=2070180 CPUtime=402.28 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 479184 0 0 0 40159 69 0 0 25 0 1 0 569309430 2119864320 425988 33554432000 4194304 4650387 140735083354496 18446744073709551615 4363628 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 517545 425988 383 112 0 512510 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2070180
[startup+462.301 s]
/proc/loadavg: 4.02 4.01 3.93 5/190 1813
/proc/meminfo: memFree=6139860/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=2128100 CPUtime=462.27 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 494576 0 0 0 46156 71 0 0 25 0 1 0 569309430 2179174400 441380 33554432000 4194304 4650387 140735083354496 18446744073709551615 4230684 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 532025 441380 383 112 0 526990 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 2128100
[startup+522.301 s]
/proc/loadavg: 4.01 4.01 3.93 5/190 1815
/proc/meminfo: memFree=5374192/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=2412520 CPUtime=522.27 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 548694 0 0 0 52147 80 0 0 25 0 1 0 569309430 2470420480 495498 33554432000 4194304 4650387 140735083354496 18446744073709551615 4302826 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 603130 495498 383 112 0 598095 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 2412520
[startup+582.301 s]
/proc/loadavg: 4.06 4.02 3.94 5/190 1816
/proc/meminfo: memFree=4619456/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=2611332 CPUtime=582.26 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 591136 0 0 0 58139 87 0 0 25 0 1 0 569309430 2674003968 537940 33554432000 4194304 4650387 140735083354496 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 652833 537940 383 112 0 647798 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 2611332
[startup+642.307 s]
/proc/loadavg: 4.02 4.01 3.94 5/190 1818
/proc/meminfo: memFree=4472820/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=2624712 CPUtime=642.26 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 595698 0 0 0 64138 88 0 0 25 0 1 0 569309430 2687705088 542502 33554432000 4194304 4650387 140735083354496 18446744073709551615 4364912 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 656178 542502 383 112 0 651143 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 2624712
[startup+702.301 s]
/proc/loadavg: 4.01 4.00 3.94 5/190 1819
/proc/meminfo: memFree=3538492/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=3162320 CPUtime=702.26 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 701110 0 0 0 70118 108 0 0 25 0 1 0 569309430 3238215680 647914 33554432000 4194304 4650387 140735083354496 18446744073709551615 4241210 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 790580 647914 383 112 0 785545 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 3162320
[startup+762.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 1821
/proc/meminfo: memFree=2930156/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=3203132 CPUtime=762.25 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 711267 0 0 0 76115 110 0 0 25 0 1 0 569309430 3280007168 658071 33554432000 4194304 4650387 140735083354496 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 800783 658071 383 112 0 795748 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 3203132
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 1823
/proc/meminfo: memFree=2483192/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=3216032 CPUtime=822.26 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 716581 0 0 0 82115 111 0 0 25 0 1 0 569309430 3293216768 663385 33554432000 4194304 4650387 140735083354496 18446744073709551615 4363665 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 804008 663385 383 112 0 798973 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 3216032
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 1824
/proc/meminfo: memFree=2191764/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=3504960 CPUtime=882.25 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 782772 0 0 0 88102 123 0 0 25 0 1 0 569309430 3589079040 713739 33554432000 4194304 4650387 140735083354496 18446744073709551615 4369043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 876240 713739 383 112 0 871205 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 3504960
[startup+942.301 s]
/proc/loadavg: 4.09 4.03 3.95 5/190 1826
/proc/meminfo: memFree=1516448/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=3819364 CPUtime=942.25 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 844802 0 0 0 94091 134 0 0 25 0 1 0 569309430 3911028736 775769 33554432000 4194304 4650387 140735083354496 18446744073709551615 4364817 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 954841 775769 383 112 0 949806 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 3819364
[startup+1002.3 s]
/proc/loadavg: 4.03 4.02 3.95 5/190 1827
/proc/meminfo: memFree=1072852/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=3831700 CPUtime=1002.25 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 849407 0 0 0 100089 136 0 0 25 0 1 0 569309430 3923660800 780374 33554432000 4194304 4650387 140735083354496 18446744073709551615 4310818 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 957925 780374 383 112 0 952890 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 3831700
[startup+1062.3 s]
/proc/loadavg: 4.01 4.02 3.95 5/190 1829
/proc/meminfo: memFree=1044084/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=3857884 CPUtime=1062.25 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 856228 0 0 0 106087 138 0 0 25 0 1 0 569309430 3950473216 787195 33554432000 4194304 4650387 140735083354496 18446744073709551615 4363648 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 964471 787195 383 112 0 959436 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 3857884
[startup+1122.3 s]
/proc/loadavg: 4.00 4.01 3.95 5/190 1831
/proc/meminfo: memFree=855644/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=3898552 CPUtime=1122.25 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 876663 0 0 0 112083 142 0 0 25 0 1 0 569309430 3992117248 793984 33554432000 4194304 4650387 140735083354496 18446744073709551615 4230557 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 974638 793984 383 112 0 969603 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 3898552
[startup+1182.3 s]
/proc/loadavg: 4.06 4.03 3.96 5/190 1832
/proc/meminfo: memFree=144248/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=4432476 CPUtime=1182.25 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 990115 0 0 0 118064 161 0 0 25 0 1 0 569309430 4538855424 907436 33554432000 4194304 4650387 140735083354496 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 1108119 907436 383 112 0 1103084 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 4432476
[startup+1242.3 s]
/proc/loadavg: 4.02 4.02 3.96 5/190 1834
/proc/meminfo: memFree=136620/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=4432476 CPUtime=1242.21 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 991034 0 0 0 124060 161 0 0 25 0 1 0 569309430 4538855424 908355 33554432000 4194304 4650387 140735083354496 18446744073709551615 4364930 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 1108119 908355 383 112 0 1103084 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 4432476
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.01 4.02 3.96 6/190 1835
/proc/meminfo: memFree=95732/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=4514596 CPUtime=1299.9 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4202496 995589 0 0 0 129827 163 0 0 25 0 1 0 569309430 4622946304 912910 33554432000 4194304 4650387 140735083354496 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1722/statm: 1128649 912910 383 112 0 1123614 0
Current children cumulated CPU time (s) 1299.9
Current children cumulated vsize (KiB) 4514596
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.01 4.02 3.96 6/190 1835
/proc/meminfo: memFree=95732/32950928 swapFree=67111524/67111528
[pid=1722] ppid=1720 vsize=0 CPUtime=1300 cores=0,2
/proc/1722/stat : 1722 (strangenight1-s) R 1720 1722 32153 0 -1 4203524 995592 0 0 0 129827 173 0 0 25 0 1 0 569309430 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1722/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.17
CPU time (s): 1300.06
CPU user time (s): 1298.27
CPU system time (s): 1.78973
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 4514596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.27
system time used= 1.78973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 995592
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= 3406
runsolver used 2.31465 second user time and 4.78127 second system time
The end
Begin job on node115 at 2011-04-26 06:06:28
IDJOB=3293523
IDBENCH=88158
IDSOLVER=1589
FILE ID=node115/3293523-1303790785
RUNJOBID= node115-1303790779-1603
PBS_JOBID= 13157231
Free space on /tmp= 72908 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
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-3293523-1303790785/watcher-3293523-1303790785 -o /tmp/evaluation-result-3293523-1303790785/solver-3293523-1303790785 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3293523-1303790785.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=1435875111
node115.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.811
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.62
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.811
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.811
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.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
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.77
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.811
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.74
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.811
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.811
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 12543772 kB
Buffers: 2295692 kB
Cached: 16934380 kB
SwapCached: 4 kB
Active: 7899484 kB
Inactive: 11942740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 12543772 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 270032 kB
Writeback: 0 kB
AnonPages: 611384 kB
Mapped: 16268 kB
Slab: 498612 kB
PageTables: 6528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 932036 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= 72564 MiB
End job on node115 at 2011-04-26 06:28:10