| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.18 | 1201.52 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf |
| MD5SUM | 44ec8c80ea2b58be800208f5113b04f5 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.272958 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 666 |
| Number of clauses | 45238 |
| Sum of the clauses size | 91092 |
| Maximum clause length | 27 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 45213 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 25 |
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 Using 4 thread(s) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3266729-1304183396.cnf' 0.00/0.00 c -- header says num vars: 666 0.00/0.00 c -- header says num clauses: 45238 0.03/0.03 c -- clauses added: 0 learnts, 45238 normals, 0 xors 0.03/0.03 c -- vars added 666 0.03/0.03 c Parsing time: 0.03 s 0.03/0.04 c N st 0 0 666 25 45213 0 91092 0 no data no data -- 0.03/0.04 c asymm cl-useful: 0/25/25 lits-rem:0 time: 0.00 0.03/0.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.3M T: 0.04 0.03/0.07 c Calc non-exist non-lernt bins v-fix: 0 done: 666 time: 0.02 s 0.03/0.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.03/0.07 c Subs w/ non-existent bins: 0 time: 0.00 s 0.03/0.07 c bin-w-bin subsume rem 0 bins time: 0.02 s 0.03/0.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 0.03/0.07 c Removed useless bin: 0 fixed: 0 bprops: 0.18M time: 0.02 s 0.03/0.09 c lits-rem: 474 cl-subs: 0 v-elim: 419 v-fix: 0 time: 0.06 s 0.03/0.09 c learnt bin added due to v-elim: 0 0.03/0.09 c Finding binary XORs T: 0.00 s found: 0 0.03/0.09 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.03/0.09 c calculated reachability. Time: 0.00 0.03/0.09 c Calc default polars - time: 0.00 s pos: 0 undec: 25 neg: 641 0.03/0.09 c ========================================================================================= 0.03/0.09 c types(t): F = full restart, N = normal restart 0.03/0.09 c types(t): S = simplification begin/end, E = solution found 0.03/0.09 c restart types(rt): st = static, dy = dynamic 0.03/0.09 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.03/0.09 c B st 0 0 641 1248 43324 0 126710 0 no data no data -- 0.03/0.85 c Decided on static restart strategy 0.03/0.85 c N dy 19 4016 641 1248 43324 3822 126710 319237 85.33 15.92 -- 0.03/0.95 c N dy 47 8069 641 1248 43330 5331 126710 410462 88.01 16.19 -- 5.05/1.35 c N dy 75 12093 641 1248 43330 5098 126710 313064 68.81 15.51 -- 6.65/1.70 c N dy 104 16192 641 1248 43330 8979 126710 545367 34.87 14.84 -- 8.24/2.11 c N dy 132 20221 641 1248 43330 7466 126710 416995 75.35 14.31 -- 10.24/2.61 c N dy 161 24290 641 1248 43331 11394 126710 763778 88.74 14.81 -- 12.24/3.15 c N dy 190 28406 641 1248 43331 8851 126710 568904 92.68 15.38 -- 13.43/3.43 c S st 202 30000 641 1248 43331 10395 126710 708505 87.99 15.72 -- 13.83/3.50 c S st 202 30501 641 1248 43331 10891 126710 747894 87.99 15.72 -- 13.83/3.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 13.83/3.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 18.23/4.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 24.1M T: 4.60 18.23/4.66 c Calc non-exist non-lernt bins v-fix: 0 done: 641 time: 0.02 s 18.23/4.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 18.23/4.67 c Subs w/ non-existent bins: 0 time: 0.04 s 18.23/4.69 c bin-w-bin subsume rem 0 bins time: 0.03 s 24.22/6.14 c subs with bin: 0 lits-rem: 647 v-fix: 0 time: 5.81 s 24.22/6.15 c Removed useless bin: 0 fixed: 0 bprops: 0.17M time: 0.02 s 34.61/8.79 c lits-rem: 2267 cl-subs: 1398 v-elim: 641 v-fix: 0 time: 10.54 s 34.61/8.79 c learnt bin added due to v-elim: 0 34.61/8.79 c vivif2 -- cl tried 1248 cl shrink 710 lits rem 3799 time: 0.00 34.61/8.80 c vivif2 -- cl tried 9493 cl shrink 5 lits rem 6 time: 0.04 35.41/8.98 c asymm cl-useful: 0/681/1248 lits-rem:0 time: 0.75 35.41/8.98 c calculated reachability. Time: 0.00 35.41/8.98 c N dy 202 30501 641 1248 43331 9493 121481 636601 87.99 15.72 -- 35.41/8.98 c F st 202 30501 641 1248 43331 9493 121481 636601 87.99 15.72 -- 37.01/9.30 c Decided on static restart strategy 38.22/9.61 c N dy 221 34521 641 1248 43335 13335 121481 939867 71.74 16.05 -- 40.60/10.27 c N dy 249 38591 641 1248 43335 9673 121481 638412 108.50 16.14 -- 44.20/11.17 c N dy 277 42700 641 1248 43335 13616 121481 1018816 89.33 16.35 -- 48.20/12.11 c S st 298 45751 641 1248 43337 16475 121481 1226890 98.02 16.08 -- 48.60/12.21 c S st 298 46251 641 1248 43337 16969 121481 1255091 98.02 16.08 -- 48.60/12.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 48.60/12.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 59.38/14.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 1 BRemL: 0 BRemN: 0 CBin: 0 P: 55.2M T: 10.72 59.38/14.90 c Calc non-exist non-lernt bins v-fix: 0 done: 641 time: 0.02 s 59.38/14.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 59.38/14.92 c Subs w/ non-existent bins: 0 time: 0.06 s 59.38/14.94 c bin-w-bin subsume rem 0 bins time: 0.03 s 65.77/16.51 c subs with bin: 3 lits-rem: 8 v-fix: 0 time: 6.24 s 65.77/16.51 c Removed useless bin: 0 fixed: 0 bprops: 0.17M time: 0.02 s 77.78/19.53 c lits-rem: 2250 cl-subs: 1574 v-elim: 641 v-fix: 0 time: 12.07 s 77.78/19.53 c learnt bin added due to v-elim: 0 77.78/19.53 c vivif2 -- cl tried 1248 cl shrink 2 lits rem 2 time: 0.00 77.78/19.55 c vivif2 -- cl tried 15392 cl shrink 151 lits rem 160 time: 0.06 78.56/19.77 c asymm cl-useful: 0/404/1248 lits-rem:0 time: 0.89 78.56/19.77 c calculated reachability. Time: 0.00 78.56/19.77 c N dy 298 46251 641 1248 43338 15392 121478 1108485 98.02 16.08 -- 81.78/20.55 c N dy 326 50282 641 1248 43340 10670 121478 541708 36.90 15.67 -- 83.76/21.02 c N dy 354 54338 641 1248 43340 14513 121478 776984 66.66 15.51 -- 86.17/21.61 c N dy 382 58442 641 1248 43341 18420 121478 1019995 60.79 15.45 -- 87.75/22.07 c N dy 410 62487 641 1248 43341 12825 121478 689716 83.29 15.36 -- 89.75/22.58 c N dy 439 66634 641 1248 43341 16791 121478 981213 88.57 15.48 -- 92.14/23.13 c S st 459 69376 641 1248 43342 19390 121478 1173478 64.05 15.53 -- 92.54/23.21 c S st 459 69878 641 1248 43342 19892 121478 1204072 64.05 15.53 -- 92.54/23.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 92.54/23.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 100.93/25.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 55.4M T: 8.40 100.93/25.32 c Calc non-exist non-lernt bins v-fix: 0 done: 641 time: 0.02 s 100.93/25.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 100.93/25.33 c Subs w/ non-existent bins: 0 time: 0.06 s 100.93/25.36 c bin-w-bin subsume rem 0 bins time: 0.03 s 107.33/26.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.53 s 107.73/27.00 c Removed useless bin: 0 fixed: 0 bprops: 0.17M time: 0.02 s 116.51/29.20 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.04 132.90/33.39 c Added 7 vars tried: 80000 time: 16.72 133.30/33.44 c ORs : 7 avg-s: 0.0 cl-sh: 9772 l-rem: 9772 b-add: 14 v-rep: 0 cl-rem: 0 avg s: nan T: 16.94 133.30/33.46 c lits-rem: 1051 cl-subs: 1996 v-elim: 641 v-fix: 0 time: 25.79 s 133.30/33.46 c learnt bin added due to v-elim: 0 133.30/33.46 c vivif2 -- cl tried 1255 cl shrink 2 lits rem 2 time: 0.00 133.30/33.47 c vivif2 -- cl tried 17896 cl shrink 100 lits rem 100 time: 0.07 134.10/33.65 c asymm cl-useful: 0/627/1255 lits-rem:0 time: 0.71 134.10/33.65 c calculated reachability. Time: 0.00 134.10/33.65 c N dy 459 69878 648 1255 43356 17896 121364 1054525 64.05 15.53 -- 134.10/33.65 c F st 459 69878 648 1255 43356 17896 121364 1054525 64.05 15.53 -- 135.69/34.04 c Decided on static restart strategy 136.89/34.34 c N dy 482 74414 648 1255 43365 11805 121364 526551 50.66 15.35 -- 139.68/35.01 c N dy 516 79255 648 1255 43368 16437 121364 835065 50.76 15.30 -- 142.88/35.87 c N dy 551 84349 648 1255 43373 21313 121364 1166020 96.87 15.37 -- 146.08/36.69 c N dy 589 89796 648 1255 43380 15083 121364 725788 85.53 15.43 -- 150.07/37.61 c N dy 630 95672 648 1255 43385 20643 121364 1106706 74.22 15.26 -- 154.07/38.63 c N dy 673 101835 648 1255 43387 14135 121364 619866 57.55 15.18 -- 155.67/39.06 c S st 694 104818 648 1255 43387 17027 121364 830080 64.23 15.16 -- 156.07/39.12 c S st 694 105320 648 1255 43387 17527 121364 860961 64.23 15.16 -- 156.07/39.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 156.07/39.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.66/41.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 673 BRemL: 13 BRemN: 0 CBin: 0 P: 56.6M T: 7.78 163.66/41.08 c Calc non-exist non-lernt bins v-fix: 0 done: 648 time: 0.02 s 163.66/41.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.66/41.09 c Subs w/ non-existent bins: 0 time: 0.06 s 164.06/41.11 c bin-w-bin subsume rem 0 bins time: 0.03 s 170.45/42.74 c subs with bin: 98 lits-rem: 105 v-fix: 0 time: 6.49 s 170.45/42.74 c Removed useless bin: 0 fixed: 0 bprops: 0.12M time: 0.02 s 182.04/45.63 c ORs : 15 avg-s: 2.0 cl-sh: 3 l-rem: 3 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 0.04 182.04/45.64 c lits-rem: 994 cl-subs: 1846 v-elim: 880 v-fix: 0 time: 11.59 s 182.04/45.64 c learnt bin added due to v-elim: 0 182.04/45.64 c vivif2 -- cl tried 1583 cl shrink 197 lits rem 197 time: 0.00 182.04/45.66 c vivif2 -- cl tried 15583 cl shrink 563 lits rem 716 time: 0.06 182.85/45.83 c asymm cl-useful: 0/401/1389 lits-rem:0 time: 0.70 182.85/45.84 c calculated reachability. Time: 0.00 182.85/45.84 c N dy 694 105320 646 1389 43903 15582 121479 755971 64.23 15.16 -- 187.24/46.99 c N dy 741 112057 646 1389 43904 22034 121479 1194416 40.03 15.15 -- 192.82/48.32 c N dy 790 119266 646 1389 43904 15587 121479 734167 80.60 15.16 -- 198.81/49.80 c N dy 843 126977 646 1389 43905 23011 121479 1334922 83.98 15.33 -- 207.20/51.93 c N dy 899 135171 646 1389 43905 16450 121479 728721 55.69 15.42 -- 213.61/53.53 c N dy 958 143935 646 1389 43905 24658 121479 1130381 38.04 15.23 -- 220.39/55.22 c N dy 1022 153178 646 1389 43905 18262 121479 829161 51.40 15.24 -- 223.59/56.04 c S st 1056 157980 646 1389 43906 22864 121479 1130404 65.34 15.23 -- 223.99/56.11 c S st 1056 158480 646 1389 43906 23362 121479 1168666 65.34 15.23 -- 223.99/56.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 223.99/56.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 232.78/58.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 196 CBin: 0 P: 60.0M T: 8.73 232.78/58.31 c Calc non-exist non-lernt bins v-fix: 0 done: 646 time: 0.02 s 232.78/58.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 232.78/58.33 c Subs w/ non-existent bins: 0 time: 0.08 s 232.78/58.35 c bin-w-bin subsume rem 191 bins time: 0.03 s 239.17/59.94 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 6.34 s 239.17/59.94 c Removed useless bin: 0 fixed: 0 bprops: 0.12M time: 0.01 s 246.76/61.83 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.04 246.76/61.84 c lits-rem: 563 cl-subs: 1944 v-elim: 638 v-fix: 0 time: 7.58 s 246.76/61.84 c learnt bin added due to v-elim: 0 246.76/61.84 c vivif2 -- cl tried 1389 cl shrink 0 lits rem 0 time: 0.00 246.76/61.86 c vivif2 -- cl tried 21416 cl shrink 318 lits rem 318 time: 0.09 247.56/62.05 c asymm cl-useful: 0/473/1389 lits-rem:0 time: 0.76 247.56/62.05 c calculated reachability. Time: 0.00 247.56/62.05 c N dy 1056 158480 646 1389 43519 21416 121087 1073304 65.34 15.23 -- 256.35/64.30 c N dy 1126 168714 646 1389 43520 31163 121087 1719180 69.68 15.17 -- 264.34/66.25 c N dy 1201 179564 646 1389 43521 25391 121087 1349574 76.34 15.21 -- 275.54/69.04 c N dy 1280 191067 646 1389 43521 19268 121087 928710 91.41 15.35 -- 285.52/71.51 c N dy 1366 203400 646 1389 43524 31034 121087 1697687 72.94 15.26 -- 297.11/74.43 c N dy 1456 216457 646 1389 43527 25286 121087 1256804 74.40 15.25 -- 312.68/78.32 c N dy 1550 230301 646 1389 43528 19400 121087 749319 44.10 15.26 -- 317.47/79.57 c S st 1602 237721 646 1389 43528 26530 121087 1297963 81.23 15.32 -- 317.87/79.66 c S st 1602 238222 646 1389 43528 27027 121087 1333545 81.23 15.32 -- 317.87/79.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 317.87/79.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 328.28/82.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 10.23 328.28/82.23 c Calc non-exist non-lernt bins v-fix: 0 done: 646 time: 0.02 s 328.28/82.23 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 328.28/82.25 c Subs w/ non-existent bins: 0 time: 0.09 s 328.28/82.28 c bin-w-bin subsume rem 0 bins time: 0.03 s 335.06/83.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.63 s 335.06/83.94 c Removed useless bin: 0 fixed: 0 bprops: 0.12M time: 0.01 s 344.64/86.38 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 344.64/86.39 c lits-rem: 737 cl-subs: 1954 v-elim: 638 v-fix: 0 time: 9.80 s 344.64/86.39 c learnt bin added due to v-elim: 0 344.64/86.39 c vivif2 -- cl tried 1389 cl shrink 6 lits rem 6 time: 0.00 345.04/86.42 c vivif2 -- cl tried 25073 cl shrink 411 lits rem 475 time: 0.10 345.86/86.61 c asymm cl-useful: 0/327/1389 lits-rem:0 time: 0.77 345.86/86.61 c calculated reachability. Time: 0.00 345.86/86.61 c N dy 1602 238222 646 1389 43529 25072 121081 1220392 81.23 15.32 -- 362.22/90.73 c N dy 1706 253505 674 1389 46733 41912 123721 2248944 83.34 15.52 -- 375.81/94.15 c N dy 1818 269710 674 1389 46734 36270 123721 1805525 75.68 15.67 -- 392.19/98.24 c N dy 1937 287022 674 1389 46735 31200 123721 1233556 44.35 15.71 -- 405.77/101.67 c N dy 2063 305388 674 1389 46737 26515 123721 1059574 69.87 15.78 -- 430.94/107.96 c N dy 2196 324992 674 1389 47596 46010 124435 2447861 66.67 15.88 -- 448.92/112.41 c N dy 2334 345058 674 1389 47621 41716 124435 1949843 43.78 15.89 -- 460.51/115.31 c S st 2418 357333 674 1389 47622 29339 124435 1036954 44.82 15.84 -- 460.51/115.39 c S st 2418 357834 674 1389 47622 29835 124435 1066174 44.82 15.84 -- 460.51/115.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 460.51/115.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 468.51/117.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 232 BRemN: 250 CBin: 0 P: 60.0M T: 7.88 468.51/117.37 c Calc non-exist non-lernt bins v-fix: 0 done: 674 time: 0.02 s 468.51/117.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 468.51/117.40 c Subs w/ non-existent bins: 1633 time: 0.11 s 468.91/117.43 c bin-w-bin subsume rem 1482 bins time: 0.04 s 475.28/119.02 c subs with bin: 128 lits-rem: 10 v-fix: 0 time: 6.38 s 475.28/119.03 c Removed useless bin: 984 fixed: 0 bprops: 0.09M time: 0.01 s 480.88/120.48 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 480.88/120.49 c lits-rem: 299 cl-subs: 1618 v-elim: 638 v-fix: 0 time: 5.85 s 480.88/120.49 c learnt bin added due to v-elim: 0 480.88/120.49 c vivif2 -- cl tried 1389 cl shrink 3 lits rem 3 time: 0.00 481.28/120.51 c vivif2 -- cl tried 26456 cl shrink 305 lits rem 333 time: 0.09 481.69/120.68 c asymm cl-useful: 0/336/1389 lits-rem:0 time: 0.64 481.69/120.68 c calculated reachability. Time: 0.00 481.69/120.68 c N dy 2418 357834 674 1389 44692 26441 121964 996757 44.82 15.84 -- 496.46/124.37 c N dy 2555 377885 702 1389 46800 46509 123186 2001203 52.57 15.75 -- 513.24/128.57 c N dy 2693 397992 702 1389 46800 41062 123186 1887271 71.54 15.82 -- 536.81/134.47 c N dy 2830 418050 702 1389 46802 34598 123186 1434865 75.41 15.85 -- 564.38/141.31 c N dy 2966 438095 702 1389 46807 27071 123186 863471 58.75 15.87 -- 579.56/145.12 c N dy 3103 458117 702 1389 47516 46613 123734 1909365 74.17 15.83 -- 598.34/149.86 c N dy 3241 478219 702 1389 47517 37906 123734 1479415 67.15 15.87 -- 619.51/155.12 c N dy 3377 498324 702 1389 47519 56900 123734 2551952 67.30 15.84 -- 639.91/160.22 c N dy 3514 518332 702 1389 47519 47401 123734 2216167 71.43 15.94 -- 667.87/167.21 c S st 3639 536751 734 1389 49850 36242 125462 1211318 50.65 15.98 -- 668.26/167.31 c S st 3639 537257 734 1389 49850 36745 125462 1251320 50.65 15.98 -- 668.26/167.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 668.26/167.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 677.85/169.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bin: 582 BRemL: 252 BRemN: 2057 CBin: 0 P: 60.0M T: 9.72 677.85/169.75 c Calc non-exist non-lernt bins v-fix: 0 done: 734 time: 0.03 s 677.85/169.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 677.85/169.79 c Subs w/ non-existent bins: 1648 time: 0.16 s 678.25/169.80 c Replacing 6 vars Replaced 895 lits Time: 0.02 s 678.25/169.82 c bin-w-bin subsume rem 1512 bins time: 0.03 s 685.04/171.51 c subs with bin: 502 lits-rem: 407 v-fix: 0 time: 6.71 s 685.04/171.51 c Removed useless bin: 227 fixed: 0 bprops: 0.06M time: 0.01 s 693.06/173.56 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 3 avg s: 3.0 T: 0.06 693.06/173.57 c lits-rem: 322 cl-subs: 2486 v-elim: 638 v-fix: 0 time: 8.25 s 693.06/173.57 c learnt bin added due to v-elim: 0 693.06/173.57 c vivif2 -- cl tried 1389 cl shrink 2 lits rem 2 time: 0.00 693.43/173.60 c vivif2 -- cl tried 32106 cl shrink 273 lits rem 283 time: 0.12 694.23/173.81 c asymm cl-useful: 0/259/1389 lits-rem:0 time: 0.84 694.23/173.81 c calculated reachability. Time: 0.00 694.23/173.81 c N dy 3639 537257 728 1389 46383 32089 120656 1161967 50.65 15.98 -- 694.23/173.81 c F st 3639 537257 728 1389 46383 32089 120656 1161967 50.65 15.98 -- 695.43/174.16 c Decided on static restart strategy 712.21/178.31 c N dy 3767 557260 728 1389 46386 51085 120656 2275147 73.06 15.96 -- 733.79/183.70 c N dy 3906 577345 728 1389 46394 40163 120656 1425277 42.28 15.89 -- 753.37/188.67 c N dy 4044 597474 728 1389 46395 59226 120656 2484710 61.97 15.81 -- 766.16/191.80 c Finding binary XORs T: 0.01 s found: 0 770.15/192.83 c N dy 4183 617533 728 1389 46408 47765 120678 1824109 75.07 15.78 -- 793.33/198.66 c N dy 4320 637558 728 1389 46409 34350 120678 1108461 68.80 15.78 -- 812.50/203.43 c N dy 4458 657577 728 1389 46412 53367 120678 2256513 82.66 15.74 -- 837.68/209.78 c N dy 4594 677639 728 1389 46413 39098 120678 1370763 53.40 15.75 -- 858.84/215.09 c N dy 4731 697773 728 1389 46414 58172 120678 2564500 53.42 15.77 -- 883.21/221.12 c N dy 4867 717794 728 1389 46422 42843 120680 1466733 45.77 15.75 -- 905.99/226.81 c N dy 5003 737849 728 1389 46422 61857 120680 2744235 69.36 15.77 -- 930.76/233.03 c N dy 5140 757980 728 1389 46424 45851 120680 1675757 44.18 15.79 -- 956.75/239.52 c N dy 5276 777983 728 1389 46425 64798 120680 2901976 67.21 15.80 -- 980.31/245.47 c N dy 5415 798136 728 1389 46427 47919 120680 1807289 69.56 15.82 -- 989.09/247.61 c S st 5468 805889 728 1389 46428 55211 120680 2261901 68.78 15.81 -- 989.49/247.77 c S st 5468 806390 728 1389 46428 55708 120680 2294101 68.78 15.81 -- 989.49/247.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 989.49/247.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1002.68/251.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 3 BRemL: 22 BRemN: 2207 CBin: 0 P: 60.1M T: 13.20 1002.68/251.08 c Calc non-exist non-lernt bins v-fix: 0 done: 728 time: 0.03 s 1002.68/251.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1003.08/251.14 c Subs w/ non-existent bins: 70 time: 0.23 s 1003.08/251.19 c bin-w-bin subsume rem 14 bins time: 0.03 s 1011.07/253.15 c subs with bin: 138 lits-rem: 74 v-fix: 0 time: 7.82 s 1011.07/253.15 c Removed useless bin: 20 fixed: 0 bprops: 0.06M time: 0.01 s 1036.24/259.41 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 0.07 1057.01/264.60 c Added 8 vars tried: 80000 time: 20.71 1057.42/264.79 c ORs : 8 avg-s: 0.0 cl-sh: 22102 l-rem: 22102 b-add: 18 v-rep: 0 cl-rem: 6 avg s: 3.0 T: 21.51 1057.83/264.82 c lits-rem: 927 cl-subs: 5348 v-elim: 638 v-fix: 0 time: 46.62 s 1057.83/264.82 c learnt bin added due to v-elim: 0 1057.83/264.82 c vivif2 -- cl tried 1397 cl shrink 10 lits rem 10 time: 0.00 1057.83/264.87 c vivif2 -- cl tried 50143 cl shrink 1416 lits rem 1601 time: 0.21 1058.61/265.08 c asymm cl-useful: 0/125/1397 lits-rem:0 time: 0.84 1058.61/265.09 c calculated reachability. Time: 0.00 1058.61/265.09 c N dy 5468 806390 736 1397 44473 49930 116003 2065475 68.78 15.81 -- 1089.37/272.79 c N dy 5603 826407 736 1397 44478 68885 116003 3299002 55.69 15.84 -- 1114.15/278.94 c N dy 5740 846501 736 1397 44480 51302 116003 2028630 67.96 15.81 -- 1141.33/285.79 c N dy 5876 866568 736 1397 44480 70147 116003 3206647 61.36 15.84 -- 1164.08/291.46 c N dy 6013 886589 736 1397 44495 51206 116003 1748306 35.33 15.79 -- 1183.66/296.37 c N dy 6149 906597 736 1397 44842 70172 116005 2851011 74.83 15.79 -- 1206.03/301.99 c N dy 6286 926624 736 1397 44842 50548 116005 1978615 57.84 15.77 -- 1236.00/309.47 c N dy 6420 946764 736 1397 44843 69616 116005 3201487 67.71 15.78 -- 1265.16/316.74 c N dy 6556 966811 768 1397 46356 49275 116491 1835512 64.97 15.79 -- 1289.93/322.96 c N dy 6692 986925 768 1397 46357 68339 116491 2990232 55.21 15.79 -- 1319.90/330.41 c N dy 6828 1007054 768 1397 46357 46482 116491 1671679 71.63 15.79 -- 1345.87/336.91 c N dy 6964 1027188 768 1397 46946 66049 116857 2838367 61.42 15.82 -- 1385.41/346.82 c N dy 7098 1047274 800 1397 48761 43801 118285 1404661 58.15 15.83 -- 1408.19/352.56 c N dy 7235 1067395 800 1397 48762 62800 118285 2464866 51.72 15.82 -- 1439.35/360.31 c N dy 7371 1087486 800 1397 48767 81791 118285 3582632 57.72 15.82 -- 1464.92/366.75 c N dy 7508 1107586 800 1397 49360 58463 118737 2244280 45.99 15.83 -- 1490.89/373.22 c N dy 7644 1127603 800 1397 49362 77394 118737 3213911 57.29 15.80 -- 1518.87/380.21 c N dy 7780 1147624 800 1397 49386 52205 118737 1942796 58.03 15.79 -- 1549.63/388.00 c N dy 7916 1167690 800 1397 49388 71171 118737 3122242 64.26 15.80 -- 1594.75/399.25 c N dy 8049 1187709 833 1397 50859 45899 119707 1416811 57.97 15.81 -- 1613.93/404.08 c N dy 8185 1207724 833 1397 50861 64668 119707 2346488 58.54 15.77 -- 1616.73/404.72 c S st 8198 1209585 833 1397 50863 66435 119707 2451903 54.73 15.77 -- 1617.13/404.89 c S st 8198 1210086 833 1397 50863 66935 119707 2488443 54.73 15.77 -- 1617.53/404.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1617.53/404.90 c Cache BProp: 0 Set: 0 BXProp: 3 T: 0.00 1630.31/408.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 8 Bin: 475 BRemL: 1347 BRemN: 459 CBin: 0 P: 60.1M T: 13.13 1630.31/408.19 c Calc non-exist non-lernt bins v-fix: 0 done: 833 time: 0.04 s 1630.31/408.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1630.71/408.27 c Subs w/ non-existent bins: 1665 time: 0.31 s 1631.11/408.31 c Replacing 11 vars Replaced 7709 lits Time: 0.17 s 1631.11/408.36 c bin-w-bin subsume rem 1663 bins time: 0.04 s 1637.52/409.91 c subs with bin: 548 lits-rem: 40 v-fix: 0 time: 6.16 s 1637.52/409.91 c Removed useless bin: 179 fixed: 0 bprops: 0.06M time: 0.01 s 1663.48/416.50 c ORs : 32 avg-s: 2.0 cl-sh: 88 l-rem: 88 b-add: 59 v-rep: 0 cl-rem: 9 avg s: 3.0 T: 0.11 1681.46/420.92 c Added 9 vars tried: 80000 time: 17.64 1682.24/421.13 c ORs : 9 avg-s: 0.0 cl-sh: 24415 l-rem: 24415 b-add: 19 v-rep: 0 cl-rem: 13 avg s: 3.0 T: 18.47 1682.24/421.15 c lits-rem: 670 cl-subs: 8733 v-elim: 935 v-fix: 0 time: 44.92 s 1682.24/421.15 c learnt bin added due to v-elim: 0 1682.24/421.16 c vivif2 -- cl tried 1849 cl shrink 263 lits rem 264 time: 0.00 1682.64/421.22 c vivif2 -- cl tried 55910 cl shrink 2365 lits rem 3092 time: 0.26 1683.45/421.41 c asymm cl-useful: 0/136/1600 lits-rem:0 time: 0.78 1683.45/421.42 c calculated reachability. Time: 0.00 1683.45/421.42 c N dy 8198 1210086 828 1600 47540 55885 118262 2108513 54.73 15.77 -- 1711.02/428.31 c N dy 8327 1230089 828 1600 47590 74996 118264 3748580 73.50 15.95 -- 1743.77/436.57 c N dy 8457 1250162 828 1600 47594 49218 118264 1753962 75.01 16.14 -- 1770.55/443.29 c N dy 8586 1270224 828 1600 47629 68272 118264 3423538 83.25 16.31 -- 1815.30/454.44 c N dy 8715 1290263 846 1600 48470 87223 118342 4841683 72.88 16.48 -- 1843.66/461.57 c N dy 8846 1310322 846 1600 48470 60136 118342 2605202 84.73 16.61 -- 1881.22/470.95 c N dy 8975 1330430 846 1600 48562 79159 118342 4100914 50.90 16.80 -- 1924.77/481.80 c N dy 9103 1350452 846 1600 48779 51037 118416 1781962 87.49 16.95 -- 1947.94/487.68 c N dy 9233 1370536 846 1600 48794 70130 118416 3293079 67.72 17.08 -- 1999.08/500.44 c N dy 9360 1390550 882 1600 50416 89867 118970 4712352 83.59 17.23 -- 2034.24/509.24 c N dy 9489 1410557 882 1600 50416 60223 118970 2380839 85.73 17.34 -- 2069.39/518.06 c N dy 9617 1430623 882 1600 50766 79279 118970 3732939 79.59 17.49 -- 2110.95/528.40 c N dy 9745 1450699 882 1600 50832 98275 118974 5196189 70.05 17.60 -- 2134.54/534.37 c N dy 9876 1470789 882 1600 50832 67897 118974 2987554 74.95 17.68 -- 2170.47/543.32 c N dy 10005 1490801 918 1600 52165 87687 119660 4427067 85.89 17.79 -- 2218.81/555.43 c N dy 10133 1510950 918 1600 52165 56082 119660 1974771 62.87 17.92 -- 2243.19/561.50 c Finding binary XORs T: 0.01 s found: 10 2243.19/561.52 c Replacing 10 vars Replaced 3107 lits Time: 0.08 s 2244.01/561.77 c N dy 10262 1530999 908 1600 52413 74909 119622 3348167 74.95 18.03 -- 2285.14/572.03 c N dy 10389 1551101 908 1600 52414 93673 119622 4717352 70.92 18.13 -- 2314.73/579.44 c N dy 10517 1571160 908 1600 52415 61499 119622 2429773 79.98 18.28 -- 2347.07/587.51 c N dy 10646 1591184 908 1600 52415 80487 119622 3857430 88.43 18.39 -- 2395.01/599.53 c N dy 10775 1611347 908 1600 52415 99645 119622 5270084 65.13 18.51 -- 2424.60/606.92 c N dy 10904 1631391 908 1600 52415 66481 119622 2680480 74.28 18.54 -- 2458.94/615.53 c N dy 11032 1651396 908 1600 52415 85652 119622 4212269 81.76 18.63 -- 2498.50/625.44 c N dy 11160 1671487 908 1600 52415 104709 119622 5918119 88.54 18.74 -- 2522.46/631.48 c N dy 11291 1691535 908 1600 52415 70642 119622 3057542 96.02 18.82 -- 2556.44/639.97 c S st 11408 1710089 908 1600 52415 88321 119622 4528054 75.76 18.91 -- 2557.61/640.26 c S st 11408 1710592 908 1600 52415 88821 119622 4559995 75.76 18.91 -- 2557.61/640.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2557.61/640.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2577.20/645.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 6 BRemL: 1326 BRemN: 2478 CBin: 0 P: 60.1M T: 19.44 2577.20/645.14 c Calc non-exist non-lernt bins v-fix: 0 done: 908 time: 0.04 s 2577.20/645.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2577.60/645.25 c Subs w/ non-existent bins: 516 time: 0.46 s 2578.02/645.34 c bin-w-bin subsume rem 815 bins time: 0.03 s 2586.39/647.45 c subs with bin: 0 lits-rem: 16 v-fix: 0 time: 8.43 s 2586.39/647.45 c Removed useless bin: 139 fixed: 0 bprops: 0.05M time: 0.01 s 2743.39/686.70 c ORs : 50 avg-s: 2.0 cl-sh: 28 l-rem: 28 b-add: 3 v-rep: 0 cl-rem: 8 avg s: 3.0 T: 0.29 2770.96/693.69 c Added 10 vars tried: 80000 time: 27.92 2774.15/694.46 c ORs : 10 avg-s: 0.0 cl-sh: 52093 l-rem: 52093 b-add: 23 v-rep: 0 cl-rem: 22 avg s: 3.0 T: 31.00 2774.55/694.51 c lits-rem: 3750 cl-subs: 18154 v-elim: 978 v-fix: 0 time: 187.96 s 2774.55/694.51 c learnt bin added due to v-elim: 0 2774.55/694.51 c vivif2 -- cl tried 2152 cl shrink 287 lits rem 287 time: 0.00 2774.55/694.59 c vivif2 -- cl tried 70125 cl shrink 1515 lits rem 2055 time: 0.35 2775.76/694.83 c asymm cl-useful: 0/86/1866 lits-rem:0 time: 0.94 2775.76/694.84 c calculated reachability. Time: 0.00 2775.76/694.84 c N dy 11408 1710592 913 1866 47399 70086 114286 3282871 75.76 18.91 -- 2811.33/703.74 c N dy 11538 1730683 913 1866 47406 89144 114286 4865938 99.96 18.98 -- 2870.03/718.48 c N dy 11668 1750841 913 1866 47407 54744 114286 1843700 92.48 19.11 -- 2902.79/726.60 c N dy 11801 1770993 913 1866 47773 74048 114286 3383762 92.07 19.23 -- 2954.72/739.68 c N dy 11930 1791025 913 1866 47944 93271 114288 4997608 73.72 19.35 -- 3015.84/754.97 c N dy 12059 1811111 953 1866 49424 57417 114452 1967055 91.17 19.44 -- 3049.80/763.40 c N dy 12188 1831138 953 1866 49440 76672 114452 3608164 80.04 19.58 -- 3103.74/776.92 c N dy 12317 1851238 953 1866 49798 95961 114460 5145450 82.22 19.69 -- 3168.47/793.18 c N dy 12446 1871383 986 1866 50821 58949 114606 1998970 74.63 19.78 -- 3198.83/800.71 c N dy 12575 1891413 986 1866 50822 78159 114606 3617948 86.45 19.88 -- 3260.36/816.10 c N dy 12704 1911558 986 1866 50916 97482 114606 5188956 83.69 19.99 -- 3316.72/830.21 c N dy 12832 1931625 986 1866 50950 59263 114618 1936417 66.36 20.01 -- 3347.07/837.81 c N dy 12962 1951751 1021 1866 51946 78693 114758 3445723 77.65 20.08 -- 3403.79/852.05 c N dy 13092 1971797 1021 1866 51946 97969 114758 5164711 92.38 20.23 -- 3479.69/871.07 c N dy 13221 1991944 1021 1866 52075 58802 114762 1850489 55.88 20.31 -- 3508.06/878.14 c N dy 13349 2012043 1021 1866 52084 77999 114762 3037933 83.79 20.34 -- 3548.41/888.25 c N dy 13478 2032054 1021 1866 52084 97219 114762 4625797 69.03 20.43 -- 3621.13/906.45 c N dy 13576 2064539 1021 1866 52084 69100 114762 2754521 97.88 20.49 -- 3665.48/917.54 c N dy 13704 2085221 1021 1866 52084 89027 114762 4417510 76.75 20.58 -- 3729.82/933.62 c N dy 13832 2105248 1021 1866 52084 108273 114762 5962219 89.13 20.67 -- 3793.33/949.55 c N dy 13961 2125286 1021 1866 52084 66980 114762 2385958 90.61 20.74 -- 3831.68/959.16 c N dy 14091 2145333 1021 1866 52084 86157 114762 4000120 91.19 20.85 -- 3891.21/974.05 c N dy 14115 2169185 1021 1866 52084 109193 114762 5947034 86.43 20.87 -- 3961.54/991.62 c N dy 14243 2189251 1021 1866 52084 66854 114762 2295561 67.00 20.97 -- 3995.48/1000.18 c N dy 14372 2209252 1021 1866 52084 86111 114762 3921355 97.12 21.07 -- 3999.08/1001.01 c S st 14381 2210593 1021 1866 52084 87397 114762 4042164 92.45 21.08 -- 3999.48/1001.19 c S st 14381 2211099 1021 1866 52084 87902 114762 4081140 92.45 21.08 -- 3999.88/1001.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3999.88/1001.20 c Cache BProp: 0 Set: 0 BXProp: 13 T: 0.00 4017.06/1005.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 1 BRemL: 2327 BRemN: 970 CBin: 0 P: 60.1M T: 17.26 4017.06/1005.53 c Calc non-exist non-lernt bins v-fix: 0 done: 1021 time: 0.03 s 4017.06/1005.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4017.47/1005.67 c Subs w/ non-existent bins: 2 time: 0.53 s 4018.67/1005.93 c Replacing 15 vars Replaced 84431 lits Time: 1.06 s 4019.07/1006.01 c bin-w-bin subsume rem 298 bins time: 0.03 s 4026.26/1007.85 c subs with bin: 2 lits-rem: 272 v-fix: 0 time: 7.37 s 4026.26/1007.86 c Removed useless bin: 8 fixed: 0 bprops: 0.05M time: 0.01 s 4098.98/1026.01 c ORs : 66 avg-s: 2.0 cl-sh: 78 l-rem: 78 b-add: 76 v-rep: 0 cl-rem: 5 avg s: 3.0 T: 0.41 4118.93/1031.04 c Added 11 vars tried: 80000 time: 20.11 4120.95/1031.53 c ORs : 11 avg-s: 0.0 cl-sh: 35320 l-rem: 35320 b-add: 23 v-rep: 0 cl-rem: 26 avg s: 3.0 T: 22.05 4120.95/1031.57 c lits-rem: 2577 cl-subs: 15368 v-elim: 961 v-fix: 0 time: 94.73 s 4120.95/1031.57 c learnt bin added due to v-elim: 0 4120.95/1031.57 c vivif2 -- cl tried 2483 cl shrink 208 lits rem 208 time: 0.00 4121.33/1031.67 c vivif2 -- cl tried 72433 cl shrink 2435 lits rem 3153 time: 0.40 4122.53/1031.90 c asymm cl-useful: 0/82/2280 lits-rem:0 time: 0.92 4122.53/1031.90 c calculated reachability. Time: 0.00 4122.53/1031.90 c N dy 14381 2211099 1011 2280 47991 72433 112846 3138144 92.45 21.08 -- 4166.47/1042.95 c N dy 14510 2231242 1011 2280 48021 91781 112846 4646082 69.19 21.11 -- 4234.00/1059.81 c N dy 14638 2251401 1011 2280 48029 111025 112846 5988616 58.48 21.16 -- 4272.75/1069.53 c Finding binary XORs T: 0.01 s found: 2 4295.13/1075.17 c N dy 14766 2271454 1018 2280 48832 68294 112878 2530025 84.76 21.18 -- 4328.69/1083.58 c N dy 14894 2291553 1018 2280 48849 87564 112878 3972143 59.11 21.21 -- 4391.02/1099.12 c N dy 15009 2311581 1018 2280 48942 106732 112878 5085046 63.67 21.24 -- 4488.10/1123.49 c N dy 15132 2331586 1025 2280 49013 125945 112914 6139710 50.72 21.27 -- 4519.27/1131.27 c N dy 15238 2352544 1025 2280 49096 83134 112914 3679832 88.25 21.31 -- 4566.81/1143.10 c N dy 15366 2372643 1036 2280 49267 102405 112960 4929045 39.06 21.32 -- 4639.54/1161.31 c N dy 15491 2392778 1036 2280 49283 121522 112960 6093329 80.57 21.33 -- 4684.27/1172.50 c N dy 15619 2412879 1036 2280 49285 76456 112960 2859371 81.71 21.36 -- 4720.23/1181.58 c N dy 15748 2432981 1036 2280 49287 95698 112960 4346968 73.76 21.39 -- 4768.97/1193.78 c N dy 15837 2456412 1036 2280 49287 118405 112960 6357593 78.22 21.41 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
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-3266729-1304183396/watcher-3266729-1304183396 -o /tmp/evaluation-result-3266729-1304183396/solver-3266729-1304183396 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3266729-1304183396.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.20 7.95 7.94 3/174 3003 /proc/meminfo: memFree=30061192/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=49880 CPUtime=0 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 627 0 0 0 0 0 0 0 24 0 1 0 529936665 51077120 564 33554432000 4194304 4797429 140733878186048 18446744073709551615 239476355781 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3003/statm: 12470 565 347 148 0 7399 0 [startup+0.0369761 s] /proc/loadavg: 7.20 7.95 7.94 3/174 3003 /proc/meminfo: memFree=30061192/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=54524 CPUtime=0.03 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 1774 0 0 0 3 0 0 0 24 0 1 0 529936665 55832576 1710 33554432000 4194304 4797429 140733878186048 18446744073709551615 239476355781 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/3003/statm: 13631 1711 348 148 0 8560 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 54524 [startup+0.15195 s] /proc/loadavg: 7.20 7.95 7.94 3/174 3003 /proc/meminfo: memFree=30061192/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=681852 CPUtime=3.7 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 7480 0 0 0 367 3 0 0 19 0 4 0 529936665 698216448 5770 33554432000 4194304 4797429 140733878186048 18446744073709551615 4340768 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 170463 5770 415 148 0 165392 0 Current children cumulated CPU time (s) 3.7 Current children cumulated vsize (KiB) 681852 [startup+1.01268 s] /proc/loadavg: 7.20 7.95 7.94 3/174 3003 /proc/meminfo: memFree=30061192/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=681988 CPUtime=3.9 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 7671 0 0 0 387 3 0 0 19 0 4 0 529936665 698355712 5959 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 170497 5959 415 148 0 165426 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 681988 [startup+1.10066 s] /proc/loadavg: 7.20 7.95 7.94 3/174 3003 /proc/meminfo: memFree=30061192/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=682384 CPUtime=4.25 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 7941 0 0 0 422 3 0 0 19 0 4 0 529936665 698761216 6227 33554432000 4194304 4797429 140733878186048 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 170596 6228 415 148 0 165525 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 682384 [startup+1.50059 s] /proc/loadavg: 7.20 7.95 7.94 3/174 3003 /proc/meminfo: memFree=30061192/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=683512 CPUtime=5.85 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 9519 0 0 0 582 3 0 0 20 0 4 0 529936665 699916288 7132 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 170878 7132 415 148 0 165807 0 Current children cumulated CPU time (s) 5.85 Current children cumulated vsize (KiB) 683512 [startup+3.10028 s] /proc/loadavg: 7.51 8.00 7.95 9/184 3016 /proc/meminfo: memFree=29928360/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=687112 CPUtime=12.24 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 12988 0 0 0 1220 4 0 0 25 0 4 0 529936665 703602688 8888 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 171778 8888 415 148 0 166707 0 [pid=3003/tid=3005] ppid=3001 vsize=687112 CPUtime=3.04 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 2318 0 0 0 303 1 0 0 25 0 4 0 529936669 703602688 8888 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=687112 CPUtime=3.03 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 2397 0 0 0 303 0 0 0 25 0 4 0 529936669 703602688 8888 33554432000 4194304 4797429 140733878186048 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=687112 CPUtime=3.05 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 2194 0 0 0 305 0 0 0 25 0 4 0 529936669 703602688 8889 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.24 Current children cumulated vsize (KiB) 687112 [startup+6.30667 s] /proc/loadavg: 7.55 8.00 7.95 9/184 3016 /proc/meminfo: memFree=29905536/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=688264 CPUtime=25.04 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 15780 0 0 0 2499 5 0 0 25 0 4 0 529936665 704782336 10992 33554432000 4194304 4797429 140733878186048 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 172066 10992 416 148 0 166995 0 [pid=3003/tid=3005] ppid=3001 vsize=688264 CPUtime=6.25 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 2581 0 0 0 624 1 0 0 25 0 4 0 529936669 704782336 10992 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=688264 CPUtime=6.22 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 2964 0 0 0 622 0 0 0 25 0 4 0 529936669 704782336 10992 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=688264 CPUtime=6.25 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 2483 0 0 0 625 0 0 0 25 0 4 0 529936669 704782336 10992 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.04 Current children cumulated vsize (KiB) 688264 [startup+12.7004 s] /proc/loadavg: 7.58 8.00 7.95 9/184 3016 /proc/meminfo: memFree=29879300/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=690164 CPUtime=50.6 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 19559 0 0 0 5054 6 0 0 25 0 4 0 529936665 706727936 12249 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429165 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 172541 12249 418 148 0 167470 0 [pid=3003/tid=3005] ppid=3001 vsize=690164 CPUtime=12.64 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 3112 0 0 0 1263 1 0 0 25 0 4 0 529936669 706727936 12249 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=690164 CPUtime=12.6 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 3286 0 0 0 1259 1 0 0 25 0 4 0 529936669 706727936 12249 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=690164 CPUtime=12.65 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 3148 0 0 0 1265 0 0 0 25 0 4 0 529936669 706727936 12249 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.6 Current children cumulated vsize (KiB) 690164 [startup+25.501 s] /proc/loadavg: 7.65 8.00 7.95 9/184 3016 /proc/meminfo: memFree=29860048/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=693284 CPUtime=101.73 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 25945 0 0 0 10166 7 0 0 25 0 4 0 529936665 709922816 14581 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520396 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 173321 14581 418 148 0 168250 0 [pid=3003/tid=3005] ppid=3001 vsize=693284 CPUtime=25.45 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 3831 0 0 0 2543 2 0 0 25 0 4 0 529936669 709922816 14581 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=693284 CPUtime=25.34 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 4246 0 0 0 2533 1 0 0 25 0 4 0 529936669 709922816 14581 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=693284 CPUtime=25.45 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 4051 0 0 0 2545 0 0 0 25 0 4 0 529936669 709922816 14581 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.73 Current children cumulated vsize (KiB) 693284 [startup+51.1011 s] /proc/loadavg: 7.77 8.00 7.95 9/184 3017 /proc/meminfo: memFree=29831952/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=696952 CPUtime=204.01 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 36155 0 0 0 20391 10 0 0 25 0 4 0 529936665 713678848 17137 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 174238 17137 419 148 0 169167 0 [pid=3003/tid=3005] ppid=3001 vsize=696952 CPUtime=51.05 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 4879 0 0 0 5103 2 0 0 25 0 4 0 529936669 713678848 17137 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=696952 CPUtime=50.81 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 5222 0 0 0 5080 1 0 0 25 0 4 0 529936669 713678848 17137 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524604 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=696952 CPUtime=51.05 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 5390 0 0 0 5104 1 0 0 25 0 4 0 529936669 713678848 17138 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.01 Current children cumulated vsize (KiB) 696952 [startup+102.3 s] /proc/loadavg: 7.90 8.00 7.95 9/184 3018 /proc/meminfo: memFree=29803996/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=702108 CPUtime=408.56 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 61385 0 0 0 40841 15 0 0 25 0 4 0 529936665 718958592 18760 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 175527 18760 421 148 0 170456 0 [pid=3003/tid=3005] ppid=3001 vsize=702108 CPUtime=102.25 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 6490 0 0 0 10223 2 0 0 25 0 4 0 529936669 718958592 18760 33554432000 4194304 4797429 140733878186048 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=702108 CPUtime=101.83 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 7101 0 0 0 10181 2 0 0 25 0 4 0 529936669 718958592 18760 33554432000 4194304 4797429 140733878186048 18446744073709551615 4495473 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=702108 CPUtime=102.2 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 7108 0 0 0 10219 1 0 0 25 0 4 0 529936669 718958592 18760 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.56 Current children cumulated vsize (KiB) 702108 [startup+162.301 s] /proc/loadavg: 8.07 8.03 7.96 9/184 3020 /proc/meminfo: memFree=29759676/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=706476 CPUtime=648.29 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 87117 0 0 0 64808 21 0 0 25 0 4 0 529936665 723431424 22405 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 176619 22405 421 148 0 171548 0 [pid=3003/tid=3005] ppid=3001 vsize=706476 CPUtime=162.25 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 7951 0 0 0 16223 2 0 0 25 0 4 0 529936669 723431424 22405 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=706476 CPUtime=161.83 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 9120 0 0 0 16180 3 0 0 25 0 4 0 529936669 723431424 22405 33554432000 4194304 4797429 140733878186048 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=706476 CPUtime=161.93 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 8751 0 0 0 16191 2 0 0 25 0 4 0 529936669 723431424 22405 33554432000 4194304 4797429 140733878186048 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 648.29 Current children cumulated vsize (KiB) 706476 [startup+222.3 s] /proc/loadavg: 8.10 8.04 7.97 9/184 3022 /proc/meminfo: memFree=29749340/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=711408 CPUtime=888.01 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 111455 0 0 0 88773 28 0 0 25 0 4 0 529936665 728481792 23749 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 177852 23749 421 148 0 172781 0 [pid=3003/tid=3005] ppid=3001 vsize=711408 CPUtime=222.25 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 9755 0 0 0 22222 3 0 0 25 0 4 0 529936669 728481792 23749 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=711408 CPUtime=221.83 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 10616 0 0 0 22180 3 0 0 25 0 4 0 529936669 728481792 23749 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=711408 CPUtime=221.65 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 10446 0 0 0 22163 2 0 0 25 0 4 0 529936669 728481792 23749 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 888.01 Current children cumulated vsize (KiB) 711408 [startup+282.301 s] /proc/loadavg: 8.03 8.03 7.97 9/184 3023 /proc/meminfo: memFree=29705280/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=712712 CPUtime=1127.74 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 130436 0 0 0 112741 33 0 0 25 0 4 0 529936665 729817088 27899 33554432000 4194304 4797429 140733878186048 18446744073709551615 4351210 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 178178 27899 421 148 0 173107 0 [pid=3003/tid=3005] ppid=3001 vsize=712712 CPUtime=282.26 cores=0,2,4,6 ################ # More data... # ################ [pid=3003] ppid=3001 vsize=724488 CPUtime=2805.72 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 256198 0 0 0 280499 73 0 0 25 0 4 0 529936665 741875712 41304 33554432000 4194304 4797429 140733878186048 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 181122 41304 421 148 0 176051 0 [pid=3003/tid=3005] ppid=3001 vsize=724488 CPUtime=702.27 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 22004 0 0 0 70220 7 0 0 25 0 4 0 529936669 741875712 41304 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=724488 CPUtime=701.85 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 21969 0 0 0 70178 7 0 0 25 0 4 0 529936669 741875712 41304 33554432000 4194304 4797429 140733878186048 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=724488 CPUtime=699.34 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 21696 0 0 0 69928 6 0 0 25 0 4 0 529936669 741875712 41304 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2805.72 Current children cumulated vsize (KiB) 724488 [startup+762.301 s] /proc/loadavg: 8.02 8.06 8.00 9/184 3037 /proc/meminfo: memFree=29574640/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=726004 CPUtime=3045.41 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 271614 0 0 0 304463 78 0 0 25 0 4 0 529936665 743428096 42329 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 181501 42329 421 148 0 176430 0 [pid=3003/tid=3005] ppid=3001 vsize=726004 CPUtime=762.28 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 22867 0 0 0 76220 8 0 0 25 0 4 0 529936669 743428096 42329 33554432000 4194304 4797429 140733878186048 18446744073709551615 4642102 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=726004 CPUtime=761.85 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 22863 0 0 0 76178 7 0 0 25 0 4 0 529936669 743428096 42329 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=726004 CPUtime=759.03 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 22655 0 0 0 75897 6 0 0 25 0 4 0 529936669 743428096 42329 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3045.41 Current children cumulated vsize (KiB) 726004 [startup+822.3 s] /proc/loadavg: 8.05 8.06 8.00 9/184 3039 /proc/meminfo: memFree=29554036/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=727608 CPUtime=3285.14 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 286528 0 0 0 328431 83 0 0 25 0 4 0 529936665 745070592 45494 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424752 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 181902 45494 421 148 0 176831 0 [pid=3003/tid=3005] ppid=3001 vsize=727608 CPUtime=822.28 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 24894 0 0 0 82220 8 0 0 25 0 4 0 529936669 745070592 45494 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=727608 CPUtime=821.86 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 24275 0 0 0 82178 8 0 0 25 0 4 0 529936669 745070592 45494 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=727608 CPUtime=818.76 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 24283 0 0 0 81869 7 0 0 25 0 4 0 529936669 745070592 45494 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3285.14 Current children cumulated vsize (KiB) 727608 [startup+882.301 s] /proc/loadavg: 8.05 8.06 8.00 9/184 3040 /proc/meminfo: memFree=29550644/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=729072 CPUtime=3524.85 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 303184 0 0 0 352397 88 0 0 25 0 4 0 529936665 746569728 43264 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 182268 43264 421 148 0 177197 0 [pid=3003/tid=3005] ppid=3001 vsize=729072 CPUtime=882.27 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 26671 0 0 0 88219 8 0 0 25 0 4 0 529936669 746569728 43264 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=729072 CPUtime=881.86 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 25752 0 0 0 88178 8 0 0 25 0 4 0 529936669 746569728 43264 33554432000 4194304 4797429 140733878186048 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=729072 CPUtime=878.46 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 25760 0 0 0 87839 7 0 0 25 0 4 0 529936669 746569728 43264 33554432000 4194304 4797429 140733878186048 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3524.85 Current children cumulated vsize (KiB) 729072 [startup+942.3 s] /proc/loadavg: 8.17 8.09 8.01 9/184 3042 /proc/meminfo: memFree=29511064/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=730712 CPUtime=3764.57 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 315624 0 0 0 376366 91 0 0 25 0 4 0 529936665 748249088 48926 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 182678 48926 421 148 0 177607 0 [pid=3003/tid=3005] ppid=3001 vsize=730712 CPUtime=942.29 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 27478 0 0 0 94220 9 0 0 25 0 4 0 529936669 748249088 48926 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=730712 CPUtime=941.87 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 26591 0 0 0 94178 9 0 0 25 0 4 0 529936669 748249088 48926 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=730712 CPUtime=938.18 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 26579 0 0 0 93810 8 0 0 25 0 4 0 529936669 748249088 48926 33554432000 4194304 4797429 140733878186048 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3764.57 Current children cumulated vsize (KiB) 730712 [startup+1002.3 s] /proc/loadavg: 8.06 8.07 8.01 9/184 3043 /proc/meminfo: memFree=29541040/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=732496 CPUtime=4004.28 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 332904 0 0 0 400332 96 0 0 25 0 4 0 529936665 750075904 46440 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429121 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 183124 46440 421 148 0 178053 0 [pid=3003/tid=3005] ppid=3001 vsize=732496 CPUtime=1002.28 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 29058 0 0 0 100219 9 0 0 25 0 4 0 529936669 750075904 46440 33554432000 4194304 4797429 140733878186048 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=732496 CPUtime=1001.86 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 28106 0 0 0 100177 9 0 0 25 0 4 0 529936669 750075904 46440 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=732496 CPUtime=997.9 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 28087 0 0 0 99782 8 0 0 25 0 4 0 529936669 750075904 46440 33554432000 4194304 4797429 140733878186048 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4004.28 Current children cumulated vsize (KiB) 732496 [startup+1062.31 s] /proc/loadavg: 8.06 8.07 8.01 9/184 3045 /proc/meminfo: memFree=29502444/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=734372 CPUtime=4244.01 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 341327 0 0 0 424301 100 0 0 25 0 4 0 529936665 751996928 49208 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 183593 49208 421 148 0 178522 0 [pid=3003/tid=3005] ppid=3001 vsize=734372 CPUtime=1062.29 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 30733 0 0 0 106219 10 0 0 25 0 4 0 529936669 751996928 49208 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=734372 CPUtime=1061.87 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 29724 0 0 0 106178 9 0 0 25 0 4 0 529936669 751996928 49208 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=734372 CPUtime=1057.61 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 29734 0 0 0 105752 9 0 0 25 0 4 0 529936669 751996928 49208 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4244.01 Current children cumulated vsize (KiB) 734372 [startup+1122.3 s] /proc/loadavg: 8.13 8.09 8.01 9/184 3047 /proc/meminfo: memFree=29524232/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=736316 CPUtime=4483.71 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 351859 0 0 0 448267 104 0 0 25 0 4 0 529936665 753987584 51252 33554432000 4194304 4797429 140733878186048 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 184079 51252 421 148 0 179008 0 [pid=3003/tid=3005] ppid=3001 vsize=736316 CPUtime=1122.29 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 31612 0 0 0 112219 10 0 0 25 0 4 0 529936669 753987584 51252 33554432000 4194304 4797429 140733878186048 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=736316 CPUtime=1121.87 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 30689 0 0 0 112177 10 0 0 25 0 4 0 529936669 753987584 51252 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=736316 CPUtime=1117.32 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 30626 0 0 0 111723 9 0 0 25 0 4 0 529936669 753987584 51252 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4483.71 Current children cumulated vsize (KiB) 736316 [startup+1182.3 s] /proc/loadavg: 8.12 8.09 8.01 9/184 3048 /proc/meminfo: memFree=29503728/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=804916 CPUtime=4723.42 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 369224 0 0 0 472233 109 0 0 25 0 4 0 529936665 824233984 49229 33554432000 4194304 4797429 140733878186048 18446744073709551615 4424194 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 201229 49229 421 148 0 196158 0 [pid=3003/tid=3005] ppid=3001 vsize=804916 CPUtime=1182.29 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 33492 0 0 0 118218 11 0 0 25 0 4 0 529936669 824233984 49229 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=804916 CPUtime=1181.87 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 32218 0 0 0 118177 10 0 0 25 0 4 0 529936669 824233984 49229 33554432000 4194304 4797429 140733878186048 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=804916 CPUtime=1177.04 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 32249 0 0 0 117694 10 0 0 25 0 4 0 529936669 824233984 49229 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4723.42 Current children cumulated vsize (KiB) 804916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.5 s] /proc/loadavg: 8.21 8.11 8.02 9/184 3049 /proc/meminfo: memFree=29484868/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=804916 CPUtime=4800.13 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 372717 0 0 0 479903 110 0 0 25 0 4 0 529936665 824233984 52677 33554432000 4194304 4797429 140733878186048 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 201229 52678 421 148 0 196158 0 [pid=3003/tid=3005] ppid=3001 vsize=804916 CPUtime=1201.5 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 33760 0 0 0 120139 11 0 0 25 0 4 0 529936669 824233984 52678 33554432000 4194304 4797429 140733878186048 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=804916 CPUtime=1201.07 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 32482 0 0 0 120097 10 0 0 25 0 4 0 529936669 824233984 52678 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=804916 CPUtime=1196.14 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 32527 0 0 0 119604 10 0 0 25 0 4 0 529936669 824233984 52678 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524692 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.13 Current children cumulated vsize (KiB) 804916 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.5 s] /proc/loadavg: 8.21 8.11 8.02 9/184 3049 /proc/meminfo: memFree=29484868/32950928 swapFree=67086612/67111528 [pid=3003] ppid=3001 vsize=804916 CPUtime=4800.13 cores=0,2,4,6 /proc/3003/stat : 3003 (techdemo) R 3001 3003 2146 0 -1 4202496 372717 0 0 0 479903 110 0 0 25 0 4 0 529936665 824233984 52677 33554432000 4194304 4797429 140733878186048 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/3003/statm: 201229 52678 421 148 0 196158 0 [pid=3003/tid=3005] ppid=3001 vsize=804916 CPUtime=1201.5 cores=0,2,4,6 /proc/3003/task/3005/stat : 3005 (techdemo) R 3001 3003 2146 0 -1 4202560 33760 0 0 0 120139 11 0 0 25 0 4 0 529936669 824233984 52678 33554432000 4194304 4797429 140733878186048 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=3003/tid=3006] ppid=3001 vsize=804916 CPUtime=1201.07 cores=0,2,4,6 /proc/3003/task/3006/stat : 3006 (techdemo) R 3001 3003 2146 0 -1 4202560 32482 0 0 0 120097 10 0 0 25 0 4 0 529936669 824233984 52678 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=3003/tid=3007] ppid=3001 vsize=804916 CPUtime=1196.14 cores=0,2,4,6 /proc/3003/task/3007/stat : 3007 (techdemo) R 3001 3003 2146 0 -1 4202560 32527 0 0 0 119604 10 0 0 25 0 4 0 529936669 824233984 52678 33554432000 4194304 4797429 140733878186048 18446744073709551615 4524692 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.13 Current children cumulated vsize (KiB) 804916 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.52 CPU time (s): 4800.18 CPU user time (s): 4799.06 CPU system time (s): 1.11983 CPU usage (%): 399.508 Max. virtual memory (cumulated for all children) (KiB): 916968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4799.06 system time used= 1.11983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 372719 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= 297 involuntary context switches= 23768 runsolver used 1.81572 second user time and 3.98539 second system time The end
Begin job on node148 at 2011-04-30 19:09:56 IDJOB=3266729 IDBENCH=88210 IDSOLVER=1584 FILE ID=node148/3266729-1304183396 RUNJOBID= node148-1304183396-2989 PBS_JOBID= 13172434 Free space on /tmp= 72964 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p30-s39712998.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266729-1304183396/watcher-3266729-1304183396 -o /tmp/evaluation-result-3266729-1304183396/solver-3266729-1304183396 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3266729-1304183396.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 44ec8c80ea2b58be800208f5113b04f5 RANDOM SEED=569764577 node148.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.854 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.854 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.854 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.83 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.854 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.854 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.854 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.854 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.854 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: 30061472 kB Buffers: 778176 kB Cached: 1695692 kB SwapCached: 3700 kB Active: 181968 kB Inactive: 2337532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30061472 kB SwapTotal: 67111528 kB SwapFree: 67086612 kB Dirty: 9876 kB Writeback: 0 kB AnonPages: 43732 kB Mapped: 13480 kB Slab: 305040 kB PageTables: 4372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 193476 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= 72940 MiB End job on node148 at 2011-04-30 19:30:00