| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.43 | 1201.63 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf |
| MD5SUM | e096925b96a6999132833f44e4f216d7 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1.3388 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1638 |
| Number of clauses | 253275 |
| Sum of the clauses size | 508108 |
| Maximum clause length | 42 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 253235 |
| 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 | 40 |
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-3251679-1304184078.cnf' 0.00/0.00 c -- header says num vars: 1638 0.00/0.00 c -- header says num clauses: 253275 0.09/0.19 c -- clauses added: 0 learnts, 253275 normals, 0 xors 0.09/0.19 c -- vars added 1638 0.09/0.19 c Parsing time: 0.17 s 0.09/0.19 c N st 0 0 1638 40 253235 0 508108 0 no data no data -- 0.09/0.19 c asymm cl-useful: 0/40/40 lits-rem:0 time: 0.00 0.20/0.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 1.3M T: 0.19 0.20/0.40 c Calc non-exist non-lernt bins v-fix: 0 done: 1638 time: 0.10 s 0.20/0.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.20/0.40 c Subs w/ non-existent bins: 0 time: 0.00 s 0.20/0.40 c bin-w-bin subsume rem 0 bins time: 0.16 s 0.20/0.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.14 s 0.20/0.40 c Removed useless bin: 0 fixed: 0 bprops: 1.02M time: 0.10 s 0.20/0.48 c lits-rem: 126 cl-subs: 0 v-elim: 1052 v-fix: 0 time: 0.25 s 0.20/0.48 c learnt bin added due to v-elim: 0 0.20/0.48 c Finding binary XORs T: 0.02 s found: 0 0.20/0.48 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan) 0.20/0.48 c calculated reachability. Time: 0.00 0.20/0.48 c Calc default polars - time: 0.01 s pos: 0 undec: 40 neg: 1598 0.20/0.48 c ========================================================================================= 0.20/0.48 c types(t): F = full restart, N = normal restart 0.20/0.48 c types(t): S = simplification begin/end, E = solution found 0.20/0.48 c restart types(rt): st = static, dy = dynamic 0.20/0.48 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.20/0.48 c B st 0 0 1598 5278 246359 0 737705 0 no data no data -- 1.07/1.07 c Decided on static restart strategy 4.20/1.28 c N dy 20 4019 1598 5278 246359 3893 737703 606432 125.74 21.72 -- 8.14/2.28 c N dy 50 8099 1598 5278 246359 5443 737703 667021 132.40 20.72 -- 13.73/3.64 c N dy 79 12163 1598 5278 246359 5267 737703 502005 74.08 20.89 -- 17.33/4.56 c N dy 108 16192 1598 5278 246359 9167 737703 1056745 177.74 19.70 -- 21.72/5.64 c N dy 137 20263 1598 5278 246359 7658 737697 780798 158.78 19.73 -- 26.92/6.95 c N dy 167 24395 1598 5278 246359 11614 737697 1321871 88.63 19.31 -- 32.12/8.27 c N dy 196 28454 1598 5278 246359 8943 737690 770799 54.41 18.83 -- 34.11/8.72 c S st 207 30002 1598 5278 246359 10423 737690 863027 62.16 18.44 -- 34.51/8.87 c S st 207 30503 1598 5278 246359 10922 737690 904053 62.16 18.44 -- 34.51/8.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 34.51/8.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 45.70/11.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 49.1M T: 10.92 45.70/11.63 c Calc non-exist non-lernt bins v-fix: 0 done: 1598 time: 0.10 s 45.70/11.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 45.70/11.65 c Subs w/ non-existent bins: 0 time: 0.08 s 46.11/11.73 c bin-w-bin subsume rem 0 bins time: 0.18 s 51.30/13.04 c subs with bin: 0 lits-rem: 2455 v-fix: 0 time: 5.23 s 51.30/13.06 c Removed useless bin: 0 fixed: 0 bprops: 0.99M time: 0.09 s 56.48/14.30 c lits-rem: 3590 cl-subs: 1349 v-elim: 1598 v-fix: 0 time: 4.97 s 56.48/14.30 c learnt bin added due to v-elim: 0 56.48/14.32 c vivif2 -- cl tried 5278 cl shrink 4114 lits rem 54447 time: 0.06 56.48/14.33 c vivif2 -- cl tried 9573 cl shrink 0 lits rem 0 time: 0.06 57.28/14.58 c asymm cl-useful: 77/491/5278 lits-rem:137 time: 0.98 57.28/14.59 c calculated reachability. Time: 0.01 57.28/14.59 c N dy 207 30503 1598 5278 246359 9573 676237 792073 62.16 18.44 -- 57.28/14.59 c F st 207 30503 1598 5278 246359 9573 676237 792073 62.16 18.44 -- 59.70/15.16 c Decided on static restart strategy 62.08/15.72 c N dy 227 34591 1598 5278 246359 13488 676237 1142070 153.46 17.94 -- 66.07/16.73 c N dy 256 38667 1598 5278 246359 9826 676237 700353 107.49 17.58 -- 70.86/17.91 c N dy 284 42813 1598 5278 246359 13805 676237 1087379 107.81 17.18 -- 75.66/19.16 c S st 304 45755 1598 5278 246359 16609 676237 1452511 134.75 17.13 -- 76.06/19.28 c S st 304 46256 1598 5278 246359 17109 676237 1488172 134.75 17.13 -- 76.06/19.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 76.06/19.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 87.24/22.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 11.19 87.64/22.11 c Calc non-exist non-lernt bins v-fix: 0 done: 1598 time: 0.10 s 87.64/22.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 87.64/22.15 c Subs w/ non-existent bins: 0 time: 0.13 s 88.04/22.22 c bin-w-bin subsume rem 0 bins time: 0.16 s 93.64/23.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.57 s 93.64/23.64 c Removed useless bin: 0 fixed: 0 bprops: 0.99M time: 0.09 s 101.24/25.58 c lits-rem: 1094 cl-subs: 1499 v-elim: 1598 v-fix: 0 time: 7.75 s 101.24/25.58 c learnt bin added due to v-elim: 0 101.24/25.58 c vivif2 -- cl tried 5278 cl shrink 0 lits rem 0 time: 0.02 101.64/25.61 c vivif2 -- cl tried 15610 cl shrink 0 lits rem 0 time: 0.10 102.44/25.82 c asymm cl-useful: 8/357/5278 lits-rem:13 time: 0.82 102.44/25.82 c calculated reachability. Time: 0.01 102.44/25.82 c N dy 304 46256 1598 5278 246359 15610 676119 1297656 134.75 17.13 -- 107.64/27.15 c N dy 331 50388 1598 5278 246359 11005 676119 930349 175.11 16.93 -- 111.62/28.14 c N dy 360 54453 1598 5278 246359 14945 676119 1402401 84.13 16.96 -- 116.43/29.37 c N dy 388 58454 1598 5278 246359 18826 676118 2007638 170.75 17.16 -- 121.22/30.56 c N dy 417 62498 1598 5278 246359 13128 676118 1209856 181.33 17.54 -- 128.00/32.20 c N dy 446 66628 1598 5278 246359 17117 676118 1817250 147.87 17.64 -- 134.00/33.78 c S st 466 69385 1598 5278 246359 19785 676118 2296741 178.78 17.83 -- 135.19/34.02 c S st 466 69888 1598 5278 246359 20285 676118 2356723 178.78 17.83 -- 135.19/34.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 135.19/34.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 159.56/40.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 24.37 159.56/40.16 c Calc non-exist non-lernt bins v-fix: 0 done: 1598 time: 0.11 s 159.56/40.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 159.56/40.19 c Subs w/ non-existent bins: 0 time: 0.14 s 159.96/40.28 c bin-w-bin subsume rem 0 bins time: 0.16 s 165.56/41.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.38 s 165.56/41.65 c Removed useless bin: 0 fixed: 0 bprops: 0.99M time: 0.10 s 182.75/45.94 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.32 211.91/53.25 c Added 17 vars tried: 80000 time: 29.22 212.71/53.41 c ORs : 17 avg-s: 0.0 cl-sh: 24370 l-rem: 24370 b-add: 34 v-rep: 0 cl-rem: 0 avg s: nan T: 29.85 212.71/53.43 c lits-rem: 12546 cl-subs: 1717 v-elim: 1598 v-fix: 0 time: 47.05 s 212.71/53.43 c learnt bin added due to v-elim: 0 212.71/53.43 c vivif2 -- cl tried 5295 cl shrink 0 lits rem 0 time: 0.02 212.71/53.47 c vivif2 -- cl tried 18568 cl shrink 0 lits rem 0 time: 0.12 213.90/53.73 c asymm cl-useful: 0/416/5295 lits-rem:0 time: 1.05 213.90/53.74 c calculated reachability. Time: 0.01 213.90/53.74 c N dy 466 69888 1615 5295 246393 18568 675241 1988854 178.78 17.83 -- 213.90/53.74 c F st 466 69888 1615 5295 246393 18568 675241 1988854 178.78 17.83 -- 217.92/54.78 c Decided on static restart strategy 221.49/55.65 c N dy 490 74473 1615 5295 246393 12442 675240 1027290 205.90 18.04 -- 227.09/57.02 c N dy 525 79348 1615 5295 246394 17185 675240 1410416 88.22 17.65 -- 234.28/58.85 c N dy 561 84489 1615 5295 246396 22215 675240 2012246 119.67 17.48 -- 240.27/60.30 c N dy 600 89940 1615 5295 246401 15868 675240 1248939 88.39 17.25 -- 246.66/61.95 c N dy 640 95689 1615 5295 246405 21397 675238 1965369 154.36 17.13 -- 255.85/64.27 c N dy 683 101804 1615 5295 246407 14763 675238 1101801 143.58 16.90 -- 259.05/65.08 c S st 705 104833 1615 5295 246407 17701 675238 1331244 98.18 16.72 -- 259.84/65.21 c S st 705 105337 1615 5295 246412 18196 675238 1367140 98.18 16.72 -- 259.84/65.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 259.84/65.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 273.03/68.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 2347 BRemL: 20 BRemN: 0 CBin: 0 P: 60.0M T: 13.23 273.03/68.55 c Calc non-exist non-lernt bins v-fix: 0 done: 1615 time: 0.11 s 273.03/68.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 273.03/68.59 c Subs w/ non-existent bins: 0 time: 0.13 s 273.43/68.66 c bin-w-bin subsume rem 0 bins time: 0.17 s 278.63/69.97 c subs with bin: 0 lits-rem: 11 v-fix: 0 time: 5.24 s 278.63/69.99 c Removed useless bin: 0 fixed: 0 bprops: 0.62M time: 0.07 s 287.01/72.01 c ORs : 48 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 4 avg s: 3.0 T: 0.32 287.01/72.02 c lits-rem: 698 cl-subs: 3238 v-elim: 2516 v-fix: 0 time: 8.13 s 287.01/72.02 c learnt bin added due to v-elim: 0 287.01/72.03 c vivif2 -- cl tried 5658 cl shrink 165 lits rem 165 time: 0.02 287.01/72.06 c vivif2 -- cl tried 14958 cl shrink 558 lits rem 779 time: 0.12 287.82/72.27 c asymm cl-useful: 0/314/5493 lits-rem:0 time: 0.86 287.82/72.28 c calculated reachability. Time: 0.01 287.82/72.28 c N dy 705 105337 1614 5493 248529 14958 675419 1086211 98.18 16.72 -- 296.21/74.34 c N dy 753 112202 1614 5493 248529 21583 675419 1698767 119.20 16.44 -- 305.00/76.59 c N dy 803 119435 1614 5493 248529 15042 675419 897639 48.73 16.35 -- 314.19/78.81 c N dy 857 127100 1614 5493 248529 22487 675419 1922912 94.14 16.33 -- 327.39/82.20 c N dy 915 135279 1614 5493 248529 15946 675419 1018475 143.91 16.56 -- 337.36/84.62 c N dy 977 144011 1614 5493 248529 24434 675419 1853249 61.99 16.35 -- 350.14/87.89 c N dy 1043 153334 1614 5493 248529 17965 675419 1197341 129.99 16.34 -- 357.34/89.61 c S st 1077 158006 1614 5493 248529 22510 675419 1848134 164.63 16.42 -- 358.15/89.83 c S st 1077 158509 1614 5493 248529 23010 675419 1888597 164.63 16.42 -- 358.15/89.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 358.15/89.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 377.32/94.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 6 BRemL: 13 BRemN: 165 CBin: 0 P: 60.0M T: 19.14 377.32/94.66 c Calc non-exist non-lernt bins v-fix: 0 done: 1614 time: 0.11 s 377.32/94.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 377.72/94.70 c Subs w/ non-existent bins: 0 time: 0.16 s 377.72/94.78 c bin-w-bin subsume rem 164 bins time: 0.17 s 382.91/96.09 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 5.25 s 383.31/96.11 c Removed useless bin: 0 fixed: 0 bprops: 0.62M time: 0.07 s 393.71/98.76 c ORs : 48 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.46 393.71/98.78 c lits-rem: 2461 cl-subs: 1486 v-elim: 1594 v-fix: 0 time: 10.66 s 393.71/98.78 c learnt bin added due to v-elim: 0 393.71/98.78 c vivif2 -- cl tried 5492 cl shrink 0 lits rem 0 time: 0.02 394.09/98.82 c vivif2 -- cl tried 21524 cl shrink 4 lits rem 14 time: 0.14 394.89/99.07 c asymm cl-useful: 0/355/5492 lits-rem:0 time: 0.99 394.89/99.07 c calculated reachability. Time: 0.00 394.89/99.07 c N dy 1077 158509 1614 5492 248193 21524 675080 1687313 164.63 16.42 -- 416.47/104.48 c N dy 1149 168692 1614 5492 248193 31431 675078 3062027 164.67 16.46 -- 433.27/108.65 c N dy 1226 179582 1614 5492 248193 25507 675078 2146727 138.81 16.53 -- 456.42/114.44 c N dy 1307 191074 1682 5492 256851 21263 679066 1138280 154.51 16.59 -- 473.21/118.69 c N dy 1393 203332 1682 5492 256851 33223 679066 2683691 96.99 16.60 -- 493.59/123.71 c N dy 1484 216370 1682 5492 256851 26254 679066 1433114 72.52 16.42 -- 512.76/128.51 c N dy 1581 230295 1682 5492 256851 19797 679066 966866 92.61 16.22 -- 520.36/130.42 c S st 1635 237765 1682 5492 256851 26976 679066 1583323 114.31 16.10 -- 520.77/130.55 c S st 1635 238266 1682 5492 256851 27474 679066 1623930 114.31 16.10 -- 520.77/130.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 520.77/130.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 533.95/133.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 1721 BRemL: 133 BRemN: 52 CBin: 0 P: 60.0M T: 13.10 533.95/133.87 c Calc non-exist non-lernt bins v-fix: 0 done: 1682 time: 0.12 s 533.95/133.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 534.36/133.93 c Subs w/ non-existent bins: 1868 time: 0.22 s 534.36/133.94 c Replacing 2 vars Replaced 19 lits Time: 0.04 s 534.74/134.01 c bin-w-bin subsume rem 1827 bins time: 0.17 s 540.33/135.44 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 5.70 s 540.33/135.45 c Removed useless bin: 495 fixed: 0 bprops: 0.36M time: 0.05 s 546.73/137.03 c ORs : 48 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.49 546.73/137.05 c lits-rem: 316 cl-subs: 1579 v-elim: 1594 v-fix: 0 time: 6.40 s 546.73/137.05 c learnt bin added due to v-elim: 0 546.73/137.06 c vivif2 -- cl tried 5492 cl shrink 0 lits rem 0 time: 0.02 547.13/137.10 c vivif2 -- cl tried 24025 cl shrink 18 lits rem 18 time: 0.17 547.92/137.30 c asymm cl-useful: 0/378/5492 lits-rem:0 time: 0.80 547.92/137.31 c calculated reachability. Time: 0.00 547.92/137.31 c N dy 1635 238266 1680 5492 256079 24008 677964 1490081 114.31 16.10 -- 568.30/142.48 c N dy 1743 253539 1680 5492 256079 39068 677964 3099397 54.02 16.02 -- 588.28/147.41 c N dy 1857 269816 1680 5492 256079 34999 677964 2394998 92.33 15.90 -- 615.84/154.31 c N dy 1977 287106 1680 5492 256079 30854 677963 2280705 186.05 15.98 -- 652.21/163.46 c N dy 2106 305519 1715 5492 259691 27349 679391 1581281 120.43 16.08 -- 685.37/171.74 c N dy 2241 325067 1715 5492 259692 46090 679391 3901415 185.21 16.13 -- 720.13/180.45 c N dy 2381 345111 1715 5492 259692 42072 679391 3206902 143.70 16.09 -- 740.11/185.48 c S st 2469 357399 1715 5492 259692 29701 679391 1790373 162.27 16.02 -- 740.93/185.67 c S st 2469 357903 1715 5492 259692 30203 679391 1852670 162.27 16.02 -- 740.93/185.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 740.93/185.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 759.28/190.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 2360 BRemL: 175 BRemN: 3051 CBin: 0 P: 60.0M T: 18.42 759.68/190.32 c Calc non-exist non-lernt bins v-fix: 0 done: 1715 time: 0.12 s 759.68/190.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 759.68/190.37 c Subs w/ non-existent bins: 648 time: 0.22 s 759.68/190.39 c Replacing 1 vars Replaced 500 lits Time: 0.05 s 760.08/190.47 c bin-w-bin subsume rem 649 bins time: 0.17 s 766.08/191.96 c subs with bin: 7 lits-rem: 0 v-fix: 0 time: 5.97 s 766.08/191.97 c Removed useless bin: 106 fixed: 0 bprops: 0.34M time: 0.05 s 775.68/194.34 c ORs : 48 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.41 775.68/194.37 c lits-rem: 1336 cl-subs: 1498 v-elim: 1594 v-fix: 0 time: 9.56 s 775.68/194.37 c learnt bin added due to v-elim: 0 775.68/194.37 c vivif2 -- cl tried 5492 cl shrink 0 lits rem 0 time: 0.02 776.09/194.42 c vivif2 -- cl tried 28047 cl shrink 114 lits rem 114 time: 0.18 777.26/194.70 c asymm cl-useful: 0/98/5492 lits-rem:0 time: 1.14 777.26/194.71 c calculated reachability. Time: 0.00 777.26/194.71 c N dy 2469 357903 1714 5492 258176 27940 673030 1715423 162.27 16.02 -- 819.22/205.20 c N dy 2608 377964 1768 5492 264746 51153 675328 3965131 109.41 16.01 -- 849.58/212.82 c N dy 2748 398106 1768 5492 264747 43802 675328 2718933 75.72 15.95 -- 876.76/219.68 c N dy 2889 418219 1768 5492 264747 36283 675328 1766577 120.03 15.87 -- 901.92/225.92 c Finding binary XORs T: 0.02 s found: 2 904.72/226.69 c N dy 3030 438356 1768 5492 264747 28322 675328 1159869 145.41 15.97 -- 928.30/232.58 c N dy 3172 458494 1768 5492 266809 48496 675362 2864161 104.47 15.88 -- 954.27/239.01 c N dy 3313 478590 1768 5492 266809 39347 675362 1902927 96.78 15.92 -- 986.23/247.10 c N dy 3452 498624 1768 5492 266809 29415 675362 1095781 190.84 15.87 -- 1009.41/252.83 c N dy 3590 518662 1768 5492 266812 48598 675362 3146326 114.95 15.82 -- 1032.17/258.55 c S st 3717 536857 1768 5492 266812 36227 675362 1647246 87.53 15.71 -- 1032.57/258.66 c S st 3717 537358 1768 5492 266812 36727 675362 1710176 87.53 15.71 -- 1032.57/258.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 1032.57/258.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1045.36/261.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 2 BRemL: 279 BRemN: 1270 CBin: 0 P: 60.0M T: 12.77 1045.76/261.90 c Calc non-exist non-lernt bins v-fix: 0 done: 1768 time: 0.13 s 1045.76/261.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1045.76/261.97 c Subs w/ non-existent bins: 1064 time: 0.28 s 1045.76/261.98 c Replacing 2 vars Replaced 15 lits Time: 0.04 s 1046.17/262.06 c bin-w-bin subsume rem 1096 bins time: 0.18 s 1051.76/263.42 c subs with bin: 43 lits-rem: 21 v-fix: 0 time: 5.41 s 1051.76/263.43 c Removed useless bin: 146 fixed: 0 bprops: 0.32M time: 0.05 s 1058.94/265.30 c ORs : 48 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.41 1068.94/267.72 c Added 18 vars tried: 80000 time: 9.71 1069.34/267.85 c ORs : 18 avg-s: 0.0 cl-sh: 22619 l-rem: 22619 b-add: 36 v-rep: 0 cl-rem: 10 avg s: 3.0 T: 10.20 1069.34/267.87 c lits-rem: 282 cl-subs: 1755 v-elim: 1594 v-fix: 0 time: 17.74 s 1069.34/267.87 c learnt bin added due to v-elim: 0 1069.34/267.87 c vivif2 -- cl tried 5510 cl shrink 2 lits rem 2 time: 0.02 1069.74/267.93 c vivif2 -- cl tried 33854 cl shrink 1039 lits rem 1040 time: 0.22 1070.55/268.13 c asymm cl-useful: 0/242/5510 lits-rem:0 time: 0.80 1070.55/268.14 c calculated reachability. Time: 0.01 1070.55/268.14 c N dy 3717 537358 1784 5510 264992 32938 671458 1569805 87.53 15.71 -- 1070.55/268.14 c F st 3717 537358 1784 5510 264992 32938 671458 1569805 87.53 15.71 -- 1072.53/268.66 c Decided on static restart strategy 1102.10/276.03 c N dy 3849 557363 1784 5510 265006 52322 671458 3744704 104.90 15.76 -- 1135.66/284.43 c N dy 3989 577386 1784 5510 265025 41755 671458 2208566 134.67 15.74 -- 1164.83/291.72 c N dy 4129 597395 1784 5510 265032 61104 671458 4145872 72.92 15.74 -- 1189.23/297.89 c N dy 4268 617397 1784 5510 265037 48916 671458 2783788 53.47 15.71 -- 1219.58/305.42 c N dy 4407 637473 1784 5510 265042 35686 671458 1544917 78.01 15.68 -- 1247.94/312.58 c N dy 4547 657516 1784 5510 265043 54972 671458 3445453 54.70 15.66 -- 1289.09/322.83 c N dy 4687 677541 1818 5510 270723 40917 671608 1915122 67.92 15.76 -- 1315.06/329.34 c N dy 4826 697587 1818 5510 270724 60140 671608 3846149 129.05 15.72 -- 1344.63/336.73 c N dy 4966 717635 1818 5510 270724 44803 671608 2514737 146.21 15.82 -- 1380.59/345.76 c N dy 5106 737677 1818 5510 270724 64194 671608 4366507 134.91 15.87 -- 1413.37/353.96 c N dy 5244 757737 1818 5510 270778 47766 671612 2301663 51.01 15.85 -- 1443.73/361.54 c N dy 5383 777802 1818 5510 270778 67000 671612 3898639 47.53 15.85 -- 1469.29/367.98 c N dy 5522 797803 1818 5510 270778 49636 671612 2239478 50.02 15.82 -- 1478.89/370.37 c S st 5580 806037 1818 5510 270778 57564 671612 2849084 126.97 15.80 -- 1479.67/370.52 c S st 5580 806539 1818 5510 270778 58062 671612 2894555 126.97 15.80 -- 1479.67/370.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1479.67/370.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1495.25/374.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bin: 0 BRemL: 816 BRemN: 1926 CBin: 0 P: 60.0M T: 15.68 1495.25/374.49 c Calc non-exist non-lernt bins v-fix: 0 done: 1818 time: 0.13 s 1495.25/374.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1496.05/374.61 c Subs w/ non-existent bins: 0 time: 0.47 s 1496.05/374.66 c Replacing 6 vars Replaced 6032 lits Time: 0.22 s 1496.46/374.77 c bin-w-bin subsume rem 914 bins time: 0.18 s 1502.05/376.11 c subs with bin: 0 lits-rem: 2 v-fix: 0 time: 5.36 s 1502.05/376.12 c Removed useless bin: 0 fixed: 0 bprops: 0.31M time: 0.05 s 1528.42/382.74 c ORs : 80 avg-s: 2.0 cl-sh: 11 l-rem: 11 b-add: 0 v-rep: 0 cl-rem: 19 avg s: 3.0 T: 0.78 1528.42/382.77 c lits-rem: 222 cl-subs: 7707 v-elim: 3074 v-fix: 0 time: 26.57 s 1528.42/382.77 c learnt bin added due to v-elim: 0 1528.42/382.78 c vivif2 -- cl tried 7539 cl shrink 965 lits rem 965 time: 0.03 1528.82/382.87 c vivif2 -- cl tried 50354 cl shrink 476 lits rem 666 time: 0.36 1530.02/383.10 c asymm cl-useful: 0/120/6577 lits-rem:0 time: 0.90 1530.02/383.11 c calculated reachability. Time: 0.01 1530.02/383.11 c N dy 5580 806539 1806 6577 265922 50353 668776 2409635 126.97 15.80 -- 1564.78/391.89 c N dy 5720 826542 1856 6577 272137 70758 669936 4764616 128.57 15.89 -- 1596.75/399.88 c N dy 5859 846562 1856 6577 272137 51951 669936 2706822 118.31 15.86 -- 1628.32/407.78 c N dy 5998 866594 1856 6577 272138 71201 669936 4488702 66.30 15.86 -- 1660.28/415.75 c N dy 6138 886720 1856 6577 272139 51969 669936 3036934 108.01 15.90 -- 1703.04/426.48 c N dy 6277 906834 1856 6577 272318 71263 669936 4779065 129.90 15.90 -- 1740.18/435.79 c N dy 6416 926981 1856 6577 272318 51040 669936 2168079 41.06 15.93 -- 1748.17/437.73 c Finding binary XORs T: 0.03 s found: 6 1766.55/442.32 c N dy 6555 947108 1856 6577 272318 70272 669936 3409850 73.22 15.90 -- 1792.52/448.89 c N dy 6696 967230 1856 6577 272345 49276 669940 2191453 125.30 15.91 -- 1820.90/455.96 c N dy 6837 987359 1897 6577 276044 68855 670126 4041438 113.31 15.93 -- 1869.24/468.03 c N dy 6976 1007362 1897 6577 276044 46740 670125 2242774 112.41 16.02 -- 1908.80/477.93 c N dy 7114 1027426 1897 6577 276044 66021 670125 4284173 103.17 16.04 -- 1951.95/488.73 c N dy 7252 1047513 1897 6577 276044 42872 670125 1641283 126.12 15.99 -- 1976.31/494.87 c N dy 7391 1067545 1897 6577 276736 62121 670125 3164338 71.90 15.96 -- 2009.08/503.02 c N dy 7530 1087589 1897 6577 276736 81338 670125 4565129 64.98 15.92 -- 2036.25/509.86 c N dy 7669 1107714 1897 6577 276736 57335 670125 2487220 34.98 15.87 -- 2067.83/517.79 c N dy 7809 1127755 1897 6577 276737 76632 670125 4270460 70.65 15.87 -- 2101.38/526.16 c N dy 7950 1147825 1897 6577 276801 51787 670125 2248309 138.78 15.87 -- 2126.15/532.37 c N dy 8090 1167887 1897 6577 276801 71037 670125 3716058 74.71 15.84 -- 2160.13/540.82 c N dy 8229 1187956 1897 6577 276801 45175 670125 1685575 64.16 15.80 -- 2185.29/547.19 c N dy 8368 1208011 1897 6577 276801 64268 670125 3004985 45.80 15.76 -- 2189.28/548.10 c S st 8381 1209809 1897 6577 276801 65977 670125 3091573 50.83 15.75 -- 2189.68/548.28 c S st 8381 1210311 1897 6577 276801 66479 670125 3142892 50.83 15.75 -- 2189.68/548.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2189.68/548.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2208.48/552.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bin: 0 BRemL: 2325 BRemN: 1061 CBin: 0 P: 60.0M T: 18.76 2208.89/553.03 c Calc non-exist non-lernt bins v-fix: 0 done: 1897 time: 0.14 s 2208.89/553.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2209.26/553.17 c Subs w/ non-existent bins: 470 time: 0.58 s 2209.66/553.20 c Replacing 13 vars Replaced 2609 lits Time: 0.12 s 2210.06/553.31 c bin-w-bin subsume rem 1336 bins time: 0.18 s 2215.66/554.72 c subs with bin: 5 lits-rem: 0 v-fix: 0 time: 5.63 s 2215.66/554.73 c Removed useless bin: 10 fixed: 0 bprops: 0.30M time: 0.05 s 2236.03/559.86 c ORs : 80 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.67 2250.81/563.53 c Added 20 vars tried: 80000 time: 14.64 2251.21/563.69 c ORs : 20 avg-s: 0.0 cl-sh: 23476 l-rem: 23476 b-add: 40 v-rep: 0 cl-rem: 42 avg s: 12.0 T: 15.30 2251.61/563.73 c lits-rem: 417 cl-subs: 5995 v-elim: 1584 v-fix: 0 time: 35.96 s 2251.61/563.73 c learnt bin added due to v-elim: 0 2251.61/563.74 c vivif2 -- cl tried 6577 cl shrink 1 lits rem 1 time: 0.02 2252.01/563.84 c vivif2 -- cl tried 59987 cl shrink 85 lits rem 172 time: 0.44 2253.21/564.10 c asymm cl-useful: 0/134/6577 lits-rem:0 time: 1.00 2253.21/564.11 c calculated reachability. Time: 0.01 2253.21/564.11 c N dy 8381 1210311 1904 6577 272081 59984 666618 2826457 50.83 15.75 -- 2283.97/571.89 c N dy 8515 1230336 1904 6577 272129 79281 666618 4676096 115.28 15.74 -- 2319.14/580.64 c N dy 8647 1250352 1904 6577 272135 52808 666618 2731945 139.26 15.78 -- 2353.92/589.32 c N dy 8780 1270503 1904 6577 272140 72339 666618 4921778 81.72 15.78 -- 2396.65/600.00 c N dy 8911 1290629 1904 6577 272142 91685 666618 6879775 111.04 15.77 -- 2426.22/607.49 c N dy 9046 1310736 1904 6577 272143 63987 666618 3922200 105.06 15.81 -- 2464.57/617.08 c N dy 9178 1330824 1908 6577 275607 83440 666634 6290531 92.39 15.82 -- 2509.73/628.38 c N dy 9312 1350924 1908 6577 275853 54616 666634 2667190 136.46 15.91 -- 2542.91/636.63 c N dy 9445 1371023 1908 6577 275853 73938 666634 4665917 94.18 15.89 -- 2584.85/647.16 c N dy 9577 1391150 1908 6577 275972 93280 666634 6318654 101.69 15.89 -- 2614.01/654.48 c N dy 9710 1411275 1908 6577 275972 63618 666634 3307418 80.40 15.89 -- 2651.97/663.95 c N dy 9840 1431317 1916 6577 276386 82717 666666 4825515 88.56 15.89 -- 2690.32/673.52 c N dy 9971 1451328 1916 6577 276386 52048 666666 2052304 67.72 15.89 -- 2715.09/679.75 c N dy 10102 1471389 1916 6577 276392 71140 666666 4044556 109.03 15.90 -- 2754.25/689.57 c N dy 10233 1491452 1916 6577 276392 90218 666666 5902632 105.60 15.91 -- 2790.62/698.61 c N dy 10363 1511486 1916 6577 276506 58855 666666 2651670 107.20 15.92 -- 2822.18/706.53 c N dy 10494 1531548 1916 6577 276506 78005 666666 4879187 88.23 15.99 -- 2860.54/716.16 c N dy 10625 1551612 1918 6577 276665 97172 666674 7348940 162.88 16.06 -- 2894.51/724.62 c N dy 10758 1571629 1918 6577 276665 64719 666674 3381580 134.37 16.08 -- 2930.45/733.61 c N dy 10890 1591703 1918 6577 276665 84010 666674 5923284 155.01 16.13 -- 3002.37/751.65 c N dy 11021 1611800 1918 6577 276668 103239 666674 8701587 134.67 16.26 -- 3034.34/759.64 c N dy 11153 1631856 1918 6577 276668 69804 666674 4126967 122.99 16.28 -- 3075.09/769.86 c N dy 11285 1651951 1918 6577 276669 89119 666674 6320253 75.92 16.29 -- 3132.22/784.12 c N dy 11416 1672087 1918 6577 276669 54744 666674 2214705 151.16 16.35 -- 3162.99/791.89 c N dy 11548 1692127 1918 6577 276674 73794 666674 4772399 158.71 16.41 -- 3205.35/802.41 c S st 11668 1710311 1918 6577 276674 91345 666674 6505104 121.44 16.39 -- 3206.95/802.82 c S st 11668 1710813 1918 6577 276674 91846 666674 6542040 121.44 16.39 -- 3206.95/802.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 3206.95/802.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3232.53/809.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 994 BRemN: 785 CBin: 0 P: 60.1M T: 25.46 3232.53/809.24 c Calc non-exist non-lernt bins v-fix: 0 done: 1918 time: 0.14 s 3232.53/809.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3233.31/809.43 c Subs w/ non-existent bins: 0 time: 0.76 s 3234.11/809.61 c bin-w-bin subsume rem 2 bins time: 0.18 s 3239.31/810.95 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 5.35 s 3239.31/810.96 c Removed useless bin: 0 fixed: 0 bprops: 0.30M time: 0.05 s 3487.45/873.04 c ORs : 132 avg-s: 2.0 cl-sh: 628 l-rem: 628 b-add: 1 v-rep: 0 cl-rem: 10 avg s: 3.0 T: 1.13 3509.83/878.61 c Added 20 vars tried: 80000 time: 22.25 3511.41/879.08 c ORs : 20 avg-s: 0.0 cl-sh: 42387 l-rem: 42387 b-add: 43 v-rep: 1 cl-rem: 24 avg s: 3.0 T: 24.13 3511.81/879.15 c lits-rem: 2154 cl-subs: 9104 v-elim: 2095 v-fix: 0 time: 272.41 s 3511.81/879.15 c learnt bin added due to v-elim: 0 3511.81/879.15 c vivif2 -- cl tried 7167 cl shrink 261 lits rem 261 time: 0.02 3512.61/879.32 c vivif2 -- cl tried 82727 cl shrink 889 lits rem 7123 time: 0.66 3513.82/879.65 c asymm cl-useful: 0/61/6906 lits-rem:0 time: 1.31 3513.82/879.66 c calculated reachability. Time: 0.01 3513.82/879.66 c N dy 11668 1710813 1936 6906 274565 82727 664397 5466945 121.44 16.39 -- 3566.56/892.86 c N dy 11800 1730957 1936 6906 274565 102056 664397 7558654 90.05 16.40 -- 3606.90/902.95 c N dy 11932 1751068 1936 6906 274566 66951 664397 3040143 65.60 16.42 -- 3640.86/911.44 c N dy 12062 1771232 1936 6906 274566 86237 664397 5216268 132.60 16.46 -- 3683.21/922.09 c N dy 12194 1791374 1936 6906 276615 105748 664401 7976300 115.45 16.52 -- 3723.17/932.06 c N dy 12325 1811391 1937 6906 277149 69369 664407 3277889 109.98 16.54 -- 3728.77/933.46 c Finding binary XORs T: 0.03 s found: 1 3756.33/940.38 c N dy 12456 1831450 1937 6906 277149 88683 664407 5825225 156.30 16.55 -- 3807.48/953.15 c N dy 12584 1851491 1937 6906 277154 107969 664407 8409657 141.82 16.61 -- 3848.63/963.43 c N dy 12715 1871504 1937 6906 277224 70419 664407 4004840 109.94 16.65 -- 3897.77/975.73 c N dy 12846 1891624 1937 6906 277224 89786 664407 6874247 169.00 16.66 -- 3956.11/990.31 c N dy 12976 1911633 1938 6906 277311 109150 664411 9477962 133.63 16.69 -- 4000.06/1001.37 c N dy 13108 1931780 1938 6906 277311 70817 664411 3890258 133.06 16.75 -- 4039.22/1011.10 c N dy 13242 1951933 1938 6906 277311 90210 664411 5682821 125.37 16.76 -- 4091.15/1024.14 c N dy 13373 1971981 1938 6906 277311 109458 664411 7834792 128.97 16.77 -- 4125.52/1032.72 c N dy 13504 1992035 1940 6906 277506 70235 664417 3189545 56.17 16.75 -- 4160.68/1041.54 c N dy 13636 2012130 1940 6906 277506 89616 664417 4965101 79.24 16.76 -- 4203.84/1052.39 c N dy 13765 2032134 1940 6906 277506 109011 664417 7741687 131.65 16.76 -- 4251.78/1064.30 c N dy 13896 2052240 1940 6906 277535 68566 664417 3064840 119.84 16.78 -- 4281.35/1071.79 c N dy 14027 2072267 1940 6906 277535 87883 664417 5389223 128.58 16.80 -- 4334.09/1084.94 c N dy 14158 2092328 1940 6906 277535 107214 664417 7504795 58.35 16.81 -- 4390.83/1099.19 c N dy 14289 2112456 1940 6906 277559 65806 664417 2957271 152.17 16.85 -- 4426.79/1108.18 c N dy 14419 2132479 1940 6906 277559 85136 664417 5336820 110.28 16.89 -- 4481.52/1121.89 c N dy 14549 2152549 1940 6906 277559 104543 664417 7622852 141.79 16.90 -- 4543.45/1137.38 c N dy 14680 2172632 1940 6906 277559 62143 664417 2385547 135.07 16.95 -- 4573.03/1144.78 c N dy 14811 2192725 1940 6906 277559 81449 664417 4523743 142.37 16.96 -- 4613.38/1154.88 c S st 14928 2210814 1940 6906 277559 98700 664417 6236006 133.45 16.98 -- 4614.58/1155.16 c S st 14928 2211317 1940 6906 277559 99196 664417 6278662 133.45 16.98 -- 4614.58/1155.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4614.58/1155.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4638.97/1161.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 692 BRemN: 279 CBin: 0 P: 60.1M T: 24.12 4638.97/1161.25 c Calc non-exist non-lernt bins v-fix: 0 done: 1940 time: 0.14 s 4638.97/1161.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4639.75/1161.47 c Subs w/ non-existent bins: 0 time: 0.87 s 4640.15/1161.56 c Replacing 2 vars Replaced 5487 lits Time: 0.37 s 4640.95/1161.73 c bin-w-bin subsume rem 236 bins time: 0.18 s 4648.54/1163.63 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 7.62 s 4648.54/1163.65 c Removed useless bin: 1 fixed: 0 bprops: 0.30M time: 0.05 s
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-3251679-1304184078/watcher-3251679-1304184078 -o /tmp/evaluation-result-3251679-1304184078/solver-3251679-1304184078 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251679-1304184078.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: 3.78 5.42 6.87 1/172 2606 /proc/meminfo: memFree=30705664/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=50024 CPUtime=0 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 817 0 0 0 0 0 0 0 22 0 1 0 530008790 51224576 752 33554432000 4194304 4797429 140737163175136 18446744073709551615 270612807435 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/2606/statm: 12506 752 347 148 0 7435 0 [startup+0.031567 s] /proc/loadavg: 3.78 5.42 6.87 1/172 2606 /proc/meminfo: memFree=30705664/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=54388 CPUtime=0.02 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 1854 0 0 0 2 0 0 0 22 0 1 0 530008790 55693312 1789 33554432000 4194304 4797429 140737163175136 18446744073709551615 270612771525 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/2606/statm: 13597 1789 348 148 0 8526 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 54388 [startup+0.100589 s] /proc/loadavg: 3.78 5.42 6.87 1/172 2606 /proc/meminfo: memFree=30705664/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=62836 CPUtime=0.09 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 3971 0 0 0 8 1 0 0 22 0 1 0 530008790 64344064 3906 33554432000 4194304 4797429 140737163175136 18446744073709551615 270612771525 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/2606/statm: 15709 3906 348 148 0 10638 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 62836 [startup+0.399004 s] /proc/loadavg: 3.78 5.42 6.87 1/172 2606 /proc/meminfo: memFree=30705664/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=696936 CPUtime=1.07 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) D 2604 2606 2123 0 -1 4202496 11098 0 0 0 101 6 0 0 18 0 4 0 530008790 713662464 11001 33554432000 4194304 4797429 140737163175136 18446744073709551615 270612771873 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 174383 11992 399 148 0 169312 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 696936 [startup+1.21232 s] /proc/loadavg: 3.78 5.42 6.87 1/172 2606 /proc/meminfo: memFree=30705664/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=698876 CPUtime=4.2 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 15452 0 0 0 411 9 0 0 19 0 4 0 530008790 715649024 15341 33554432000 4194304 4797429 140737163175136 18446744073709551615 4389840 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 174719 15341 411 148 0 169648 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 698876 [startup+1.50029 s] /proc/loadavg: 3.78 5.42 6.87 1/172 2606 /proc/meminfo: memFree=30705664/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=699284 CPUtime=5.34 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 16282 0 0 0 525 9 0 0 19 0 4 0 530008790 716066816 16166 33554432000 4194304 4797429 140737163175136 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 174821 16166 411 148 0 169750 0 Current children cumulated CPU time (s) 5.34 Current children cumulated vsize (KiB) 699284 [startup+3.10099 s] /proc/loadavg: 3.78 5.42 6.87 5/175 2611 /proc/meminfo: memFree=30636916/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=710884 CPUtime=11.73 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 22122 0 0 0 1161 12 0 0 24 0 4 0 530008790 727945216 17892 33554432000 4194304 4797429 140737163175136 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 177721 17892 415 148 0 172650 0 [pid=2606/tid=2608] ppid=2604 vsize=710884 CPUtime=2.87 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 3863 0 0 0 284 3 0 0 24 0 4 0 530008810 727945216 17892 33554432000 4194304 4797429 140737163175136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=710884 CPUtime=2.89 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 3944 0 0 0 289 0 0 0 23 0 4 0 530008810 727945216 17892 33554432000 4194304 4797429 140737163175136 18446744073709551615 4423583 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=710884 CPUtime=2.88 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 3601 0 0 0 287 1 0 0 24 0 4 0 530008810 727945216 17892 33554432000 4194304 4797429 140737163175136 18446744073709551615 270612771525 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 11.73 Current children cumulated vsize (KiB) 710884 [startup+6.30642 s] /proc/loadavg: 3.80 5.40 6.86 5/175 2611 /proc/meminfo: memFree=30621424/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=717928 CPUtime=24.54 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 28767 0 0 0 2438 16 0 0 25 0 4 0 530008790 735158272 21504 33554432000 4194304 4797429 140737163175136 18446744073709551615 4415643 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 179482 21506 415 148 0 174411 0 [pid=2606/tid=2608] ppid=2604 vsize=717928 CPUtime=6.09 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 5120 0 0 0 603 6 0 0 25 0 4 0 530008810 735158272 21509 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=717928 CPUtime=6.1 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 4572 0 0 0 609 1 0 0 25 0 4 0 530008810 735158272 21510 33554432000 4194304 4797429 140737163175136 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=717928 CPUtime=6.08 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 4919 0 0 0 607 1 0 0 25 0 4 0 530008810 735158272 21511 33554432000 4194304 4797429 140737163175136 18446744073709551615 4506576 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 24.54 Current children cumulated vsize (KiB) 717928 [startup+12.7003 s] /proc/loadavg: 3.82 5.37 6.84 5/175 2611 /proc/meminfo: memFree=30610532/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=718776 CPUtime=50.1 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 35475 0 0 0 4990 20 0 0 25 0 4 0 530008790 736026624 23888 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 179694 23888 416 148 0 174623 0 [pid=2606/tid=2608] ppid=2604 vsize=718776 CPUtime=12.48 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 6094 0 0 0 1242 6 0 0 25 0 4 0 530008810 736026624 23888 33554432000 4194304 4797429 140737163175136 18446744073709551615 4358603 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=718776 CPUtime=12.49 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 6205 0 0 0 1248 1 0 0 25 0 4 0 530008810 736026624 23888 33554432000 4194304 4797429 140737163175136 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=718776 CPUtime=12.47 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 5825 0 0 0 1246 1 0 0 25 0 4 0 530008810 736026624 23888 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.1 Current children cumulated vsize (KiB) 718776 [startup+25.501 s] /proc/loadavg: 3.86 5.31 6.80 5/175 2611 /proc/meminfo: memFree=30601144/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=719452 CPUtime=101.24 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 41470 0 0 0 10101 23 0 0 25 0 4 0 530008790 736718848 26645 33554432000 4194304 4797429 140737163175136 18446744073709551615 4568160 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 179863 26645 418 148 0 174792 0 [pid=2606/tid=2608] ppid=2604 vsize=719452 CPUtime=25.27 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 6598 0 0 0 2521 6 0 0 25 0 4 0 530008810 736718848 26645 33554432000 4194304 4797429 140737163175136 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=719452 CPUtime=25.29 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 7142 0 0 0 2528 1 0 0 25 0 4 0 530008810 736718848 26645 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=719452 CPUtime=25.26 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 6219 0 0 0 2525 1 0 0 25 0 4 0 530008810 736718848 26645 33554432000 4194304 4797429 140737163175136 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 101.24 Current children cumulated vsize (KiB) 719452 [startup+51.1005 s] /proc/loadavg: 3.90 5.20 6.72 5/175 2612 /proc/meminfo: memFree=30582292/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=724144 CPUtime=203.51 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 53844 0 0 0 20323 28 0 0 25 0 4 0 530008790 741523456 31124 33554432000 4194304 4797429 140737163175136 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 181036 31124 419 148 0 175965 0 [pid=2606/tid=2608] ppid=2604 vsize=724144 CPUtime=50.88 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 8163 0 0 0 5081 7 0 0 25 0 4 0 530008810 741523456 31124 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=724144 CPUtime=50.89 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 8553 0 0 0 5087 2 0 0 25 0 4 0 530008810 741523456 31124 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=724144 CPUtime=50.87 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 7928 0 0 0 5085 2 0 0 25 0 4 0 530008810 741523456 31124 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 203.51 Current children cumulated vsize (KiB) 724144 [startup+102.3 s] /proc/loadavg: 4.02 5.03 6.58 5/175 2613 /proc/meminfo: memFree=30565332/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=730996 CPUtime=408.08 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 78113 0 0 0 40772 36 0 0 25 0 4 0 530008790 748539904 35516 33554432000 4194304 4797429 140737163175136 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 182749 35516 421 148 0 177678 0 [pid=2606/tid=2608] ppid=2604 vsize=730996 CPUtime=102.07 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 9420 0 0 0 10199 8 0 0 25 0 4 0 530008810 748539904 35516 33554432000 4194304 4797429 140737163175136 18446744073709551615 4423098 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=730996 CPUtime=102.08 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 10570 0 0 0 10206 2 0 0 25 0 4 0 530008810 748539904 35516 33554432000 4194304 4797429 140737163175136 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=730996 CPUtime=102.07 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 10295 0 0 0 10205 2 0 0 25 0 4 0 530008810 748539904 35516 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 408.08 Current children cumulated vsize (KiB) 730996 [startup+162.301 s] /proc/loadavg: 4.00 4.84 6.42 5/175 2615 /proc/meminfo: memFree=30546232/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=736388 CPUtime=647.81 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 110349 0 0 0 64735 46 0 0 25 0 4 0 530008790 754061312 37388 33554432000 4194304 4797429 140737163175136 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 184097 37388 421 148 0 179026 0 [pid=2606/tid=2608] ppid=2604 vsize=736388 CPUtime=162.08 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 12472 0 0 0 16199 9 0 0 25 0 4 0 530008810 754061312 37388 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=736388 CPUtime=162.09 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 12432 0 0 0 16206 3 0 0 25 0 4 0 530008810 754061312 37388 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=736388 CPUtime=162.07 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 12521 0 0 0 16204 3 0 0 25 0 4 0 530008810 754061312 37388 33554432000 4194304 4797429 140737163175136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 647.81 Current children cumulated vsize (KiB) 736388 [startup+222.3 s] /proc/loadavg: 4.05 4.70 6.27 5/175 2616 /proc/meminfo: memFree=30545536/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=738680 CPUtime=887.54 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 136121 0 0 0 88700 54 0 0 25 0 4 0 530008790 756408320 40615 33554432000 4194304 4797429 140737163175136 18446744073709551615 4351613 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 184670 40615 421 148 0 179599 0 [pid=2606/tid=2608] ppid=2604 vsize=738680 CPUtime=222.08 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 14899 0 0 0 22198 10 0 0 25 0 4 0 530008810 756408320 40615 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=738680 CPUtime=222.09 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 14535 0 0 0 22205 4 0 0 25 0 4 0 530008810 756408320 40615 33554432000 4194304 4797429 140737163175136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=738680 CPUtime=222.07 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 14604 0 0 0 22204 3 0 0 25 0 4 0 530008810 756408320 40615 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 887.54 Current children cumulated vsize (KiB) 738680 [startup+282.301 s] /proc/loadavg: 4.07 4.58 6.13 5/175 2618 /proc/meminfo: memFree=30543300/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=742096 CPUtime=1127.28 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 163284 0 0 0 112666 62 0 0 25 0 4 0 530008790 759906304 40900 33554432000 4194304 4797429 140737163175136 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 185524 40900 421 148 0 180453 0 [pid=2606/tid=2608] ppid=2604 vsize=742096 CPUtime=282.09 cores=0,2,4,6 ################ # More data... # ################ [pid=2606] ppid=2604 vsize=758400 CPUtime=2565.66 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 308297 0 0 0 256454 112 0 0 25 0 4 0 530008790 776601600 55961 33554432000 4194304 4797429 140737163175136 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 189600 55961 421 148 0 184529 0 [pid=2606/tid=2608] ppid=2604 vsize=758400 CPUtime=642.09 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 27827 0 0 0 64195 14 0 0 25 0 4 0 530008810 776601600 55961 33554432000 4194304 4797429 140737163175136 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=758400 CPUtime=642.08 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 27403 0 0 0 64200 8 0 0 25 0 4 0 530008810 776601600 55961 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=758400 CPUtime=642.08 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 27350 0 0 0 64201 7 0 0 25 0 4 0 530008810 776601600 55961 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2565.66 Current children cumulated vsize (KiB) 758400 [startup+702.3 s] /proc/loadavg: 4.09 4.17 5.35 5/175 2629 /proc/meminfo: memFree=30486688/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=760768 CPUtime=2805.39 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 333452 0 0 0 280418 121 0 0 25 0 4 0 530008790 779026432 55238 33554432000 4194304 4797429 140737163175136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 190192 55238 421 148 0 185121 0 [pid=2606/tid=2608] ppid=2604 vsize=760768 CPUtime=702.09 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 30109 0 0 0 70194 15 0 0 25 0 4 0 530008810 779026432 55238 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=760768 CPUtime=702.09 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 28498 0 0 0 70200 9 0 0 25 0 4 0 530008810 779026432 55238 33554432000 4194304 4797429 140737163175136 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=760768 CPUtime=702.08 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 29413 0 0 0 70200 8 0 0 25 0 4 0 530008810 779026432 55238 33554432000 4194304 4797429 140737163175136 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2805.39 Current children cumulated vsize (KiB) 760768 [startup+762.301 s] /proc/loadavg: 4.11 4.15 5.27 5/175 2631 /proc/meminfo: memFree=30471324/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=761292 CPUtime=3045.13 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 356655 0 0 0 304382 131 0 0 25 0 4 0 530008790 779563008 58835 33554432000 4194304 4797429 140737163175136 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 190323 58835 421 148 0 185252 0 [pid=2606/tid=2608] ppid=2604 vsize=761292 CPUtime=762.1 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 31152 0 0 0 76194 16 0 0 25 0 4 0 530008810 779563008 58835 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=761292 CPUtime=762.09 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 30753 0 0 0 76199 10 0 0 25 0 4 0 530008810 779563008 58835 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=761292 CPUtime=762.08 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 30487 0 0 0 76200 8 0 0 25 0 4 0 530008810 779563008 58835 33554432000 4194304 4797429 140737163175136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3045.13 Current children cumulated vsize (KiB) 761292 [startup+822.301 s] /proc/loadavg: 4.10 4.14 5.19 5/175 2632 /proc/meminfo: memFree=30450884/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=828104 CPUtime=3284.86 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 378644 0 0 0 328346 140 0 0 25 0 4 0 530008790 847978496 64074 33554432000 4194304 4797429 140737163175136 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 207026 64074 421 148 0 201955 0 [pid=2606/tid=2608] ppid=2604 vsize=828104 CPUtime=822.1 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 33306 0 0 0 82193 17 0 0 25 0 4 0 530008810 847978496 64074 33554432000 4194304 4797429 140737163175136 18446744073709551615 4430000 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=828104 CPUtime=822.1 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 32619 0 0 0 82199 11 0 0 25 0 4 0 530008810 847978496 64074 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=828104 CPUtime=822.08 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 32420 0 0 0 82199 9 0 0 25 0 4 0 530008810 847978496 64074 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3284.86 Current children cumulated vsize (KiB) 828104 [startup+882.3 s] /proc/loadavg: 4.10 4.12 5.12 5/175 2634 /proc/meminfo: memFree=30448216/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=828388 CPUtime=3524.59 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 384226 0 0 0 352316 143 0 0 25 0 4 0 530008790 848269312 64580 33554432000 4194304 4797429 140737163175136 18446744073709551615 4387833 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 207097 64580 421 148 0 202026 0 [pid=2606/tid=2608] ppid=2604 vsize=828388 CPUtime=882.1 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 35280 0 0 0 88192 18 0 0 25 0 4 0 530008810 848269312 64580 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=828388 CPUtime=882.09 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 33722 0 0 0 88198 11 0 0 25 0 4 0 530008810 848269312 64580 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=828388 CPUtime=882.08 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 34086 0 0 0 88198 10 0 0 25 0 4 0 530008810 848269312 64580 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3524.59 Current children cumulated vsize (KiB) 828388 [startup+942.301 s] /proc/loadavg: 4.03 4.10 5.05 5/175 2636 /proc/meminfo: memFree=30443052/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=831016 CPUtime=3764.33 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 406646 0 0 0 376282 151 0 0 25 0 4 0 530008790 850960384 65761 33554432000 4194304 4797429 140737163175136 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 207754 65761 421 148 0 202683 0 [pid=2606/tid=2608] ppid=2604 vsize=831016 CPUtime=942.1 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 36434 0 0 0 94192 18 0 0 25 0 4 0 530008810 850960384 65761 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=831016 CPUtime=942.1 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 35731 0 0 0 94198 12 0 0 25 0 4 0 530008810 850960384 65761 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=831016 CPUtime=942.09 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 35165 0 0 0 94198 11 0 0 25 0 4 0 530008810 850960384 65761 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3764.33 Current children cumulated vsize (KiB) 831016 [startup+1002.3 s] /proc/loadavg: 4.01 4.08 4.98 5/175 2637 /proc/meminfo: memFree=30451512/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=835832 CPUtime=4004.05 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 430338 0 0 0 400244 161 0 0 25 0 4 0 530008790 855891968 63702 33554432000 4194304 4797429 140737163175136 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 208958 63702 421 148 0 203887 0 [pid=2606/tid=2608] ppid=2604 vsize=835832 CPUtime=1002.1 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 38238 0 0 0 100191 19 0 0 25 0 4 0 530008810 855891968 63702 33554432000 4194304 4797429 140737163175136 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=835832 CPUtime=1002.1 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 36740 0 0 0 100198 12 0 0 25 0 4 0 530008810 855891968 63702 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=835832 CPUtime=1002.09 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 37636 0 0 0 100197 12 0 0 25 0 4 0 530008810 855891968 63702 33554432000 4194304 4797429 140737163175136 18446744073709551615 4226042 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4004.05 Current children cumulated vsize (KiB) 835832 [startup+1062.31 s] /proc/loadavg: 4.00 4.06 4.91 5/175 2639 /proc/meminfo: memFree=30450780/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=836296 CPUtime=4243.81 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 451618 0 0 0 424211 170 0 0 25 0 4 0 530008790 856367104 63682 33554432000 4194304 4797429 140737163175136 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 209074 63682 421 148 0 204003 0 [pid=2606/tid=2608] ppid=2604 vsize=836296 CPUtime=1062.1 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 39512 0 0 0 106191 19 0 0 25 0 4 0 530008810 856367104 63682 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=836296 CPUtime=1062.11 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 38617 0 0 0 106198 13 0 0 25 0 4 0 530008810 856367104 63682 33554432000 4194304 4797429 140737163175136 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=836296 CPUtime=1062.09 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 38656 0 0 0 106197 12 0 0 25 0 4 0 530008810 856367104 63682 33554432000 4194304 4797429 140737163175136 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4243.81 Current children cumulated vsize (KiB) 836296 [startup+1122.3 s] /proc/loadavg: 4.05 4.06 4.86 5/175 2640 /proc/meminfo: memFree=30426412/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=836616 CPUtime=4483.52 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 470531 0 0 0 448174 178 0 0 25 0 4 0 530008790 856694784 70265 33554432000 4194304 4797429 140737163175136 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 209154 70265 421 148 0 204083 0 [pid=2606/tid=2608] ppid=2604 vsize=836616 CPUtime=1122.1 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 40292 0 0 0 112190 20 0 0 25 0 4 0 530008810 856694784 70265 33554432000 4194304 4797429 140737163175136 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=836616 CPUtime=1122.1 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 39757 0 0 0 112196 14 0 0 25 0 4 0 530008810 856694784 70265 33554432000 4194304 4797429 140737163175136 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=836616 CPUtime=1122.09 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 40402 0 0 0 112196 13 0 0 25 0 4 0 530008810 856694784 70265 33554432000 4194304 4797429 140737163175136 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4483.52 Current children cumulated vsize (KiB) 836616 [startup+1182.3 s] /proc/loadavg: 4.02 4.05 4.80 5/175 2642 /proc/meminfo: memFree=30419384/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=840688 CPUtime=4723.25 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 485336 0 0 0 472142 183 0 0 25 0 4 0 530008790 860864512 71714 33554432000 4194304 4797429 140737163175136 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 210172 71714 421 148 0 205101 0 [pid=2606/tid=2608] ppid=2604 vsize=840688 CPUtime=1182.1 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 42861 0 0 0 118189 21 0 0 25 0 4 0 530008810 860864512 71714 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=840688 CPUtime=1182.11 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 40711 0 0 0 118196 15 0 0 25 0 4 0 530008810 860864512 71714 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=840688 CPUtime=1182.09 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 42004 0 0 0 118195 14 0 0 25 0 4 0 530008810 860864512 71714 33554432000 4194304 4797429 140737163175136 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4723.25 Current children cumulated vsize (KiB) 840688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.6 s] /proc/loadavg: 4.01 4.05 4.79 5/175 2642 /proc/meminfo: memFree=30423956/32951124 swapFree=67111524/67111528 [pid=2606] ppid=2604 vsize=840864 CPUtime=4800.38 cores=0,2,4,6 /proc/2606/stat : 2606 (techdemo) R 2604 2606 2123 0 -1 4202496 487041 0 0 0 479854 184 0 0 25 0 4 0 530008790 861044736 70535 33554432000 4194304 4797429 140737163175136 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/2606/statm: 210216 70535 421 148 0 205145 0 [pid=2606/tid=2608] ppid=2604 vsize=840864 CPUtime=1201.41 cores=0,2,4,6 /proc/2606/task/2608/stat : 2608 (techdemo) R 2604 2606 2123 0 -1 4202560 43153 0 0 0 120120 21 0 0 25 0 4 0 530008810 861044736 70535 33554432000 4194304 4797429 140737163175136 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2606/tid=2609] ppid=2604 vsize=840864 CPUtime=1201.41 cores=0,2,4,6 /proc/2606/task/2609/stat : 2609 (techdemo) R 2604 2606 2123 0 -1 4202560 41825 0 0 0 120126 15 0 0 25 0 4 0 530008810 861044736 70535 33554432000 4194304 4797429 140737163175136 18446744073709551615 4427217 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2606/tid=2610] ppid=2604 vsize=840864 CPUtime=1201.4 cores=0,2,4,6 /proc/2606/task/2610/stat : 2610 (techdemo) R 2604 2606 2123 0 -1 4202560 42303 0 0 0 120126 14 0 0 25 0 4 0 530008810 861044736 70535 33554432000 4194304 4797429 140737163175136 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.38 Current children cumulated vsize (KiB) 840864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.63 CPU time (s): 4800.43 CPU user time (s): 4798.58 CPU system time (s): 1.85572 CPU usage (%): 399.494 Max. virtual memory (cumulated for all children) (KiB): 945736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.58 system time used= 1.85572 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 487041 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= 848 involuntary context switches= 31867 runsolver used 1.76073 second user time and 3.71543 second system time The end
Begin job on node108 at 2011-04-30 19:21:18 IDJOB=3251679 IDBENCH=88229 IDSOLVER=1584 FILE ID=node108/3251679-1304184078 RUNJOBID= node108-1304184078-2596 PBS_JOBID= 13172452 Free space on /tmp= 72632 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p30-s19690873.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251679-1304184078/watcher-3251679-1304184078 -o /tmp/evaluation-result-3251679-1304184078/solver-3251679-1304184078 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251679-1304184078.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e096925b96a6999132833f44e4f216d7 RANDOM SEED=376397086 node108.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.820 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.64 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.820 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.820 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.820 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.77 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.820 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.820 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30706076 kB Buffers: 614844 kB Cached: 1168840 kB SwapCached: 4 kB Active: 152144 kB Inactive: 1694396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30706076 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 11020 kB Writeback: 0 kB AnonPages: 63088 kB Mapped: 14336 kB Slab: 334724 kB PageTables: 4568 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 186032 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= 72624 MiB End job on node108 at 2011-04-30 19:41:22