| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.45 | 1202.36 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf |
| MD5SUM | 7d95438154723bef0aaca7f7f26ea8e2 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 3.34849 |
| 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.00 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-3368581-1305397847.cnf' 0.00/0.01 c -- header says num vars: 10000 0.00/0.01 c -- header says num clauses: 42000 0.00/0.10 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.00/0.10 c -- vars added 10000 0.00/0.10 c Parsing time: 0.09 s 0.00/0.10 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.00/0.10 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.00/0.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.36/0.12 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.36/0.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.36/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.36/0.14 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 0.36/0.96 c lits-rem: 0 cl-subs: 0 v-elim: 359 v-fix: 0 time: 0.34 s 0.36/0.96 c Finding binary XORs T: 0.00 s found: 0 0.36/0.96 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 0.36/0.96 c calculated reachability. Time: 0.00 0.36/0.96 c Calc default polars - time: 0.01 s pos: 4375 undec: 1206 neg: 4419 0.36/0.96 c ========================================================================================= 0.36/0.96 c types(t): F = full restart, N = normal restart 0.36/0.96 c types(t): S = simplification begin/end, E = solution found 0.36/0.96 c restart types(rt): st = static, dy = dynamic 0.36/0.96 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.36/0.96 c B st 0 0 9641 41622 0 0 126986 0 no data no data -- 0.36/0.96 c N dy 20 4086 9641 41622 0 4084 126986 671807 93.75 100.94 -- 5.53/1.46 c N dy 46 8138 9641 41622 0 4641 126986 325052 92.54 99.82 -- 7.93/2.08 c N dy 71 12251 9641 41622 0 8754 126986 920740 92.27 98.92 -- 10.72/2.71 c N dy 94 16277 9641 41622 0 7029 126986 389041 92.47 121.68 -- 13.11/3.35 c N dy 124 20280 9641 41622 0 11032 126986 991300 93.27 103.45 -- 15.94/4.01 c N dy 148 24390 9641 41622 0 7768 126986 261356 92.67 97.89 -- 16.31/4.11 c F st 153 25000 9641 41622 0 8378 126986 349428 92.65 82.67 -- 19.92/5.02 c N dy 159 30002 9641 41622 0 13377 126986 1371232 92.65 no data -- 19.92/5.02 c S st 159 30002 9641 41622 0 13377 126986 1371232 92.65 no data -- 19.92/5.10 c S st 159 30506 9641 41622 0 13881 126986 1423512 92.65 no data -- 20.33/5.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 20.33/5.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 20.33/5.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 20.70/5.26 c bin-w-bin subsume rem 0 bins time: 0.01 s 20.70/5.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 20.70/5.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 20.70/5.26 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 27.88/7.02 c lits-rem: 8 cl-subs: 0 v-elim: 0 v-fix: 0 time: 7.01 s 27.88/7.07 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.20 27.88/7.08 c calculated reachability. Time: 0.00 27.88/7.08 c N dy 159 30506 9641 41622 0 13881 126986 1423504 92.65 no data -- 31.08/7.81 c N dy 189 34554 9641 41622 0 9243 126986 308560 92.85 99.46 -- 33.87/8.50 c N dy 217 38655 9641 41622 0 13341 126986 949414 93.42 134.18 -- 36.67/9.28 c N dy 243 42897 9641 41622 0 17582 126986 1571820 93.36 98.98 -- 39.06/9.83 c S st 262 45761 9641 41622 0 10610 126986 334972 93.37 72.53 -- 39.46/9.91 c S st 262 46264 9641 41622 0 11113 126986 385587 93.37 no data -- 39.46/9.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 39.46/9.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.46/9.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 39.46/9.98 c bin-w-bin subsume rem 0 bins time: 0.01 s 39.46/9.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 39.46/9.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 39.46/9.99 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 46.27/11.66 c lits-rem: 7 cl-subs: 1 v-elim: 0 v-fix: 0 time: 6.63 s 46.27/11.66 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 46.27/11.67 c vivif2 -- cl tried 11112 cl shrink 0 lits rem 0 time: 0.02 46.68/11.71 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.17 46.68/11.71 c calculated reachability. Time: 0.00 46.68/11.71 c N dy 262 46264 9641 41622 0 11112 126986 385541 93.37 no data -- 49.05/12.38 c N dy 289 50346 9641 41622 0 15194 126986 989135 93.46 98.77 -- 52.24/13.10 c N dy 318 54467 9641 41622 0 19313 126986 1593062 93.40 98.32 -- 55.05/13.83 c N dy 347 58535 9641 41622 0 12462 126986 450799 93.59 100.43 -- 57.83/14.50 c N dy 376 62558 9641 41622 0 16485 126986 1063489 93.83 101.93 -- 60.62/15.21 c N dy 402 66628 9641 41622 0 20555 126986 1680339 93.93 98.93 -- 62.63/15.74 c S st 424 69396 9641 41622 0 23323 126986 2112321 94.20 no data -- 63.02/15.84 c S st 424 69899 9641 41622 0 23826 126986 2164411 94.20 no data -- 63.02/15.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 63.02/15.85 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 63.02/15.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.17 63.84/16.03 c bin-w-bin subsume rem 0 bins time: 0.01 s 63.84/16.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 63.84/16.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 63.84/16.04 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 80.59/20.26 c lits-rem: 24 cl-subs: 3 v-elim: 0 v-fix: 0 time: 16.79 s 80.59/20.26 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 80.59/20.29 c vivif2 -- cl tried 23823 cl shrink 0 lits rem 0 time: 0.10 80.99/20.35 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.26 80.99/20.36 c calculated reachability. Time: 0.00 80.99/20.36 c N dy 424 69899 9641 41622 0 23823 126986 2163491 94.20 no data -- 84.59/21.20 c N dy 453 74643 9641 41622 0 16607 126986 921662 94.14 100.49 -- 88.17/22.10 c N dy 486 79472 9641 41622 0 21436 126986 1658416 94.22 107.08 -- 91.77/23.07 c N dy 524 84662 9641 41622 0 13645 126986 333915 94.37 101.42 -- 93.77/23.57 c F st 545 87500 9641 41622 0 16483 126986 757199 94.36 no data -- 96.16/24.17 c N st 550 90798 9641 41622 0 19781 126986 1311318 94.36 no data -- 100.96/25.31 c N dy 574 96656 9641 41622 0 25639 126986 2284281 94.19 100.91 -- 105.34/26.48 c N dy 613 102990 9641 41622 0 17983 126986 822792 94.12 103.52 -- 106.94/26.80 c S st 627 104848 9641 41622 0 19841 126986 1094627 94.11 no data -- 106.94/26.89 c S st 627 105349 9641 41622 0 20342 126986 1153564 94.11 no data -- 107.34/26.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 107.34/26.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 107.34/26.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 107.34/26.99 c bin-w-bin subsume rem 0 bins time: 0.01 s 107.34/26.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 107.34/27.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 107.34/27.00 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 116.12/29.18 c lits-rem: 15 cl-subs: 2 v-elim: 0 v-fix: 0 time: 8.69 s 116.12/29.18 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 116.12/29.20 c vivif2 -- cl tried 20340 cl shrink 0 lits rem 0 time: 0.06 116.54/29.25 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.22 116.54/29.26 c calculated reachability. Time: 0.00 116.54/29.26 c N dy 627 105349 9641 41622 0 20340 126986 1153236 94.11 no data -- 121.71/30.56 c N dy 674 112217 9641 41622 0 27208 126986 2195012 94.22 99.23 -- 127.30/31.97 c N dy 720 119609 9641 41622 0 19604 126986 921985 94.18 99.61 -- 133.29/33.44 c N dy 771 127416 9641 41622 0 27410 126986 2113768 94.33 102.55 -- 139.28/34.99 c N dy 829 135631 9641 41622 0 19624 126986 773607 94.38 99.66 -- 146.07/36.64 c N dy 886 144378 9641 41622 0 28371 126986 2101969 94.46 100.65 -- 153.25/38.43 c N dy 943 153683 9641 41622 0 20679 126986 786559 94.36 100.54 -- 156.47/39.22 c S st 975 158023 9641 41622 0 25019 126986 1451807 94.49 no data -- 156.85/39.32 c S st 975 158523 9641 41622 0 25519 126986 1507491 94.49 no data -- 156.85/39.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 156.85/39.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 156.85/39.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 157.25/39.44 c bin-w-bin subsume rem 0 bins time: 0.01 s 157.25/39.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 157.25/39.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 157.25/39.44 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 168.83/42.40 c lits-rem: 36 cl-subs: 2 v-elim: 0 v-fix: 0 time: 11.77 s 168.83/42.40 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 169.24/42.42 c vivif2 -- cl tried 25517 cl shrink 0 lits rem 0 time: 0.07 169.24/42.48 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.26 169.24/42.49 c calculated reachability. Time: 0.00 169.24/42.49 c N dy 975 158523 9641 41622 0 25517 126986 1507135 94.49 no data -- 177.61/44.55 c N dy 1038 168665 9641 41622 0 35658 126986 3023972 94.58 111.27 -- 186.00/46.61 c N dy 1107 179608 9641 41622 0 28605 126986 1879582 94.70 102.24 -- 195.18/48.97 c N dy 1186 191221 9641 41622 0 21218 126986 598584 94.79 100.38 -- 204.79/51.31 c N dy 1268 203434 9641 41622 0 33431 126986 2437104 94.88 100.00 -- 215.14/53.97 c N dy 1348 216490 9641 41622 0 26491 126986 1235243 94.86 101.93 -- 227.11/56.94 c N dy 1437 230421 9641 41622 0 40420 126986 3347435 94.85 105.20 -- 233.11/58.40 c S st 1485 237786 9641 41622 0 26783 126986 1137367 94.88 no data -- 233.50/58.50 c S st 1485 238291 9641 41622 0 27288 126986 1191601 94.88 no data -- 233.50/58.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 233.50/58.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 233.50/58.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 233.90/58.61 c bin-w-bin subsume rem 0 bins time: 0.01 s 233.90/58.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 233.90/58.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 233.90/58.61 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 243.08/60.97 c lits-rem: 7 cl-subs: 3 v-elim: 0 v-fix: 0 time: 9.41 s 243.08/60.98 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 243.08/60.99 c vivif2 -- cl tried 27285 cl shrink 0 lits rem 0 time: 0.06 243.48/61.06 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.27 243.48/61.06 c calculated reachability. Time: 0.00 243.48/61.06 c N dy 1485 238291 9641 41622 0 27285 126986 1190759 94.88 no data -- 256.26/64.28 c N dy 1587 253559 9641 41622 0 42550 126986 3480974 94.88 100.49 -- 270.25/67.74 c N dy 1697 269798 9641 41622 0 36793 126986 2517703 94.96 103.75 -- 284.61/71.32 c N dy 1814 287058 9641 41622 0 31053 126986 1489263 95.03 100.65 -- 300.18/75.29 c N dy 1928 305394 9641 41622 0 25388 126986 496907 95.11 110.74 -- 301.00/75.45 c F st 1931 306251 9641 41622 0 26245 126986 623945 95.10 96.70 -- 316.95/79.44 c N dy 2026 324884 9641 41622 0 44878 126986 3622694 95.18 101.69 -- 333.71/83.69 c N dy 2153 345014 9641 41622 0 40015 126986 2545634 95.11 103.15 -- 345.32/86.58 c S st 2241 357436 9641 41622 0 26433 126986 357011 95.22 no data -- 345.69/86.68 c S st 2241 357940 9641 41622 0 26937 126986 413418 95.22 no data -- 345.69/86.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 345.69/86.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 346.09/86.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 346.09/86.75 c bin-w-bin subsume rem 0 bins time: 0.01 s 346.09/86.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 346.09/86.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 346.09/86.76 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 352.48/88.38 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.46 s 352.48/88.39 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 352.48/88.39 c vivif2 -- cl tried 26937 cl shrink 0 lits rem 0 time: 0.02 352.88/88.45 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.25 352.88/88.46 c calculated reachability. Time: 0.00 352.88/88.46 c N dy 2241 357940 9641 41622 0 26937 126986 413418 95.22 no data -- 370.05/92.71 c N dy 2368 377964 9641 41622 0 46960 126986 3479660 95.30 101.17 -- 387.62/97.15 c N dy 2498 397971 9641 41622 0 39972 126986 2287665 95.38 106.79 -- 407.18/102.01 c N dy 2636 418114 9641 41622 0 32110 126986 923689 95.41 100.52 -- 424.75/106.47 c N dy 2764 438133 9641 41622 0 52128 126986 3984549 95.45 107.42 -- 442.72/110.97 c N dy 2894 458244 9641 41622 0 43249 126986 2494200 95.44 102.22 -- 461.88/115.73 c N dy 3016 478659 9641 41622 0 33658 126986 867782 95.40 100.87 -- 480.25/120.31 c N dy 3150 498757 9641 41622 0 53754 126986 3957174 95.47 102.02 -- 498.63/124.96 c N dy 3269 518858 9641 41622 0 42851 126986 2148750 95.46 102.63 -- 516.20/129.39 c S st 3390 536910 9641 41622 0 60903 126986 4939409 95.52 no data -- 516.98/129.54 c S st 3390 537412 9641 41622 0 61405 126986 4992716 95.52 no data -- 516.98/129.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 516.98/129.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 517.38/129.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.26 518.18/129.88 c bin-w-bin subsume rem 0 bins time: 0.01 s 518.18/129.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 518.18/129.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.02 s 518.18/129.88 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 791.28/198.28 c lits-rem: 0 cl-subs: 11 v-elim: 0 v-fix: 0 time: 272.62 s 791.28/198.28 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 791.68/198.35 c vivif2 -- cl tried 61394 cl shrink 0 lits rem 0 time: 0.25 792.08/198.49 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.56 792.08/198.49 c calculated reachability. Time: 0.00 792.08/198.49 c N dy 3390 537412 9641 41622 0 61394 126986 4988922 95.52 no data -- 811.24/203.21 c N dy 3524 557436 9641 41622 0 49418 126986 2952277 95.53 104.40 -- 832.01/208.41 c N dy 3651 577489 9641 41622 0 36472 126986 884158 95.54 142.12 -- 851.97/213.40 c N dy 3792 597787 9641 41622 0 56770 126986 4006604 95.59 103.79 -- 872.72/218.61 c N dy 3914 618022 9641 41622 0 43009 126986 1706122 95.58 104.19 -- 893.09/223.74 c N dy 4045 638083 9641 41622 0 63070 126986 4716628 95.58 101.77 -- 913.45/228.89 c N dy 4174 658245 9641 41622 0 48229 126986 2349827 95.60 101.04 -- 935.02/234.27 c N dy 4302 678344 9641 41622 0 68326 126986 5405477 95.58 105.66 -- 955.39/239.34 c N dy 4441 698390 9641 41622 0 52373 126986 2834847 95.62 102.22 -- 977.77/244.94 c N dy 4562 718482 9641 41622 0 72464 126986 5887590 95.57 101.43 -- 997.70/249.96 c N dy 4687 738574 9641 41622 0 55553 126986 3192870 95.59 107.73 -- 1020.87/255.73 c N dy 4813 758672 9641 41622 0 75650 126986 6260936 95.60 101.42 -- 1040.82/260.72 c N dy 4945 778715 9641 41622 0 57704 126986 3340032 95.63 101.46 -- 1063.99/266.54 c N dy 5065 798733 9641 41622 0 77720 126986 6419960 95.63 101.76 -- 1071.17/268.34 c S st 5116 806120 9641 41622 0 46106 126986 1443509 95.64 81.57 -- 1071.56/268.47 c S st 5116 806622 9641 41622 0 46608 126986 1498495 95.64 no data -- 1071.56/268.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1071.56/268.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1071.96/268.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1072.36/268.61 c bin-w-bin subsume rem 0 bins time: 0.01 s 1072.36/268.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1072.36/268.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 1072.36/268.62 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1085.94/272.01 c lits-rem: 10 cl-subs: 2 v-elim: 0 v-fix: 0 time: 13.48 s 1085.94/272.01 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.02 1085.94/272.03 c vivif2 -- cl tried 46606 cl shrink 0 lits rem 0 time: 0.08 1086.34/272.14 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.44 1086.34/272.15 c calculated reachability. Time: 0.00 1086.34/272.15 c N dy 5116 806622 9641 41622 0 46606 126986 1498247 95.64 no data -- 1107.10/277.39 c N dy 5244 826714 9641 41622 0 66696 126986 4545388 95.64 100.87 -- 1129.86/283.04 c N dy 5383 846848 9641 41622 0 46833 126986 1429183 95.69 102.95 -- 1150.62/288.21 c N dy 5512 867304 9641 41622 0 67287 126986 4534954 95.68 105.71 -- 1172.19/293.69 c N dy 5637 887366 9641 41622 0 46347 126986 1179745 95.70 101.26 -- 1192.56/298.74 c N dy 5772 907425 9641 41622 0 66406 126986 4241895 95.71 101.83 -- 1215.30/304.46 c N dy 5899 927615 9641 41622 0 44596 126986 768049 95.71 103.24 -- 1235.27/309.48 c N dy 6028 947863 9641 41622 0 64843 126986 3859183 95.70 104.20 -- 1258.44/315.23 c N dy 6144 968086 9641 41622 0 85065 126986 6900318 95.67 102.00 -- 1278.78/320.31 c N dy 6283 988335 9641 41622 0 62314 126986 3358533 95.73 103.29 -- 1301.14/325.96 c N dy 6408 1008368 9641 41622 0 82345 126986 6407305 95.73 103.72 -- 1323.50/331.54 c N dy 6539 1028420 9641 41622 0 58401 126986 2562353 95.74 107.82 -- 1346.69/337.36 c N dy 6665 1048475 9641 41622 0 78453 126986 5595191 95.73 102.05 -- 1370.22/343.25 c N dy 6799 1068582 9641 41622 0 53562 126986 1719043 95.75 101.43 -- 1373.81/344.12 c F st 6822 1071877 9641 41622 0 56857 126986 2230136 95.76 no data -- 1392.17/348.79 c N dy 6903 1088721 9641 41622 0 73699 126986 4898767 95.77 100.91 -- 1417.32/355.05 c N dy 7038 1108996 9641 41622 0 47976 126986 708301 95.79 101.89 -- 1437.69/360.16 c N dy 7169 1129017 9641 41622 0 67995 126986 3764887 95.79 106.13 -- 1461.65/366.11 c N dy 7304 1149093 9641 41622 0 88071 126986 6853314 95.82 115.27 -- 1483.21/371.52 c N dy 7435 1169160 9641 41622 0 61136 126986 2573095 95.84 101.86 -- 1505.97/377.25 c N dy 7567 1189257 9641 41622 0 81231 126986 5617199 95.87 102.08 -- 1530.33/383.36 c N dy 7699 1209515 9641 41622 0 53500 126986 1273535 95.90 101.63 -- 1530.74/383.47 c S st 7704 1209934 9641 41622 0 53919 126986 1341274 95.91 no data -- 1531.52/383.61 c S st 7704 1210435 9641 41622 0 54420 126986 1397489 95.91 no data -- 1531.52/383.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1531.52/383.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1531.52/383.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1531.91/383.74 c bin-w-bin subsume rem 0 bins time: 0.01 s 1531.91/383.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1531.91/383.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 1531.91/383.75 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1544.32/386.81 c lits-rem: 26 cl-subs: 3 v-elim: 0 v-fix: 0 time: 12.17 s 1544.32/386.81 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.02 1544.32/386.83 c vivif2 -- cl tried 54417 cl shrink 0 lits rem 0 time: 0.08 1544.69/386.94 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.46 1544.69/386.95 c calculated reachability. Time: 0.00 1544.69/386.95 c N dy 7704 1210435 9641 41622 0 54417 126986 1396689 95.91 no data -- 1566.65/392.40 c N dy 7843 1230539 9641 41622 0 74519 126986 4515320 95.95 102.94 -- 1591.01/398.57 c N dy 7969 1250711 9641 41622 0 94687 126986 7573754 95.94 102.59 -- 1612.97/404.01 c N dy 8104 1270786 9641 41622 0 65773 126986 3008742 95.96 123.62 -- 1636.55/409.92 c N dy 8234 1290923 9641 41622 0 85909 126986 6072281 95.96 104.32 -- 1660.88/416.04 c N dy 8364 1310980 9641 41622 0 55962 126986 1341475 95.98 101.76 -- 1682.83/421.50 c N dy 8495 1331022 9641 41622 0 76002 126986 4473495 96.01 101.97 -- 1707.99/427.89 c N dy 8625 1351180 9641 41622 0 96158 126986 7569762 96.02 102.90 -- 1731.95/433.80 c N dy 8746 1371182 9641 41622 0 65163 126986 2572915 96.01 118.06 -- 1755.50/439.74 c N dy 8880 1391307 9641 41622 0 85286 126986 5663594 96.02 101.47 -- 1781.86/446.36 c N dy 9010 1411329 9641 41622 0 53309 126986 648503 96.06 101.38 -- 1803.44/451.71 c N dy 9144 1431430 9641 41622 0 73410 126986 3772583 96.09 101.53 -- 1828.18/457.91 c N dy 9275 1451473 9641 41622 0 93449 126986 6853205 96.11 101.79 -- 1853.32/464.27 c N dy 9414 1471655 9641 41622 0 60639 126986 1624454 96.14 101.37 -- 1875.68/469.82 c N dy 9539 1491668 9641 41622 0 80649 126986 4660802 96.14 101.61 -- 1901.63/476.34 c N dy 9673 1511835 9641 41622 0 100814 126986 7706330 96.14 101.73 -- 1925.20/482.27 c N dy 9809 1531856 9641 41622 0 66836 126986 2417802 96.16 105.59 -- 1949.15/488.21 c N dy 9947 1551884 9641 41622 0 86862 126986 5529158 96.19 104.38 -- 1976.30/495.09 c N dy 10079 1571916 9641 41622 0 106893 126986 8602333 96.19 104.75 -- 1999.06/500.76 c N dy 10201 1592005 9641 41622 0 71978 126986 3078421 96.18 114.42 -- 2024.61/507.16 c N dy 10330 1612303 9641 41622 0 92275 126986 6184689 96.19 101.54 -- 2056.15/515.03 c N dy 10459 1632320 9641 41622 0 56295 126986 507164 96.19 102.41 -- 2080.14/521.03 c N dy 10578 1652542 9641 41622 0 76516 126986 3628143 96.19 101.29 -- 2108.06/528.07 c N dy 10706 1672866 9641 41622 0 96837 126986 6724278 96.19 102.19 -- 2138.80/535.73 c N dy 10833 1692884 9641 41622 0 59859 126986 918675 96.20 102.80 -- 2159.96/541.00 c S st 10940 1710435 9641 41622 0 77409 126986 3605053 96.19 no data -- 2160.37/541.18 c S st 10940 1710938 9641 41622 0 77912 126986 3666022 96.19 no data -- 2160.77/541.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2160.77/541.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2160.77/541.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.31 2161.57/541.45 c bin-w-bin subsume rem 0 bins time: 0.02 s 2161.57/541.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2161.57/541.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.02 s 2161.57/541.46 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2310.49/578.76 c lits-rem: 1 cl-subs: 6 v-elim: 0 v-fix: 0 time: 148.40 s 2310.49/578.76 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.02 2310.89/578.81 c vivif2 -- cl tried 77906 cl shrink 0 lits rem 0 time: 0.20 2311.29/578.98 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.68 2311.29/578.98 c calculated reachability. Time: 0.00 2311.29/578.98 c N dy 10940 1710938 9641 41622 0 77906 126986 3663994 96.19 no data -- 2337.65/585.54 c N dy 11072 1730955 9641 41622 0 97922 126986 6692941 96.20 101.46 -- 2367.58/593.00 c N dy 11210 1751103 9641 41622 0 60074 126986 799414 96.22 101.39 -- 2391.15/598.92 c N dy 11346 1771231 9641 41622 0 80201 126986 3902734 96.23 101.73 -- 2417.50/605.58 c N dy 11474 1791261 9641 41622 0 100229 126986 6990816 96.24 102.21 -- 2446.65/612.83 c N dy 11609 1811780 9641 41622 0 61752 126986 896187 96.24 108.36 -- 2469.00/618.42 c N dy 11732 1831853 9641 41622 0 81822 126986 3983991 96.24 102.14 -- 2494.95/624.92 c N dy 11861 1851974 9641 41622 0 101941 126986 7077026 96.25 103.31 -- 2523.74/632.19 c N dy 11997 1871993 9641 41622 0 61962 126986 795397 96.28 101.45 -- 2546.05/637.77 c N dy 12127 1892002 9641 41622 0 81968 126986 3886059 96.29 102.70 -- 2572.82/644.40 c N dy 12258 1912124 9641 41622 0 102090 126986 6992999 96.30 104.45 -- 2602.78/651.91 c N dy 12385 1932234 9641 41622 0 61204 126986 523892 96.31 103.36 -- 2625.11/657.52 c N dy 12511 1952303 9641 41622 0 81270 126986 3581394 96.31 144.21 -- 2651.10/664.03 c N dy 12640 1972323 9641 41622 0 101289 126986 6692277 96.33 105.53 -- 2680.62/671.41 c N dy 12770 1992373 9641 41622 0 121339 126986 9764872 96.34 103.14 -- 2704.17/677.37 c N dy 12901 2012478 9641 41622 0 79452 126986 3172856 96.35 101.97 -- 2729.74/683.80 c N dy 13029 2032531 9641 41622 0 99504 126986 6258946 96.35 110.94 -- 2759.67/691.24 c N dy 13169 2052622 9641 41622 0 119594 126986 9392113 96.37 118.94 -- 2784.82/697.56 c N dy 13289 2072727 9641 41622 0 76698 126986 2589604 96.37 102.97 -- 2809.97/703.86 c N dy 13413 2092824 9641 41622 0 96792 126986 5660951 96.37 102.41 -- 2839.12/711.15 c N dy 13551 2112912 9641 41622 0 116880 126986 8759462 96.39 104.57 -- 2867.86/718.34 c N dy 13675 2133013 9641 41622 0 72985 126986 1870602 96.38 106.23 -- 2893.81/724.86 c N dy 13808 2153290 9641 41622 0 93260 126986 4984354 96.39 105.01 -- 2923.39/732.26 c N dy 13935 2173406 9641 41622 0 113374 126986 8051945 96.39 104.70 -- 2954.90/740.12 c N dy 14061 2193434 9641 41622 0 68405 126986 1052128 96.39 103.22 -- 2976.09/745.46 c S st 14177 2210939 9641 41622 0 85908 126986 3748506 96.40 80.03 -- 2976.87/745.65 c S st 14177 2211442 9641 41622 0 86411 126986 3813525 96.40 no data -- 2976.87/745.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2976.87/745.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2977.27/745.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.35 2978.07/745.93 c bin-w-bin subsume rem 0 bins time: 0.02 s 2978.07/745.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2978.07/745.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.02 s 2978.07/745.95 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3151.78/789.47 c lits-rem: 6 cl-subs: 8 v-elim: 0 v-fix: 0 time: 173.44 s 3151.78/789.47 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 3152.15/789.53 c vivif2 -- cl tried 86403 cl shrink 0 lits rem 0 time: 0.22 3152.95/789.72 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.79 3152.95/789.73 c calculated reachability. Time: 0.00 3152.95/789.73 c N dy 14177 2211442 9641 41622 0 86403 126986 3811630 96.40 no data -- 3183.29/797.38 c N dy 14312 2231622 9641 41622 0 106581 126986 6912322 96.41 101.90 -- 3217.66/805.99 c N dy 14448 2251624 9641 41622 0 126582 126986 10004760 96.43 120.76 -- 3247.18/813.31 c N dy 14580 2271904 9641 41622 0 80866 126986 2786059 96.43 102.77 -- 3276.33/820.63 c N dy 14714 2291922 9641 41622 0 100879 126986 5854161 96.45 101.72 -- 3310.66/829.23 c N dy 14860 2312071 9641 41622 0 121027 126986 8982575 96.47 102.19 -- 3343.80/837.57 c N dy 14994 2332210 9641 41622 0 74171 126986 1641909 96.48 101.84 -- 3371.75/844.59 c N dy 15122 2352346 9641 41622 0 94305 126986 4730524 96.48 101.61 -- 3404.10/852.69 c N dy 15254 2372474 9641 41622 0 114432 126986 7840147 96.48 101.80 -- 3441.25/861.97 c N dy 15387 2393005 9641 41622 0 134962 126986 11025235 96.50 102.04 -- 3468.78/868.80 c N dy 15519 2413024 9641 41622 0 86984 126986 3486853 96.51 109.27 -- 3498.34/876.29 c N dy 15643 2433041 9641 41622 0 106998 126986 6551280 96.51 112.47 -- 3532.27/884.75 c N dy 15782 2453135 9641 41622 0 127091 126986 9674328 96.54 101.69 -- 3563.01/892.49 c N dy 15919 2473225 9641 41622 0 78189 126986 1961899 96.55 102.56 -- 3590.16/899.23 c N dy 16051 2493240 9641 41622 0 98199 126986 5053404 96.56 103.88 -- 3621.32/907.02 c N dy 16182 2513381 9641 41622 0 118338 126986 8148972 96.57 101.70 -- 3656.87/915.95 c N dy 16319 2533474 9641 41622 0 138429 126986 11275836 96.58 102.57 -- 3683.21/922.52 c N dy 16441 2553485 9641 41622 0 88443 126986 3383495 96.58 103.79 -- 3712.73/929.90 c N dy 16580 2573523 9641 41622 0 108480 126986 6512906 96.60 103.98 -- 3745.86/938.25 c N dy 16716 2593549 9641 41622 0 128504 126986 9631702 96.61 104.31 -- 3779.01/946.54 c N dy 16853 2613701 9641 41622 0 77667 126986 1604942 96.62 104.20 -- 3806.18/953.33 c N dy 16980 2633715 9641 41622 0 97680 126986 4699165 96.63 103.46 -- 3838.50/961.43 c N dy 17107 2653775 9641 41622 0 117740 126986 7779795 96.63 102.58 -- 3875.23/970.65 c N dy 17238 2673809 9641 41622 0 137773 126986 10868129 96.64 103.29 -- 3905.98/978.39 c N dy 17369 2694084 9641 41622 0 86050 126986 2725294 96.65 102.79 -- 3931.93/984.81 c S st 17490 2711443 9641 41622 0 103408 126986 5396470 96.66 no data -- 3932.73/985.06 c S st 17490 2711947 9641 41622 0 103912 126986 5457401 96.66 no data -- 3932.73/985.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3932.73/985.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3933.15/985.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.41 3934.32/985.46 c bin-w-bin subsume rem 0 bins time: 0.01 s 3934.32/985.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3934.32/985.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 3934.32/985.47 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4318.03/1081.50 c lits-rem: 0 cl-subs: 6 v-elim: 0 v-fix: 0 time: 382.73 s 4318.03/1081.50 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 4318.03/1081.58 c vivif2 -- cl tried 103906 cl shrink 0 lits rem 0 time: 0.29 4319.23/1081.80 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.89 4319.23/1081.81 c calculated reachability. Time: 0.00 4319.23/1081.81 c N dy 17490 2711947 9641 41622 0 103906 126986 5456289 96.66 no data -- 4350.79/1089.74 c N dy 17628 2731983 9641 41622 0 123940 126986 8549469 96.67 114.89 -- 4386.30/1098.62 c N dy 17770 2751990 9641 41622 0 143946 126986 11673584 96.70 102.21 -- 4413.85/1105.50 c N dy 17904 2772060 9641 41622 0 91013 126986 3322766 96.71 102.22 -- 4443.03/1112.87 c N dy 18025 2792197 9641 41622 0 111149 126986 6392230 96.71 103.16 -- 4476.93/1121.33 c N dy 18165 2812246 9641 41622 0 131196 126986 9504513 96.72 106.60 -- 4512.47/1130.26 c N dy 18298 2832349 9641 41622 0 77303 126986 1077135 96.73 106.89 -- 4539.25/1136.99 c N dy 18431 2852432 9641 41622 0 97384 126986 4204290 96.73 103.14 -- 4570.76/1144.86 c N dy 18569 2872526 9641 41622 0 117475 126986 7340397 96.75 120.09 -- 4606.70/1153.81 c N dy 18697 2893265 9641 41622 0 138214 126986 10523076 96.76 104.58 -- 4639.44/1162.09 c N dy 18821 2913393 9641 41622 0 83352 126986 1857500 96.76 103.08 -- 4667.38/1169.07 c N dy 18943 2933499 9641 41622 0 103458 126986 4986171 96.76 105.87 -- 4699.32/1177.02 c N dy 19073 2953579 9641 41622 0 123537 126986 8093425 96.77 140.83 -- 4735.26/1186.04 c N dy 19206 2973586 9641 41622 0 143544 126986 11177512 96.78 102.62 -- 4766.81/1193.94 c N dy 19340 2993619 9641 41622 0 87574 126986 2362700 96.79 102.30 -- 4797.15/1201.52 c N dy 19473 3013620 9641 41622 0 107573 126986 5443346 96.79 102.96 --
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-3368581-1305397847/watcher-3368581-1305397847 -o /tmp/evaluation-result-3368581-1305397847/solver-3368581-1305397847 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368581-1305397847.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: 6.77 7.79 7.91 2/235 7930 /proc/meminfo: memFree=24315700/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=51236 CPUtime=0.01 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 411 0 0 0 1 0 0 0 21 0 4 0 651385451 52465664 352 33554432000 4194304 4650419 140734153352864 18446744073709551615 47136270690226 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 12809 352 303 112 0 7774 0 [pid=7930/tid=7931] ppid=7928 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 651385451 52465664 352 33554432000 4194304 4650419 140734153352864 18446744073709551615 47136270690226 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651385451 52465664 352 33554432000 4194304 4650419 140734153352864 18446744073709551615 47136270690226 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651385451 52465664 352 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0998259 s] /proc/loadavg: 6.77 7.79 7.91 2/235 7930 /proc/meminfo: memFree=24315700/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=364728 CPUtime=0.35 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 10409 0 0 0 29 6 0 0 18 0 4 0 651385451 373481472 8658 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921474240 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 91317 8765 377 112 0 86282 0 [pid=7930/tid=7931] ppid=7928 vsize=365268 CPUtime=0.08 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 2756 0 0 0 7 1 0 0 18 0 4 0 651385451 374034432 8779 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921474240 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=365268 CPUtime=0.08 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 2769 0 0 0 7 1 0 0 18 0 4 0 651385451 374034432 8794 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=365268 CPUtime=0.08 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) S 7928 7930 7898 0 -1 4202560 2022 0 0 0 7 1 0 0 18 0 4 0 651385451 374034432 8805 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921882094 0 0 4096 2 18446604471130538944 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 364728 [startup+0.109604 s] /proc/loadavg: 6.77 7.79 7.91 2/235 7930 /proc/meminfo: memFree=24315700/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=366176 CPUtime=0.36 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 11289 0 0 0 30 6 0 0 18 0 4 0 651385451 374964224 9538 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921438241 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 91544 10009 377 112 0 86509 0 [pid=7930/tid=7931] ppid=7928 vsize=366176 CPUtime=0.09 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 3163 0 0 0 8 1 0 0 18 0 4 0 651385451 374964224 10013 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921426008 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=366176 CPUtime=0.09 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 3159 0 0 0 7 2 0 0 18 0 4 0 651385451 374964224 10015 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921438241 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=366176 CPUtime=0.08 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) S 7928 7930 7898 0 -1 4202560 2032 0 0 0 7 1 0 0 18 0 4 0 651385451 374964224 10016 33554432000 4194304 4650419 140734153352864 18446744073709551615 222921882094 0 0 4096 2 18446604471130538944 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 366176 [startup+0.569229 s] /proc/loadavg: 6.77 7.79 7.91 2/235 7930 /proc/meminfo: memFree=24315700/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=368532 CPUtime=3.82 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 19219 0 0 0 374 8 0 0 19 0 4 0 651385451 377376768 15425 33554432000 4194304 4650419 140734153352864 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 92133 15425 391 112 0 87098 0 [pid=7930/tid=7931] ppid=7928 vsize=368532 CPUtime=0.95 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 5354 0 0 0 93 2 0 0 19 0 4 0 651385451 377376768 15425 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=368532 CPUtime=0.95 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 5176 0 0 0 93 2 0 0 19 0 4 0 651385451 377376768 15425 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=368532 CPUtime=0.94 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 2910 0 0 0 93 1 0 0 19 0 4 0 651385451 377376768 15426 33554432000 4194304 4650419 140734153352864 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 368532 [startup+1.07364 s] /proc/loadavg: 6.77 7.79 7.91 2/235 7930 /proc/meminfo: memFree=24315700/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=368532 CPUtime=4.22 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 19734 0 0 0 414 8 0 0 19 0 4 0 651385451 377376768 15940 33554432000 4194304 4650419 140734153352864 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 92133 15940 391 112 0 87098 0 [pid=7930/tid=7931] ppid=7928 vsize=368532 CPUtime=1.05 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 5459 0 0 0 103 2 0 0 19 0 4 0 651385451 377376768 15940 33554432000 4194304 4650419 140734153352864 18446744073709551615 4361066 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=368532 CPUtime=1.05 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 5278 0 0 0 103 2 0 0 19 0 4 0 651385451 377376768 15940 33554432000 4194304 4650419 140734153352864 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=368532 CPUtime=1.04 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 3123 0 0 0 103 1 0 0 19 0 4 0 651385451 377376768 15940 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 368532 [startup+1.50057 s] /proc/loadavg: 6.77 7.79 7.91 2/235 7930 /proc/meminfo: memFree=24315700/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=373888 CPUtime=5.93 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 23617 0 0 0 584 9 0 0 20 0 4 0 651385451 382861312 14440 33554432000 4194304 4650419 140734153352864 18446744073709551615 4328094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 93472 14440 393 112 0 88437 0 [pid=7930/tid=7931] ppid=7928 vsize=373888 CPUtime=1.48 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 6477 0 0 0 146 2 0 0 19 0 4 0 651385451 382861312 14440 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=373888 CPUtime=1.47 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 6124 0 0 0 145 2 0 0 19 0 4 0 651385451 382861312 14440 33554432000 4194304 4650419 140734153352864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=373888 CPUtime=1.46 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 4305 0 0 0 145 1 0 0 19 0 4 0 651385451 382861312 14440 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 373888 [startup+3.10028 s] /proc/loadavg: 6.95 7.81 7.92 9/245 7943 /proc/meminfo: memFree=24077056/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=375364 CPUtime=12.31 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 31855 0 0 0 1220 11 0 0 25 0 4 0 651385451 384372736 16207 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 93841 16207 393 112 0 88806 0 [pid=7930/tid=7931] ppid=7928 vsize=375364 CPUtime=3.08 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 8528 0 0 0 306 2 0 0 25 0 4 0 651385451 384372736 16208 33554432000 4194304 4650419 140734153352864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=375364 CPUtime=3.08 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 8225 0 0 0 305 3 0 0 24 0 4 0 651385451 384372736 16208 33554432000 4194304 4650419 140734153352864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=375364 CPUtime=3.05 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 6333 0 0 0 303 2 0 0 25 0 4 0 651385451 384372736 16209 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.31 Current children cumulated vsize (KiB) 375364 [startup+6.30069 s] /proc/loadavg: 6.95 7.81 7.92 9/245 7943 /proc/meminfo: memFree=24004316/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=387756 CPUtime=25.09 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 57801 0 0 0 2492 17 0 0 25 0 4 0 651385451 397062144 28053 33554432000 4194304 4650419 140734153352864 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 96939 28053 395 112 0 91904 0 [pid=7930/tid=7931] ppid=7928 vsize=387756 CPUtime=6.28 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 15438 0 0 0 624 4 0 0 25 0 4 0 651385451 397062144 28053 33554432000 4194304 4650419 140734153352864 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=387756 CPUtime=6.28 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 12665 0 0 0 624 4 0 0 25 0 4 0 651385451 397062144 28053 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=387756 CPUtime=6.23 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 10452 0 0 0 620 3 0 0 25 0 4 0 651385451 397062144 28053 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.09 Current children cumulated vsize (KiB) 387756 [startup+12.7005 s] /proc/loadavg: 7.11 7.81 7.92 9/245 7943 /proc/meminfo: memFree=23914288/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=406176 CPUtime=50.67 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 89478 0 0 0 5042 25 0 0 25 0 4 0 651385451 415924224 45998 33554432000 4194304 4650419 140734153352864 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 101544 45998 395 112 0 96509 0 [pid=7930/tid=7931] ppid=7928 vsize=406176 CPUtime=12.69 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 18129 0 0 0 1265 4 0 0 25 0 4 0 651385451 415924224 46007 33554432000 4194304 4650419 140734153352864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=406176 CPUtime=12.68 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 22980 0 0 0 1261 7 0 0 25 0 4 0 651385451 415924224 46007 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366194 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=406176 CPUtime=12.58 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 23529 0 0 0 1253 5 0 0 25 0 4 0 651385451 415924224 46007 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.67 Current children cumulated vsize (KiB) 406176 [startup+25.5012 s] /proc/loadavg: 7.33 7.84 7.92 9/245 7944 /proc/meminfo: memFree=23496300/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=611920 CPUtime=101.75 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 144643 0 0 0 10136 39 0 0 25 0 4 0 651385451 626606080 73228 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 152980 73229 395 112 0 147945 0 [pid=7930/tid=7931] ppid=7928 vsize=611920 CPUtime=25.48 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 31934 0 0 0 2541 7 0 0 25 0 4 0 651385451 626606080 73229 33554432000 4194304 4650419 140734153352864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=611920 CPUtime=25.48 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 35880 0 0 0 2537 11 0 0 25 0 4 0 651385451 626606080 73229 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=611920 CPUtime=25.29 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 35249 0 0 0 2520 9 0 0 25 0 4 0 651385451 626606080 73229 33554432000 4194304 4650419 140734153352864 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.75 Current children cumulated vsize (KiB) 611920 [startup+51.1005 s] /proc/loadavg: 7.56 7.85 7.92 9/245 7944 /proc/meminfo: memFree=23396512/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=611904 CPUtime=203.96 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 216354 0 0 0 20338 58 0 0 25 0 4 0 651385451 626589696 79864 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 152976 79864 395 112 0 147941 0 [pid=7930/tid=7931] ppid=7928 vsize=611904 CPUtime=51.08 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 50240 0 0 0 5096 12 0 0 25 0 4 0 651385451 626589696 79864 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=611904 CPUtime=51.08 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 54213 0 0 0 5092 16 0 0 25 0 4 0 651385451 626589696 79864 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=611904 CPUtime=50.7 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 54021 0 0 0 5056 14 0 0 25 0 4 0 651385451 626589696 79864 33554432000 4194304 4650419 140734153352864 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.96 Current children cumulated vsize (KiB) 611904 [startup+102.301 s] /proc/loadavg: 7.91 7.90 7.94 9/245 7946 /proc/meminfo: memFree=23211560/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=665356 CPUtime=408.39 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 367838 0 0 0 40742 97 0 0 25 0 4 0 651385451 681324544 94495 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 166339 94495 395 112 0 161304 0 [pid=7930/tid=7931] ppid=7928 vsize=665356 CPUtime=102.28 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 80749 0 0 0 10209 19 0 0 25 0 4 0 651385451 681324544 94495 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=665356 CPUtime=102.27 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 92003 0 0 0 10200 27 0 0 25 0 4 0 651385451 681324544 94495 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363398 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=665356 CPUtime=101.52 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 98458 0 0 0 10127 25 0 0 25 0 4 0 651385451 681324544 94495 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.39 Current children cumulated vsize (KiB) 665356 [startup+162.301 s] ################ # More data... # ################ [pid=7930] ppid=7928 vsize=971548 CPUtime=2564.43 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 2056266 0 0 0 255889 554 0 0 25 0 4 0 651385451 994865152 169010 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 242887 169010 395 112 0 237852 0 [pid=7930/tid=7931] ppid=7928 vsize=971548 CPUtime=642.26 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 636111 0 0 0 64082 144 0 0 25 0 4 0 651385451 994865152 169010 33554432000 4194304 4650419 140734153352864 18446744073709551615 4360393 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=971548 CPUtime=642.28 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 612908 0 0 0 64063 165 0 0 25 0 4 0 651385451 994865152 169010 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=971548 CPUtime=637.59 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 358678 0 0 0 63642 117 0 0 25 0 4 0 651385451 994865152 169010 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2564.43 Current children cumulated vsize (KiB) 971548 [startup+702.301 s] /proc/loadavg: 8.05 8.02 7.99 9/245 7962 /proc/meminfo: memFree=22321080/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1099348 CPUtime=2803.99 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 2165741 0 0 0 279806 593 0 0 25 0 4 0 651385451 1125732352 190731 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 274837 190731 395 112 0 269802 0 [pid=7930/tid=7931] ppid=7928 vsize=1099348 CPUtime=702.26 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 663953 0 0 0 70072 154 0 0 25 0 4 0 651385451 1125732352 190731 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1099348 CPUtime=702.28 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 640428 0 0 0 70053 175 0 0 25 0 4 0 651385451 1125732352 190731 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366043 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1099348 CPUtime=697.16 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 384538 0 0 0 69588 128 0 0 25 0 4 0 651385451 1125732352 190731 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2803.99 Current children cumulated vsize (KiB) 1099348 [startup+762.301 s] /proc/loadavg: 8.06 8.03 7.99 9/245 7963 /proc/meminfo: memFree=22344460/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1050144 CPUtime=3043.55 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 2243012 0 0 0 303729 626 0 0 25 0 4 0 651385451 1075347456 179963 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 262536 179963 395 112 0 257501 0 [pid=7930/tid=7931] ppid=7928 vsize=1050144 CPUtime=762.25 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 692205 0 0 0 76057 168 0 0 25 0 4 0 651385451 1075347456 179963 33554432000 4194304 4650419 140734153352864 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1050144 CPUtime=761.85 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 662212 0 0 0 76002 183 0 0 25 0 4 0 651385451 1075347456 179963 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1050144 CPUtime=757.15 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 391841 0 0 0 75584 131 0 0 25 0 4 0 651385451 1075347456 179963 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3043.55 Current children cumulated vsize (KiB) 1050144 [startup+822.301 s] /proc/loadavg: 8.12 8.05 8.00 9/245 7965 /proc/meminfo: memFree=22221528/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1179976 CPUtime=3283.13 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 2450013 0 0 0 327637 676 0 0 25 0 4 0 651385451 1208295424 209717 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 294994 209717 395 112 0 289959 0 [pid=7930/tid=7931] ppid=7928 vsize=1179976 CPUtime=822.26 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 696843 0 0 0 82055 171 0 0 25 0 4 0 651385451 1208295424 209719 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1179976 CPUtime=821.42 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 765805 0 0 0 81942 200 0 0 25 0 4 0 651385451 1208295424 209719 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1179976 CPUtime=817.16 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 417586 0 0 0 81570 146 0 0 25 0 4 0 651385451 1208295424 209719 33554432000 4194304 4650419 140734153352864 18446744073709551615 4328292 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3283.13 Current children cumulated vsize (KiB) 1179976 [startup+882.301 s] /proc/loadavg: 8.13 8.07 8.01 9/245 7967 /proc/meminfo: memFree=22219132/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1168056 CPUtime=3522.68 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 2561660 0 0 0 351557 711 0 0 25 0 4 0 651385451 1196089344 211626 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 292014 211626 395 112 0 286979 0 [pid=7930/tid=7931] ppid=7928 vsize=1168056 CPUtime=882.26 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 698206 0 0 0 88054 172 0 0 25 0 4 0 651385451 1196089344 211626 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1168056 CPUtime=880.99 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 831630 0 0 0 87890 209 0 0 25 0 4 0 651385451 1196089344 211626 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1168056 CPUtime=877.15 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 439642 0 0 0 87555 160 0 0 25 0 4 0 651385451 1196089344 211626 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3522.68 Current children cumulated vsize (KiB) 1168056 [startup+942.31 s] /proc/loadavg: 8.08 8.07 8.01 9/245 7968 /proc/meminfo: memFree=22108492/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1117288 CPUtime=3762.27 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 2639765 0 0 0 375482 745 0 0 25 0 4 0 651385451 1144102912 218827 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 279322 218827 395 112 0 274287 0 [pid=7930/tid=7931] ppid=7928 vsize=1117288 CPUtime=942.26 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 724917 0 0 0 94044 182 0 0 25 0 4 0 651385451 1144102912 218827 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366068 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1117288 CPUtime=940.56 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 831630 0 0 0 93847 209 0 0 25 0 4 0 651385451 1144102912 218827 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1117288 CPUtime=937.15 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 464289 0 0 0 93543 172 0 0 25 0 4 0 651385451 1144102912 218827 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3762.27 Current children cumulated vsize (KiB) 1117288 [startup+1002.3 s] /proc/loadavg: 8.06 8.07 8.01 9/245 7970 /proc/meminfo: memFree=22121464/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1144156 CPUtime=4001.8 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 2795016 0 0 0 399395 785 0 0 25 0 4 0 651385451 1171615744 217542 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 286039 217542 395 112 0 281004 0 [pid=7930/tid=7931] ppid=7928 vsize=1144156 CPUtime=1002.25 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 745185 0 0 0 100031 194 0 0 25 0 4 0 651385451 1171615744 217542 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1144156 CPUtime=1000.11 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 833772 0 0 0 99802 209 0 0 25 0 4 0 651385451 1171615744 217542 33554432000 4194304 4650419 140734153352864 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1144156 CPUtime=997.15 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 579736 0 0 0 99525 190 0 0 25 0 4 0 651385451 1171615744 217542 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4001.8 Current children cumulated vsize (KiB) 1144156 [startup+1062.3 s] /proc/loadavg: 8.02 8.05 8.00 9/245 7971 /proc/meminfo: memFree=22165324/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1105948 CPUtime=4241.36 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 2983667 0 0 0 423301 835 0 0 25 0 4 0 651385451 1132490752 213510 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 276487 213510 395 112 0 271452 0 [pid=7930/tid=7931] ppid=7928 vsize=1105948 CPUtime=1062.24 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 769860 0 0 0 106015 209 0 0 25 0 4 0 651385451 1132490752 213510 33554432000 4194304 4650419 140734153352864 18446744073709551615 4360470 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1105948 CPUtime=1059.67 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 858033 0 0 0 105744 223 0 0 25 0 4 0 651385451 1132490752 213510 33554432000 4194304 4650419 140734153352864 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1105948 CPUtime=1057.14 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 719451 0 0 0 105504 210 0 0 25 0 4 0 651385451 1132490752 213510 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4241.36 Current children cumulated vsize (KiB) 1105948 [startup+1122.3 s] /proc/loadavg: 8.01 8.04 8.00 9/245 7973 /proc/meminfo: memFree=21998388/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1309932 CPUtime=4480.92 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 3107499 0 0 0 447215 877 0 0 25 0 4 0 651385451 1341370368 237652 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 327483 237652 395 112 0 322448 0 [pid=7930/tid=7931] ppid=7928 vsize=1309932 CPUtime=1122.25 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 822899 0 0 0 112007 218 0 0 25 0 4 0 651385451 1341370368 237652 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1309932 CPUtime=1119.25 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 882373 0 0 0 111690 235 0 0 25 0 4 0 651385451 1341370368 237652 33554432000 4194304 4650419 140734153352864 18446744073709551615 4315744 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1309932 CPUtime=1117.15 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 749016 0 0 0 111491 224 0 0 25 0 4 0 651385451 1341370368 237652 33554432000 4194304 4650419 140734153352864 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4480.92 Current children cumulated vsize (KiB) 1309932 [startup+1182.3 s] /proc/loadavg: 8.10 8.06 8.00 9/245 7975 /proc/meminfo: memFree=21997480/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1245480 CPUtime=4720.49 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 3298082 0 0 0 471127 922 0 0 25 0 4 0 651385451 1275371520 231566 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 311370 231566 395 112 0 306335 0 [pid=7930/tid=7931] ppid=7928 vsize=1245480 CPUtime=1182.24 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 947134 0 0 0 117990 234 0 0 25 0 4 0 651385451 1275371520 231566 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476756 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1245480 CPUtime=1178.81 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 904378 0 0 0 117637 244 0 0 25 0 4 0 651385451 1275371520 231566 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1245480 CPUtime=1177.15 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 771293 0 0 0 117481 234 0 0 25 0 4 0 651385451 1275371520 231566 33554432000 4194304 4650419 140734153352864 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4720.49 Current children cumulated vsize (KiB) 1245480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.3 s] /proc/loadavg: 8.15 8.07 8.01 9/245 7975 /proc/meminfo: memFree=22042972/32951124 swapFree=61559568/67111528 [pid=7930] ppid=7928 vsize=1232484 CPUtime=4800.37 cores=1,3,5,7 /proc/7930/stat : 7930 (strangenight1-m) R 7928 7930 7898 0 -1 4202496 3378117 0 0 0 479097 940 0 0 25 0 4 0 651385451 1262063616 238811 33554432000 4194304 4650419 140734153352864 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7930/statm: 308121 238811 395 112 0 303086 0 [pid=7930/tid=7931] ppid=7928 vsize=1232484 CPUtime=1202.25 cores=1,3,5,7 /proc/7930/task/7931/stat : 7931 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 996631 0 0 0 119984 241 0 0 25 0 4 0 651385451 1262063616 238813 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7930/tid=7932] ppid=7928 vsize=1232484 CPUtime=1198.67 cores=1,3,5,7 /proc/7930/task/7932/stat : 7932 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 922510 0 0 0 119619 248 0 0 25 0 4 0 651385451 1262063616 238813 33554432000 4194304 4650419 140734153352864 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7930/tid=7933] ppid=7928 vsize=1232484 CPUtime=1197.15 cores=1,3,5,7 /proc/7930/task/7933/stat : 7933 (strangenight1-m) R 7928 7930 7898 0 -1 4202560 778268 0 0 0 119478 237 0 0 25 0 4 0 651385451 1262063616 238813 33554432000 4194304 4650419 140734153352864 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.37 Current children cumulated vsize (KiB) 1232484 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): 1202.36 CPU time (s): 4800.45 CPU user time (s): 4791 CPU system time (s): 9.44256 CPU usage (%): 399.253 Max. virtual memory (cumulated for all children) (KiB): 1309932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791 system time used= 9.44256 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3378122 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= 4828 involuntary context switches= 30705 runsolver used 2.33764 second user time and 6.43302 second system time The end
Begin job on node109 at 2011-05-14 20:30:47 IDJOB=3368581 IDBENCH=82590 IDSOLVER=1846 FILE ID=node109/3368581-1305397847 RUNJOBID= node109-1305397847-7917 PBS_JOBID= 13324470 Free space on /tmp= 73224 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368581-1305397847/watcher-3368581-1305397847 -o /tmp/evaluation-result-3368581-1305397847/solver-3368581-1305397847 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368581-1305397847.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7d95438154723bef0aaca7f7f26ea8e2 RANDOM SEED=1839811818 node109.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.809 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.61 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.809 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.809 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.74 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.809 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.809 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24316104 kB Buffers: 226788 kB Cached: 2253888 kB SwapCached: 28404 kB Active: 95268 kB Inactive: 8322292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24316104 kB SwapTotal: 67111528 kB SwapFree: 61559568 kB Dirty: 8300 kB Writeback: 0 kB AnonPages: 5914944 kB Mapped: 17120 kB Slab: 122200 kB PageTables: 31284 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 17852496 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= 73212 MiB End job on node109 at 2011-05-14 20:50:51