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-3370670-1305394373.cnf'
0.00/0.01 c -- header says num vars: 985042
0.00/0.01 c -- header says num clauses: 3113540
2.48/2.56 c -- clauses added: 0 learnts, 3113540 normals, 0 xors
2.48/2.56 c -- vars added 985042
2.48/2.56 c Parsing time: 2.38 s
2.48/2.56 c N st 0 0 985042 1620902 1490503 0 7970771 0 no data no data --
3.49/3.54 c asymm cl-useful: 0/175/1592883 lits-rem:0 time: 0.91
25.43/27.19 c Flit: 42 Blit: 307 bXBeca: 0 bXProp: 40473 Bins: 0 BRemL: 0 BRemN: 0 P: 200.5M T: 21.52
25.73/27.44 c Cleaning up after failed var search: 0.22 s
26.22/27.93 c Replacing 40625 vars Replaced 572404 lits Time: 0.46 s
27.80/29.54 c bin-w-bin subsume rem 12 bins time: 0.32 s
28.73/30.64 c subs with bin: 2718 lits-rem: 3854 v-fix: 0 time: 0.90 s
62.67/65.78 c Subs w/ non-existent bins: 1613 l-rem: 22 v-fix: 164 done: 6074 time: 33.67 s
63.46/66.52 c Removed useless bin: 3 fixed: 0 props: 20.05M time: 0.72 s
72.44/75.57 c lits-rem: 157 cl-subs: 12352 v-elim: 300875 v-fix: 0 time: 8.86 s
75.34/78.47 c Finding binary XORs T: 2.90 s found: 132032
76.05/79.12 c Replacing 132032 vars Replaced 1604181 lits Time: 0.65 s
77.44/80.57 c Finding non-binary XORs: 1.10 s (found: 108049, avg size: 3.0)
77.44/80.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 32914 time: 0.34
77.74/80.89 c Replacing 16457 vars Replaced 167254 lits Time: 0.31 s
78.04/81.14 c calculated reachability. Time: 0.16
78.14/81.30 c Calc default polars - time: 0.16 s pos: 179048 undec: 543531 neg: 262463
78.14/81.30 c =========================================================================================
78.14/81.30 c types(t): F = full restart, N = normal restart
78.14/81.30 c types(t): S = simplification begin/end, E = solution found
78.14/81.30 c restart types(rt): st = static, dy = dynamic
78.14/81.30 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
78.14/81.30 c B st 0 0 453097 771440 601471 0 4276660 0 no data no data --
83.44/86.54 c Decided on static restart strategy
91.14/94.21 c N st 8 4914 426728 721089 568436 3470 4004501 275792 no data no data --
92.94/96.04 c Replacing 4477 vars Replaced 24842 lits Time: 0.25 s
105.43/108.51 c Finding binary XORs T: 1.73 s found: 1773
109.94/113.03 c N st 10 11296 410584 693424 548679 8548 3855509 449140 no data no data --
124.74/127.81 c N st 11 17040 410505 693424 548966 13900 3855508 733738 no data no data --
139.44/142.56 c F st 12 25001 410447 693424 549212 15084 3855508 489958 no data no data --
139.85/142.93 c Replacing 2600 vars Replaced 27093 lits Time: 0.25 s
140.24/143.31 c Replacing 4 vars Replaced 27 lits Time: 0.24 s
153.44/156.55 c N st 12 25001 407980 691581 543968 15060 3838330 488810 no data no data --
165.44/168.54 c Decided on static restart strategy
165.44/168.55 c N st 18 30000 407976 691581 544190 19758 3838329 662291 no data no data --
165.44/168.55 c S st 18 30000 407976 691581 544190 19758 3838329 662291 no data no data --
169.14/172.20 c S st 18 30500 407367 691581 544269 20128 3838329 676077 no data no data --
169.34/172.49 c x-sub: 14653 x-cut: 0 vfix: 0 v-elim: 227 locsubst: 0 time: 0.28
169.44/172.56 c Cache BProp: 224 Set: 334 BXProp: 0 T: 0.07
200.84/203.92 c Flit: 179 Blit: 3766 bXBeca: 0 bXProp: 1236 Bins: 36509 BRemL: 0 BRemN: 1 P: 200.0M T: 31.28
200.94/204.06 c Cleaning up after failed var search: 0.13 s
201.24/204.37 c Replacing 2003 vars Replaced 53109 lits Time: 0.26 s
201.94/205.01 c bin-w-bin subsume rem 2803 bins time: 0.12 s
202.55/205.68 c subs with bin: 18113 lits-rem: 41168 v-fix: 0 time: 0.67 s
208.44/211.53 c Subs w/ non-existent bins: 1701 l-rem: 3966 v-fix: 89 done: 21616 time: 5.84 s
208.94/212.00 c Removed useless bin: 184 fixed: 113 props: 20.01M time: 0.43 s
216.74/219.80 c lits-rem: 14526 cl-subs: 101917 v-elim: 166629 v-fix: 55 time: 7.76 s
217.44/220.50 c asymm cl-useful: 41/512/551887 lits-rem:55 time: 0.67
217.95/221.01 c calculated reachability. Time: 0.46
217.95/221.03 c N st 18 30500 232166 551887 247010 3742 3046580 63626 no data no data --
220.44/223.50 c Finding binary XORs T: 2.46 s found: 2023
231.25/234.34 c N st 20 37612 232138 551887 247604 10189 3046567 315523 no data no data --
241.75/244.88 c N st 21 44011 232115 551887 247989 16104 3046539 636294 no data no data --
245.04/248.11 c S st 22 45752 232095 551887 248075 17740 3046537 676701 no data no data --
246.95/250.03 c S st 22 46257 231989 551887 248151 18145 3046536 688441 no data no data --
247.15/250.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 562 locsubst: 16 time: 0.19
247.25/250.31 c Cache BProp: 331 Set: 29 BXProp: 0 T: 0.08
263.06/266.12 c Flit: 389 Blit: 1521 bXBeca: 0 bXProp: 828 Bins: 16678 BRemL: 0 BRemN: 6 P: 200.0M T: 15.75
263.16/266.22 c Cleaning up after failed var search: 0.09 s
263.35/266.46 c Replacing 3642 vars Replaced 69291 lits Time: 0.21 s
263.85/266.95 c bin-w-bin subsume rem 3640 bins time: 0.06 s
264.74/267.85 c subs with bin: 38158 lits-rem: 120617 v-fix: 0 time: 0.91 s
265.74/268.86 c Subs w/ non-existent bins: 2422 l-rem: 7302 v-fix: 447 done: 86136 time: 1.00 s
266.04/269.11 c Removed useless bin: 1516 fixed: 461 props: 20.04M time: 0.12 s
269.66/272.76 c lits-rem: 10640 cl-subs: 19239 v-elim: 8607 v-fix: 25 time: 3.65 s
271.45/274.58 c vivif2 -- cl tried 59667 cl shrink 643 lits rem 643 time: 1.79
271.65/274.75 c vivif2 -- cl tried 13538 cl shrink 2599 lits rem 18944 time: 0.17
272.25/275.39 c asymm cl-useful: 81/731/485173 lits-rem:103 time: 0.65
272.85/275.97 c calculated reachability. Time: 0.52
272.85/275.98 c N st 22 46257 215506 485173 263242 13400 2758881 230298 no data no data --
276.26/279.35 c Finding binary XORs T: 3.36 s found: 2338
276.45/279.53 c Replacing 2371 vars Replaced 48033 lits Time: 0.19 s
297.15/300.27 c N st 23 60654 212913 485084 259967 16098 2750032 278011 no data no data --
310.64/313.71 c N st 24 69387 212888 485084 260261 24434 2750010 814458 no data no data --
310.64/313.72 c S st 24 69387 212888 485084 260261 24434 2750010 814458 no data no data --
312.55/315.65 c S st 24 69887 212873 485084 260312 24864 2750009 845939 no data no data --
312.74/315.83 c x-sub: 2 x-cut: 0 vfix: 0 v-elim: 889 locsubst: 12 time: 0.18
312.84/315.94 c Cache BProp: 620 Set: 9 BXProp: 2 T: 0.10
328.54/331.66 c Flit: 76 Blit: 505 bXBeca: 0 bXProp: 501 Bins: 8401 BRemL: 0 BRemN: 5 P: 200.1M T: 15.67
328.54/331.67 c Cleaning up after failed var search: 0.00 s
328.84/331.96 c Replacing 730 vars Replaced 28695 lits Time: 0.26 s
329.34/332.44 c bin-w-bin subsume rem 4286 bins time: 0.06 s
330.15/333.22 c subs with bin: 2169 lits-rem: 7314 v-fix: 0 time: 0.78 s
330.44/333.55 c Subs w/ non-existent bins: 212 l-rem: 3413 v-fix: 37 done: 13933 time: 0.32 s
330.64/333.72 c Removed useless bin: 265 fixed: 70 props: 20.00M time: 0.17 s
334.55/337.63 c lits-rem: 8280 cl-subs: 8954 v-elim: 2085 v-fix: 13 time: 3.90 s
336.64/339.74 c vivif2 -- cl tried 52630 cl shrink 646 lits rem 646 time: 2.09
336.94/340.04 c vivif2 -- cl tried 21925 cl shrink 4423 lits rem 30338 time: 0.29
337.54/340.67 c asymm cl-useful: 29/498/470461 lits-rem:195 time: 0.63
338.34/341.45 c calculated reachability. Time: 0.73
338.34/341.46 c N st 24 69887 208412 470461 258160 21790 2657435 351239 no data no data --
342.84/345.94 c Finding binary XORs T: 4.48 s found: 975
362.06/365.15 c F st 25 87501 208353 470461 258879 25043 2657416 453184 no data no data --
362.25/365.39 c Replacing 1024 vars Replaced 19639 lits Time: 0.17 s
362.55/365.63 c Replacing 13 vars Replaced 86 lits Time: 0.15 s
363.55/366.69 c N st 25 87501 207294 470042 257354 25015 2652684 452595 no data no data --
368.85/371.91 c Decided on static restart strategy
373.34/376.41 c N st 32 95538 207284 470042 257584 32731 2652671 837963 no data no data --
387.04/390.18 c N st 34 104831 207262 470042 257794 41697 2652653 1338721 no data no data --
387.04/390.18 c S st 34 104831 207262 470042 257794 41697 2652653 1338721 no data no data --
389.34/392.40 c S st 34 105331 207257 470042 257834 42145 2652653 1373891 no data no data --
389.44/392.58 c x-sub: 5 x-cut: 0 vfix: 0 v-elim: 1489 locsubst: 6 time: 0.18
389.55/392.71 c Cache BProp: 777 Set: 7 BXProp: 0 T: 0.13
404.74/407.88 c Flit: 85 Blit: 180 bXBeca: 0 bXProp: 318 Bins: 1911 BRemL: 0 BRemN: 0 P: 200.0M T: 15.15
404.74/407.89 c Cleaning up after failed var search: 0.00 s
405.06/408.19 c Replacing 385 vars Replaced 30485 lits Time: 0.27 s
405.54/408.69 c bin-w-bin subsume rem 1341 bins time: 0.06 s
406.24/409.38 c subs with bin: 1372 lits-rem: 5403 v-fix: 0 time: 0.68 s
406.85/409.98 c Subs w/ non-existent bins: 561 l-rem: 6639 v-fix: 62 done: 36045 time: 0.59 s
407.05/410.16 c Removed useless bin: 232 fixed: 98 props: 20.00M time: 0.18 s
409.95/413.00 c lits-rem: 1019 cl-subs: 2536 v-elim: 1756 v-fix: 2 time: 2.83 s
415.35/418.42 c vivif2 -- cl tried 175875 cl shrink 2539 lits rem 2539 time: 5.40
415.85/418.95 c vivif2 -- cl tried 40044 cl shrink 10130 lits rem 350745 time: 0.53
416.45/419.55 c asymm cl-useful: 481/1073/460814 lits-rem:7632 time: 0.60
417.35/420.42 c calculated reachability. Time: 0.82
417.35/420.43 c N st 34 105331 203188 460765 255926 39903 2607794 895515 no data no data --
422.15/425.21 c Finding binary XORs T: 4.77 s found: 541
432.35/435.46 c N st 35 114929 203173 460765 256170 33955 2607764 560907 no data no data --
444.95/448.00 c N st 36 129326 203161 460765 256514 47830 2607714 985810 no data no data --
468.04/471.17 c N st 37 150921 203147 460765 256851 51390 2607696 1194217 no data no data --
473.95/477.08 c S st 38 157996 203146 460765 256905 58309 2607670 1491555 no data no data --
476.15/479.23 c S st 38 158496 203141 460765 256972 58734 2607670 1506952 no data no data --
476.35/479.41 c x-sub: 3 x-cut: 0 vfix: 0 v-elim: 787 locsubst: 0 time: 0.18
476.46/479.54 c Cache BProp: 809 Set: 11 BXProp: 0 T: 0.13
492.15/495.25 c Flit: 69 Blit: 69 bXBeca: 0 bXProp: 149 Bins: 2255 BRemL: 1 BRemN: 1 P: 200.0M T: 15.68
492.15/495.26 c Cleaning up after failed var search: 0.00 s
492.45/495.58 c Replacing 753 vars Replaced 34971 lits Time: 0.29 s
493.06/496.15 c bin-w-bin subsume rem 944 bins time: 0.06 s
493.95/497.05 c subs with bin: 746 lits-rem: 7130 v-fix: 0 time: 0.91 s
494.25/497.32 c Subs w/ non-existent bins: 57 l-rem: 3339 v-fix: 1 done: 3168 time: 0.25 s
494.45/497.50 c Removed useless bin: 137 fixed: 6 props: 20.00M time: 0.18 s
497.55/500.69 c lits-rem: 945 cl-subs: 2760 v-elim: 807 v-fix: 4 time: 3.19 s
503.05/506.17 c vivif2 -- cl tried 180079 cl shrink 1665 lits rem 1665 time: 5.46
503.65/506.72 c vivif2 -- cl tried 56510 cl shrink 14088 lits rem 190370 time: 0.55
504.35/507.41 c asymm cl-useful: 279/366/455873 lits-rem:3220 time: 0.69
505.25/508.38 c calculated reachability. Time: 0.92
505.35/508.40 c N st 38 158496 200595 455834 257429 56346 2582311 1240788 no data no data --
510.66/513.74 c Finding binary XORs T: 5.34 s found: 554
565.15/568.26 c N st 39 207084 200570 455834 258140 62485 2582257 2028287 no data no data --
595.15/598.22 c N st 40 237744 200560 455834 258624 69878 2582210 2396343 no data no data --
595.15/598.22 c S st 40 237744 200560 455834 258624 69878 2582210 2396343 no data no data --
597.05/600.16 c S st 40 238247 200553 455834 258669 70324 2582210 2420145 no data no data --
597.25/600.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 506 locsubst: 4 time: 0.18
597.35/600.48 c Cache BProp: 802 Set: 6 BXProp: 0 T: 0.13
613.64/616.72 c Flit: 58 Blit: 92 bXBeca: 0 bXProp: 72 Bins: 7112 BRemL: 0 BRemN: 2 P: 200.1M T: 16.22
613.64/616.74 c Cleaning up after failed var search: 0.00 s
613.96/617.07 c Replacing 683 vars Replaced 20934 lits Time: 0.30 s
614.65/617.72 c bin-w-bin subsume rem 838 bins time: 0.06 s
615.85/618.91 c subs with bin: 673 lits-rem: 3125 v-fix: 0 time: 1.20 s
616.27/619.32 c Subs w/ non-existent bins: 214 l-rem: 4974 v-fix: 10 done: 20395 time: 0.39 s
616.35/619.49 c Removed useless bin: 573 fixed: 15 props: 20.03M time: 0.17 s
620.56/623.63 c lits-rem: 649 cl-subs: 3547 v-elim: 630 v-fix: 5 time: 4.14 s
626.06/629.12 c vivif2 -- cl tried 180640 cl shrink 1478 lits rem 1478 time: 5.46
626.75/629.87 c vivif2 -- cl tried 67360 cl shrink 13942 lits rem 823166 time: 0.74
627.45/630.53 c asymm cl-useful: 443/524/451215 lits-rem:4261 time: 0.66
628.55/631.60 c calculated reachability. Time: 1.03
628.55/631.62 c N st 40 238247 198524 451165 263657 67271 2551400 1430437 no data no data --
634.35/637.48 c Finding binary XORs T: 5.86 s found: 664
720.95/724.01 c F st 41 306251 198517 451165 264409 58932 2551373 1109249 no data no data --
721.15/724.26 c Replacing 672 vars Replaced 12501 lits Time: 0.17 s
721.45/724.51 c Replacing 3 vars Replaced 37 lits Time: 0.16 s
722.45/725.60 c N st 41 306251 197830 451022 264055 58902 2549667 1108711 no data no data --
727.65/730.79 c Decided on static restart strategy
754.16/757.20 c N st 51 334553 197826 451022 264302 59504 2549641 923250 no data no data --
788.05/791.15 c N st 53 357372 197824 451022 264462 81933 2549639 2143772 no data no data --
788.05/791.16 c S st 53 357372 197824 451022 264462 81933 2549639 2143772 no data no data --
790.25/793.38 c S st 53 357874 197823 451022 264496 82397 2549638 2164106 no data no data --
790.45/793.56 c x-sub: 2 x-cut: 0 vfix: 0 v-elim: 513 locsubst: 0 time: 0.18
790.65/793.70 c Cache BProp: 501 Set: 23 BXProp: 0 T: 0.14
805.86/808.96 c Flit: 98 Blit: 127 bXBeca: 0 bXProp: 190 Bins: 2923 BRemL: 1 BRemN: 2 P: 200.1M T: 15.23
805.86/808.97 c Cleaning up after failed var search: 0.00 s
806.15/809.29 c Replacing 264 vars Replaced 26476 lits Time: 0.29 s
806.85/809.92 c bin-w-bin subsume rem 1128 bins time: 0.06 s
807.95/811.01 c subs with bin: 616 lits-rem: 11662 v-fix: 0 time: 1.09 s
808.15/811.26 c Subs w/ non-existent bins: 37 l-rem: 3899 v-fix: 2 done: 4883 time: 0.24 s
808.35/811.43 c Removed useless bin: 671 fixed: 14 props: 20.01M time: 0.17 s
812.07/815.17 c lits-rem: 1171 cl-subs: 3445 v-elim: 594 v-fix: 2 time: 3.74 s
817.65/820.70 c vivif2 -- cl tried 194980 cl shrink 1957 lits rem 1957 time: 5.50
818.45/821.61 c vivif2 -- cl tried 79076 cl shrink 17917 lits rem 420473 time: 0.90
819.25/822.32 c asymm cl-useful: 346/1111/445627 lits-rem:3032 time: 0.72
820.35/823.46 c calculated reachability. Time: 1.09
820.35/823.48 c N st 53 357874 196111 445573 263984 78928 2511109 1577696 no data no data --
826.65/829.77 c Finding binary XORs T: 6.22 s found: 798
860.66/863.74 c N st 54 390266 196099 445252 264542 81965 2510429 1999655 no data no data --
941.16/944.27 c N st 55 438855 196093 445252 264890 69574 2510416 1991127 no data no data --
1050.86/1053.94 c N st 56 511737 196092 445252 265266 76999 2510392 3122454 no data no data --
1089.06/1092.16 c N st 57 536812 196091 445252 265385 101629 2510378 7396412 no data no data --
1089.06/1092.16 c S st 57 536812 196091 445252 265385 101629 2510378 7396412 no data no data --
1091.47/1094.52 c S st 57 537312 196085 445252 265424 102085 2510378 7423235 no data no data --
1091.66/1094.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1505 locsubst: 6 time: 0.20
1091.76/1094.85 c Cache BProp: 465 Set: 12 BXProp: 1 T: 0.14
1107.16/1110.22 c Flit: 139 Blit: 99 bXBeca: 0 bXProp: 267 Bins: 16315 BRemL: 1 BRemN: 2 P: 200.0M T: 15.34
1107.16/1110.23 c Cleaning up after failed var search: 0.00 s
1107.66/1110.75 c Replacing 1160 vars Replaced 38022 lits Time: 0.49 s
1108.76/1111.85 c bin-w-bin subsume rem 1317 bins time: 0.06 s
1111.18/1114.26 c subs with bin: 382 lits-rem: 4634 v-fix: 0 time: 2.40 s
1111.96/1115.01 c Subs w/ non-existent bins: 601 l-rem: 5841 v-fix: 29 done: 76312 time: 0.75 s
1112.16/1115.20 c Removed useless bin: 376 fixed: 31 props: 20.01M time: 0.18 s
1159.26/1162.31 c lits-rem: 110 cl-subs: 5354 v-elim: 1307 v-fix: 2 time: 47.11 s
1164.86/1167.90 c vivif2 -- cl tried 440506 cl shrink 22486 lits rem 54719 time: 5.57
1166.36/1169.43 c vivif2 -- cl tried 96682 cl shrink 23776 lits rem 3446268 time: 1.51
1167.06/1170.11 c asymm cl-useful: 358/907/434362 lits-rem:1092 time: 0.68
1168.16/1171.28 c calculated reachability. Time: 1.12
1168.26/1171.30 c N st 57 537312 191774 434341 279593 96402 2416750 3115785 no data no data --
1175.36/1178.46 c Finding binary XORs T: 7.14 s found: 972
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-3370670-1305394373/watcher-3370670-1305394373 -o /tmp/evaluation-result-3370670-1305394373/solver-3370670-1305394373 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370670-1305394373.cnf
running on 2 cores: 1,3
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.98 4.05 3.96 5/410 27647
/proc/meminfo: memFree=24049860/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=25032 CPUtime=0 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 1580 0 0 0 0 0 0 0 23 0 1 0 651036443 25632768 1327 33554432000 4194304 4650387 140733780651456 18446744073709551615 4316547 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 6258 1332 326 112 0 1223 0
[startup+0.087919 s]
/proc/loadavg: 3.98 4.05 3.96 5/410 27647
/proc/meminfo: memFree=24049860/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=98852 CPUtime=0.07 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 22135 0 0 0 5 2 0 0 23 0 1 0 651036443 101224448 17722 33554432000 4194304 4650387 140733780651456 18446744073709551615 4319750 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 24713 17732 326 112 0 19678 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 98852
[startup+0.100917 s]
/proc/loadavg: 3.98 4.05 3.96 5/410 27647
/proc/meminfo: memFree=24049860/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=123428 CPUtime=0.08 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 26705 0 0 0 6 2 0 0 23 0 1 0 651036443 126390272 18175 33554432000 4194304 4650387 140733780651456 18446744073709551615 242970211361 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 30857 18200 326 112 0 25822 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 123428
[startup+0.300892 s]
/proc/loadavg: 3.98 4.05 3.96 5/410 27647
/proc/meminfo: memFree=24049860/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=299256 CPUtime=0.29 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 79817 0 0 0 20 9 0 0 25 0 1 0 651036443 306438144 61836 33554432000 4194304 4650387 140733780651456 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 74814 61846 329 112 0 69779 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 299256
[startup+0.70082 s]
/proc/loadavg: 3.98 4.05 3.96 5/410 27647
/proc/meminfo: memFree=24049860/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=316936 CPUtime=0.68 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 87163 0 0 0 58 10 0 0 25 0 1 0 651036443 324542464 69033 33554432000 4194304 4650387 140733780651456 18446744073709551615 242970247555 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 79234 69054 330 112 0 74199 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 316936
[startup+1.50067 s]
/proc/loadavg: 3.98 4.05 3.96 5/411 27648
/proc/meminfo: memFree=23727700/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=388020 CPUtime=1.48 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 100011 0 0 0 135 13 0 0 25 0 1 0 651036443 397332480 81880 33554432000 4194304 4650387 140733780651456 18446744073709551615 4520077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 97005 81881 330 112 0 91970 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 388020
[startup+3.1004 s]
/proc/loadavg: 3.98 4.05 3.96 5/411 27648
/proc/meminfo: memFree=23615184/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=439148 CPUtime=3.09 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 115870 0 0 0 292 17 0 0 25 0 1 0 651036443 449687552 97739 33554432000 4194304 4650387 140733780651456 18446744073709551615 4369208 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 109787 97739 347 112 0 104752 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 439148
[startup+6.30085 s]
/proc/loadavg: 4.14 4.08 3.97 5/411 27648
/proc/meminfo: memFree=23358240/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=564784 CPUtime=6.28 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 146189 0 0 0 607 21 0 0 25 0 1 0 651036443 578338816 120486 33554432000 4194304 4650387 140733780651456 18446744073709551615 4370308 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 141196 120486 353 112 0 136161 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 564784
[startup+12.7007 s]
/proc/loadavg: 4.37 4.13 3.98 5/411 27648
/proc/meminfo: memFree=22868408/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=715060 CPUtime=11.71 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 174116 0 0 0 1134 37 0 0 25 0 1 0 651036443 732221440 148413 33554432000 4194304 4650387 140733780651456 18446744073709551615 4370308 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 178765 148413 353 112 0 173730 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 715060
[startup+25.5005 s]
/proc/loadavg: 4.66 4.20 4.01 6/411 27649
/proc/meminfo: memFree=22122420/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=1041472 CPUtime=23.85 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 237305 0 0 0 2335 50 0 0 25 0 1 0 651036443 1066467328 211602 33554432000 4194304 4650387 140733780651456 18446744073709551615 4370308 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/27647/statm: 260368 211602 353 112 0 255333 0
Current children cumulated CPU time (s) 23.85
Current children cumulated vsize (KiB) 1041472
[startup+51.1012 s]
/proc/loadavg: 4.74 4.26 4.04 5/411 27649
/proc/meminfo: memFree=21720856/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=1293124 CPUtime=48.07 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 296473 0 0 0 4719 88 0 0 25 0 1 0 651036443 1324158976 270770 33554432000 4194304 4650387 140733780651456 18446744073709551615 4550173 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 323281 270770 366 112 0 318246 0
Current children cumulated CPU time (s) 48.07
Current children cumulated vsize (KiB) 1293124
[startup+102.315 s]
/proc/loadavg: 4.32 4.22 4.03 5/411 27651
/proc/meminfo: memFree=21190748/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=1584584 CPUtime=99.25 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 363559 0 0 0 9819 106 0 0 25 0 1 0 651036443 1622614016 330160 33554432000 4194304 4650387 140733780651456 18446744073709551615 4368089 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 396146 330160 380 112 0 391111 0
Current children cumulated CPU time (s) 99.25
Current children cumulated vsize (KiB) 1584584
[startup+162.301 s]
/proc/loadavg: 4.11 4.18 4.02 5/411 27652
/proc/meminfo: memFree=20626908/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=1573724 CPUtime=159.24 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 384172 0 0 0 15815 109 0 0 25 0 1 0 651036443 1611493376 332836 33554432000 4194304 4650387 140733780651456 18446744073709551615 4363568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 393431 332836 382 112 0 388396 0
Current children cumulated CPU time (s) 159.24
Current children cumulated vsize (KiB) 1573724
[startup+222.301 s]
/proc/loadavg: 4.04 4.14 4.02 5/411 27654
/proc/meminfo: memFree=19947700/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2108644 CPUtime=219.24 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 495708 0 0 0 21802 122 0 0 25 0 1 0 651036443 2159251456 444372 33554432000 4194304 4650387 140733780651456 18446744073709551615 4528832 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 527161 444372 382 112 0 522126 0
Current children cumulated CPU time (s) 219.24
Current children cumulated vsize (KiB) 2108644
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.02 5/411 27656
/proc/meminfo: memFree=19647108/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2286716 CPUtime=279.24 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 536546 0 0 0 27795 129 0 0 25 0 1 0 651036443 2341597184 485210 33554432000 4194304 4650387 140733780651456 18446744073709551615 4367954 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 571679 485210 382 112 0 566644 0
Current children cumulated CPU time (s) 279.24
Current children cumulated vsize (KiB) 2286716
[startup+342.301 s]
/proc/loadavg: 4.03 4.12 4.02 5/411 27657
/proc/meminfo: memFree=19465028/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2395036 CPUtime=339.24 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 579310 0 0 0 33788 136 0 0 25 0 1 0 651036443 2452516864 512957 33554432000 4194304 4650387 140733780651456 18446744073709551615 4528849 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 598759 512957 382 112 0 593724 0
Current children cumulated CPU time (s) 339.24
Current children cumulated vsize (KiB) 2395036
[startup+402.301 s]
/proc/loadavg: 4.01 4.09 4.01 5/411 27659
/proc/meminfo: memFree=19339516/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2451332 CPUtime=399.25 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 593389 0 0 0 39786 139 0 0 25 0 1 0 651036443 2510163968 527036 33554432000 4194304 4650387 140733780651456 18446744073709551615 4244969 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 612833 527036 382 112 0 607798 0
Current children cumulated CPU time (s) 399.25
Current children cumulated vsize (KiB) 2451332
[startup+462.3 s]
/proc/loadavg: 4.00 4.07 4.01 5/411 27660
/proc/meminfo: memFree=19236200/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2497052 CPUtime=459.24 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 612228 0 0 0 45783 141 0 0 25 0 1 0 651036443 2556981248 536598 33554432000 4194304 4650387 140733780651456 18446744073709551615 4363892 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 624263 536598 382 112 0 619228 0
Current children cumulated CPU time (s) 459.24
Current children cumulated vsize (KiB) 2497052
[startup+522.301 s]
/proc/loadavg: 4.03 4.07 4.01 5/411 27662
/proc/meminfo: memFree=19072104/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2591520 CPUtime=519.25 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 641579 0 0 0 51779 146 0 0 25 0 1 0 651036443 2653716480 557396 33554432000 4194304 4650387 140733780651456 18446744073709551615 4363848 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 647880 557396 382 112 0 642845 0
Current children cumulated CPU time (s) 519.25
Current children cumulated vsize (KiB) 2591520
[startup+582.301 s]
/proc/loadavg: 4.11 4.09 4.01 5/411 27664
/proc/meminfo: memFree=19003876/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2592180 CPUtime=579.25 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 650790 0 0 0 57777 148 0 0 25 0 1 0 651036443 2654392320 557807 33554432000 4194304 4650387 140733780651456 18446744073709551615 4367954 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 648045 557807 382 112 0 643010 0
Current children cumulated CPU time (s) 579.25
Current children cumulated vsize (KiB) 2592180
[startup+642.3 s]
/proc/loadavg: 4.04 4.07 4.00 5/411 27665
/proc/meminfo: memFree=18872664/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2697268 CPUtime=639.27 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 676847 0 0 0 63773 154 0 0 25 0 1 0 651036443 2762002432 583864 33554432000 4194304 4650387 140733780651456 18446744073709551615 4363568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 674317 583864 382 112 0 669282 0
Current children cumulated CPU time (s) 639.27
Current children cumulated vsize (KiB) 2697268
[startup+702.301 s]
/proc/loadavg: 4.01 4.05 4.00 5/411 27667
/proc/meminfo: memFree=18857768/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2697184 CPUtime=699.25 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 685631 0 0 0 69769 156 0 0 25 0 1 0 651036443 2761916416 583691 33554432000 4194304 4650387 140733780651456 18446744073709551615 4364909 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 674296 583691 382 112 0 669261 0
Current children cumulated CPU time (s) 699.25
Current children cumulated vsize (KiB) 2697184
[startup+762.316 s]
/proc/loadavg: 4.00 4.04 4.00 5/411 27668
/proc/meminfo: memFree=18837040/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2698012 CPUtime=759.27 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 696571 0 0 0 75767 160 0 0 25 0 1 0 651036443 2762764288 584129 33554432000 4194304 4650387 140733780651456 18446744073709551615 4333595 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 674503 584129 382 112 0 669468 0
Current children cumulated CPU time (s) 759.27
Current children cumulated vsize (KiB) 2698012
[startup+822.3 s]
/proc/loadavg: 4.11 4.06 4.01 5/411 27670
/proc/meminfo: memFree=18475800/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2860936 CPUtime=819.25 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 720736 0 0 0 81761 164 0 0 25 0 1 0 651036443 2929598464 608294 33554432000 4194304 4650387 140733780651456 18446744073709551615 4241210 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 715234 608294 382 112 0 710199 0
Current children cumulated CPU time (s) 819.25
Current children cumulated vsize (KiB) 2860936
[startup+882.301 s]
/proc/loadavg: 4.09 4.06 4.01 5/411 27672
/proc/meminfo: memFree=18480748/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2795672 CPUtime=879.26 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 737884 0 0 0 87757 169 0 0 25 0 1 0 651036443 2862768128 603867 33554432000 4194304 4650387 140733780651456 18446744073709551615 4315448 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 698918 603867 382 112 0 693883 0
Current children cumulated CPU time (s) 879.26
Current children cumulated vsize (KiB) 2795672
[startup+942.301 s]
/proc/loadavg: 4.03 4.05 4.00 5/411 27673
/proc/meminfo: memFree=18444656/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2797244 CPUtime=939.26 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 753105 0 0 0 93751 175 0 0 25 0 1 0 651036443 2864377856 604108 33554432000 4194304 4650387 140733780651456 18446744073709551615 4363718 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 699311 604108 382 112 0 694276 0
Current children cumulated CPU time (s) 939.26
Current children cumulated vsize (KiB) 2797244
[startup+1002.3 s]
/proc/loadavg: 4.01 4.04 4.00 5/411 27675
/proc/meminfo: memFree=18432360/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2797752 CPUtime=999.26 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 768030 0 0 0 99745 181 0 0 25 0 1 0 651036443 2864898048 606924 33554432000 4194304 4650387 140733780651456 18446744073709551615 4364061 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 699438 606924 382 112 0 694403 0
Current children cumulated CPU time (s) 999.26
Current children cumulated vsize (KiB) 2797752
[startup+1062.3 s]
/proc/loadavg: 4.05 4.04 4.00 5/411 27676
/proc/meminfo: memFree=18431600/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2799108 CPUtime=1059.26 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 784283 0 0 0 105740 186 0 0 25 0 1 0 651036443 2866286592 606222 33554432000 4194304 4650387 140733780651456 18446744073709551615 4348665 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 699777 606222 382 112 0 694742 0
Current children cumulated CPU time (s) 1059.26
Current children cumulated vsize (KiB) 2799108
[startup+1122.3 s]
/proc/loadavg: 4.11 4.06 4.01 5/411 27678
/proc/meminfo: memFree=18221896/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=3063884 CPUtime=1119.26 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 834149 0 0 0 111733 193 0 0 25 0 1 0 651036443 3137417216 656088 33554432000 4194304 4650387 140733780651456 18446744073709551615 4433049 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 765971 656088 382 112 0 760936 0
Current children cumulated CPU time (s) 1119.26
Current children cumulated vsize (KiB) 3063884
[startup+1182.3 s]
/proc/loadavg: 4.15 4.09 4.02 5/411 27680
/proc/meminfo: memFree=18155160/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=3063884 CPUtime=1179.26 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 836624 0 0 0 117732 194 0 0 25 0 1 0 651036443 3137417216 658563 33554432000 4194304 4650387 140733780651456 18446744073709551615 4363892 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 765971 658563 382 112 0 760936 0
Current children cumulated CPU time (s) 1179.26
Current children cumulated vsize (KiB) 3063884
[startup+1242.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/411 27681
/proc/meminfo: memFree=18160840/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2996084 CPUtime=1239.26 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 857542 0 0 0 123726 200 0 0 25 0 1 0 651036443 3067990016 649958 33554432000 4194304 4650387 140733780651456 18446744073709551615 4363490 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 749021 649958 382 112 0 743986 0
Current children cumulated CPU time (s) 1239.26
Current children cumulated vsize (KiB) 2996084
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.79 4.02 4.00 2/396 27737
/proc/meminfo: memFree=21825568/32951132 swapFree=67093844/67111528
[pid=27647] ppid=27645 vsize=2996392 CPUtime=1296.97 cores=1,3
/proc/27647/stat : 27647 (strangenight1-s) R 27645 27647 26847 0 -1 4202496 870406 0 0 0 129494 203 0 0 25 0 1 0 651036443 3068305408 651708 33554432000 4194304 4650387 140733780651456 18446744073709551615 4363985 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27647/statm: 749098 651708 382 112 0 744063 0
Current children cumulated CPU time (s) 1296.97
Current children cumulated vsize (KiB) 2996392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.11
CPU time (s): 1297.09
CPU user time (s): 1294.95
CPU system time (s): 2.13368
CPU usage (%): 99.7671
Max. virtual memory (cumulated for all children) (KiB): 3102908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1294.95
system time used= 2.13368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 870406
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= 1252
runsolver used 4.82227 second user time and 11.9132 second system time
The end
Begin job on node128 at 2011-05-14 19:32:58
IDJOB=3370670
IDBENCH=84238
IDSOLVER=1847
FILE ID=node128/3370670-1305394373
RUNJOBID= node128-1305394373-27607
PBS_JOBID= 13324420
Free space on /tmp= 73484 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370670-1305394373/watcher-3370670-1305394373 -o /tmp/evaluation-result-3370670-1305394373/solver-3370670-1305394373 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370670-1305394373.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=742106006
node128.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.852
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.70
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.852
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.852
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.82
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.852
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.852
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.82
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.852
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
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.82
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.852
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 : 5434.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 24050016 kB
Buffers: 258060 kB
Cached: 2766788 kB
SwapCached: 1440 kB
Active: 6547480 kB
Inactive: 2055328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 24050016 kB
SwapTotal: 67111528 kB
SwapFree: 67093844 kB
Dirty: 131508 kB
Writeback: 0 kB
AnonPages: 5576276 kB
Mapped: 32964 kB
Slab: 193872 kB
PageTables: 39620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 101131456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73540 MiB
End job on node128 at 2011-05-14 19:54:40