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-3370890-1305380471.cnf'
0.00/0.00 c -- header says num vars: 153284
0.00/0.00 c -- header says num clauses: 2473656
0.49/0.54 c -- clauses added: 0 learnts, 2473656 normals, 0 xors
0.49/0.54 c -- vars added 153284
0.69/0.99 c Parsing time: 0.49 s
0.69/0.99 c N st 0 0 153284 73962 2026036 0 4799185 0 no data no data --
0.69/0.99 c asymm cl-useful: 683/1183/61968 lits-rem:28657 time: 0.26
6.78/6.82 c Flit: 262 Blit: 9074 bXBeca: 0 bXProp: 503 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 5.86
6.78/6.86 c Cleaning up after failed var search: 0.04 s
6.89/6.92 c Replacing 503 vars Replaced 29207 lits Time: 0.05 s
7.09/7.12 c bin-w-bin subsume rem 734 bins time: 0.12 s
7.39/7.41 c subs with bin: 33 lits-rem: 151 v-fix: 0 time: 0.29 s
10.60/10.68 c Subs w/ non-existent bins: 0 l-rem: 345 v-fix: 0 done: 28605 time: 3.27 s
10.78/10.85 c Removed useless bin: 3998 fixed: 0 props: 20.02M time: 0.17 s
11.18/11.26 c lits-rem: 0 cl-subs: 80 v-elim: 13 v-fix: 0 time: 0.41 s
11.78/11.82 c Finding binary XORs T: 0.56 s found: 195
11.78/11.87 c Replacing 195 vars Replaced 9326 lits Time: 0.05 s
12.08/12.10 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
12.08/12.10 c calculated reachability. Time: 0.17
12.08/12.13 c Calc default polars - time: 0.02 s pos: 3041 undec: 56056 neg: 94187
12.08/12.13 c =========================================================================================
12.08/12.13 c types(t): F = full restart, N = normal restart
12.08/12.13 c types(t): S = simplification begin/end, E = solution found
12.08/12.13 c restart types(rt): st = static, dy = dynamic
12.08/12.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12.08/12.13 c B st 0 0 97234 56981 1295586 0 3120648 0 no data no data --
20.69/20.72 c N dy 15 4089 97234 56981 1295706 3959 3120648 4312094 19.92 21.03 --
31.79/31.86 c N dy 33 8364 97233 56981 1295830 8098 3120648 10244354 20.15 21.92 --
41.08/41.14 c N dy 56 12493 97233 56981 1295917 12129 3120648 14752452 20.52 22.64 --
50.69/50.79 c N dy 76 16530 97232 56981 1295975 16096 3120648 19566498 20.96 73.20 --
60.99/61.09 c N dy 100 20979 97230 56981 1296041 10717 3120648 3086963 21.04 22.31 --
72.10/72.11 c F st 122 25000 97229 56981 1296115 14653 3120648 9195839 22.09 11.74 --
72.29/72.35 c N st 122 25000 97229 56980 1296066 14651 3120516 9195671 22.09 11.74 --
97.39/97.47 c N dy 128 30000 97229 56980 1296144 19556 3120516 18759013 22.09 no data --
97.39/97.47 c S st 128 30000 97229 56980 1296144 19556 3120516 18759013 22.09 no data --
98.29/98.35 c S st 128 30500 97224 56980 1296185 20008 3120516 18857521 22.09 no data --
98.39/98.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
98.39/98.46 c Cache BProp: 7206 Set: 191 BXProp: 0 T: 0.03
119.29/119.35 c Flit: 392 Blit: 1565 bXBeca: 0 bXProp: 107 Bins: 162032 BRemL: 0 BRemN: 1026 P: 200.0M T: 20.79
119.39/119.45 c Cleaning up after failed var search: 0.09 s
119.99/120.08 c Replacing 108 vars Replaced 23748 lits Time: 0.62 s
121.60/121.61 c bin-w-bin subsume rem 511 bins time: 0.11 s
122.99/123.03 c subs with bin: 0 lits-rem: 3 v-fix: 0 time: 1.42 s
123.19/123.23 c Subs w/ non-existent bins: 1 l-rem: 228 v-fix: 0 done: 470 time: 0.20 s
123.39/123.44 c Removed useless bin: 8417 fixed: 0 props: 20.01M time: 0.21 s
145.79/145.88 c lits-rem: 174 cl-subs: 508 v-elim: 0 v-fix: 0 time: 22.44 s
146.09/146.18 c asymm cl-useful: 27/918/56011 lits-rem:64 time: 0.30
146.59/146.67 c calculated reachability. Time: 0.47
146.59/146.68 c N dy 128 30500 94832 56011 1401765 19452 3016188 18556009 22.09 no data --
148.00/148.02 c Finding binary XORs T: 1.34 s found: 64
159.59/159.61 c N dy 135 34537 94830 56011 1401838 23401 3016188 24525529 21.06 22.50 --
170.59/170.68 c N dy 150 38632 94827 56011 1401942 27383 3016188 30390910 20.73 21.97 --
183.70/183.75 c N dy 168 43706 94826 56011 1402039 17257 3016188 4612313 20.24 21.68 --
188.40/188.41 c S st 173 45750 94826 56011 1402087 19247 3016188 6670106 19.96 15.89 --
189.20/189.22 c S st 173 46251 94826 56011 1402122 19711 3016188 6758770 19.96 no data --
189.20/189.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
189.30/189.33 c Cache BProp: 6261 Set: 1 BXProp: 0 T: 0.05
210.70/210.74 c Flit: 142 Blit: 298 bXBeca: 0 bXProp: 15 Bins: 213730 BRemL: 396 BRemN: 4712 P: 200.0M T: 21.32
210.70/210.74 c Cleaning up after failed var search: 0.00 s
210.89/210.96 c Replacing 80 vars Replaced 17557 lits Time: 0.21 s
211.39/211.46 c bin-w-bin subsume rem 145 bins time: 0.13 s
212.79/212.89 c subs with bin: 1 lits-rem: 11 v-fix: 0 time: 1.44 s
213.40/213.49 c Subs w/ non-existent bins: 6 l-rem: 812 v-fix: 0 done: 3407 time: 0.59 s
213.70/213.70 c Removed useless bin: 7969 fixed: 0 props: 20.01M time: 0.21 s
215.80/215.81 c lits-rem: 71 cl-subs: 214 v-elim: 1 v-fix: 0 time: 2.11 s
215.90/215.92 c vivif2 -- cl tried 55842 cl shrink 258 lits rem 2172 time: 0.11
216.40/216.41 c vivif2 -- cl tried 19471 cl shrink 4540 lits rem 885573 time: 0.49
216.70/216.75 c asymm cl-useful: 6/402/55798 lits-rem:11 time: 0.34
217.41/217.45 c calculated reachability. Time: 0.67
217.41/217.45 c N dy 173 46251 94315 55798 1593327 19224 2973133 6170528 19.96 no data --
219.30/219.36 c Finding binary XORs T: 1.91 s found: 27
228.49/228.52 c N dy 186 50486 94312 55798 1593421 23347 2973133 11335620 19.54 20.74 --
240.10/240.12 c N dy 202 54623 94308 55798 1593534 27355 2973132 16880841 19.39 22.22 --
251.69/251.70 c N dy 218 59119 94306 55798 1593667 31708 2973132 23322841 19.07 20.28 --
260.80/260.82 c N dy 239 63124 94304 55798 1593729 35642 2973132 27991159 19.01 22.10 --
270.00/270.08 c N dy 255 67203 94304 55798 1593810 21579 2973132 6116198 18.89 19.95 --
275.61/275.65 c S st 258 69380 94304 55798 1593876 23685 2973132 9138888 18.64 10.22 --
276.60/276.62 c S st 258 69881 94303 55798 1593915 24146 2973132 9231385 18.64 no data --
276.60/276.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
276.71/276.75 c Cache BProp: 6476 Set: 1 BXProp: 0 T: 0.07
293.60/293.66 c Flit: 74 Blit: 197 bXBeca: 0 bXProp: 6 Bins: 195437 BRemL: 1481 BRemN: 4107 P: 200.1M T: 16.83
293.60/293.67 c Cleaning up after failed var search: 0.00 s
293.90/293.95 c Replacing 33 vars Replaced 19171 lits Time: 0.28 s
294.50/294.58 c bin-w-bin subsume rem 110 bins time: 0.16 s
296.00/296.06 c subs with bin: 10 lits-rem: 332 v-fix: 0 time: 1.48 s
296.40/296.46 c Subs w/ non-existent bins: 5 l-rem: 216 v-fix: 0 done: 1297 time: 0.40 s
296.61/296.67 c Removed useless bin: 9220 fixed: 0 props: 20.00M time: 0.21 s
299.91/299.97 c lits-rem: 133 cl-subs: 286 v-elim: 2 v-fix: 0 time: 3.30 s
300.10/300.10 c vivif2 -- cl tried 55673 cl shrink 43 lits rem 540 time: 0.13
300.70/300.76 c vivif2 -- cl tried 23818 cl shrink 3515 lits rem 1249873 time: 0.65
301.10/301.11 c asymm cl-useful: 377/398/55671 lits-rem:5893 time: 0.35
302.01/302.01 c calculated reachability. Time: 0.86
302.01/302.01 c N dy 258 69881 93999 55671 1766313 23668 2930609 8225561 18.64 no data --
304.40/304.44 c Finding binary XORs T: 2.44 s found: 22
316.60/316.66 c N dy 275 75105 93998 55671 1766441 28754 2930609 13823169 18.33 19.84 --
328.20/328.28 c N dy 300 79977 93996 55671 1766530 33531 2930609 19808126 18.36 19.36 --
343.91/343.94 c N dy 316 85952 93993 55671 1766729 39285 2930609 26840496 18.06 19.84 --
347.60/347.67 c F st 323 87501 93991 55671 1766750 20847 2930609 2287355 18.03 13.79 --
347.70/347.78 c Replacing 22 vars Replaced 1700 lits Time: 0.08 s
367.10/367.14 c N dy 329 92695 93969 55667 1765966 25930 2930274 12384647 18.03 no data --
388.60/388.65 c N dy 351 98922 93967 55667 1766073 32039 2930274 20533125 17.81 19.25 --
402.21/402.25 c S st 375 104821 93966 55667 1766217 37780 2930274 25941722 17.65 no data --
403.10/403.13 c S st 375 105321 93965 55667 1766277 38218 2930274 26026376 17.65 no data --
403.21/403.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
403.31/403.31 c Cache BProp: 6112 Set: 0 BXProp: 0 T: 0.08
419.40/419.49 c Flit: 151 Blit: 112 bXBeca: 0 bXProp: 20 Bins: 191473 BRemL: 4 BRemN: 651 P: 200.0M T: 16.12
419.40/419.49 c Cleaning up after failed var search: 0.00 s
419.90/419.98 c Replacing 21 vars Replaced 2839 lits Time: 0.48 s
421.61/421.65 c bin-w-bin subsume rem 143 bins time: 0.18 s
423.21/423.21 c subs with bin: 0 lits-rem: 77 v-fix: 0 time: 1.56 s
423.60/423.61 c Subs w/ non-existent bins: 7 l-rem: 402 v-fix: 0 done: 966 time: 0.39 s
423.80/423.85 c Removed useless bin: 13509 fixed: 0 props: 20.00M time: 0.24 s
485.82/485.82 c lits-rem: 40 cl-subs: 486 v-elim: 0 v-fix: 0 time: 61.97 s
485.91/485.96 c vivif2 -- cl tried 55474 cl shrink 16 lits rem 89 time: 0.15
487.91/488.00 c vivif2 -- cl tried 37681 cl shrink 10078 lits rem 4520323 time: 2.03
488.30/488.37 c asymm cl-useful: 2/846/55474 lits-rem:16 time: 0.37
489.40/489.40 c calculated reachability. Time: 0.99
489.40/489.40 c N dy 375 105321 93644 55474 1932512 37305 2890705 21451324 17.65 no data --
492.20/492.22 c Finding binary XORs T: 2.82 s found: 39
511.71/511.78 c N dy 404 112239 93642 55474 1932662 22538 2890705 2863235 17.54 19.44 --
528.50/528.52 c N dy 422 119594 93642 55474 1932845 29698 2890705 10446268 17.26 26.83 --
548.71/548.74 c N dy 449 127272 93638 55474 1933011 37183 2890705 18801934 17.11 37.20 --
568.51/568.55 c N dy 488 135638 93634 55474 1933194 45343 2890705 27278121 17.07 18.46 --
588.31/588.31 c N dy 517 144452 93631 55474 1933441 33494 2890705 10294680 16.83 17.93 --
610.31/610.30 c N dy 556 153893 93629 55474 1933634 42724 2890705 21223782 16.71 18.20 --
621.81/621.89 c S st 571 157981 93629 55474 1933675 46761 2890705 27212293 16.65 16.37 --
622.81/622.80 c S st 571 158481 93627 55474 1933718 47216 2890705 27305076 16.65 no data --
622.91/622.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
622.91/622.99 c Cache BProp: 3351 Set: 0 BXProp: 0 T: 0.09
634.01/634.05 c Flit: 85 Blit: 25 bXBeca: 0 bXProp: 0 Bins: 80953 BRemL: 48 BRemN: 327 P: 200.1M T: 10.98
634.01/634.05 c Cleaning up after failed var search: 0.00 s
634.71/634.79 c Replacing 39 vars Replaced 12218 lits Time: 0.74 s
636.42/636.48 c bin-w-bin subsume rem 148 bins time: 0.19 s
637.91/637.98 c subs with bin: 1 lits-rem: 160 v-fix: 0 time: 1.50 s
638.31/638.36 c Subs w/ non-existent bins: 13 l-rem: 588 v-fix: 0 done: 1254 time: 0.39 s
638.62/638.61 c Removed useless bin: 11442 fixed: 0 props: 20.00M time: 0.23 s
719.42/719.40 c lits-rem: 10 cl-subs: 638 v-elim: 5 v-fix: 0 time: 80.79 s
719.52/719.56 c vivif2 -- cl tried 55414 cl shrink 28 lits rem 113 time: 0.16
721.71/721.71 c vivif2 -- cl tried 46545 cl shrink 10471 lits rem 4695790 time: 2.13
722.11/722.12 c asymm cl-useful: 1/444/55413 lits-rem:1 time: 0.41
723.32/723.31 c calculated reachability. Time: 1.15
723.32/723.31 c N dy 571 158481 93464 55413 1994704 46353 2862719 22460581 16.65 no data --
726.51/726.56 c Finding binary XORs T: 3.24 s found: 16
750.51/750.54 c N dy 600 168620 93461 55413 1994988 34919 2862719 6574761 16.44 17.64 --
776.62/776.69 c N dy 629 179455 93460 55413 1995199 45526 2862719 18134522 16.22 18.58 --
808.72/808.78 c N dy 679 191166 93458 55413 1995425 35108 2862719 3546656 16.17 17.16 --
838.52/838.50 c N dy 724 203555 93456 55413 1995724 47160 2862719 15959909 16.04 18.27 --
868.12/868.19 c N dy 763 216705 93449 55413 1995956 60048 2862719 29920048 15.90 16.96 --
901.82/901.86 c N dy 816 230609 93447 55413 1996201 50745 2862719 15946090 15.85 16.69 --
916.73/916.77 c S st 841 237725 93445 55413 1996368 57671 2862719 22261222 15.78 9.92 --
917.63/917.60 c S st 841 238226 93445 55413 1996391 58149 2862719 22344523 15.78 no data --
917.63/917.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
917.83/917.80 c Cache BProp: 3347 Set: 4 BXProp: 0 T: 0.10
927.02/927.02 c Flit: 28 Blit: 3 bXBeca: 0 bXProp: 0 Bins: 39867 BRemL: 0 BRemN: 314 P: 200.0M T: 9.15
927.32/927.36 c Replacing 16 vars Replaced 8712 lits Time: 0.33 s
928.53/928.59 c bin-w-bin subsume rem 70 bins time: 0.19 s
930.24/930.22 c subs with bin: 1 lits-rem: 38 v-fix: 0 time: 1.63 s
930.42/930.48 c Subs w/ non-existent bins: 2 l-rem: 383 v-fix: 0 done: 247 time: 0.25 s
930.72/930.70 c Removed useless bin: 5390 fixed: 0 props: 20.01M time: 0.21 s
988.43/988.41 c lits-rem: 214 cl-subs: 690 v-elim: 1 v-fix: 0 time: 57.72 s
988.54/988.59 c vivif2 -- cl tried 55391 cl shrink 18 lits rem 245 time: 0.17
990.53/990.55 c vivif2 -- cl tried 57422 cl shrink 9688 lits rem 3944507 time: 1.95
990.93/990.90 c asymm cl-useful: 1/341/55391 lits-rem:1 time: 0.35
992.23/992.23 c calculated reachability. Time: 1.28
992.23/992.23 c N dy 841 238226 93393 55391 2027604 57184 2849300 18280010 15.78 no data --
995.83/995.90 c Finding binary XORs T: 3.67 s found: 9
1034.74/1034.73 c N dy 901 253887 93389 55391 2027936 48680 2849300 10570639 15.68 16.54 --
1068.42/1068.43 c N dy 967 270139 93383 55391 2028211 64620 2849300 27534297 15.60 16.79 --
1107.23/1107.24 c N dy 1041 287413 93374 55391 2028499 56630 2849300 12446452 15.52 16.43 --
1149.63/1149.62 c N dy 1119 305914 93372 55391 2028825 74757 2849300 29928138 15.42 17.71 --
1150.53/1150.59 c F st 1120 306250 93372 55391 2028830 75088 2849300 30273245 15.42 14.95 --
1151.03/1151.02 c Replacing 9 vars Replaced 4328 lits Time: 0.32 s
1204.24/1204.25 c N dy 1187 325474 93361 55379 2024472 67993 2848498 19366151 15.35 16.21 --
1251.83/1251.87 c N dy 1281 346542 93355 55379 2024812 62208 2848498 7968108 15.31 16.35 --
1276.44/1276.48 c S st 1327 357339 93353 55379 2025008 72778 2848498 18040055 15.25 10.39 --
1277.34/1277.30 c S st 1327 357839 93352 55379 2025045 73240 2848498 18139169 15.25 no data --
1277.34/1277.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
1277.54/1277.50 c Cache BProp: 3340 Set: 0 BXProp: 0 T: 0.11
1291.63/1291.60 c Flit: 55 Blit: 13 bXBeca: 0 bXProp: 3 Bins: 97592 BRemL: 180 BRemN: 5417 P: 200.0M T: 14.05
1291.93/1291.90 c Replacing 4 vars Replaced 1334 lits Time: 0.29 s
1292.93/1292.97 c bin-w-bin subsume rem 52 bins time: 0.20 s
1294.63/1294.64 c subs with bin: 2 lits-rem: 1 v-fix: 0 time: 1.67 s
1294.93/1294.92 c Subs w/ non-existent bins: 0 l-rem: 320 v-fix: 0 done: 605 time: 0.28 s
1295.13/1295.19 c Removed useless bin: 46272 fixed: 0 props: 20.00M time: 0.27 s
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-3370890-1305380471/watcher-3370890-1305380471 -o /tmp/evaluation-result-3370890-1305380471/solver-3370890-1305380471 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370890-1305380471.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.02 3.96 3.01 4/326 5117
/proc/meminfo: memFree=10675740/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=22560 CPUtime=0 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 986 0 0 0 0 0 0 0 23 0 1 0 649649592 23101440 893 33554432000 4194304 4650387 140737096874576 18446744073709551615 4545901 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 5640 893 327 112 0 605 0
[startup+0.0307231 s]
/proc/loadavg: 4.02 3.96 3.01 4/326 5117
/proc/meminfo: memFree=10675740/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=34336 CPUtime=0.02 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 1905 0 0 0 2 0 0 0 23 0 1 0 649649592 35160064 1614 33554432000 4194304 4650387 140737096874576 18446744073709551615 4546984 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 8584 1614 330 112 0 3549 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 34336
[startup+0.100742 s]
/proc/loadavg: 4.02 3.96 3.01 4/326 5117
/proc/meminfo: memFree=10675740/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=45856 CPUtime=0.09 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 5025 0 0 0 8 1 0 0 23 0 1 0 649649592 46956544 3931 33554432000 4194304 4650387 140737096874576 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 11464 3941 330 112 0 6429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45856
[startup+0.300706 s]
/proc/loadavg: 4.02 3.96 3.01 4/326 5117
/proc/meminfo: memFree=10675740/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=83240 CPUtime=0.29 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 15324 0 0 0 26 3 0 0 25 0 1 0 649649592 85237760 13097 33554432000 4194304 4650387 140737096874576 18446744073709551615 4545757 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 20810 13097 330 112 0 15775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83240
[startup+0.700599 s]
/proc/loadavg: 4.02 3.96 3.01 4/326 5117
/proc/meminfo: memFree=10675740/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=127124 CPUtime=0.69 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 27639 0 0 0 64 5 0 0 25 0 1 0 649649592 130174976 23245 33554432000 4194304 4650387 140737096874576 18446744073709551615 4370487 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 31781 23245 347 112 0 26746 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127124
[startup+1.51645 s]
/proc/loadavg: 4.02 3.96 3.01 4/326 5117
/proc/meminfo: memFree=10675740/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=182056 CPUtime=1.5 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 38212 0 0 0 143 7 0 0 25 0 1 0 649649592 186425344 32858 33554432000 4194304 4650387 140737096874576 18446744073709551615 4370969 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 45514 32858 353 112 0 40479 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 182056
[startup+3.10117 s]
/proc/loadavg: 4.18 4.00 3.03 5/330 5124
/proc/meminfo: memFree=10278296/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=279768 CPUtime=3.09 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 56057 0 0 0 298 11 0 0 25 0 1 0 649649592 286482432 50703 33554432000 4194304 4650387 140737096874576 18446744073709551615 4302826 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 69942 50703 353 112 0 64907 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279768
[startup+6.30057 s]
/proc/loadavg: 4.18 4.00 3.03 5/330 5124
/proc/meminfo: memFree=9863780/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=516380 CPUtime=6.29 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 101575 0 0 0 612 17 0 0 25 0 1 0 649649592 528773120 96221 33554432000 4194304 4650387 140737096874576 18446744073709551615 4241552 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 129095 96229 353 112 0 124060 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 516380
[startup+12.7004 s]
/proc/loadavg: 4.15 4.00 3.04 5/330 5124
/proc/meminfo: memFree=9581832/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=582452 CPUtime=12.69 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 117332 0 0 0 1251 18 0 0 25 0 1 0 649649592 596430848 111978 33554432000 4194304 4650387 140737096874576 18446744073709551615 4334031 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 145613 111978 379 112 0 140578 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 582452
[startup+25.5009 s]
/proc/loadavg: 4.13 4.00 3.05 5/327 5145
/proc/meminfo: memFree=9990072/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=638484 CPUtime=25.49 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 125837 0 0 0 2529 20 0 0 25 0 1 0 649649592 653807616 120483 33554432000 4194304 4650387 140737096874576 18446744073709551615 4315061 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 159621 120483 379 112 0 154586 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 638484
[startup+51.1011 s]
/proc/loadavg: 4.08 4.00 3.07 5/330 5152
/proc/meminfo: memFree=9245176/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=735536 CPUtime=51.09 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 145359 0 0 0 5084 25 0 0 25 0 1 0 649649592 753188864 140005 33554432000 4194304 4650387 140737096874576 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 183884 140005 379 112 0 178849 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 735536
[startup+102.3 s]
/proc/loadavg: 4.03 4.00 3.12 5/330 5154
/proc/meminfo: memFree=8275732/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=740940 CPUtime=102.29 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 178849 0 0 0 10200 29 0 0 25 0 1 0 649649592 758722560 150091 33554432000 4194304 4650387 140737096874576 18446744073709551615 4369439 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 185235 150091 383 112 0 180200 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 740940
[startup+162.301 s]
/proc/loadavg: 4.01 4.00 3.17 5/330 5182
/proc/meminfo: memFree=8279820/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=1719228 CPUtime=162.3 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 387280 0 0 0 16176 54 0 0 25 0 1 0 649649592 1760489472 358522 33554432000 4194304 4650387 140737096874576 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 429807 358522 383 112 0 424772 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1719228
[startup+222.301 s]
/proc/loadavg: 4.08 4.01 3.22 5/330 5184
/proc/meminfo: memFree=7632724/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=2090300 CPUtime=222.29 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 495894 0 0 0 22162 67 0 0 25 0 1 0 649649592 2140467200 432906 33554432000 4194304 4650387 140737096874576 18446744073709551615 4333905 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 522575 432906 383 112 0 517540 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2090300
[startup+282.312 s]
/proc/loadavg: 4.06 4.02 3.28 5/330 5185
/proc/meminfo: memFree=7430312/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=2104168 CPUtime=282.31 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 529543 0 0 0 28159 72 0 0 25 0 1 0 649649592 2154668032 433442 33554432000 4194304 4650387 140737096874576 18446744073709551615 4231007 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 526042 433442 383 112 0 521007 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 2104168
[startup+342.301 s]
/proc/loadavg: 4.15 4.05 3.33 5/330 5187
/proc/meminfo: memFree=7071240/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=2561768 CPUtime=342.3 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 629394 0 0 0 34146 84 0 0 25 0 1 0 649649592 2623250432 533293 33554432000 4194304 4650387 140737096874576 18446744073709551615 4368256 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 640442 533293 383 112 0 635407 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2561768
[startup+402.301 s]
/proc/loadavg: 4.05 4.04 3.37 5/330 5189
/proc/meminfo: memFree=7006060/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=2573172 CPUtime=402.3 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 656330 0 0 0 40143 87 0 0 25 0 1 0 649649592 2634928128 530653 33554432000 4194304 4650387 140737096874576 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 643293 530653 383 112 0 638258 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2573172
[startup+462.3 s]
/proc/loadavg: 4.02 4.03 3.40 5/330 5190
/proc/meminfo: memFree=6581428/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=2987024 CPUtime=462.31 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 747373 0 0 0 46132 99 0 0 25 0 1 0 649649592 3058712576 621696 33554432000 4194304 4650387 140737096874576 18446744073709551615 4476172 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 746756 621696 383 112 0 741721 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2987024
[startup+522.301 s]
/proc/loadavg: 4.00 4.02 3.44 5/330 5192
/proc/meminfo: memFree=6122700/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=2934524 CPUtime=522.31 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 777547 0 0 0 52128 103 0 0 25 0 1 0 649649592 3004952576 606218 33554432000 4194304 4650387 140737096874576 18446744073709551615 4315061 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 733631 606218 383 112 0 728596 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2934524
[startup+582.301 s]
/proc/loadavg: 4.05 4.03 3.48 5/330 5193
/proc/meminfo: memFree=6106652/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=2950756 CPUtime=582.31 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 803696 0 0 0 58125 106 0 0 25 0 1 0 649649592 3021574144 609558 33554432000 4194304 4650387 140737096874576 18446744073709551615 4315022 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 737689 609558 383 112 0 732654 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2950756
[startup+642.3 s]
/proc/loadavg: 4.02 4.02 3.51 5/330 5195
/proc/meminfo: memFree=5771556/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3366196 CPUtime=642.31 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 897009 0 0 0 64112 119 0 0 25 0 1 0 649649592 3446984704 702871 33554432000 4194304 4650387 140737096874576 18446744073709551615 4476079 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 841549 702871 383 112 0 836514 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 3366196
[startup+702.301 s]
/proc/loadavg: 4.00 4.02 3.54 5/330 5197
/proc/meminfo: memFree=5720544/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3366196 CPUtime=702.32 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 897009 0 0 0 70113 119 0 0 25 0 1 0 649649592 3446984704 702871 33554432000 4194304 4650387 140737096874576 18446744073709551615 4476490 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 841549 702871 383 112 0 836514 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 3366196
[startup+762.301 s]
/proc/loadavg: 4.13 4.06 3.58 5/330 5198
/proc/meminfo: memFree=5716044/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3319312 CPUtime=762.31 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 929440 0 0 0 76107 124 0 0 25 0 1 0 649649592 3398975488 691648 33554432000 4194304 4650387 140737096874576 18446744073709551615 4328222 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 829828 691650 383 112 0 824793 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 3319312
[startup+822.3 s]
/proc/loadavg: 4.05 4.04 3.60 5/330 5200
/proc/meminfo: memFree=5560868/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3336268 CPUtime=822.32 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 955918 0 0 0 82105 127 0 0 25 0 1 0 649649592 3416338432 693460 33554432000 4194304 4650387 140737096874576 18446744073709551615 4314839 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 834067 693460 383 112 0 829032 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 3336268
[startup+882.301 s]
/proc/loadavg: 3.53 3.91 3.58 4/324 5219
/proc/meminfo: memFree=5823784/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3353824 CPUtime=882.32 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 982822 0 0 0 88099 133 0 0 25 0 1 0 649649592 3434315776 694867 33554432000 4194304 4650387 140737096874576 18446744073709551615 4314969 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 838456 694867 383 112 0 833421 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 3353824
[startup+942.312 s]
/proc/loadavg: 3.21 3.74 3.54 4/324 5221
/proc/meminfo: memFree=5567932/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3759228 CPUtime=942.33 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 1065475 0 0 0 94089 144 0 0 25 0 1 0 649649592 3849449472 777520 33554432000 4194304 4650387 140737096874576 18446744073709551615 4476487 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 939807 777520 383 112 0 934772 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 3759228
[startup+1002.3 s]
/proc/loadavg: 3.08 3.61 3.51 4/324 5223
/proc/meminfo: memFree=5467564/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3759228 CPUtime=1002.33 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 1081473 0 0 0 100087 146 0 0 25 0 1 0 649649592 3849449472 793518 33554432000 4194304 4650387 140737096874576 18446744073709551615 4315980 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 939807 793518 383 112 0 934772 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3759228
[startup+1062.3 s]
/proc/loadavg: 3.02 3.49 3.47 4/324 5224
/proc/meminfo: memFree=5428188/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3774404 CPUtime=1062.33 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 1111339 0 0 0 106083 150 0 0 25 0 1 0 649649592 3864989696 783496 33554432000 4194304 4650387 140737096874576 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 943601 783496 383 112 0 938566 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3774404
[startup+1122.3 s]
/proc/loadavg: 3.01 3.41 3.44 4/324 5226
/proc/meminfo: memFree=5486908/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3726020 CPUtime=1122.33 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 1140035 0 0 0 112079 154 0 0 25 0 1 0 649649592 3815444480 782021 33554432000 4194304 4650387 140737096874576 18446744073709551615 4315031 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 931505 782021 383 112 0 926470 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3726020
[startup+1182.3 s]
/proc/loadavg: 3.00 3.32 3.41 4/324 5227
/proc/meminfo: memFree=5450528/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3745332 CPUtime=1182.33 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 1165664 0 0 0 118074 159 0 0 25 0 1 0 649649592 3835219968 780601 33554432000 4194304 4650387 140737096874576 18446744073709551615 4315065 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 936333 780601 383 112 0 931298 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3745332
[startup+1242.3 s]
/proc/loadavg: 3.00 3.27 3.38 4/324 5238
/proc/meminfo: memFree=5516596/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3679788 CPUtime=1242.33 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 1186940 0 0 0 124071 162 0 0 25 0 1 0 649649592 3768102912 773794 33554432000 4194304 4650387 140737096874576 18446744073709551615 4363848 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 919947 773794 383 112 0 914912 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3679788
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.13 3.25 3.36 4/324 5239
/proc/meminfo: memFree=5233180/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=3987032 CPUtime=1300.04 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4202496 1246325 0 0 0 129835 169 0 0 25 0 1 0 649649592 4082720768 833179 33554432000 4194304 4650387 140737096874576 18446744073709551615 4476470 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5117/statm: 996758 833179 383 112 0 991723 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 3987032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 3.13 3.25 3.36 4/324 5239
/proc/meminfo: memFree=5233180/32951124 swapFree=67093864/67111528
[pid=5117] ppid=5115 vsize=0 CPUtime=1300.14 cores=4,6
/proc/5117/stat : 5117 (strangenight1-s) R 5115 5117 4890 0 -1 4203524 1246325 0 0 0 129835 179 0 0 25 0 1 0 649649592 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5117/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.14
CPU time (s): 1300.19
CPU user time (s): 1298.36
CPU system time (s): 1.82772
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3987032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.36
system time used= 1.82772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1246325
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= 1070
runsolver used 4.16337 second user time and 8.86165 second system time
The end
Begin job on node102 at 2011-05-14 15:41:12
IDJOB=3370890
IDBENCH=82363
IDSOLVER=1847
FILE ID=node102/3370890-1305380471
RUNJOBID= node102-1305379161-4909
PBS_JOBID= 13324400
Free space on /tmp= 73416 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370890-1305380471/watcher-3370890-1305380471 -o /tmp/evaluation-result-3370890-1305380471/solver-3370890-1305380471 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370890-1305380471.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=455614653
node102.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.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
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.828
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.828
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.828
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.828
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.828
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.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 10676268 kB
Buffers: 235560 kB
Cached: 2868800 kB
SwapCached: 1128 kB
Active: 20008812 kB
Inactive: 1968504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 10676268 kB
SwapTotal: 67111528 kB
SwapFree: 67093864 kB
Dirty: 118020 kB
Writeback: 0 kB
AnonPages: 18871672 kB
Mapped: 27252 kB
Slab: 180176 kB
PageTables: 54512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 59612952 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= 73440 MiB
End job on node102 at 2011-05-14 16:02:54