| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.41 | 1203.16 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf |
| MD5SUM | 7c175136a39da4bf967495732df3f101 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 22.0606 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 42000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368496-1305394616.cnf' 0.00/0.01 c -- header says num vars: 10000 0.00/0.01 c -- header says num clauses: 42000 0.00/0.03 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.00/0.03 c -- vars added 10000 0.22/0.06 c Parsing time: 0.09 s 0.22/0.06 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.22/0.06 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.22/0.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.22/0.13 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.22/0.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.22/0.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.22/0.13 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 3.56/0.90 c lits-rem: 0 cl-subs: 0 v-elim: 350 v-fix: 0 time: 0.33 s 3.56/0.90 c Finding binary XORs T: 0.01 s found: 0 3.56/0.90 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 3.56/0.90 c calculated reachability. Time: 0.00 3.56/0.90 c Calc default polars - time: 0.01 s pos: 4435 undec: 1187 neg: 4378 3.56/0.90 c ========================================================================================= 3.56/0.90 c types(t): F = full restart, N = normal restart 3.56/0.90 c types(t): S = simplification begin/end, E = solution found 3.56/0.90 c restart types(rt): st = static, dy = dynamic 3.56/0.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.56/0.90 c B st 0 0 9650 41501 0 0 126409 0 no data no data -- 3.56/0.90 c N dy 19 4118 9650 41501 0 4116 126409 668143 93.82 99.37 -- 5.96/1.50 c N dy 44 8252 9650 41501 0 4753 126409 342907 91.65 96.73 -- 7.96/2.05 c N dy 72 12501 9650 41501 0 9002 126409 981890 93.07 98.73 -- 10.35/2.67 c N dy 98 16513 9650 41501 0 7266 126409 431130 93.26 127.80 -- 12.76/3.29 c N dy 125 20607 9650 41501 0 11360 126409 1011624 92.56 98.76 -- 15.53/3.98 c N dy 149 24935 9650 41501 0 8313 126409 352176 92.25 97.76 -- 15.53/3.99 c F st 150 25001 9650 41501 0 8379 126409 359225 92.17 no data -- 19.13/4.83 c N dy 156 30004 9650 41501 0 13381 126409 1283950 92.17 no data -- 19.13/4.83 c S st 156 30004 9650 41501 0 13381 126409 1283950 92.17 no data -- 19.52/4.91 c S st 156 30506 9650 41501 0 13883 126409 1336454 92.17 no data -- 19.52/4.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.52/4.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.52/4.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 19.92/5.04 c bin-w-bin subsume rem 0 bins time: 0.01 s 19.92/5.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 19.92/5.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 19.92/5.05 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 26.70/6.73 c lits-rem: 17 cl-subs: 2 v-elim: 0 v-fix: 0 time: 6.67 s 26.70/6.78 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.20 26.70/6.78 c calculated reachability. Time: 0.00 26.70/6.78 c N dy 156 30506 9650 41501 0 13881 126409 1336237 92.17 no data -- 29.50/7.50 c N dy 180 34572 9650 41501 0 9258 126409 307709 92.07 97.19 -- 32.29/8.17 c N dy 211 38603 9650 41501 0 13289 126409 909613 92.63 103.57 -- 35.12/8.89 c N dy 239 42672 9650 41501 0 17357 126409 1529816 93.09 106.05 -- 37.48/9.48 c S st 261 45759 9650 41501 0 10602 126409 339602 93.32 no data -- 37.88/9.57 c S st 261 46266 9650 41501 0 11109 126409 399925 93.32 no data -- 37.88/9.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 37.88/9.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.28/9.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 38.28/9.63 c bin-w-bin subsume rem 0 bins time: 0.01 s 38.28/9.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 38.28/9.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 38.28/9.64 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 44.65/11.26 c lits-rem: 3 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.45 s 44.65/11.27 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 44.65/11.27 c vivif2 -- cl tried 11109 cl shrink 0 lits rem 0 time: 0.02 45.05/11.31 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.16 45.05/11.32 c calculated reachability. Time: 0.00 45.05/11.32 c N dy 261 46266 9650 41501 0 11109 126409 399922 93.32 no data -- 47.45/11.98 c N dy 286 50295 9650 41501 0 15138 126409 1014375 93.35 101.20 -- 50.24/12.68 c N dy 311 54388 9650 41501 0 19230 126409 1614364 93.22 108.52 -- 53.43/13.40 c N dy 331 58478 9650 41501 0 12399 126409 456491 93.02 99.34 -- 55.83/14.06 c N dy 358 62488 9650 41501 0 16408 126409 1062550 93.19 98.57 -- 58.62/14.75 c N dy 382 66565 9650 41501 0 20485 126409 1666400 93.32 98.29 -- 60.63/15.27 c S st 402 69399 9650 41501 0 23319 126409 2094894 93.47 no data -- 61.04/15.36 c S st 402 69901 9650 41501 0 23821 126409 2150171 93.47 no data -- 61.04/15.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 61.04/15.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.04/15.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 61.81/15.53 c bin-w-bin subsume rem 0 bins time: 0.01 s 61.81/15.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 61.81/15.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 61.81/15.53 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 78.18/19.62 c lits-rem: 14 cl-subs: 4 v-elim: 0 v-fix: 0 time: 16.27 s 78.18/19.63 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 78.18/19.65 c vivif2 -- cl tried 23817 cl shrink 0 lits rem 0 time: 0.10 78.60/19.72 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.24 78.60/19.72 c calculated reachability. Time: 0.00 78.60/19.72 c N dy 402 69901 9650 41501 0 23817 126409 2148103 93.47 no data -- 81.76/20.51 c N dy 433 74408 9650 41501 0 16364 126409 879086 93.57 101.77 -- 84.96/21.38 c N dy 463 79173 9650 41501 0 21128 126409 1595651 93.71 125.45 -- 88.95/22.36 c N dy 500 84315 9650 41501 0 13292 126409 280200 93.99 136.16 -- 91.34/22.90 c F st 522 87500 9650 41501 0 16477 126409 773707 94.14 86.01 -- 93.73/23.51 c N st 527 90800 9650 41501 0 19777 126409 1363795 94.14 no data -- 98.12/24.62 c N dy 551 96595 9650 41501 0 25572 126409 2350693 94.08 102.24 -- 102.51/25.75 c N dy 592 102779 9650 41501 0 17767 126409 812528 94.15 102.77 -- 104.11/26.11 c S st 607 104851 9650 41501 0 19839 126409 1114826 94.16 no data -- 104.11/26.19 c S st 607 105353 9650 41501 0 20341 126409 1165936 94.16 no data -- 104.51/26.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.51/26.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.51/26.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 104.51/26.29 c bin-w-bin subsume rem 0 bins time: 0.01 s 104.51/26.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 104.51/26.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 104.51/26.30 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 113.71/28.56 c lits-rem: 26 cl-subs: 2 v-elim: 0 v-fix: 0 time: 9.00 s 113.71/28.57 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 113.71/28.58 c vivif2 -- cl tried 20339 cl shrink 0 lits rem 0 time: 0.06 114.12/28.64 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.22 114.12/28.64 c calculated reachability. Time: 0.00 114.12/28.64 c N dy 607 105353 9650 41501 0 20339 126409 1165826 94.16 no data -- 119.26/29.90 c N dy 650 112143 9650 41501 0 27128 126409 2205685 94.24 107.73 -- 124.46/31.28 c N dy 693 119487 9650 41501 0 19482 126409 924368 94.29 101.00 -- 130.44/32.75 c N dy 741 127299 9650 41501 0 27293 126409 2102354 94.26 100.32 -- 136.42/34.29 c N dy 796 135588 9650 41501 0 19588 126409 796568 94.28 103.76 -- 142.81/35.89 c N dy 848 144368 9650 41501 0 28368 126409 2108754 94.18 104.17 -- 149.98/37.66 c N dy 908 153608 9650 41501 0 20606 126409 778988 94.21 104.44 -- 153.20/38.46 c S st 941 158029 9650 41501 0 25027 126409 1444527 94.26 93.32 -- 153.62/38.56 c S st 941 158532 9650 41501 0 25530 126409 1500198 94.26 no data -- 153.62/38.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 153.62/38.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 153.98/38.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 153.98/38.68 c bin-w-bin subsume rem 0 bins time: 0.01 s 153.98/38.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 153.98/38.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 153.98/38.68 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 165.95/41.63 c lits-rem: 5 cl-subs: 3 v-elim: 0 v-fix: 0 time: 11.75 s 165.95/41.64 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 165.95/41.66 c vivif2 -- cl tried 25527 cl shrink 0 lits rem 0 time: 0.08 166.37/41.72 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.24 166.37/41.72 c calculated reachability. Time: 0.00 166.37/41.72 c N dy 941 158532 9650 41501 0 25527 126409 1499428 94.26 no data -- 174.33/43.77 c N dy 1005 168763 9650 41501 0 35757 126409 3031781 94.24 100.88 -- 182.31/45.79 c N dy 1083 179592 9650 41501 0 28586 126409 1842676 94.39 103.99 -- 191.88/48.14 c N dy 1160 191391 9650 41501 0 21384 126409 613057 94.48 100.56 -- 201.48/50.51 c N dy 1247 203690 9650 41501 0 33681 126409 2480293 94.59 102.97 -- 211.43/53.08 c N dy 1331 216720 9650 41501 0 26716 126409 1240427 94.59 100.62 -- 223.43/56.04 c N dy 1417 230713 9650 41501 0 40707 126409 3344019 94.52 99.81 -- 228.99/57.40 c S st 1463 237798 9650 41501 0 26792 126409 1121137 94.52 no data -- 229.39/57.50 c S st 1463 238301 9650 41501 0 27295 126409 1181634 94.52 no data -- 229.39/57.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 229.39/57.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 229.39/57.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 229.79/57.60 c bin-w-bin subsume rem 0 bins time: 0.01 s 229.79/57.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 229.79/57.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 229.79/57.61 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 238.96/59.97 c lits-rem: 14 cl-subs: 0 v-elim: 0 v-fix: 0 time: 9.38 s 238.96/59.97 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 238.96/59.98 c vivif2 -- cl tried 27295 cl shrink 0 lits rem 0 time: 0.06 239.36/60.05 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.26 239.36/60.05 c calculated reachability. Time: 0.00 239.36/60.05 c N dy 1463 238301 9650 41501 0 27295 126409 1181620 94.52 no data -- 251.73/63.17 c N dy 1559 253563 9650 41501 0 42557 126409 3490251 94.57 100.78 -- 265.30/66.53 c N dy 1669 269803 9650 41501 0 36796 126409 2513432 94.67 100.19 -- 279.66/70.13 c N dy 1773 287189 9650 41501 0 31184 126409 1507989 94.70 100.57 -- 295.22/74.04 c N dy 1889 305796 9650 41501 0 25794 126409 554058 94.60 100.72 -- 295.62/74.12 c F st 1892 306250 9650 41501 0 26248 126409 621371 94.59 no data -- 311.61/78.14 c N dy 1991 325351 9650 41501 0 45349 126409 3698033 94.65 100.04 -- 328.34/82.33 c N dy 2118 345385 9650 41501 0 40378 126409 2632690 94.72 101.57 -- 339.11/85.08 c S st 2203 357452 9650 41501 0 26446 126409 353427 94.73 no data -- 339.51/85.17 c S st 2203 357954 9650 41501 0 26948 126409 403784 94.73 no data -- 339.51/85.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 339.51/85.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 339.91/85.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 339.91/85.25 c bin-w-bin subsume rem 0 bins time: 0.01 s 339.91/85.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 339.91/85.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 339.91/85.26 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 345.89/86.77 c lits-rem: 16 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.04 s 345.89/86.77 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 345.89/86.78 c vivif2 -- cl tried 26948 cl shrink 0 lits rem 0 time: 0.02 346.31/86.84 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.24 346.31/86.85 c calculated reachability. Time: 0.00 346.31/86.85 c N dy 2203 357954 9650 41501 0 26948 126409 403768 94.73 no data -- 363.45/91.11 c N dy 2337 378021 9650 41501 0 47015 126409 3453045 94.75 100.12 -- 380.61/95.45 c N dy 2465 398075 9650 41501 0 40070 126409 2260787 94.77 100.19 -- 399.40/100.17 c N dy 2581 418153 9650 41501 0 32147 126409 938508 94.76 102.17 -- 416.95/104.57 c N dy 2714 438179 9650 41501 0 52171 126409 3937685 94.81 101.00 -- 434.50/108.98 c N dy 2833 458220 9650 41501 0 43210 126409 2454109 94.81 102.50 -- 453.22/113.62 c N dy 2963 478259 9650 41501 0 33247 126409 788077 94.84 100.76 -- 471.17/118.15 c N dy 3102 498437 9650 41501 0 53423 126409 3858531 94.86 100.90 -- 489.53/122.73 c N dy 3229 518477 9650 41501 0 42462 126409 2063609 94.89 100.20 -- 506.69/127.09 c S st 3346 536931 9650 41501 0 60915 126409 4849830 94.88 no data -- 507.49/127.24 c S st 3346 537433 9650 41501 0 61417 126409 4907266 94.88 no data -- 507.49/127.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 507.49/127.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 507.88/127.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.26 508.70/127.57 c bin-w-bin subsume rem 0 bins time: 0.01 s 508.70/127.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 508.70/127.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 508.70/127.58 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 777.20/194.88 c lits-rem: 0 cl-subs: 3 v-elim: 0 v-fix: 0 time: 268.04 s 777.20/194.88 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 777.61/194.95 c vivif2 -- cl tried 61414 cl shrink 0 lits rem 0 time: 0.25 778.01/195.08 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.55 778.01/195.09 c calculated reachability. Time: 0.00 778.01/195.09 c N dy 3346 537433 9650 41501 0 61414 126409 4906528 94.88 no data -- 797.16/199.82 c N dy 3480 557542 9650 41501 0 49525 126409 3008641 94.94 102.06 -- 817.50/204.95 c N dy 3607 577608 9650 41501 0 36597 126409 867554 94.94 100.16 -- 837.46/209.98 c N dy 3741 597623 9650 41501 0 56610 126409 3941034 95.00 100.53 -- 858.60/215.22 c N dy 3880 617820 9650 41501 0 42810 126409 1674839 95.09 100.14 -- 879.36/220.41 c N dy 4012 638230 9650 41501 0 63219 126409 4813382 95.14 101.19 -- 899.33/225.45 c N dy 4140 658249 9650 41501 0 48244 126409 2379174 95.16 100.77 -- 920.45/230.78 c N dy 4271 678441 9650 41501 0 68436 126409 5476036 95.19 101.57 -- 940.00/235.69 c N dy 4400 698447 9650 41501 0 52438 126409 2835392 95.20 101.12 -- 962.35/241.20 c N dy 4530 718473 9650 41501 0 72463 126409 5916551 95.24 102.34 -- 981.90/246.15 c N dy 4658 738526 9650 41501 0 55520 126409 3187866 95.25 101.34 -- 1004.67/251.90 c N dy 4797 758717 9650 41501 0 75709 126409 6285962 95.31 100.41 -- 1024.59/256.81 c N dy 4918 778828 9650 41501 0 57823 126409 3404055 95.31 100.61 -- 1047.34/262.53 c N dy 5044 798861 9650 41501 0 77856 126409 6430712 95.29 103.88 -- 1054.12/264.27 c S st 5091 806150 9650 41501 0 46145 126409 1461171 95.29 no data -- 1054.51/264.39 c S st 5091 806655 9650 41501 0 46650 126409 1516139 95.29 no data -- 1054.91/264.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1054.91/264.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1054.91/264.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.22 1055.31/264.53 c bin-w-bin subsume rem 0 bins time: 0.01 s 1055.31/264.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1055.31/264.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 1055.31/264.54 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1068.88/267.90 c lits-rem: 1 cl-subs: 1 v-elim: 0 v-fix: 0 time: 13.35 s 1068.88/267.90 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 1068.88/267.92 c vivif2 -- cl tried 46649 cl shrink 0 lits rem 0 time: 0.08 1069.28/268.03 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.42 1069.28/268.03 c calculated reachability. Time: 0.00 1069.28/268.03 c N dy 5091 806655 9650 41501 0 46649 126409 1515637 95.29 no data -- 1090.02/273.21 c N dy 5225 826693 9650 41501 0 66684 126409 4562499 95.34 100.74 -- 1111.57/278.67 c N dy 5358 846795 9650 41501 0 46788 126409 1376038 95.37 102.94 -- 1131.94/283.73 c N dy 5478 866887 9650 41501 0 66878 126409 4467812 95.35 102.02 -- 1153.47/289.19 c N dy 5607 886971 9650 41501 0 45960 126409 1131116 95.34 100.52 -- 1173.42/294.12 c N dy 5736 906975 9650 41501 0 65962 126409 4165687 95.35 101.25 -- 1195.75/299.77 c N dy 5863 926991 9650 41501 0 43990 126409 681923 95.35 103.44 -- 1215.34/304.64 c N dy 5995 947151 9650 41501 0 64148 126409 3765730 95.39 104.25 -- 1238.45/310.43 c N dy 6130 967273 9650 41501 0 84270 126409 6858916 95.42 101.06 -- 1258.01/315.38 c N dy 6255 987349 9650 41501 0 61347 126409 3201723 95.41 100.47 -- 1280.75/321.03 c N dy 6385 1007636 9650 41501 0 81632 126409 6309202 95.42 102.59 -- 1302.69/326.52 c N dy 6514 1027686 9650 41501 0 57679 126409 2487300 95.43 101.86 -- 1325.47/332.28 c N dy 6652 1047919 9650 41501 0 77909 126409 5647304 95.49 102.73 -- 1348.58/338.04 c N dy 6779 1067953 9650 41501 0 52946 126409 1607067 95.50 102.80 -- 1352.56/339.03 c F st 6808 1071878 9650 41501 0 56871 126409 2209585 95.50 no data -- 1370.12/343.43 c N dy 6882 1088193 9650 41501 0 73184 126409 4811522 95.50 102.12 -- 1394.86/349.60 c N dy 7023 1108251 9650 41501 0 47245 126409 590119 95.53 100.86 -- 1414.81/354.60 c N dy 7148 1128273 9650 41501 0 67265 126409 3626055 95.53 101.33 -- 1438.35/360.52 c N dy 7290 1148302 9650 41501 0 87293 126409 6712795 95.58 102.33 -- 1459.90/365.96 c N dy 7418 1168325 9650 41501 0 60314 126409 2469121 95.60 101.52 -- 1482.23/371.54 c N dy 7545 1188397 9650 41501 0 80386 126409 5568420 95.62 101.86 -- 1505.77/377.47 c N dy 7660 1208665 9650 41501 0 52655 126409 1087903 95.59 101.13 -- 1506.97/377.79 c S st 7672 1209982 9650 41501 0 53972 126409 1288973 95.59 no data -- 1507.77/377.93 c S st 7672 1210484 9650 41501 0 54474 126409 1358236 95.59 no data -- 1507.77/377.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1507.77/377.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1508.17/378.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.23 1508.17/378.07 c bin-w-bin subsume rem 0 bins time: 0.01 s 1508.17/378.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1508.17/378.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 1508.17/378.08 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1520.14/381.01 c lits-rem: 6 cl-subs: 3 v-elim: 0 v-fix: 0 time: 11.67 s 1520.14/381.01 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.02 1520.14/381.03 c vivif2 -- cl tried 54471 cl shrink 0 lits rem 0 time: 0.08 1520.54/381.14 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.46 1520.54/381.15 c calculated reachability. Time: 0.00 1520.54/381.15 c N dy 7672 1210484 9650 41501 0 54471 126409 1357541 95.59 no data -- 1542.08/386.53 c N dy 7809 1230770 9650 41501 0 74756 126409 4505244 95.64 105.75 -- 1566.45/392.64 c N dy 7939 1250834 9650 41501 0 94819 126409 7561398 95.66 121.41 -- 1587.58/397.98 c N dy 8065 1270866 9650 41501 0 65847 126409 2974561 95.66 102.21 -- 1610.75/403.72 c N dy 8185 1290920 9650 41501 0 85898 126409 6024037 95.65 101.04 -- 1634.66/409.78 c N dy 8319 1310969 9650 41501 0 55954 126409 1338808 95.67 102.21 -- 1656.20/415.13 c N dy 8448 1331051 9650 41501 0 76036 126409 4404639 95.68 101.05 -- 1680.98/421.33 c N dy 8573 1351076 9650 41501 0 96061 126409 7440971 95.67 101.76 -- 1704.48/427.23 c N dy 8707 1371463 9650 41501 0 65452 126409 2623867 95.68 102.95 -- 1728.43/433.21 c N dy 8838 1391594 9650 41501 0 85580 126409 5699731 95.69 100.92 -- 1754.35/439.72 c N dy 8969 1411675 9650 41501 0 53662 126409 703987 95.70 102.07 -- 1775.10/444.94 c N dy 9100 1431687 9650 41501 0 73672 126409 3743341 95.70 100.91 -- 1799.49/451.04 c N dy 9226 1451735 9650 41501 0 93719 126409 6831114 95.72 106.20 -- 1824.18/457.25 c N dy 9356 1472087 9650 41501 0 61079 126409 1680960 95.72 102.63 -- 1846.12/462.77 c N dy 9478 1492150 9650 41501 0 81142 126409 4754198 95.73 102.27 -- 1872.06/469.24 c N dy 9608 1512236 9650 41501 0 101227 126409 7819303 95.74 105.05 -- 1895.61/475.14 c N dy 9738 1532359 9650 41501 0 67349 126409 2499997 95.74 101.73 -- 1919.13/481.03 c N dy 9881 1552385 9650 41501 0 87373 126409 5602715 95.78 102.85 -- 1946.27/487.81 c N dy 10008 1572819 9650 41501 0 107805 126409 8718758 95.77 101.14 -- 1968.21/493.32 c N dy 10130 1592837 9650 41501 0 72824 126409 3202737 95.77 131.82 -- 1993.35/499.66 c N dy 10261 1613019 9650 41501 0 93006 126409 6280027 95.78 101.56 -- 2022.09/506.88 c N dy 10382 1633022 9650 41501 0 57007 126409 611556 95.77 102.28 -- 2046.02/512.85 c N dy 10517 1653053 9650 41501 0 77037 126409 3715556 95.81 101.79 -- 2073.55/519.77 c N dy 10648 1673245 9650 41501 0 97226 126409 6835536 95.82 103.65 -- 2103.08/527.18 c N dy 10773 1693315 9650 41501 0 60300 126409 984131 95.82 101.05 -- 2123.85/532.32 c S st 10886 1710488 9650 41501 0 77473 126409 3626203 95.84 no data -- 2124.62/532.51 c S st 10886 1710989 9650 41501 0 77974 126409 3678536 95.84 no data -- 2124.62/532.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2124.62/532.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2125.02/532.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.32 2125.42/532.78 c bin-w-bin subsume rem 0 bins time: 0.01 s 2125.42/532.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2125.42/532.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 2125.42/532.79 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2278.23/571.05 c lits-rem: 0 cl-subs: 2 v-elim: 0 v-fix: 0 time: 152.21 s 2278.23/571.05 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.02 2278.63/571.10 c vivif2 -- cl tried 77972 cl shrink 0 lits rem 0 time: 0.19 2279.04/571.27 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.67 2279.04/571.28 c calculated reachability. Time: 0.00 2279.04/571.28 c N dy 10886 1710989 9650 41501 0 77972 126409 3678036 95.84 no data -- 2305.38/577.87 c N dy 11013 1731219 9650 41501 0 98199 126409 6780812 95.85 100.97 -- 2334.52/585.14 c N dy 11147 1751369 9650 41501 0 60354 126409 823839 95.87 101.02 -- 2357.64/590.92 c N dy 11281 1771541 9650 41501 0 80526 126409 3919125 95.90 102.62 -- 2383.57/597.46 c N dy 11413 1791561 9650 41501 0 100546 126409 6990960 95.91 102.40 -- 2411.90/604.52 c N dy 11554 1811622 9650 41501 0 61612 126409 879786 95.95 101.01 -- 2434.25/610.11 c N dy 11692 1831660 9650 41501 0 81647 126409 3948639 95.96 107.19 -- 2460.18/616.62 c N dy 11824 1851806 9650 41501 0 101791 126409 7008905 95.96 101.12 -- 2488.90/623.82 c N dy 11953 1871869 9650 41501 0 61857 126409 784031 95.98 101.72 -- 2511.25/629.42 c N dy 12081 1891956 9650 41501 0 81944 126409 3886342 95.99 102.52 -- 2537.18/635.99 c N dy 12218 1912196 9650 41501 0 102183 126409 6982270 96.00 104.47 -- 2566.72/643.39 c N dy 12349 1932214 9650 41501 0 61198 126409 518219 96.02 101.09 -- 2588.66/648.85 c N dy 12475 1952268 9650 41501 0 81252 126409 3555803 96.02 114.32 -- 2614.59/655.36 c N dy 12611 1972307 9650 41501 0 101288 126409 6627842 96.03 107.48 -- 2643.71/662.64 c N dy 12737 1992335 9650 41501 0 121314 126409 9713785 96.04 101.28 -- 2667.26/668.50 c N dy 12869 2012348 9650 41501 0 79329 126409 3142838 96.04 101.94 -- 2692.40/674.89 c N dy 13002 2032436 9650 41501 0 99412 126409 6223819 96.05 101.32 -- 2721.52/682.13 c N dy 13128 2052547 9650 41501 0 119521 126409 9321843 96.05 102.19 -- 2746.66/688.48 c N dy 13269 2072560 9650 41501 0 76545 126409 2575863 96.07 101.15 -- 2771.39/694.67 c N dy 13395 2092603 9650 41501 0 96587 126409 5611769 96.07 109.79 -- 2799.75/701.78 c N dy 13516 2112712 9650 41501 0 116695 126409 8714671 96.08 101.62 -- 2826.85/708.55 c N dy 13648 2132754 9650 41501 0 72750 126409 1835606 96.08 103.33 -- 2851.59/714.77 c N dy 13779 2152791 9650 41501 0 92784 126409 4911678 96.08 103.36 -- 2881.12/722.15 c N dy 13914 2172815 9650 41501 0 112805 126409 8029384 96.10 104.29 -- 2912.25/729.96 c N dy 14046 2192853 9650 41501 0 67840 126409 951956 96.11 116.35 -- 2933.79/735.33 c S st 14158 2210989 9650 41501 0 85975 126409 3737617 96.11 no data -- 2934.58/735.52 c S st 14158 2211491 9650 41501 0 86477 126409 3795999 96.11 no data -- 2934.58/735.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2934.58/735.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2934.99/735.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2935.39/735.80 c bin-w-bin subsume rem 0 bins time: 0.01 s 2935.39/735.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2935.80/735.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 2935.80/735.81 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3103.36/777.80 c lits-rem: 2 cl-subs: 6 v-elim: 0 v-fix: 0 time: 167.11 s 3103.36/777.81 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.02 3103.36/777.86 c vivif2 -- cl tried 86471 cl shrink 0 lits rem 0 time: 0.22 3104.16/778.06 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.78 3104.16/778.06 c calculated reachability. Time: 0.00 3104.16/778.06 c N dy 14158 2211491 9650 41501 0 86471 126409 3793447 96.11 no data -- 3133.73/785.48 c N dy 14285 2231660 9650 41501 0 106639 126409 6881772 96.10 101.33 -- 3167.61/793.99 c N dy 14414 2251949 9650 41501 0 126928 126409 9961860 96.11 102.27 -- 3196.73/801.20 c N dy 14548 2272352 9650 41501 0 81334 126409 2870757 96.12 103.40 -- 3225.90/808.51 c N dy 14686 2292557 9650 41501 0 101539 126409 5995983 96.13 102.36 -- 3258.98/816.87 c N dy 14820 2312656 9650 41501 0 121635 126409 9091880 96.13 103.10 -- 3291.31/824.97 c N dy 14950 2332664 9650 41501 0 74640 126409 1705335 96.13 101.70 -- 3318.82/831.81 c N dy 15073 2352707 9650 41501 0 94683 126409 4839686 96.15 103.28 -- 3350.34/839.73 c N dy 15210 2372837 9650 41501 0 114810 126409 7918906 96.16 102.64 -- 3385.46/848.54 c N dy 15338 2392939 9650 41501 0 134911 126409 11006360 96.17 104.48 -- 3412.19/855.20 c N dy 15468 2412966 9650 41501 0 86945 126409 3433137 96.18 105.06 -- 3441.31/862.50 c N dy 15596 2433022 9650 41501 0 106999 126409 6517840 96.19 103.98 -- 3474.04/870.78 c N dy 15730 2453145 9650 41501 0 127121 126409 9650915 96.21 104.14 -- 3504.76/878.40 c N dy 15852 2473150 9650 41501 0 78133 126409 1956970 96.20 101.47 -- 3531.49/885.11 c N dy 15985 2493298 9650 41501 0 98280 126409 5024300 96.21 103.78 -- 3562.61/892.91 c N dy 16123 2513552 9650 41501 0 118532 126409 8163222 96.22 101.66 -- 3597.33/901.66 c N dy 16259 2533567 9650 41501 0 138546 126409 11260144 96.24 115.51 -- 3624.06/908.34 c N dy 16393 2553890 9650 41501 0 88873 126409 3502479 96.25 102.10 -- 3652.78/915.51 c N dy 16523 2573908 9650 41501 0 108890 126409 6594630 96.25 115.33 -- 3685.51/923.72 c N dy 16647 2594023 9650 41501 0 129003 126409 9700558 96.26 101.36 -- 3717.81/931.83 c N dy 16783 2614074 9650 41501 0 78053 126409 1650705 96.28 129.68 -- 3744.55/938.57 c N dy 16924 2634191 9650 41501 0 98170 126409 4777248 96.30 104.95 -- 3774.87/946.18 c N dy 17053 2654278 9650 41501 0 118256 126409 7861630 96.30 101.84 -- 3809.21/954.79 c N dy 17183 2674367 9650 41501 0 138343 126409 10958956 96.31 103.21 -- 3839.12/962.20 c N dy 17307 2694440 9650 41501 0 86417 126409 2804385 96.31 104.52 -- 3863.86/968.42 c S st 17425 2711493 9650 41501 0 103469 126409 5459954 96.32 86.68 -- 3864.65/968.66 c S st 17425 2712000 9650 41501 0 103976 126409 5518746 96.32 no data -- 3864.65/968.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3864.65/968.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3865.05/968.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.41 3866.27/969.06 c bin-w-bin subsume rem 0 bins time: 0.01 s 3866.27/969.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3866.27/969.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 3866.27/969.07 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4252.09/1065.80 c lits-rem: 0 cl-subs: 10 v-elim: 0 v-fix: 0 time: 385.00 s 4252.09/1065.81 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 4252.50/1065.88 c vivif2 -- cl tried 103966 cl shrink 0 lits rem 0 time: 0.30 4253.68/1066.12 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.93 4253.68/1066.12 c calculated reachability. Time: 0.00 4253.68/1066.12 c N dy 17425 2712000 9650 41501 0 103966 126409 5515820 96.32 no data -- 4285.60/1074.12 c N dy 17542 2732147 9650 41501 0 124112 126409 8640308 96.33 105.50 -- 4321.11/1083.04 c N dy 17678 2752221 9650 41501 0 144184 126409 11750760 96.35 102.58 -- 4347.85/1089.71 c N dy 17804 2772297 9650 41501 0 91264 126409 3374767 96.34 104.09 -- 4376.57/1096.98 c N dy 17932 2792380 9650 41501 0 111344 126409 6420446 96.34 101.55 -- 4409.29/1105.16 c N dy 18066 2812384 9650 41501 0 131346 126409 9530348 96.36 103.07 -- 4444.01/1113.88 c N dy 18195 2832401 9650 41501 0 77365 126409 1105974 96.37 102.98 -- 4470.33/1120.44 c N dy 18320 2852479 9650 41501 0 97440 126409 4170336 96.37 101.84 -- 4500.66/1128.05 c N dy 18449 2872626 9650 41501 0 117586 126409 7256940 96.37 102.31 -- 4534.97/1136.66 c N dy 18578 2892873 9650 41501 0 137831 126409 10367128 96.37 102.31 -- 4567.70/1144.89 c N dy 18707 2912944 9650 41501 0 82908 126409 1794118 96.37 101.66 -- 4595.26/1151.76 c N dy 18846 2932974 9650 41501 0 102935 126409 4884953 96.38 102.80 -- 4626.74/1159.60 c N dy 18983 2953054 9650 41501 0 123013 126409 7979577 96.39 119.95 -- 4662.25/1168.56 c N dy 19114 2973259 9650 41501 0 143217 126409 11122917 96.40 102.53 -- 4694.57/1176.60 c N dy 19245 2993342 9650 41501 0 87304 126409 2314413 96.41 101.56 -- 4724.50/1184.19 c N dy 19387 3013449 9650 41501 0 107409 126409 5430150 96.42 103.54 -- 4759.21/1192.84 c N dy 19525 3033562 9650 41501 0 127520 126409 8527069 96.43 101.88 -- 4797.16/1202.37 c N dy 19651 3053606 9650 41501 0 147563 126409 11618151 96.43 126.32 --
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: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368496-1305394616/watcher-3368496-1305394616 -o /tmp/evaluation-result-3368496-1305394616/solver-3368496-1305394616 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368496-1305394616.cnf running on 4 cores: 1,3,5,7 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.70 7.95 7.50 6/320 13624 /proc/meminfo: memFree=24895036/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 651060424 52465664 352 33554432000 4194304 4650419 140736237251680 18446744073709551615 47837303592876 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 12809 352 303 112 0 7774 0 [pid=13624/tid=13625] ppid=13622 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651060425 52465664 352 33554432000 4194304 4650419 140736237251680 18446744073709551615 47837303592882 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651060425 52465664 352 33554432000 4194304 4650419 140736237251680 18446744073709551615 47837303592882 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651060425 52465664 352 33554432000 4194304 4650419 140736237251680 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.062718 s] /proc/loadavg: 7.70 7.95 7.50 6/320 13624 /proc/meminfo: memFree=24895036/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=293356 CPUtime=0.22 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 8267 0 0 0 21 1 0 0 25 0 4 0 651060424 300396544 7257 33554432000 4194304 4650419 140736237251680 18446744073709551615 4369984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 73339 7257 367 112 0 68304 0 [pid=13624/tid=13625] ppid=13622 vsize=293356 CPUtime=0.05 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1944 0 0 0 5 0 0 0 25 0 4 0 651060425 300396544 7257 33554432000 4194304 4650419 140736237251680 18446744073709551615 4369236 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=293356 CPUtime=0.05 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1954 0 0 0 5 0 0 0 25 0 4 0 651060425 300396544 7257 33554432000 4194304 4650419 140736237251680 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=293356 CPUtime=0.04 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 2000 0 0 0 4 0 0 0 25 0 4 0 651060425 300396544 7257 33554432000 4194304 4650419 140736237251680 18446744073709551615 4229514 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 293356 [startup+0.162702 s] /proc/loadavg: 7.70 7.95 7.50 6/320 13624 /proc/meminfo: memFree=24895036/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=305196 CPUtime=0.62 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 14981 0 0 0 60 2 0 0 18 0 4 0 651060424 312520704 12010 33554432000 4194304 4650419 140736237251680 18446744073709551615 4420390 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 76299 12010 387 112 0 71264 0 [pid=13624/tid=13625] ppid=13622 vsize=305196 CPUtime=0.14 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 4189 0 0 0 14 0 0 0 18 0 4 0 651060425 312520704 12010 33554432000 4194304 4650419 140736237251680 18446744073709551615 4420610 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=305196 CPUtime=0.15 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 4212 0 0 0 15 0 0 0 18 0 4 0 651060425 312520704 12010 33554432000 4194304 4650419 140736237251680 18446744073709551615 268272354139 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=305196 CPUtime=0.14 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 2090 0 0 0 14 0 0 0 25 0 4 0 651060425 312520704 12010 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 305196 [startup+0.300676 s] /proc/loadavg: 7.70 7.95 7.50 6/320 13624 /proc/meminfo: memFree=24895036/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=305196 CPUtime=1.17 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 15918 0 0 0 115 2 0 0 18 0 4 0 651060424 312520704 12511 33554432000 4194304 4650419 140736237251680 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 76299 12512 391 112 0 71264 0 [pid=13624/tid=13625] ppid=13622 vsize=305196 CPUtime=0.28 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 4581 0 0 0 28 0 0 0 18 0 4 0 651060425 312520704 12512 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=305196 CPUtime=0.28 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 4522 0 0 0 28 0 0 0 18 0 4 0 651060425 312520704 12512 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=305196 CPUtime=0.28 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 2227 0 0 0 28 0 0 0 25 0 4 0 651060425 312520704 12513 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 305196 [startup+0.700606 s] /proc/loadavg: 7.70 7.95 7.50 6/320 13624 /proc/meminfo: memFree=24895036/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=305196 CPUtime=2.76 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 17719 0 0 0 274 2 0 0 18 0 4 0 651060424 312520704 14312 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 76299 14313 391 112 0 71264 0 [pid=13624/tid=13625] ppid=13622 vsize=305196 CPUtime=0.69 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 5041 0 0 0 68 1 0 0 18 0 4 0 651060425 312520704 14313 33554432000 4194304 4650419 140736237251680 18446744073709551615 4334219 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=305196 CPUtime=0.68 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 4996 0 0 0 68 0 0 0 18 0 4 0 651060425 312520704 14313 33554432000 4194304 4650419 140736237251680 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=305196 CPUtime=0.68 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 2633 0 0 0 68 0 0 0 25 0 4 0 651060425 312520704 14313 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 305196 [startup+1.50046 s] /proc/loadavg: 7.70 7.95 7.50 9/324 13628 /proc/meminfo: memFree=24827556/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=309492 CPUtime=5.96 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 23337 0 0 0 593 3 0 0 19 0 4 0 651060424 316919808 14446 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 77373 14446 393 112 0 72338 0 [pid=13624/tid=13625] ppid=13622 vsize=309492 CPUtime=1.49 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 6431 0 0 0 148 1 0 0 19 0 4 0 651060425 316919808 14446 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=309492 CPUtime=1.48 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 6403 0 0 0 148 0 0 0 19 0 4 0 651060425 316919808 14446 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=309492 CPUtime=1.47 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 4240 0 0 0 147 0 0 0 25 0 4 0 651060425 316919808 14446 33554432000 4194304 4650419 140736237251680 18446744073709551615 4335216 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 309492 [startup+3.10018 s] /proc/loadavg: 7.70 7.95 7.50 10/324 13628 /proc/meminfo: memFree=24814660/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=310404 CPUtime=12.34 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 31814 0 0 0 1230 4 0 0 25 0 4 0 651060424 317853696 16279 33554432000 4194304 4650419 140736237251680 18446744073709551615 4333940 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 77601 16280 393 112 0 72566 0 [pid=13624/tid=13625] ppid=13622 vsize=310404 CPUtime=3.09 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 8614 0 0 0 308 1 0 0 25 0 4 0 651060425 317853696 16280 33554432000 4194304 4650419 140736237251680 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=310404 CPUtime=3.09 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 8592 0 0 0 308 1 0 0 25 0 4 0 651060425 317853696 16280 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=310404 CPUtime=3.06 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 6294 0 0 0 305 1 0 0 25 0 4 0 651060425 317853696 16280 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 310404 [startup+6.30061 s] /proc/loadavg: 7.73 7.95 7.50 9/324 13628 /proc/meminfo: memFree=24757924/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=340672 CPUtime=25.11 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 58092 0 0 0 2502 9 0 0 25 0 4 0 651060424 348848128 28230 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 85168 28231 395 112 0 80133 0 [pid=13624/tid=13625] ppid=13622 vsize=340672 CPUtime=6.28 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 16437 0 0 0 626 2 0 0 25 0 4 0 651060425 348848128 28231 33554432000 4194304 4650419 140736237251680 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=340672 CPUtime=6.28 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 13054 0 0 0 627 1 0 0 25 0 4 0 651060425 348848128 28231 33554432000 4194304 4650419 140736237251680 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=340672 CPUtime=6.22 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 10515 0 0 0 621 1 0 0 25 0 4 0 651060425 348848128 28231 33554432000 4194304 4650419 140736237251680 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 340672 [startup+12.7005 s] /proc/loadavg: 7.75 7.95 7.50 9/324 13628 /proc/meminfo: memFree=24655760/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=342764 CPUtime=50.64 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 92626 0 0 0 5046 18 0 0 25 0 4 0 651060424 350990336 44204 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 85691 44204 395 112 0 80656 0 [pid=13624/tid=13625] ppid=13622 vsize=342764 CPUtime=12.69 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 19229 0 0 0 1266 3 0 0 25 0 4 0 651060425 350990336 44204 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=342764 CPUtime=12.68 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 26986 0 0 0 1262 6 0 0 25 0 4 0 651060425 350990336 44204 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=342764 CPUtime=12.55 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 23532 0 0 0 1251 4 0 0 25 0 4 0 651060425 350990336 44204 33554432000 4194304 4650419 140736237251680 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 342764 [startup+25.5002 s] /proc/loadavg: 7.48 7.89 7.49 5/319 13629 /proc/meminfo: memFree=27712148/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=410740 CPUtime=101.71 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 151516 0 0 0 10141 30 0 0 25 0 4 0 651060424 420597760 68113 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 102685 68113 395 112 0 97650 0 [pid=13624/tid=13625] ppid=13622 vsize=410740 CPUtime=25.49 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 36127 0 0 0 2542 7 0 0 25 0 4 0 651060425 420597760 68113 33554432000 4194304 4650419 140736237251680 18446744073709551615 4229527 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=410740 CPUtime=25.48 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 42432 0 0 0 2539 9 0 0 25 0 4 0 651060425 420597760 68113 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=410740 CPUtime=25.23 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 35192 0 0 0 2516 7 0 0 25 0 4 0 651060425 420597760 68113 33554432000 4194304 4650419 140736237251680 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.71 Current children cumulated vsize (KiB) 410740 [startup+51.1007 s] /proc/loadavg: 7.72 7.91 7.51 9/324 13660 /proc/meminfo: memFree=27552548/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=545480 CPUtime=203.85 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 230468 0 0 0 20334 51 0 0 25 0 4 0 651060424 558571520 77870 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 136370 77870 395 112 0 131335 0 [pid=13624/tid=13625] ppid=13622 vsize=545480 CPUtime=51.08 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 55632 0 0 0 5097 11 0 0 25 0 4 0 651060425 558571520 77870 33554432000 4194304 4650419 140736237251680 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=545480 CPUtime=51.09 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 66858 0 0 0 5093 16 0 0 25 0 4 0 651060425 558571520 77870 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=545480 CPUtime=50.57 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 58154 0 0 0 5045 12 0 0 25 0 4 0 651060425 558571520 77870 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364312 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.85 Current children cumulated vsize (KiB) 545480 [startup+102.312 s] /proc/loadavg: 7.96 7.94 7.54 9/324 13661 /proc/meminfo: memFree=27424084/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=603764 CPUtime=408.17 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 391861 0 0 0 40724 93 0 0 25 0 4 0 651060424 618254336 88985 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 150941 88985 395 112 0 145906 0 [pid=13624/tid=13625] ppid=13622 vsize=603764 CPUtime=102.3 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 97211 0 0 0 10208 22 0 0 25 0 4 0 651060425 618254336 88985 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=603764 CPUtime=102.28 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 108067 0 0 0 10201 27 0 0 25 0 4 0 651060425 618254336 88985 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=603764 CPUtime=101.26 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 103440 0 0 0 10102 24 0 0 25 0 4 0 651060425 618254336 88985 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.17 Current children cumulated vsize (KiB) 603764 [startup+162.301 s] ################ # More data... # ################ [pid=13624] ppid=13622 vsize=972788 CPUtime=2802.12 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 2446758 0 0 0 279581 631 0 0 25 0 4 0 651060424 996134912 182510 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 243197 182510 395 112 0 238162 0 [pid=13624/tid=13625] ppid=13622 vsize=972788 CPUtime=702.28 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 815275 0 0 0 70044 184 0 0 25 0 4 0 651060425 996134912 182510 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=972788 CPUtime=702.27 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 650662 0 0 0 70055 172 0 0 25 0 4 0 651060425 996134912 182510 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=972788 CPUtime=695.26 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 680421 0 0 0 69349 177 0 0 25 0 4 0 651060425 996134912 182510 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2802.12 Current children cumulated vsize (KiB) 972788 [startup+762.312 s] /proc/loadavg: 8.18 8.09 7.80 10/324 13679 /proc/meminfo: memFree=26837356/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1090260 CPUtime=3041.56 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 2700087 0 0 0 303464 692 0 0 25 0 4 0 651060424 1116426240 185260 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 272565 185260 395 112 0 267530 0 [pid=13624/tid=13625] ppid=13622 vsize=1090260 CPUtime=762.29 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 844975 0 0 0 76033 196 0 0 25 0 4 0 651060425 1116426240 185260 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1090260 CPUtime=762.28 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 678293 0 0 0 76042 186 0 0 25 0 4 0 651060425 1116426240 185260 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1090260 CPUtime=754.67 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 862822 0 0 0 75261 206 0 0 25 0 4 0 651060425 1116426240 185260 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3041.56 Current children cumulated vsize (KiB) 1090260 [startup+822.301 s] /proc/loadavg: 8.17 8.10 7.83 9/324 13681 /proc/meminfo: memFree=26716680/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1156476 CPUtime=3280.92 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 3055299 0 0 0 327327 765 0 0 25 0 4 0 651060424 1184231424 212874 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 289119 212874 395 112 0 284084 0 [pid=13624/tid=13625] ppid=13622 vsize=1156476 CPUtime=822.28 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1022391 0 0 0 82007 221 0 0 25 0 4 0 651060425 1184231424 212874 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1156476 CPUtime=822.27 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 814787 0 0 0 82021 206 0 0 25 0 4 0 651060425 1184231424 212874 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1156476 CPUtime=814.06 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 889098 0 0 0 81183 223 0 0 25 0 4 0 651060425 1184231424 212874 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3280.92 Current children cumulated vsize (KiB) 1156476 [startup+882.301 s] /proc/loadavg: 8.16 8.11 7.84 9/324 13682 /proc/meminfo: memFree=26725036/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1185080 CPUtime=3520.31 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 3424015 0 0 0 351184 847 0 0 25 0 4 0 651060424 1213521920 210908 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 296270 210908 395 112 0 291235 0 [pid=13624/tid=13625] ppid=13622 vsize=1185080 CPUtime=882.29 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1199425 0 0 0 87978 251 0 0 25 0 4 0 651060425 1213521920 210908 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1185080 CPUtime=882.27 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 955864 0 0 0 88001 226 0 0 25 0 4 0 651060425 1213521920 210908 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1185080 CPUtime=873.44 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 915386 0 0 0 87105 239 0 0 25 0 4 0 651060425 1213521920 210908 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3520.31 Current children cumulated vsize (KiB) 1185080 [startup+942.3 s] /proc/loadavg: 8.12 8.10 7.85 9/324 13684 /proc/meminfo: memFree=26651460/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1185448 CPUtime=3759.72 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 3666486 0 0 0 375061 911 0 0 25 0 4 0 651060424 1213898752 215117 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364738 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 296362 215117 395 112 0 291327 0 [pid=13624/tid=13625] ppid=13622 vsize=1185448 CPUtime=942.28 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1226495 0 0 0 93963 265 0 0 25 0 4 0 651060425 1213898752 215117 33554432000 4194304 4650419 140736237251680 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1185448 CPUtime=942.28 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1120238 0 0 0 93978 250 0 0 25 0 4 0 651060425 1213898752 215117 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1185448 CPUtime=932.85 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 943147 0 0 0 93032 253 0 0 25 0 4 0 651060425 1213898752 215117 33554432000 4194304 4650419 140736237251680 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3759.72 Current children cumulated vsize (KiB) 1185448 [startup+1002.3 s] /proc/loadavg: 8.19 8.11 7.87 9/324 13685 /proc/meminfo: memFree=26665552/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1212416 CPUtime=3999.11 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 3986981 0 0 0 398934 977 0 0 25 0 4 0 651060424 1241513984 221203 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 303104 221203 395 112 0 298069 0 [pid=13624/tid=13625] ppid=13622 vsize=1212416 CPUtime=1002.28 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1248706 0 0 0 99950 278 0 0 25 0 4 0 651060425 1241513984 221203 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1212416 CPUtime=1002.27 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1258551 0 0 0 99955 272 0 0 25 0 4 0 651060425 1241513984 221203 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1212416 CPUtime=992.25 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1094922 0 0 0 98947 278 0 0 25 0 4 0 651060425 1241513984 221203 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3999.11 Current children cumulated vsize (KiB) 1212416 [startup+1062.3 s] /proc/loadavg: 8.07 8.09 7.88 9/324 13687 /proc/meminfo: memFree=26630292/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1226136 CPUtime=4238.52 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 4245345 0 0 0 422815 1037 0 0 25 0 4 0 651060424 1255563264 224830 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 306534 224830 401 112 0 301499 0 [pid=13624/tid=13625] ppid=13622 vsize=1226136 CPUtime=1062.29 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1284879 0 0 0 105934 295 0 0 25 0 4 0 651060425 1255563264 224830 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1226136 CPUtime=1062.28 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1281298 0 0 0 105940 288 0 0 25 0 4 0 651060425 1255563264 224830 33554432000 4194304 4650419 140736237251680 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1226136 CPUtime=1051.65 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1294366 0 0 0 104859 306 0 0 25 0 4 0 651060425 1255563264 224830 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4238.52 Current children cumulated vsize (KiB) 1226136 [startup+1122.3 s] /proc/loadavg: 8.15 8.10 7.89 9/324 13689 /proc/meminfo: memFree=26581384/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1253296 CPUtime=4477.91 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 4481113 0 0 0 446690 1101 0 0 25 0 4 0 651060424 1283375104 226902 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 313324 226902 395 112 0 308289 0 [pid=13624/tid=13625] ppid=13622 vsize=1253296 CPUtime=1122.29 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1426832 0 0 0 111914 315 0 0 25 0 4 0 651060425 1283375104 226902 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1253296 CPUtime=1122.27 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1307602 0 0 0 111923 304 0 0 25 0 4 0 651060425 1283375104 226902 33554432000 4194304 4650419 140736237251680 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1253296 CPUtime=1111.05 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1337525 0 0 0 110783 322 0 0 25 0 4 0 651060425 1283375104 226902 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4477.91 Current children cumulated vsize (KiB) 1253296 [startup+1182.3 s] /proc/loadavg: 8.05 8.08 7.90 9/324 13690 /proc/meminfo: memFree=26566720/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1201736 CPUtime=4717.32 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 4734578 0 0 0 470563 1169 0 0 25 0 4 0 651060424 1230577664 229230 33554432000 4194304 4650419 140736237251680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 300434 229230 401 112 0 295399 0 [pid=13624/tid=13625] ppid=13622 vsize=1201736 CPUtime=1182.29 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1588622 0 0 0 117890 339 0 0 25 0 4 0 651060425 1230577664 229230 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1201736 CPUtime=1182.27 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1349100 0 0 0 117908 319 0 0 25 0 4 0 651060425 1230577664 229230 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1201736 CPUtime=1170.45 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1362460 0 0 0 116709 336 0 0 25 0 4 0 651060425 1230577664 229230 33554432000 4194304 4650419 140736237251680 18446744073709551615 4329318 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4717.32 Current children cumulated vsize (KiB) 1201736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.1 s] /proc/loadavg: 8.04 8.08 7.90 9/324 13691 /proc/meminfo: memFree=26493036/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1254444 CPUtime=4800.33 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 4856005 0 0 0 478839 1194 0 0 25 0 4 0 651060424 1284550656 243998 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 313611 243998 395 112 0 308576 0 [pid=13624/tid=13625] ppid=13622 vsize=1254444 CPUtime=1203.09 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1649774 0 0 0 119963 346 0 0 25 0 4 0 651060425 1284550656 244001 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1254444 CPUtime=1203.08 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1394648 0 0 0 119982 326 0 0 25 0 4 0 651060425 1284550656 244001 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1254444 CPUtime=1191.03 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1370057 0 0 0 118763 340 0 0 25 0 4 0 651060425 1284550656 244001 33554432000 4194304 4650419 140736237251680 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.33 Current children cumulated vsize (KiB) 1254444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.1 s] /proc/loadavg: 8.04 8.08 7.90 9/324 13691 /proc/meminfo: memFree=26493036/32950928 swapFree=60199044/67111528 [pid=13624] ppid=13622 vsize=1254444 CPUtime=4800.33 cores=1,3,5,7 /proc/13624/stat : 13624 (strangenight1-m) R 13622 13624 12865 0 -1 4202496 4856005 0 0 0 478839 1194 0 0 25 0 4 0 651060424 1284550656 243998 33554432000 4194304 4650419 140736237251680 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/13624/statm: 313611 243998 395 112 0 308576 0 [pid=13624/tid=13625] ppid=13622 vsize=1254444 CPUtime=1203.09 cores=1,3,5,7 /proc/13624/task/13625/stat : 13625 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1649774 0 0 0 119963 346 0 0 25 0 4 0 651060425 1284550656 244001 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=13624/tid=13626] ppid=13622 vsize=1254444 CPUtime=1203.08 cores=1,3,5,7 /proc/13624/task/13626/stat : 13626 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1394648 0 0 0 119982 326 0 0 25 0 4 0 651060425 1284550656 244001 33554432000 4194304 4650419 140736237251680 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=13624/tid=13627] ppid=13622 vsize=1254444 CPUtime=1191.03 cores=1,3,5,7 /proc/13624/task/13627/stat : 13627 (strangenight1-m) R 13622 13624 12865 0 -1 4202560 1370057 0 0 0 118763 340 0 0 25 0 4 0 651060425 1284550656 244001 33554432000 4194304 4650419 140736237251680 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.33 Current children cumulated vsize (KiB) 1254444 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.16 CPU time (s): 4800.41 CPU user time (s): 4788.44 CPU system time (s): 11.9802 CPU usage (%): 398.985 Max. virtual memory (cumulated for all children) (KiB): 1266976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4788.44 system time used= 11.9802 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4856008 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= 1582 involuntary context switches= 32520 runsolver used 3.09553 second user time and 8.98963 second system time The end
Begin job on node122 at 2011-05-14 19:36:56 IDJOB=3368496 IDBENCH=82505 IDSOLVER=1846 FILE ID=node122/3368496-1305394616 RUNJOBID= node122-1305393395-13388 PBS_JOBID= 13324424 Free space on /tmp= 73396 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368496-1305394616/watcher-3368496-1305394616 -o /tmp/evaluation-result-3368496-1305394616/solver-3368496-1305394616 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368496-1305394616.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7c175136a39da4bf967495732df3f101 RANDOM SEED=3960811 node122.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 : 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.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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 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.75 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 24895192 kB Buffers: 268120 kB Cached: 3378476 kB SwapCached: 50104 kB Active: 3990472 kB Inactive: 3850808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24895192 kB SwapTotal: 67111528 kB SwapFree: 60199044 kB Dirty: 7008 kB Writeback: 0 kB AnonPages: 4155968 kB Mapped: 14404 kB Slab: 112484 kB PageTables: 38856 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 56183004 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= 73424 MiB End job on node122 at 2011-05-14 19:57:01