| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.09 | 1201.85 |
| 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.06 c Using 4 threads 0.16/0.08 c This is CryptoMiniSat 2.9.0 0.16/0.08 c compiled with gcc version 4.4.5 0.16/0.08 c WARNING: for repeatability, setting FPU to use double precision 0.16/0.08 c Reading file 'HOME/instance-3174887-1304044686.cnf' 0.16/0.09 c -- header says num vars: 10000 0.16/0.09 c -- header says num clauses: 42000 0.21/0.12 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.21/0.12 c -- vars added 10000 0.21/0.12 c Parsing time: 0.06 s 0.21/0.12 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.21/0.14 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.08 1.12/0.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 1.12/0.43 c bin-w-bin subsume rem 0 bins time: 0.01 s 1.12/0.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1.12/0.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 1.12/0.43 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.00 s 1.12/0.47 c lits-rem: 0 cl-subs: 0 v-elim: 350 v-fix: 0 time: 0.28 s 1.12/0.47 c Finding binary XORs T: 0.01 s found: 0 1.12/0.49 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan) 1.12/0.49 c calculated reachability. Time: 0.00 1.12/0.49 c Calc default polars - time: 0.01 s pos: 4435 undec: 1187 neg: 4378 1.12/0.49 c ========================================================================================= 1.12/0.49 c types(t): F = full restart, N = normal restart 1.12/0.49 c types(t): S = simplification begin/end, E = solution found 1.12/0.49 c restart types(rt): st = static, dy = dynamic 1.12/0.49 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 1.12/0.49 c B st 0 0 9650 41501 0 0 126409 0 no data no data -- 3.54/1.08 c N dy 19 4118 9650 41501 0 4116 126409 668143 93.82 99.37 -- 6.32/1.70 c N dy 44 8252 9650 41501 0 4753 126409 342907 91.65 96.73 -- 8.71/2.35 c N dy 72 12501 9650 41501 0 9002 126409 981890 93.07 98.73 -- 11.10/2.97 c N dy 98 16513 9650 41501 0 7266 126409 431130 93.26 127.80 -- 13.50/3.59 c N dy 125 20607 9650 41501 0 11360 126409 1011624 92.56 98.76 -- 16.30/4.28 c N dy 149 24935 9650 41501 0 8313 126409 352176 92.25 97.76 -- 16.30/4.29 c F st 150 25001 9650 41501 0 8379 126409 359225 92.17 no data -- 19.90/5.13 c N dy 156 30004 9650 41501 0 13381 126409 1283950 92.17 no data -- 19.90/5.13 c S st 156 30004 9650 41501 0 13381 126409 1283950 92.17 no data -- 20.29/5.21 c S st 156 30506 9650 41501 0 13883 126409 1336454 92.17 no data -- 20.29/5.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 20.29/5.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 20.29/5.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 20.70/5.36 c bin-w-bin subsume rem 0 bins time: 0.01 s 20.70/5.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 20.70/5.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 20.70/5.37 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 27.48/7.02 c lits-rem: 17 cl-subs: 2 v-elim: 0 v-fix: 0 time: 6.58 s 27.48/7.07 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.19 27.48/7.07 c calculated reachability. Time: 0.00 27.48/7.07 c N dy 156 30506 9650 41501 0 13881 126409 1336237 92.17 no data -- 30.30/7.78 c N dy 180 34572 9650 41501 0 9258 126409 307709 92.07 97.19 -- 33.07/8.46 c N dy 211 38603 9650 41501 0 13289 126409 909613 92.63 103.57 -- 35.87/9.19 c N dy 239 42672 9650 41501 0 17357 126409 1529816 93.09 106.05 -- 38.27/9.77 c S st 261 45759 9650 41501 0 10602 126409 339602 93.32 no data -- 38.69/9.85 c S st 261 46266 9650 41501 0 11109 126409 399925 93.32 no data -- 38.69/9.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.69/9.86 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.69/9.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 39.09/9.92 c bin-w-bin subsume rem 0 bins time: 0.01 s 39.09/9.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 39.09/9.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 39.09/9.93 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 45.45/11.56 c lits-rem: 3 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.51 s 45.45/11.57 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 45.45/11.57 c vivif2 -- cl tried 11109 cl shrink 0 lits rem 0 time: 0.02 45.85/11.61 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.16 45.85/11.62 c calculated reachability. Time: 0.00 45.85/11.62 c N dy 261 46266 9650 41501 0 11109 126409 399922 93.32 no data -- 48.25/12.28 c N dy 286 50295 9650 41501 0 15138 126409 1014375 93.35 101.20 -- 51.05/12.98 c N dy 311 54388 9650 41501 0 19230 126409 1614364 93.22 108.52 -- 54.24/13.70 c N dy 331 58478 9650 41501 0 12399 126409 456491 93.02 99.34 -- 56.66/14.36 c N dy 358 62488 9650 41501 0 16408 126409 1062550 93.19 98.57 -- 59.44/15.06 c N dy 382 66565 9650 41501 0 20485 126409 1666400 93.32 98.29 -- 61.43/15.57 c S st 402 69399 9650 41501 0 23319 126409 2094894 93.47 no data -- 61.83/15.66 c S st 402 69901 9650 41501 0 23821 126409 2150171 93.47 no data -- 61.83/15.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 61.83/15.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 62.23/15.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 62.63/15.84 c bin-w-bin subsume rem 0 bins time: 0.01 s 62.63/15.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 62.63/15.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 62.63/15.85 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 79.00/19.92 c lits-rem: 14 cl-subs: 4 v-elim: 0 v-fix: 0 time: 16.22 s 79.00/19.93 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 79.00/19.95 c vivif2 -- cl tried 23817 cl shrink 0 lits rem 0 time: 0.10 79.40/20.02 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.26 79.40/20.02 c calculated reachability. Time: 0.00 79.40/20.02 c N dy 402 69901 9650 41501 0 23817 126409 2148103 93.47 no data -- 82.62/20.81 c N dy 433 74408 9650 41501 0 16364 126409 879086 93.57 101.77 -- 85.80/21.69 c N dy 463 79173 9650 41501 0 21128 126409 1595651 93.71 125.45 -- 89.79/22.66 c N dy 500 84315 9650 41501 0 13292 126409 280200 93.99 136.16 -- 92.18/23.20 c F st 522 87500 9650 41501 0 16477 126409 773707 94.14 86.01 -- 94.58/23.81 c N st 527 90800 9650 41501 0 19777 126409 1363795 94.14 no data -- 98.98/24.92 c N dy 551 96595 9650 41501 0 25572 126409 2350693 94.08 102.24 -- 103.38/26.05 c N dy 592 102779 9650 41501 0 17767 126409 812528 94.15 102.77 -- 104.99/26.41 c S st 607 104851 9650 41501 0 19839 126409 1114826 94.16 no data -- 104.99/26.49 c S st 607 105353 9650 41501 0 20341 126409 1165936 94.16 no data -- 105.37/26.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 105.37/26.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 105.37/26.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 105.37/26.59 c bin-w-bin subsume rem 0 bins time: 0.01 s 105.77/26.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 105.77/26.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 105.77/26.60 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 114.55/28.84 c lits-rem: 26 cl-subs: 2 v-elim: 0 v-fix: 0 time: 8.94 s 114.55/28.85 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 114.55/28.86 c vivif2 -- cl tried 20339 cl shrink 0 lits rem 0 time: 0.06 114.95/28.92 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.22 114.95/28.92 c calculated reachability. Time: 0.00 114.95/28.92 c N dy 607 105353 9650 41501 0 20339 126409 1165826 94.16 no data -- 119.75/30.18 c N dy 650 112143 9650 41501 0 27128 126409 2205685 94.24 107.73 -- 125.34/31.56 c N dy 693 119487 9650 41501 0 19482 126409 924368 94.29 101.00 -- 131.35/33.03 c N dy 741 127299 9650 41501 0 27293 126409 2102354 94.26 100.32 -- 137.32/34.58 c N dy 796 135588 9650 41501 0 19588 126409 796568 94.28 103.76 -- 143.71/36.18 c N dy 848 144368 9650 41501 0 28368 126409 2108754 94.18 104.17 -- 150.91/37.94 c N dy 908 153608 9650 41501 0 20606 126409 778988 94.21 104.44 -- 154.10/38.74 c S st 941 158029 9650 41501 0 25027 126409 1444527 94.26 93.32 -- 154.50/38.84 c S st 941 158532 9650 41501 0 25530 126409 1500198 94.26 no data -- 154.50/38.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 154.50/38.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 154.50/38.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 154.90/38.96 c bin-w-bin subsume rem 0 bins time: 0.01 s 154.90/38.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 154.90/38.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 154.90/38.96 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 166.88/41.92 c lits-rem: 5 cl-subs: 3 v-elim: 0 v-fix: 0 time: 11.77 s 166.88/41.92 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 166.88/41.94 c vivif2 -- cl tried 25527 cl shrink 0 lits rem 0 time: 0.08 167.28/42.00 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.26 167.28/42.01 c calculated reachability. Time: 0.00 167.28/42.01 c N dy 941 158532 9650 41501 0 25527 126409 1499428 94.26 no data -- 175.29/44.06 c N dy 1005 168763 9650 41501 0 35757 126409 3031781 94.24 100.88 -- 183.25/46.09 c N dy 1083 179592 9650 41501 0 28586 126409 1842676 94.39 103.99 -- 192.86/48.44 c N dy 1160 191391 9650 41501 0 21384 126409 613057 94.48 100.56 -- 202.43/50.80 c N dy 1247 203690 9650 41501 0 33681 126409 2480293 94.59 102.97 -- 212.41/53.37 c N dy 1331 216720 9650 41501 0 26716 126409 1240427 94.59 100.62 -- 224.39/56.35 c N dy 1417 230713 9650 41501 0 40707 126409 3344019 94.52 99.81 -- 229.98/57.71 c S st 1463 237798 9650 41501 0 26792 126409 1121137 94.52 no data -- 230.39/57.81 c S st 1463 238301 9650 41501 0 27295 126409 1181634 94.52 no data -- 230.39/57.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 230.39/57.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 230.39/57.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 230.79/57.91 c bin-w-bin subsume rem 0 bins time: 0.01 s 230.79/57.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 230.79/57.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 230.79/57.92 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 239.96/60.27 c lits-rem: 14 cl-subs: 0 v-elim: 0 v-fix: 0 time: 9.35 s 239.96/60.27 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 239.96/60.29 c vivif2 -- cl tried 27295 cl shrink 0 lits rem 0 time: 0.06 240.36/60.35 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.26 240.36/60.35 c calculated reachability. Time: 0.00 240.36/60.35 c N dy 1463 238301 9650 41501 0 27295 126409 1181620 94.52 no data -- 252.75/63.49 c N dy 1559 253563 9650 41501 0 42557 126409 3490251 94.57 100.78 -- 266.33/66.86 c N dy 1669 269803 9650 41501 0 36796 126409 2513432 94.67 100.19 -- 280.74/70.43 c N dy 1773 287189 9650 41501 0 31184 126409 1507989 94.70 100.57 -- 296.30/74.35 c N dy 1889 305796 9650 41501 0 25794 126409 554058 94.60 100.72 -- 296.70/74.44 c F st 1892 306250 9650 41501 0 26248 126409 621371 94.59 no data -- 312.67/78.45 c N dy 1991 325351 9650 41501 0 45349 126409 3698033 94.65 100.04 -- 329.44/82.65 c N dy 2118 345385 9650 41501 0 40378 126409 2632690 94.72 101.57 -- 340.63/85.41 c S st 2203 357452 9650 41501 0 26446 126409 353427 94.73 no data -- 341.03/85.50 c S st 2203 357954 9650 41501 0 26948 126409 403784 94.73 no data -- 341.03/85.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 341.03/85.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 341.03/85.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 341.03/85.57 c bin-w-bin subsume rem 0 bins time: 0.01 s 341.03/85.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 341.03/85.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 341.03/85.58 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 347.02/87.07 c lits-rem: 16 cl-subs: 0 v-elim: 0 v-fix: 0 time: 5.93 s 347.02/87.07 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 347.02/87.08 c vivif2 -- cl tried 26948 cl shrink 0 lits rem 0 time: 0.02 347.41/87.14 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.25 347.41/87.14 c calculated reachability. Time: 0.00 347.41/87.14 c N dy 2203 357954 9650 41501 0 26948 126409 403768 94.73 no data -- 364.58/91.41 c N dy 2337 378021 9650 41501 0 47015 126409 3453045 94.75 100.12 -- 381.78/95.73 c N dy 2465 398075 9650 41501 0 40070 126409 2260787 94.77 100.19 -- 400.54/100.48 c N dy 2581 418153 9650 41501 0 32147 126409 938508 94.76 102.17 -- 418.11/104.90 c N dy 2714 438179 9650 41501 0 52171 126409 3937685 94.81 101.00 -- 435.69/109.29 c N dy 2833 458220 9650 41501 0 43210 126409 2454109 94.81 102.50 -- 454.46/113.94 c N dy 2963 478259 9650 41501 0 33247 126409 788077 94.84 100.76 -- 472.44/118.47 c N dy 3102 498437 9650 41501 0 53423 126409 3858531 94.86 100.90 -- 490.81/123.07 c N dy 3229 518477 9650 41501 0 42462 126409 2063609 94.89 100.20 -- 508.39/127.43 c S st 3346 536931 9650 41501 0 60915 126409 4849830 94.88 no data -- 508.81/127.58 c S st 3346 537433 9650 41501 0 61417 126409 4907266 94.88 no data -- 508.81/127.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 508.81/127.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 509.21/127.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.27 510.38/127.92 c bin-w-bin subsume rem 0 bins time: 0.01 s 510.38/127.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 510.38/127.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 510.38/127.93 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 781.22/195.75 c lits-rem: 0 cl-subs: 3 v-elim: 0 v-fix: 0 time: 270.12 s 781.22/195.76 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 781.63/195.82 c vivif2 -- cl tried 61414 cl shrink 0 lits rem 0 time: 0.25 782.00/195.96 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.55 782.00/195.96 c calculated reachability. Time: 0.00 782.00/195.96 c N dy 3346 537433 9650 41501 0 61414 126409 4906528 94.88 no data -- 801.18/200.71 c N dy 3480 557542 9650 41501 0 49525 126409 3008641 94.94 102.06 -- 821.55/205.86 c N dy 3607 577608 9650 41501 0 36597 126409 867554 94.94 100.16 -- 841.52/210.85 c N dy 3741 597623 9650 41501 0 56610 126409 3941034 95.00 100.53 -- 862.29/216.01 c N dy 3880 617820 9650 41501 0 42810 126409 1674839 95.09 100.14 -- 883.07/221.20 c N dy 4012 638230 9650 41501 0 63219 126409 4813382 95.14 101.19 -- 903.04/226.25 c N dy 4140 658249 9650 41501 0 48244 126409 2379174 95.16 100.77 -- 924.60/231.63 c N dy 4271 678441 9650 41501 0 68436 126409 5476036 95.19 101.57 -- 944.20/236.55 c N dy 4400 698447 9650 41501 0 52438 126409 2835392 95.20 101.12 -- 966.17/242.09 c N dy 4530 718473 9650 41501 0 72463 126409 5916551 95.24 102.34 -- 986.12/247.05 c N dy 4658 738526 9650 41501 0 55520 126409 3187866 95.25 101.34 -- 1009.29/252.81 c N dy 4797 758717 9650 41501 0 75709 126409 6285962 95.31 100.41 -- 1028.86/257.75 c N dy 4918 778828 9650 41501 0 57823 126409 3404055 95.31 100.61 -- 1051.64/263.49 c N dy 5044 798861 9650 41501 0 77856 126409 6430712 95.29 103.88 -- 1058.82/265.24 c S st 5091 806150 9650 41501 0 46145 126409 1461171 95.29 no data -- 1059.22/265.37 c S st 5091 806655 9650 41501 0 46650 126409 1516139 95.29 no data -- 1059.22/265.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1059.22/265.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1059.62/265.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1060.01/265.51 c bin-w-bin subsume rem 0 bins time: 0.01 s 1060.01/265.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1060.01/265.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 1060.01/265.52 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1073.20/268.85 c lits-rem: 1 cl-subs: 1 v-elim: 0 v-fix: 0 time: 13.29 s 1073.20/268.85 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.02 1073.20/268.87 c vivif2 -- cl tried 46649 cl shrink 0 lits rem 0 time: 0.08 1073.60/268.98 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.42 1073.60/268.98 c calculated reachability. Time: 0.00 1073.60/268.99 c N dy 5091 806655 9650 41501 0 46649 126409 1515637 95.29 no data -- 1094.37/274.15 c N dy 5225 826693 9650 41501 0 66684 126409 4562499 95.34 100.74 -- 1116.34/279.62 c N dy 5358 846795 9650 41501 0 46788 126409 1376038 95.37 102.94 -- 1136.71/284.70 c N dy 5478 866887 9650 41501 0 66878 126409 4467812 95.35 102.02 -- 1158.28/290.18 c N dy 5607 886971 9650 41501 0 45960 126409 1131116 95.34 100.52 -- 1178.25/295.10 c N dy 5736 906975 9650 41501 0 65962 126409 4165687 95.35 101.25 -- 1200.63/300.74 c N dy 5863 926991 9650 41501 0 43990 126409 681923 95.35 103.44 -- 1220.20/305.64 c N dy 5995 947151 9650 41501 0 64148 126409 3765730 95.39 104.25 -- 1243.36/311.40 c N dy 6130 967273 9650 41501 0 84270 126409 6858916 95.42 101.06 -- 1262.93/316.37 c N dy 6255 987349 9650 41501 0 61347 126409 3201723 95.41 100.47 -- 1285.30/321.99 c N dy 6385 1007636 9650 41501 0 81632 126409 6309202 95.42 102.59 -- 1307.27/327.41 c N dy 6514 1027686 9650 41501 0 57679 126409 2487300 95.43 101.86 -- 1330.46/333.23 c N dy 6652 1047919 9650 41501 0 77909 126409 5647304 95.49 102.73 -- 1353.60/339.02 c N dy 6779 1067953 9650 41501 0 52946 126409 1607067 95.50 102.80 -- 1357.60/340.02 c F st 6808 1071878 9650 41501 0 56871 126409 2209585 95.50 no data -- 1375.18/344.46 c N dy 6882 1088193 9650 41501 0 73184 126409 4811522 95.50 102.12 -- 1400.35/350.75 c N dy 7023 1108251 9650 41501 0 47245 126409 590119 95.53 100.86 -- 1420.31/355.70 c N dy 7148 1128273 9650 41501 0 67265 126409 3626055 95.53 101.33 -- 1443.88/361.65 c N dy 7290 1148302 9650 41501 0 87293 126409 6712795 95.58 102.33 -- 1465.45/367.07 c N dy 7418 1168325 9650 41501 0 60314 126409 2469121 95.60 101.52 -- 1487.82/372.67 c N dy 7545 1188397 9650 41501 0 80386 126409 5568420 95.62 101.86 -- 1511.78/378.62 c N dy 7660 1208665 9650 41501 0 52655 126409 1087903 95.59 101.13 -- 1512.99/378.95 c S st 7672 1209982 9650 41501 0 53972 126409 1288973 95.59 no data -- 1513.39/379.08 c S st 7672 1210484 9650 41501 0 54474 126409 1358236 95.59 no data -- 1513.39/379.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1513.39/379.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1513.79/379.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1514.19/379.22 c bin-w-bin subsume rem 0 bins time: 0.01 s 1514.19/379.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1514.19/379.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 1514.19/379.23 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1525.77/382.14 c lits-rem: 6 cl-subs: 3 v-elim: 0 v-fix: 0 time: 11.61 s 1525.77/382.14 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.01 1525.77/382.16 c vivif2 -- cl tried 54471 cl shrink 0 lits rem 0 time: 0.08 1526.17/382.27 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.45 1526.17/382.28 c calculated reachability. Time: 0.00 1526.17/382.28 c N dy 7672 1210484 9650 41501 0 54471 126409 1357541 95.59 no data -- 1547.74/387.67 c N dy 7809 1230770 9650 41501 0 74756 126409 4505244 95.64 105.75 -- 1572.13/393.79 c N dy 7939 1250834 9650 41501 0 94819 126409 7561398 95.66 121.41 -- 1593.68/399.10 c N dy 8065 1270866 9650 41501 0 65847 126409 2974561 95.66 102.21 -- 1616.47/404.86 c N dy 8185 1290920 9650 41501 0 85898 126409 6024037 95.65 101.04 -- 1640.41/410.89 c N dy 8319 1310969 9650 41501 0 55954 126409 1338808 95.67 102.21 -- 1661.98/416.23 c N dy 8448 1331051 9650 41501 0 76036 126409 4404639 95.68 101.05 -- 1686.77/422.47 c N dy 8573 1351076 9650 41501 0 96061 126409 7440971 95.67 101.76 -- 1709.91/428.27 c N dy 8707 1371463 9650 41501 0 65452 126409 2623867 95.68 102.95 -- 1734.28/434.32 c N dy 8838 1391594 9650 41501 0 85580 126409 5699731 95.69 100.92 -- 1760.24/440.88 c N dy 8969 1411675 9650 41501 0 53662 126409 703987 95.70 102.07 -- 1781.01/446.09 c N dy 9100 1431687 9650 41501 0 73672 126409 3743341 95.70 100.91 -- 1805.77/452.21 c N dy 9226 1451735 9650 41501 0 93719 126409 6831114 95.72 106.20 -- 1830.54/458.45 c N dy 9356 1472087 9650 41501 0 61079 126409 1680960 95.72 102.63 -- 1852.51/463.94 c N dy 9478 1492150 9650 41501 0 81142 126409 4754198 95.73 102.27 -- 1878.47/470.43 c N dy 9608 1512236 9650 41501 0 101227 126409 7819303 95.74 105.05 -- 1902.06/476.35 c N dy 9738 1532359 9650 41501 0 67349 126409 2499997 95.74 101.73 -- 1925.21/482.18 c N dy 9881 1552385 9650 41501 0 87373 126409 5602715 95.78 102.85 -- 1952.37/488.99 c N dy 10008 1572819 9650 41501 0 107805 126409 8718758 95.77 101.14 -- 1974.73/494.54 c N dy 10130 1592837 9650 41501 0 72824 126409 3202737 95.77 131.82 -- 1999.09/500.65 c N dy 10261 1613019 9650 41501 0 93006 126409 6280027 95.78 101.56 -- 2029.08/508.19 c N dy 10382 1633022 9650 41501 0 57007 126409 611556 95.77 102.28 -- 2053.03/514.15 c N dy 10517 1653053 9650 41501 0 77037 126409 3715556 95.81 101.79 -- 2080.59/521.09 c N dy 10648 1673245 9650 41501 0 97226 126409 6835536 95.82 103.65 -- 2110.54/528.53 c N dy 10773 1693315 9650 41501 0 60300 126409 984131 95.82 101.05 -- 2131.32/533.70 c S st 10886 1710488 9650 41501 0 77473 126409 3626203 95.84 no data -- 2131.72/533.89 c S st 10886 1710989 9650 41501 0 77974 126409 3678536 95.84 no data -- 2132.11/533.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2132.11/533.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2132.11/533.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.33 2132.92/534.17 c bin-w-bin subsume rem 0 bins time: 0.01 s 2132.92/534.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2132.92/534.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 2132.92/534.18 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2286.31/572.50 c lits-rem: 0 cl-subs: 2 v-elim: 0 v-fix: 0 time: 152.73 s 2286.31/572.50 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.02 2286.31/572.55 c vivif2 -- cl tried 77972 cl shrink 0 lits rem 0 time: 0.20 2287.11/572.72 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.67 2287.11/572.73 c calculated reachability. Time: 0.00 2287.11/572.73 c N dy 10886 1710989 9650 41501 0 77972 126409 3678036 95.84 no data -- 2313.06/579.29 c N dy 11013 1731219 9650 41501 0 98199 126409 6780812 95.85 100.97 -- 2342.62/586.61 c N dy 11147 1751369 9650 41501 0 60354 126409 823839 95.87 101.02 -- 2365.79/592.44 c N dy 11281 1771541 9650 41501 0 80526 126409 3919125 95.90 102.62 -- 2392.15/599.08 c N dy 11413 1791561 9650 41501 0 100546 126409 6990960 95.91 102.40 -- 2420.54/606.16 c N dy 11554 1811622 9650 41501 0 61612 126409 879786 95.95 101.01 -- 2442.88/611.79 c N dy 11692 1831660 9650 41501 0 81647 126409 3948639 95.96 107.19 -- 2469.24/618.31 c N dy 11824 1851806 9650 41501 0 101791 126409 7008905 95.96 101.12 -- 2498.00/625.54 c N dy 11953 1871869 9650 41501 0 61857 126409 784031 95.98 101.72 -- 2520.37/631.16 c N dy 12081 1891956 9650 41501 0 81944 126409 3886342 95.99 102.52 -- 2546.73/637.71 c N dy 12218 1912196 9650 41501 0 102183 126409 6982270 96.00 104.47 -- 2576.28/645.10 c N dy 12349 1932214 9650 41501 0 61198 126409 518219 96.02 101.09 -- 2598.26/650.60 c N dy 12475 1952268 9650 41501 0 81252 126409 3555803 96.02 114.32 -- 2623.82/657.09 c N dy 12611 1972307 9650 41501 0 101288 126409 6627842 96.03 107.48 -- 2653.00/664.36 c N dy 12737 1992335 9650 41501 0 121314 126409 9713785 96.04 101.28 -- 2676.54/670.26 c N dy 12869 2012348 9650 41501 0 79329 126409 3142838 96.04 101.94 -- 2702.10/676.65 c N dy 13002 2032436 9650 41501 0 99412 126409 6223819 96.05 101.32 -- 2730.87/683.88 c N dy 13128 2052547 9650 41501 0 119521 126409 9321843 96.05 102.19 -- 2756.43/690.28 c N dy 13269 2072560 9650 41501 0 76545 126409 2575863 96.07 101.15 -- 2781.19/696.46 c N dy 13395 2092603 9650 41501 0 96587 126409 5611769 96.07 109.79 -- 2809.55/703.58 c N dy 13516 2112712 9650 41501 0 116695 126409 8714671 96.08 101.62 -- 2837.94/710.62 c N dy 13648 2132754 9650 41501 0 72750 126409 1835606 96.08 103.33 -- 2863.08/716.97 c N dy 13779 2152791 9650 41501 0 92784 126409 4911678 96.08 103.36 -- 2892.63/724.30 c N dy 13914 2172815 9650 41501 0 112805 126409 8029384 96.10 104.29 -- 2923.79/732.15 c N dy 14046 2192853 9650 41501 0 67840 126409 951956 96.11 116.35 -- 2945.36/737.53 c S st 14158 2210989 9650 41501 0 85975 126409 3737617 96.11 no data -- 2946.16/737.72 c S st 14158 2211491 9650 41501 0 86477 126409 3795999 96.11 no data -- 2946.16/737.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2946.16/737.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2946.56/737.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2946.96/738.00 c bin-w-bin subsume rem 0 bins time: 0.01 s 2947.38/738.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2947.38/738.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.02 s 2947.38/738.01 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 3115.53/780.10 c lits-rem: 2 cl-subs: 6 v-elim: 0 v-fix: 0 time: 167.63 s 3115.53/780.11 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.02 3115.53/780.16 c vivif2 -- cl tried 86471 cl shrink 0 lits rem 0 time: 0.22 3116.33/780.36 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.78 3116.33/780.36 c calculated reachability. Time: 0.00 3116.33/780.36 c N dy 14158 2211491 9650 41501 0 86471 126409 3793447 96.11 no data -- 3146.28/787.84 c N dy 14285 2231660 9650 41501 0 106639 126409 6881772 96.10 101.33 -- 3180.66/796.44 c N dy 14414 2251949 9650 41501 0 126928 126409 9961860 96.11 102.27 -- 3209.80/803.71 c N dy 14548 2272352 9650 41501 0 81334 126409 2870757 96.12 103.40 -- 3238.95/811.09 c N dy 14686 2292557 9650 41501 0 101539 126409 5995983 96.13 102.36 -- 3272.92/819.56 c N dy 14820 2312656 9650 41501 0 121635 126409 9091880 96.13 103.10 -- 3305.66/827.70 c N dy 14950 2332664 9650 41501 0 74640 126409 1705335 96.13 101.70 -- 3332.83/834.53 c N dy 15073 2352707 9650 41501 0 94683 126409 4839686 96.15 103.28 -- 3364.80/842.54 c N dy 15210 2372837 9650 41501 0 114810 126409 7918906 96.16 102.64 -- 3400.35/851.45 c N dy 15338 2392939 9650 41501 0 134911 126409 11006360 96.17 104.48 -- 3427.09/858.16 c N dy 15468 2412966 9650 41501 0 86945 126409 3433137 96.18 105.06 -- 3456.65/865.52 c N dy 15596 2433022 9650 41501 0 106999 126409 6517840 96.19 103.98 -- 3490.61/874.03 c N dy 15730 2453145 9650 41501 0 127121 126409 9650915 96.21 104.14 -- 3520.97/881.65 c N dy 15852 2473150 9650 41501 0 78133 126409 1956970 96.20 101.47 -- 3547.74/888.38 c N dy 15985 2493298 9650 41501 0 98280 126409 5024300 96.21 103.78 -- 3579.29/896.22 c N dy 16123 2513552 9650 41501 0 118532 126409 8163222 96.22 101.66 -- 3614.44/905.04 c N dy 16259 2533567 9650 41501 0 138546 126409 11260144 96.24 115.51 -- 3641.20/911.74 c N dy 16393 2553890 9650 41501 0 88873 126409 3502479 96.25 102.10 -- 3669.96/918.90 c N dy 16523 2573908 9650 41501 0 108890 126409 6594630 96.25 115.33 -- 3702.72/927.16 c N dy 16647 2594023 9650 41501 0 129003 126409 9700558 96.26 101.36 -- 3735.47/935.32 c N dy 16783 2614074 9650 41501 0 78053 126409 1650705 96.28 129.68 -- 3762.24/942.05 c N dy 16924 2634191 9650 41501 0 98170 126409 4777248 96.30 104.95 -- 3793.79/949.94 c N dy 17053 2654278 9650 41501 0 118256 126409 7861630 96.30 101.84 -- 3830.14/959.03 c N dy 17183 2674367 9650 41501 0 138343 126409 10958956 96.31 103.21 -- 3860.10/966.54 c N dy 17307 2694440 9650 41501 0 86417 126409 2804385 96.31 104.52 -- 3884.87/972.79 c S st 17425 2711493 9650 41501 0 103469 126409 5459954 96.32 86.68 -- 3886.07/973.02 c S st 17425 2712000 9650 41501 0 103976 126409 5518746 96.32 no data -- 3886.07/973.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3886.07/973.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3886.47/973.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.42 3887.68/973.43 c bin-w-bin subsume rem 0 bins time: 0.01 s 3887.68/973.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3887.68/973.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.02 s 3887.68/973.44 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4275.53/1070.59 c lits-rem: 0 cl-subs: 10 v-elim: 0 v-fix: 0 time: 387.12 s 4275.53/1070.59 c vivif2 -- cl tried 41501 cl shrink 0 lits rem 0 time: 0.02 4275.93/1070.67 c vivif2 -- cl tried 103966 cl shrink 0 lits rem 0 time: 0.30 4276.73/1070.89 c asymm cl-useful: 0/41501/41501 lits-rem:0 time: 0.88 4276.73/1070.89 c calculated reachability. Time: 0.00 4276.73/1070.89 c N dy 17425 2712000 9650 41501 0 103966 126409 5515820 96.32 no data -- 4307.89/1078.68 c N dy 17542 2732147 9650 41501 0 124112 126409 8640308 96.33 105.50 -- 4343.44/1087.56 c N dy 17678 2752221 9650 41501 0 144184 126409 11750760 96.35 102.58 -- 4370.20/1094.24 c N dy 17804 2772297 9650 41501 0 91264 126409 3374767 96.34 104.09 -- 4399.37/1101.59 c N dy 17932 2792380 9650 41501 0 111344 126409 6420446 96.34 101.55 -- 4432.53/1109.82 c N dy 18066 2812384 9650 41501 0 131346 126409 9530348 96.36 103.07 -- 4467.27/1118.54 c N dy 18195 2832401 9650 41501 0 77365 126409 1105974 96.37 102.98 -- 4493.63/1125.15 c N dy 18320 2852479 9650 41501 0 97440 126409 4170336 96.37 101.84 -- 4524.39/1132.86 c N dy 18449 2872626 9650 41501 0 117586 126409 7256940 96.37 102.31 -- 4559.14/1141.54 c N dy 18578 2892873 9650 41501 0 137831 126409 10367128 96.37 102.31 -- 4592.29/1149.80 c N dy 18707 2912944 9650 41501 0 82908 126409 1794118 96.37 101.66 -- 4619.85/1156.71 c N dy 18846 2932974 9650 41501 0 102935 126409 4884953 96.38 102.80 -- 4651.41/1164.62 c N dy 18983 2953054 9650 41501 0 123013 126409 7979577 96.39 119.95 -- 4686.96/1173.57 c N dy 19114 2973259 9650 41501 0 143217 126409 11122917 96.40 102.53 -- 4718.54/1181.48 c N dy 19245 2993342 9650 41501 0 87304 126409 2314413 96.41 101.56 -- 4749.29/1189.11 c N dy 19387 3013449 9650 41501 0 107409 126409 5430150 96.42 103.54 -- 4784.04/1197.85 c N dy 19525 3033562 9650 41501 0 127520 126409 8527069 96.43 101.88 --
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-3174887-1304044686/watcher-3174887-1304044686 -o /tmp/evaluation-result-3174887-1304044686/solver-3174887-1304044686 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174887-1304044686.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.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 516069025 52465664 351 33554432000 4194304 4650419 140736239190416 18446744073709551615 47820907022258 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/9483/statm: 12809 351 303 112 0 7774 0 [pid=9483/tid=9486] ppid=9480 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 516069026 52465664 351 33554432000 4194304 4650419 140736239190416 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 516069026 52465664 351 33554432000 4194304 4650419 140736239190416 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 516069026 52465664 351 33554432000 4194304 4650419 140736239190416 18446744073709551615 244441992340 0 0 4096 2 0 0 0 -1 6 0 0 0 [startup+0.0797951 s] /proc/loadavg: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=51236 CPUtime=0.16 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 417 0 0 0 16 0 0 0 22 0 4 0 516069025 52465664 356 33554432000 4194304 4650419 140736239190416 18446744073709551615 47820907021849 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/9483/statm: 12809 356 306 112 0 7774 0 [pid=9483/tid=9486] ppid=9480 vsize=51236 CPUtime=0.04 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 4 0 516069026 52465664 356 33554432000 4194304 4650419 140736239190416 18446744073709551615 47820907022258 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=51236 CPUtime=0.01 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 4 0 516069026 52465664 356 33554432000 4194304 4650419 140736239190416 18446744073709551615 47820907021849 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=51236 CPUtime=0.07 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 4 0 0 0 7 0 0 0 23 0 4 0 516069026 52465664 356 33554432000 4194304 4650419 140736239190416 18446744073709551615 47820907021847 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 51236 [startup+0.101236 s] /proc/loadavg: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=281164 CPUtime=0.21 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 5008 0 0 0 21 0 0 0 22 0 4 0 516069025 287911936 4242 33554432000 4194304 4650419 140736239190416 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/9483/statm: 70291 4257 344 112 0 65256 0 [pid=9483/tid=9486] ppid=9480 vsize=281164 CPUtime=0.04 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 709 0 0 0 4 0 0 0 18 0 4 0 516069026 287911936 4257 33554432000 4194304 4650419 140736239190416 18446744073709551615 244446642279 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=281164 CPUtime=0.02 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1289 0 0 0 2 0 0 0 18 0 4 0 516069026 287911936 4257 33554432000 4194304 4650419 140736239190416 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=281164 CPUtime=0.08 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) D 9480 9483 7235 0 -1 4202560 1328 0 0 0 8 0 0 0 18 0 4 0 516069026 287911936 4272 33554432000 4194304 4650419 140736239190416 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 281164 [startup+0.300733 s] /proc/loadavg: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=312556 CPUtime=0.79 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 13033 0 0 0 77 2 0 0 22 0 4 0 516069025 320057344 10961 33554432000 4194304 4650419 140736239190416 18446744073709551615 244446642771 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/9483/statm: 78139 10961 391 112 0 73104 0 [pid=9483/tid=9486] ppid=9480 vsize=312556 CPUtime=0.23 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 4275 0 0 0 23 0 0 0 18 0 4 0 516069026 320057344 10961 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=312556 CPUtime=0.18 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 4062 0 0 0 18 0 0 0 18 0 4 0 516069026 320057344 10961 33554432000 4194304 4650419 140736239190416 18446744073709551615 4384046 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=312556 CPUtime=0.27 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 2126 0 0 0 27 0 0 0 18 0 4 0 516069026 320057344 10961 33554432000 4194304 4650419 140736239190416 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 312556 [startup+0.700656 s] /proc/loadavg: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=304348 CPUtime=2.32 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 16863 0 0 0 230 2 0 0 22 0 4 0 516069025 311652352 13733 33554432000 4194304 4650419 140736239190416 18446744073709551615 4333785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 76087 13733 391 112 0 71052 0 [pid=9483/tid=9486] ppid=9480 vsize=304348 CPUtime=0.63 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 4736 0 0 0 62 1 0 0 18 0 4 0 516069026 311652352 13733 33554432000 4194304 4650419 140736239190416 18446744073709551615 4303968 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=304348 CPUtime=0.58 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 4516 0 0 0 58 0 0 0 18 0 4 0 516069026 311652352 13733 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=304348 CPUtime=0.67 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 2527 0 0 0 67 0 0 0 18 0 4 0 516069026 311652352 13733 33554432000 4194304 4650419 140736239190416 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 304348 [startup+1.50051 s] /proc/loadavg: 3.89 6.06 8.01 11/184 9493 /proc/meminfo: memFree=15487768/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=307852 CPUtime=5.51 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 21988 0 0 0 548 3 0 0 25 0 4 0 516069025 315240448 14819 33554432000 4194304 4650419 140736239190416 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 76963 14819 393 112 0 71928 0 [pid=9483/tid=9486] ppid=9480 vsize=307852 CPUtime=1.42 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 6116 0 0 0 141 1 0 0 19 0 4 0 516069026 315240448 14819 33554432000 4194304 4650419 140736239190416 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=307852 CPUtime=1.38 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 5808 0 0 0 138 0 0 0 19 0 4 0 516069026 315240448 14819 33554432000 4194304 4650419 140736239190416 18446744073709551615 4333260 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=307852 CPUtime=1.46 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 4146 0 0 0 146 0 0 0 19 0 4 0 516069026 315240448 14820 33554432000 4194304 4650419 140736239190416 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 5.51 Current children cumulated vsize (KiB) 307852 [startup+3.10021 s] /proc/loadavg: 3.89 6.06 8.01 10/184 9493 /proc/meminfo: memFree=15477972/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=309556 CPUtime=11.91 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 31063 0 0 0 1186 5 0 0 25 0 4 0 516069025 316985344 15805 33554432000 4194304 4650419 140736239190416 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 77389 15805 393 112 0 72354 0 [pid=9483/tid=9486] ppid=9480 vsize=309556 CPUtime=3.01 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 8292 0 0 0 300 1 0 0 24 0 4 0 516069026 316985344 15805 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=309556 CPUtime=2.98 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 7804 0 0 0 298 0 0 0 24 0 4 0 516069026 316985344 15806 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=309556 CPUtime=3.07 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 6214 0 0 0 306 1 0 0 24 0 4 0 516069026 316985344 15806 33554432000 4194304 4650419 140736239190416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 11.91 Current children cumulated vsize (KiB) 309556 [startup+6.30061 s] /proc/loadavg: 4.22 6.09 8.01 10/184 9493 /proc/meminfo: memFree=15395388/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=310096 CPUtime=24.69 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 57491 0 0 0 2458 11 0 0 25 0 4 0 516069025 317538304 27965 33554432000 4194304 4650419 140736239190416 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 77524 27965 395 112 0 72489 0 [pid=9483/tid=9486] ppid=9480 vsize=310096 CPUtime=6.2 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 16216 0 0 0 617 3 0 0 25 0 4 0 516069026 317538304 27965 33554432000 4194304 4650419 140736239190416 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=310096 CPUtime=6.18 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 11905 0 0 0 617 1 0 0 25 0 4 0 516069026 317538304 27965 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=310096 CPUtime=6.27 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 10473 0 0 0 625 2 0 0 25 0 4 0 516069026 317538304 27965 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 24.69 Current children cumulated vsize (KiB) 310096 [startup+12.7004 s] /proc/loadavg: 4.52 6.12 8.01 10/184 9493 /proc/meminfo: memFree=15268576/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=347860 CPUtime=50.25 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 91551 0 0 0 5007 18 0 0 25 0 4 0 516069025 356208640 45972 33554432000 4194304 4650419 140736239190416 18446744073709551615 4333678 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 86965 45972 395 112 0 81930 0 [pid=9483/tid=9486] ppid=9480 vsize=347860 CPUtime=12.57 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 18811 0 0 0 1253 4 0 0 25 0 4 0 516069026 356208640 45972 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=347860 CPUtime=12.58 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 24708 0 0 0 1255 3 0 0 25 0 4 0 516069026 356208640 45972 33554432000 4194304 4650419 140736239190416 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=347860 CPUtime=12.67 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 23529 0 0 0 1262 5 0 0 25 0 4 0 516069026 356208640 45972 33554432000 4194304 4650419 140736239190416 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 50.25 Current children cumulated vsize (KiB) 347860 [startup+25.501 s] /proc/loadavg: 5.29 6.22 8.01 10/184 9494 /proc/meminfo: memFree=15064848/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=406792 CPUtime=101.37 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 151302 0 0 0 10107 30 0 0 25 0 4 0 516069025 416555008 66104 33554432000 4194304 4650419 140736239190416 18446744073709551615 244446605448 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 101698 66104 395 112 0 96663 0 [pid=9483/tid=9486] ppid=9480 vsize=406792 CPUtime=25.29 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 35932 0 0 0 2522 7 0 0 25 0 4 0 516069026 416555008 66104 33554432000 4194304 4650419 140736239190416 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=406792 CPUtime=25.38 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 38675 0 0 0 2532 6 0 0 25 0 4 0 516069026 416555008 66104 33554432000 4194304 4650419 140736239190416 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=406792 CPUtime=25.46 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 35241 0 0 0 2538 8 0 0 25 0 4 0 516069026 416555008 66104 33554432000 4194304 4650419 140736239190416 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 101.37 Current children cumulated vsize (KiB) 406792 [startup+51.1003 s] /proc/loadavg: 6.21 6.36 8.01 10/184 9495 /proc/meminfo: memFree=14991392/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=512256 CPUtime=203.62 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 231944 0 0 0 20311 51 0 0 25 0 4 0 516069025 524550144 78111 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 128064 78111 395 112 0 123029 0 [pid=9483/tid=9486] ppid=9480 vsize=512256 CPUtime=50.76 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 54985 0 0 0 5064 12 0 0 25 0 4 0 516069026 524550144 78111 33554432000 4194304 4650419 140736239190416 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=512256 CPUtime=50.98 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 61215 0 0 0 5086 12 0 0 25 0 4 0 516069026 524550144 78111 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=512256 CPUtime=51.05 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 58582 0 0 0 5092 13 0 0 25 0 4 0 516069026 524550144 78111 33554432000 4194304 4650419 140736239190416 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 203.62 Current children cumulated vsize (KiB) 512256 [startup+102.307 s] /proc/loadavg: 7.26 6.62 8.01 10/184 9496 /proc/meminfo: memFree=14864636/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=592524 CPUtime=408.15 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 398743 0 0 0 40722 93 0 0 25 0 4 0 516069025 606744576 89090 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 148131 89090 395 112 0 143096 0 [pid=9483/tid=9486] ppid=9480 vsize=592524 CPUtime=101.67 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 96262 0 0 0 10147 20 0 0 25 0 4 0 516069026 606744576 89090 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=592524 CPUtime=102.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 101720 0 0 0 10193 24 0 0 25 0 4 0 516069026 606744576 89090 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=592524 CPUtime=102.26 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 104612 0 0 0 10202 24 0 0 25 0 4 0 516069026 606744576 89090 33554432000 4194304 4650419 140736239190416 18446744073709551615 4315147 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 408.15 Current children cumulated vsize (KiB) 592524 [startup+162.3 s] ################ # More data... # ################ [pid=9483] ppid=9480 vsize=951600 CPUtime=2565.12 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 2336079 0 0 0 255965 547 0 0 25 0 4 0 516069025 974438400 170306 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 237900 170306 395 112 0 232865 0 [pid=9483/tid=9486] ppid=9480 vsize=951600 CPUtime=638.74 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 786999 0 0 0 63713 161 0 0 25 0 4 0 516069026 974438400 170307 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=951600 CPUtime=642.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 336329 0 0 0 64110 107 0 0 25 0 4 0 516069026 974438400 170307 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=951600 CPUtime=642.2 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 653866 0 0 0 64069 151 0 0 25 0 4 0 516069026 974438400 170307 33554432000 4194304 4650419 140736239190416 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2565.12 Current children cumulated vsize (KiB) 951600 [startup+702.301 s] /proc/loadavg: 8.07 7.88 8.02 10/184 9512 /proc/meminfo: memFree=14209012/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=915564 CPUtime=2804.76 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 2452284 0 0 0 279888 588 0 0 25 0 4 0 516069025 937537536 177527 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 228891 177527 395 112 0 223856 0 [pid=9483/tid=9486] ppid=9480 vsize=915564 CPUtime=698.41 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 811597 0 0 0 69671 170 0 0 25 0 4 0 516069026 937537536 177527 33554432000 4194304 4650419 140736239190416 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=915564 CPUtime=702.16 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 365596 0 0 0 70099 117 0 0 25 0 4 0 516069026 937537536 177527 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=915564 CPUtime=702.19 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 684997 0 0 0 70057 162 0 0 25 0 4 0 516069026 937537536 177527 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2804.76 Current children cumulated vsize (KiB) 915564 [startup+762.307 s] /proc/loadavg: 8.07 7.91 8.02 10/184 9513 /proc/meminfo: memFree=14194620/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=1020912 CPUtime=3044.45 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 2783023 0 0 0 303793 652 0 0 25 0 4 0 516069025 1045413888 174667 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 255228 174667 395 112 0 250193 0 [pid=9483/tid=9486] ppid=9480 vsize=1020912 CPUtime=758.08 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 837442 0 0 0 75629 179 0 0 25 0 4 0 516069026 1045413888 174667 33554432000 4194304 4650419 140736239190416 18446744073709551615 4328199 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=1020912 CPUtime=762.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 394537 0 0 0 76088 129 0 0 25 0 4 0 516069026 1045413888 174667 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=1020912 CPUtime=762.18 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 866612 0 0 0 76032 186 0 0 25 0 4 0 516069026 1045413888 174667 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3044.45 Current children cumulated vsize (KiB) 1020912 [startup+822.3 s] /proc/loadavg: 8.06 7.94 8.02 10/184 9515 /proc/meminfo: memFree=13998688/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=1099620 CPUtime=3284.09 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 2943475 0 0 0 327717 692 0 0 25 0 4 0 516069025 1126010880 206509 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 274905 206509 395 112 0 269870 0 [pid=9483/tid=9486] ppid=9480 vsize=1099620 CPUtime=817.75 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 838942 0 0 0 81595 180 0 0 25 0 4 0 516069026 1126010880 206509 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=1099620 CPUtime=822.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 412577 0 0 0 82084 133 0 0 25 0 4 0 516069026 1126010880 206509 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=1099620 CPUtime=822.17 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 892852 0 0 0 82016 201 0 0 25 0 4 0 516069026 1126010880 206509 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3284.09 Current children cumulated vsize (KiB) 1099620 [startup+882.301 s] /proc/loadavg: 8.06 7.96 8.02 10/184 9517 /proc/meminfo: memFree=14015644/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=997628 CPUtime=3523.76 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 3002412 0 0 0 351656 720 0 0 25 0 4 0 516069025 1021571072 194599 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 249407 194599 395 112 0 244372 0 [pid=9483/tid=9486] ppid=9480 vsize=997628 CPUtime=877.43 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 842463 0 0 0 87561 182 0 0 25 0 4 0 516069026 1021571072 194599 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=997628 CPUtime=882.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 412662 0 0 0 88084 133 0 0 25 0 4 0 516069026 1021571072 194599 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=997628 CPUtime=882.16 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 921252 0 0 0 88003 213 0 0 25 0 4 0 516069026 1021571072 194599 33554432000 4194304 4650419 140736239190416 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3523.76 Current children cumulated vsize (KiB) 997628 [startup+942.301 s] /proc/loadavg: 8.06 7.98 8.02 10/184 9518 /proc/meminfo: memFree=13973468/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=1167904 CPUtime=3763.43 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 3083829 0 0 0 375589 754 0 0 25 0 4 0 516069025 1195933696 202946 33554432000 4194304 4650419 140736239190416 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 291976 202946 395 112 0 286941 0 [pid=9483/tid=9486] ppid=9480 vsize=1167904 CPUtime=937.1 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 870320 0 0 0 93517 193 0 0 25 0 4 0 516069026 1195933696 202946 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=1167904 CPUtime=942.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 412670 0 0 0 94084 133 0 0 25 0 4 0 516069026 1195933696 202946 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=1167904 CPUtime=942.16 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 948239 0 0 0 93992 224 0 0 25 0 4 0 516069026 1195933696 202946 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3763.43 Current children cumulated vsize (KiB) 1167904 [startup+1002.3 s] /proc/loadavg: 8.06 8.00 8.02 10/184 9520 /proc/meminfo: memFree=13961672/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=1168800 CPUtime=4003.11 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 3332939 0 0 0 399509 802 0 0 25 0 4 0 516069025 1196851200 208691 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 292200 208691 395 112 0 287165 0 [pid=9483/tid=9486] ppid=9480 vsize=1168800 CPUtime=996.78 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 892230 0 0 0 99474 204 0 0 25 0 4 0 516069026 1196851200 208691 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=1168800 CPUtime=1002.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 420135 0 0 0 100080 137 0 0 25 0 4 0 516069026 1196851200 208691 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=1168800 CPUtime=1002.15 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1125447 0 0 0 99969 246 0 0 25 0 4 0 516069026 1196851200 208691 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4003.11 Current children cumulated vsize (KiB) 1168800 [startup+1062.3 s] /proc/loadavg: 8.05 8.01 8.02 10/184 9521 /proc/meminfo: memFree=13912680/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=1130916 CPUtime=4242.78 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 3648742 0 0 0 423415 863 0 0 25 0 4 0 516069025 1158057984 210045 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 282729 210045 395 112 0 277694 0 [pid=9483/tid=9486] ppid=9480 vsize=1130916 CPUtime=1056.46 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 917504 0 0 0 105429 217 0 0 25 0 4 0 516069026 1158057984 210045 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=1130916 CPUtime=1062.18 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 442961 0 0 0 106069 149 0 0 25 0 4 0 516069026 1158057984 210045 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=1130916 CPUtime=1062.15 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1316686 0 0 0 105944 271 0 0 25 0 4 0 516069026 1158057984 210045 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4242.78 Current children cumulated vsize (KiB) 1130916 [startup+1122.3 s] /proc/loadavg: 8.13 8.04 8.02 10/184 9523 /proc/meminfo: memFree=13850044/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=1184360 CPUtime=4482.44 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 3867943 0 0 0 447329 915 0 0 25 0 4 0 516069025 1212784640 215508 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 296090 215508 395 112 0 291055 0 [pid=9483/tid=9486] ppid=9480 vsize=1184360 CPUtime=1116.13 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1049736 0 0 0 111378 235 0 0 25 0 4 0 516069026 1212784640 215508 33554432000 4194304 4650419 140736239190416 18446744073709551615 4442087 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=1184360 CPUtime=1122.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 465798 0 0 0 112057 160 0 0 25 0 4 0 516069026 1212784640 215508 33554432000 4194304 4650419 140736239190416 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=1184360 CPUtime=1122.15 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1342593 0 0 0 111933 282 0 0 25 0 4 0 516069026 1212784640 215508 33554432000 4194304 4650419 140736239190416 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4482.44 Current children cumulated vsize (KiB) 1184360 [startup+1182.3 s] /proc/loadavg: 8.12 8.04 8.02 9/184 9525 /proc/meminfo: memFree=13836516/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=1155720 CPUtime=4722.11 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 4106462 0 0 0 471241 970 0 0 25 0 4 0 516069025 1183457280 220878 33554432000 4194304 4650419 140736239190416 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 288930 220878 395 112 0 283895 0 [pid=9483/tid=9486] ppid=9480 vsize=1155720 CPUtime=1175.81 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1206840 0 0 0 117324 257 0 0 25 0 4 0 516069026 1183457280 220878 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=1155720 CPUtime=1182.17 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 496017 0 0 0 118045 172 0 0 25 0 4 0 516069026 1183457280 220878 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476365 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=1155720 CPUtime=1182.14 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1368029 0 0 0 117922 292 0 0 25 0 4 0 516069026 1183457280 220879 33554432000 4194304 4650419 140736239190416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4722.11 Current children cumulated vsize (KiB) 1155720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.8 s] /proc/loadavg: 8.08 8.04 8.02 5/180 9526 /proc/meminfo: memFree=14713476/32951124 swapFree=67111528/67111528 [pid=9483] ppid=9480 vsize=1157040 CPUtime=4800.02 cores=0,2,4,6 /proc/9483/stat : 9483 (strangenight1-m) R 9480 9483 7235 0 -1 4202496 4175158 0 0 0 479018 984 0 0 25 0 4 0 516069025 1184808960 222937 33554432000 4194304 4650419 140736239190416 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9483/statm: 289260 222937 395 112 0 284225 0 [pid=9483/tid=9486] ppid=9480 vsize=1157040 CPUtime=1195.2 cores=0,2,4,6 /proc/9483/task/9486/stat : 9486 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1260450 0 0 0 119257 263 0 0 25 0 4 0 516069026 1184808960 222937 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9483/tid=9488] ppid=9480 vsize=1157040 CPUtime=1201.67 cores=0,2,4,6 /proc/9483/task/9488/stat : 9488 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 496260 0 0 0 119995 172 0 0 25 0 4 0 516069026 1184808960 222937 33554432000 4194304 4650419 140736239190416 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9483/tid=9490] ppid=9480 vsize=1157040 CPUtime=1201.65 cores=0,2,4,6 /proc/9483/task/9490/stat : 9490 (strangenight1-m) R 9480 9483 7235 0 -1 4202560 1375764 0 0 0 119868 297 0 0 25 0 4 0 516069026 1184808960 222937 33554432000 4194304 4650419 140736239190416 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.02 Current children cumulated vsize (KiB) 1157040 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.85 CPU time (s): 4800.09 CPU user time (s): 4790.21 CPU system time (s): 9.8845 CPU usage (%): 399.391 Max. virtual memory (cumulated for all children) (KiB): 1209696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4790.21 system time used= 9.8845 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4175162 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= 2313 involuntary context switches= 34332 runsolver used 1.74273 second user time and 4.82227 second system time The end
Begin job on node105 at 2011-04-29 04:38:06 IDJOB=3174887 IDBENCH=82505 IDSOLVER=1588 FILE ID=node105/3174887-1304044686 RUNJOBID= node105-1304044686-9466 PBS_JOBID= 13170347 Free space on /tmp= 71936 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt 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-3174887-1304044686/watcher-3174887-1304044686 -o /tmp/evaluation-result-3174887-1304044686/solver-3174887-1304044686 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174887-1304044686.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7c175136a39da4bf967495732df3f101 RANDOM SEED=883457729 node105.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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.825 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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 : 5410.70 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.825 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.74 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 15608796 kB Buffers: 2300068 kB Cached: 14409960 kB SwapCached: 0 kB Active: 8902556 kB Inactive: 7870656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 15608796 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13980 kB Writeback: 0 kB AnonPages: 62396 kB Mapped: 14496 kB Slab: 506880 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 188968 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= 71932 MiB End job on node105 at 2011-04-29 04:58:10