| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.14 | 1201.95 |
| 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.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3174972-1304063327.cnf' 0.00/0.00 c -- header says num vars: 10000 0.00/0.00 c -- header says num clauses: 42000 0.00/0.04 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.00/0.04 c -- vars added 10000 0.00/0.04 c Parsing time: 0.06 s 0.00/0.04 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.00/0.09 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.00/0.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.34/0.12 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.34/0.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.34/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.34/0.12 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 3.13/0.86 c lits-rem: 0 cl-subs: 0 v-elim: 359 v-fix: 0 time: 0.35 s 3.13/0.86 c Finding binary XORs T: 0.01 s found: 0 3.13/0.86 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 3.13/0.86 c calculated reachability. Time: 0.00 3.13/0.86 c Calc default polars - time: 0.01 s pos: 4375 undec: 1206 neg: 4419 3.13/0.86 c ========================================================================================= 3.13/0.86 c types(t): F = full restart, N = normal restart 3.13/0.86 c types(t): S = simplification begin/end, E = solution found 3.13/0.86 c restart types(rt): st = static, dy = dynamic 3.13/0.86 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.13/0.86 c B st 0 0 9641 41622 0 0 126986 0 no data no data -- 3.13/0.86 c N dy 20 4086 9641 41622 0 4084 126986 671807 93.75 100.94 -- 5.52/1.45 c N dy 46 8138 9641 41622 0 4641 126986 325052 92.54 99.82 -- 7.92/2.07 c N dy 71 12251 9641 41622 0 8754 126986 920740 92.27 98.92 -- 10.71/2.70 c N dy 94 16277 9641 41622 0 7029 126986 389041 92.47 121.68 -- 13.12/3.33 c N dy 124 20280 9641 41622 0 11032 126986 991300 93.27 103.45 -- 15.51/3.99 c N dy 148 24390 9641 41622 0 7768 126986 261356 92.67 97.89 -- 15.91/4.09 c F st 153 25000 9641 41622 0 8378 126986 349428 92.65 82.67 -- 19.91/5.00 c N dy 159 30002 9641 41622 0 13377 126986 1371232 92.65 no data -- 19.91/5.00 c S st 159 30002 9641 41622 0 13377 126986 1371232 92.65 no data -- 19.91/5.08 c S st 159 30506 9641 41622 0 13881 126986 1423512 92.65 no data -- 19.91/5.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.91/5.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 20.31/5.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 20.70/5.24 c bin-w-bin subsume rem 0 bins time: 0.01 s 20.70/5.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 20.70/5.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 20.70/5.24 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 27.90/7.01 c lits-rem: 8 cl-subs: 0 v-elim: 0 v-fix: 0 time: 7.03 s 27.90/7.06 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.20 27.90/7.06 c calculated reachability. Time: 0.00 27.90/7.06 c N dy 159 30506 9641 41622 0 13881 126986 1423504 92.65 no data -- 30.69/7.79 c N dy 189 34554 9641 41622 0 9243 126986 308560 92.85 99.46 -- 33.49/8.48 c N dy 217 38655 9641 41622 0 13341 126986 949414 93.42 134.18 -- 36.68/9.26 c N dy 243 42897 9641 41622 0 17582 126986 1571820 93.36 98.98 -- 39.08/9.81 c S st 262 45761 9641 41622 0 10610 126986 334972 93.37 72.53 -- 39.08/9.89 c S st 262 46264 9641 41622 0 11113 126986 385587 93.37 no data -- 39.08/9.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 39.08/9.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.48/9.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 39.48/9.96 c bin-w-bin subsume rem 0 bins time: 0.01 s 39.48/9.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 39.48/9.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 39.48/9.97 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 46.26/11.63 c lits-rem: 7 cl-subs: 1 v-elim: 0 v-fix: 0 time: 6.62 s 46.26/11.63 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 46.26/11.64 c vivif2 -- cl tried 11112 cl shrink 0 lits rem 0 time: 0.02 46.26/11.68 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.17 46.26/11.68 c calculated reachability. Time: 0.00 46.26/11.68 c N dy 262 46264 9641 41622 0 11112 126986 385541 93.37 no data -- 49.09/12.36 c N dy 289 50346 9641 41622 0 15194 126986 989135 93.46 98.77 -- 51.86/13.07 c N dy 318 54467 9641 41622 0 19313 126986 1593062 93.40 98.32 -- 55.05/13.80 c N dy 347 58535 9641 41622 0 12462 126986 450799 93.59 100.43 -- 57.46/14.47 c N dy 376 62558 9641 41622 0 16485 126986 1063489 93.83 101.93 -- 60.25/15.18 c N dy 402 66628 9641 41622 0 20555 126986 1680339 93.93 98.93 -- 62.64/15.71 c S st 424 69396 9641 41622 0 23323 126986 2112321 94.20 no data -- 63.04/15.80 c S st 424 69899 9641 41622 0 23826 126986 2164411 94.20 no data -- 63.04/15.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 63.04/15.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 63.04/15.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 63.44/15.99 c bin-w-bin subsume rem 0 bins time: 0.01 s 63.44/15.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 63.84/16.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 63.84/16.00 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 80.62/20.25 c lits-rem: 24 cl-subs: 3 v-elim: 0 v-fix: 0 time: 16.91 s 80.62/20.25 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 80.62/20.28 c vivif2 -- cl tried 23823 cl shrink 0 lits rem 0 time: 0.10 81.02/20.34 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.26 81.02/20.34 c calculated reachability. Time: 0.00 81.02/20.34 c N dy 424 69899 9641 41622 0 23823 126986 2163491 94.20 no data -- 84.23/21.19 c N dy 453 74643 9641 41622 0 16607 126986 921662 94.14 100.49 -- 87.81/22.09 c N dy 486 79472 9641 41622 0 21436 126986 1658416 94.22 107.08 -- 91.81/23.06 c N dy 524 84662 9641 41622 0 13645 126986 333915 94.37 101.42 -- 93.80/23.56 c F st 545 87500 9641 41622 0 16483 126986 757199 94.36 no data -- 96.20/24.16 c N st 550 90798 9641 41622 0 19781 126986 1311318 94.36 no data -- 100.99/25.30 c N dy 574 96656 9641 41622 0 25639 126986 2284281 94.19 100.91 -- 105.39/26.47 c N dy 613 102990 9641 41622 0 17983 126986 822792 94.12 103.52 -- 106.58/26.79 c S st 627 104848 9641 41622 0 19841 126986 1094627 94.11 no data -- 106.97/26.88 c S st 627 105349 9641 41622 0 20342 126986 1153564 94.11 no data -- 106.97/26.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 106.97/26.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 107.37/26.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 107.37/26.98 c bin-w-bin subsume rem 0 bins time: 0.01 s 107.37/26.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 107.37/26.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 107.37/26.99 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 116.17/29.17 c lits-rem: 15 cl-subs: 2 v-elim: 0 v-fix: 0 time: 8.72 s 116.17/29.18 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 116.17/29.19 c vivif2 -- cl tried 20340 cl shrink 0 lits rem 0 time: 0.05 116.57/29.25 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.23 116.57/29.25 c calculated reachability. Time: 0.00 116.57/29.25 c N dy 627 105349 9641 41622 0 20340 126986 1153236 94.11 no data -- 121.76/30.55 c N dy 674 112217 9641 41622 0 27208 126986 2195012 94.22 99.23 -- 127.35/31.95 c N dy 720 119609 9641 41622 0 19604 126986 921985 94.18 99.61 -- 133.34/33.43 c N dy 771 127416 9641 41622 0 27410 126986 2113768 94.33 102.55 -- 139.34/34.98 c N dy 829 135631 9641 41622 0 19624 126986 773607 94.38 99.66 -- 146.12/36.63 c N dy 886 144378 9641 41622 0 28371 126986 2101969 94.46 100.65 -- 153.31/38.42 c N dy 943 153683 9641 41622 0 20679 126986 786559 94.36 100.54 -- 156.52/39.21 c S st 975 158023 9641 41622 0 25019 126986 1451807 94.49 no data -- 156.92/39.30 c S st 975 158523 9641 41622 0 25519 126986 1507491 94.49 no data -- 156.92/39.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 156.92/39.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 156.92/39.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 157.32/39.42 c bin-w-bin subsume rem 0 bins time: 0.01 s 157.32/39.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 157.32/39.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 157.32/39.43 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 168.89/42.39 c lits-rem: 36 cl-subs: 2 v-elim: 0 v-fix: 0 time: 11.79 s 168.89/42.39 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 169.29/42.41 c vivif2 -- cl tried 25517 cl shrink 0 lits rem 0 time: 0.08 169.29/42.48 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.26 169.29/42.48 c calculated reachability. Time: 0.00 169.29/42.48 c N dy 975 158523 9641 41622 0 25517 126986 1507135 94.49 no data -- 177.68/44.54 c N dy 1038 168665 9641 41622 0 35658 126986 3023972 94.58 111.27 -- 186.07/46.60 c N dy 1107 179608 9641 41622 0 28605 126986 1879582 94.70 102.24 -- 195.26/48.97 c N dy 1186 191221 9641 41622 0 21218 126986 598584 94.79 100.38 -- 204.85/51.30 c N dy 1268 203434 9641 41622 0 33431 126986 2437104 94.88 100.00 -- 215.23/53.93 c N dy 1348 216490 9641 41622 0 26491 126986 1235243 94.86 101.93 -- 227.21/56.94 c N dy 1437 230421 9641 41622 0 40420 126986 3347435 94.85 105.20 -- 232.81/58.40 c S st 1485 237786 9641 41622 0 26783 126986 1137367 94.88 no data -- 233.22/58.50 c S st 1485 238291 9641 41622 0 27288 126986 1191601 94.88 no data -- 233.63/58.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 233.63/58.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 233.63/58.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 234.01/58.60 c bin-w-bin subsume rem 0 bins time: 0.01 s 234.01/58.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 234.01/58.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 234.01/58.61 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 243.19/60.99 c lits-rem: 7 cl-subs: 3 v-elim: 0 v-fix: 0 time: 9.50 s 243.59/61.00 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 243.59/61.01 c vivif2 -- cl tried 27285 cl shrink 0 lits rem 0 time: 0.06 243.59/61.08 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.26 243.59/61.08 c calculated reachability. Time: 0.00 243.59/61.08 c N dy 1485 238291 9641 41622 0 27285 126986 1190759 94.88 no data -- 256.77/64.32 c N dy 1587 253559 9641 41622 0 42550 126986 3480974 94.88 100.49 -- 270.36/67.77 c N dy 1697 269798 9641 41622 0 36793 126986 2517703 94.96 103.75 -- 284.74/71.36 c N dy 1814 287058 9641 41622 0 31053 126986 1489263 95.03 100.65 -- 300.72/75.34 c N dy 1928 305394 9641 41622 0 25388 126986 496907 95.11 110.74 -- 301.52/75.50 c F st 1931 306251 9641 41622 0 26245 126986 623945 95.10 96.70 -- 317.12/79.47 c N dy 2026 324884 9641 41622 0 44878 126986 3622694 95.18 101.69 -- 334.28/83.71 c N dy 2153 345014 9641 41622 0 40015 126986 2545634 95.11 103.15 -- 345.85/86.61 c S st 2241 357436 9641 41622 0 26433 126986 357011 95.22 no data -- 346.25/86.71 c S st 2241 357940 9641 41622 0 26937 126986 413418 95.22 no data -- 346.25/86.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 346.25/86.71 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 346.25/86.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 346.25/86.78 c bin-w-bin subsume rem 0 bins time: 0.01 s 346.25/86.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 346.25/86.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 346.25/86.79 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 353.04/88.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.43 s 353.04/88.41 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 353.04/88.42 c vivif2 -- cl tried 26937 cl shrink 0 lits rem 0 time: 0.03 353.04/88.48 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.25 353.04/88.48 c calculated reachability. Time: 0.00 353.04/88.48 c N dy 2241 357940 9641 41622 0 26937 126986 413418 95.22 no data -- 370.21/92.75 c N dy 2368 377964 9641 41622 0 46960 126986 3479660 95.30 101.17 -- 387.79/97.13 c N dy 2498 397971 9641 41622 0 39972 126986 2287665 95.38 106.79 -- 407.37/102.05 c N dy 2636 418114 9641 41622 0 32110 126986 923689 95.41 100.52 -- 425.35/106.52 c N dy 2764 438133 9641 41622 0 52128 126986 3984549 95.45 107.42 -- 443.32/111.02 c N dy 2894 458244 9641 41622 0 43249 126986 2494200 95.44 102.22 -- 462.49/115.80 c N dy 3016 478659 9641 41622 0 33658 126986 867782 95.40 100.87 -- 480.47/120.38 c N dy 3150 498757 9641 41622 0 53754 126986 3957174 95.47 102.02 -- 499.25/125.02 c N dy 3269 518858 9641 41622 0 42851 126986 2148750 95.46 102.63 -- 516.82/129.47 c S st 3390 536910 9641 41622 0 60903 126986 4939409 95.52 no data -- 517.62/129.62 c S st 3390 537412 9641 41622 0 61405 126986 4992716 95.52 no data -- 517.62/129.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 517.62/129.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 518.02/129.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.27 518.83/129.95 c bin-w-bin subsume rem 0 bins time: 0.01 s 518.83/129.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 518.83/129.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 518.83/129.96 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 793.64/198.76 c lits-rem: 0 cl-subs: 11 v-elim: 0 v-fix: 0 time: 274.33 s 793.64/198.77 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 794.04/198.83 c vivif2 -- cl tried 61394 cl shrink 0 lits rem 0 time: 0.26 794.43/198.97 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.56 794.43/198.98 c calculated reachability. Time: 0.00 794.43/198.98 c N dy 3390 537412 9641 41622 0 61394 126986 4988922 95.52 no data -- 813.63/203.72 c N dy 3524 557436 9641 41622 0 49418 126986 2952277 95.53 104.40 -- 834.38/208.91 c N dy 3651 577489 9641 41622 0 36472 126986 884158 95.54 142.12 -- 854.35/213.93 c N dy 3792 597787 9641 41622 0 56770 126986 4006604 95.59 103.79 -- 875.14/219.17 c N dy 3914 618022 9641 41622 0 43009 126986 1706122 95.58 104.19 -- 895.90/224.36 c N dy 4045 638083 9641 41622 0 63070 126986 4716628 95.58 101.77 -- 916.67/229.54 c N dy 4174 658245 9641 41622 0 48229 126986 2349827 95.60 101.04 -- 938.24/234.94 c N dy 4302 678344 9641 41622 0 68326 126986 5405477 95.58 105.66 -- 958.63/240.02 c N dy 4441 698390 9641 41622 0 52373 126986 2834847 95.62 102.22 -- 980.98/245.67 c N dy 4562 718482 9641 41622 0 72464 126986 5887590 95.57 101.43 -- 1000.96/250.68 c N dy 4687 738574 9641 41622 0 55553 126986 3192870 95.59 107.73 -- 1024.14/256.48 c N dy 4813 758672 9641 41622 0 75650 126986 6260936 95.60 101.42 -- 1044.10/261.49 c N dy 4945 778715 9641 41622 0 57704 126986 3340032 95.63 101.46 -- 1067.67/267.33 c N dy 5065 798733 9641 41622 0 77720 126986 6419960 95.63 101.76 -- 1074.86/269.14 c S st 5116 806120 9641 41622 0 46106 126986 1443509 95.64 81.57 -- 1075.26/269.28 c S st 5116 806622 9641 41622 0 46608 126986 1498495 95.64 no data -- 1075.26/269.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1075.26/269.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1075.65/269.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1076.05/269.42 c bin-w-bin subsume rem 0 bins time: 0.01 s 1076.05/269.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1076.05/269.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 1076.05/269.43 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1089.63/272.85 c lits-rem: 10 cl-subs: 2 v-elim: 0 v-fix: 0 time: 13.62 s 1089.63/272.85 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 1089.63/272.87 c vivif2 -- cl tried 46606 cl shrink 0 lits rem 0 time: 0.08 1090.04/272.98 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.42 1090.04/272.98 c calculated reachability. Time: 0.00 1090.04/272.98 c N dy 5116 806622 9641 41622 0 46606 126986 1498247 95.64 no data -- 1111.20/278.26 c N dy 5244 826714 9641 41622 0 66696 126986 4545388 95.64 100.87 -- 1133.98/283.94 c N dy 5383 846848 9641 41622 0 46833 126986 1429183 95.69 102.95 -- 1154.35/289.08 c N dy 5512 867304 9641 41622 0 67287 126986 4534954 95.68 105.71 -- 1176.31/294.54 c N dy 5637 887366 9641 41622 0 46347 126986 1179745 95.70 101.26 -- 1196.68/299.61 c N dy 5772 907425 9641 41622 0 66406 126986 4241895 95.71 101.83 -- 1219.46/305.35 c N dy 5899 927615 9641 41622 0 44596 126986 768049 95.71 103.24 -- 1239.44/310.36 c N dy 6028 947863 9641 41622 0 64843 126986 3859183 95.70 104.20 -- 1262.59/316.13 c N dy 6144 968086 9641 41622 0 85065 126986 6900318 95.67 102.00 -- 1282.97/321.22 c N dy 6283 988335 9641 41622 0 62314 126986 3358533 95.73 103.29 -- 1305.75/326.92 c N dy 6408 1008368 9641 41622 0 82345 126986 6407305 95.73 103.72 -- 1326.90/332.30 c N dy 6539 1028420 9641 41622 0 58401 126986 2562353 95.74 107.82 -- 1350.47/338.14 c N dy 6665 1048475 9641 41622 0 78453 126986 5595191 95.73 102.05 -- 1374.04/344.06 c N dy 6799 1068582 9641 41622 0 53562 126986 1719043 95.75 101.43 -- 1377.64/344.93 c F st 6822 1071877 9641 41622 0 56857 126986 2230136 95.76 no data -- 1396.41/349.65 c N dy 6903 1088721 9641 41622 0 73699 126986 4898767 95.77 100.91 -- 1421.97/356.06 c N dy 7038 1108996 9641 41622 0 47976 126986 708301 95.79 101.89 -- 1442.74/361.20 c N dy 7169 1129017 9641 41622 0 67995 126986 3764887 95.79 106.13 -- 1466.31/367.19 c N dy 7304 1149093 9641 41622 0 88071 126986 6853314 95.82 115.27 -- 1488.28/372.61 c N dy 7435 1169160 9641 41622 0 61136 126986 2573095 95.84 101.86 -- 1511.04/378.36 c N dy 7567 1189257 9641 41622 0 81231 126986 5617199 95.87 102.08 -- 1535.81/384.50 c N dy 7699 1209515 9641 41622 0 53500 126986 1273535 95.90 101.63 -- 1536.21/384.61 c S st 7704 1209934 9641 41622 0 53919 126986 1341274 95.91 no data -- 1536.61/384.75 c S st 7704 1210435 9641 41622 0 54420 126986 1397489 95.91 no data -- 1536.61/384.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1536.61/384.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1537.01/384.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1537.01/384.88 c bin-w-bin subsume rem 0 bins time: 0.01 s 1537.01/384.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1537.01/384.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 1537.01/384.89 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1549.39/387.95 c lits-rem: 26 cl-subs: 3 v-elim: 0 v-fix: 0 time: 12.19 s 1549.39/387.95 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 1549.39/387.97 c vivif2 -- cl tried 54417 cl shrink 0 lits rem 0 time: 0.08 1549.79/388.08 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.46 1549.79/388.09 c calculated reachability. Time: 0.00 1549.79/388.09 c N dy 7704 1210435 9641 41622 0 54417 126986 1396689 95.91 no data -- 1571.76/393.54 c N dy 7843 1230539 9641 41622 0 74519 126986 4515320 95.95 102.94 -- 1596.52/399.73 c N dy 7969 1250711 9641 41622 0 94687 126986 7573754 95.94 102.59 -- 1618.09/405.16 c N dy 8104 1270786 9641 41622 0 65773 126986 3008742 95.96 123.62 -- 1641.67/411.09 c N dy 8234 1290923 9641 41622 0 85909 126986 6072281 95.96 104.32 -- 1666.43/417.23 c N dy 8364 1310980 9641 41622 0 55962 126986 1341475 95.98 101.76 -- 1688.01/422.68 c N dy 8495 1331022 9641 41622 0 76002 126986 4473495 96.01 101.97 -- 1713.98/429.20 c N dy 8625 1351180 9641 41622 0 96158 126986 7569762 96.02 102.90 -- 1737.93/435.10 c N dy 8746 1371182 9641 41622 0 65163 126986 2572915 96.01 118.06 -- 1761.50/441.00 c N dy 8880 1391307 9641 41622 0 85286 126986 5663594 96.02 101.47 -- 1787.86/447.66 c N dy 9010 1411329 9641 41622 0 53309 126986 648503 96.06 101.38 -- 1809.43/453.00 c N dy 9144 1431430 9641 41622 0 73410 126986 3772583 96.09 101.53 -- 1834.20/459.21 c N dy 9275 1451473 9641 41622 0 93449 126986 6853205 96.11 101.79 -- 1859.38/465.59 c N dy 9414 1471655 9641 41622 0 60639 126986 1624454 96.14 101.37 -- 1881.72/471.16 c N dy 9539 1491668 9641 41622 0 80649 126986 4660802 96.14 101.61 -- 1908.09/477.72 c N dy 9673 1511835 9641 41622 0 100814 126986 7706330 96.14 101.73 -- 1932.06/483.71 c N dy 9809 1531856 9641 41622 0 66836 126986 2417802 96.16 105.59 -- 1955.63/489.64 c N dy 9947 1551884 9641 41622 0 86862 126986 5529158 96.19 104.38 -- 1983.18/496.51 c N dy 10079 1571916 9641 41622 0 106893 126986 8602333 96.19 104.75 -- 2005.95/502.21 c N dy 10201 1592005 9641 41622 0 71978 126986 3078421 96.18 114.42 -- 2031.52/508.61 c N dy 10330 1612303 9641 41622 0 92275 126986 6184689 96.19 101.54 -- 2062.27/516.33 c N dy 10459 1632320 9641 41622 0 56295 126986 507164 96.19 102.41 -- 2086.24/522.38 c N dy 10578 1652542 9641 41622 0 76516 126986 3628143 96.19 101.29 -- 2114.60/529.48 c N dy 10706 1672866 9641 41622 0 96837 126986 6724278 96.19 102.19 -- 2145.35/537.14 c N dy 10833 1692884 9641 41622 0 59859 126986 918675 96.20 102.80 -- 2166.13/542.37 c S st 10940 1710435 9641 41622 0 77409 126986 3605053 96.19 no data -- 2166.95/542.55 c S st 10940 1710938 9641 41622 0 77912 126986 3666022 96.19 no data -- 2166.95/542.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2166.95/542.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2167.33/542.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.32 2168.12/542.82 c bin-w-bin subsume rem 0 bins time: 0.01 s 2168.12/542.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2168.12/542.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.02 s 2168.12/542.83 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2317.92/580.38 c lits-rem: 1 cl-subs: 6 v-elim: 0 v-fix: 0 time: 149.58 s 2317.92/580.38 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 2318.32/580.43 c vivif2 -- cl tried 77906 cl shrink 0 lits rem 0 time: 0.20 2319.12/580.60 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.68 2319.12/580.60 c calculated reachability. Time: 0.00 2319.12/580.60 c N dy 10940 1710938 9641 41622 0 77906 126986 3663994 96.19 no data -- 2345.49/587.21 c N dy 11072 1730955 9641 41622 0 97922 126986 6692941 96.20 101.46 -- 2375.44/594.74 c N dy 11210 1751103 9641 41622 0 60074 126986 799414 96.22 101.39 -- 2399.42/600.72 c N dy 11346 1771231 9641 41622 0 80201 126986 3902734 96.23 101.73 -- 2426.57/607.50 c N dy 11474 1791261 9641 41622 0 100229 126986 6990816 96.24 102.21 -- 2456.14/614.92 c N dy 11609 1811780 9641 41622 0 61752 126986 896187 96.24 108.36 -- 2478.51/620.55 c N dy 11732 1831853 9641 41622 0 81822 126986 3983991 96.24 102.14 -- 2504.46/627.04 c N dy 11861 1851974 9641 41622 0 101941 126986 7077026 96.25 103.31 -- 2533.62/634.35 c N dy 11997 1871993 9641 41622 0 61962 126986 795397 96.28 101.45 -- 2556.39/640.00 c N dy 12127 1892002 9641 41622 0 81968 126986 3886059 96.29 102.70 -- 2582.75/646.61 c N dy 12258 1912124 9641 41622 0 102090 126986 6992999 96.30 104.45 -- 2612.71/654.17 c N dy 12385 1932234 9641 41622 0 61204 126986 523892 96.31 103.36 -- 2635.48/659.81 c N dy 12511 1952303 9641 41622 0 81270 126986 3581394 96.31 144.21 -- 2661.04/666.25 c N dy 12640 1972323 9641 41622 0 101289 126986 6692277 96.33 105.53 -- 2690.60/673.63 c N dy 12770 1992373 9641 41622 0 121339 126986 9764872 96.34 103.14 -- 2714.57/679.68 c N dy 12901 2012478 9641 41622 0 79452 126986 3172856 96.35 101.97 -- 2740.53/686.11 c N dy 13029 2032531 9641 41622 0 99504 126986 6258946 96.35 110.94 -- 2770.09/693.59 c N dy 13169 2052622 9641 41622 0 119594 126986 9392113 96.37 118.94 -- 2796.05/700.00 c N dy 13289 2072727 9641 41622 0 76698 126986 2589604 96.37 102.97 -- 2821.23/706.31 c N dy 13413 2092824 9641 41622 0 96792 126986 5660951 96.37 102.41 -- 2850.38/713.66 c N dy 13551 2112912 9641 41622 0 116880 126986 8759462 96.39 104.57 -- 2879.54/720.94 c N dy 13675 2133013 9641 41622 0 72985 126986 1870602 96.38 106.23 -- 2905.49/727.49 c N dy 13808 2153290 9641 41622 0 93260 126986 4984354 96.39 105.01 -- 2935.46/734.91 c N dy 13935 2173406 9641 41622 0 113374 126986 8051945 96.39 104.70 -- 2967.00/742.87 c N dy 14061 2193434 9641 41622 0 68405 126986 1052128 96.39 103.22 -- 2988.60/748.28 c S st 14177 2210939 9641 41622 0 85908 126986 3748506 96.40 80.03 -- 2989.37/748.47 c S st 14177 2211442 9641 41622 0 86411 126986 3813525 96.40 no data -- 2989.37/748.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2989.37/748.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2989.77/748.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2990.57/748.75 c bin-w-bin subsume rem 0 bins time: 0.01 s 2990.57/748.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2990.57/748.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.01 s 2990.57/748.76 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3165.53/792.56 c lits-rem: 6 cl-subs: 8 v-elim: 0 v-fix: 0 time: 174.60 s 3165.53/792.57 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.02 3165.93/792.62 c vivif2 -- cl tried 86403 cl shrink 0 lits rem 0 time: 0.22 3166.73/792.82 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.80 3166.73/792.83 c calculated reachability. Time: 0.00 3166.73/792.83 c N dy 14177 2211442 9641 41622 0 86403 126986 3811630 96.40 no data -- 3197.49/800.52 c N dy 14312 2231622 9641 41622 0 106581 126986 6912322 96.41 101.90 -- 3231.84/809.15 c N dy 14448 2251624 9641 41622 0 126582 126986 10004760 96.43 120.76 -- 3261.40/816.51 c N dy 14580 2271904 9641 41622 0 80866 126986 2786059 96.43 102.77 -- 3290.57/823.86 c N dy 14714 2291922 9641 41622 0 100879 126986 5854161 96.45 101.72 -- 3324.92/832.48 c N dy 14860 2312071 9641 41622 0 121027 126986 8982575 96.47 102.19 -- 3358.47/840.85 c N dy 14994 2332210 9641 41622 0 74171 126986 1641909 96.48 101.84 -- 3386.43/847.88 c N dy 15122 2352346 9641 41622 0 94305 126986 4730524 96.48 101.61 -- 3419.21/856.00 c N dy 15254 2372474 9641 41622 0 114432 126986 7840147 96.48 101.80 -- 3456.34/865.31 c N dy 15387 2393005 9641 41622 0 134962 126986 11025235 96.50 102.04 -- 3483.90/872.23 c N dy 15519 2413024 9641 41622 0 86984 126986 3486853 96.51 109.27 -- 3514.26/879.80 c N dy 15643 2433041 9641 41622 0 106998 126986 6551280 96.51 112.47 -- 3549.41/888.66 c N dy 15782 2453135 9641 41622 0 127091 126986 9674328 96.54 101.69 -- 3580.97/896.58 c N dy 15919 2473225 9641 41622 0 78189 126986 1961899 96.55 102.56 -- 3608.15/903.38 c N dy 16051 2493240 9641 41622 0 98199 126986 5053404 96.56 103.88 -- 3639.28/911.19 c N dy 16182 2513381 9641 41622 0 118338 126986 8148972 96.57 101.70 -- 3675.24/920.15 c N dy 16319 2533474 9641 41622 0 138429 126986 11275836 96.58 102.57 -- 3701.60/926.79 c N dy 16441 2553485 9641 41622 0 88443 126986 3383495 96.58 103.79 -- 3731.07/934.19 c N dy 16580 2573523 9641 41622 0 108480 126986 6512906 96.60 103.98 -- 3764.29/942.50 c N dy 16716 2593549 9641 41622 0 128504 126986 9631702 96.61 104.31 -- 3798.63/951.24 c N dy 16853 2613701 9641 41622 0 77667 126986 1604942 96.62 104.20 -- 3825.78/958.07 c N dy 16980 2633715 9641 41622 0 97680 126986 4699165 96.63 103.46 -- 3858.14/966.19 c N dy 17107 2653775 9641 41622 0 117740 126986 7779795 96.63 102.58 -- 3895.28/975.43 c N dy 17238 2673809 9641 41622 0 137773 126986 10868129 96.64 103.29 -- 3926.44/983.23 c N dy 17369 2694084 9641 41622 0 86050 126986 2725294 96.65 102.79 -- 3952.41/989.77 c S st 17490 2711443 9641 41622 0 103408 126986 5396470 96.66 no data -- 3953.61/990.02 c S st 17490 2711947 9641 41622 0 103912 126986 5457401 96.66 no data -- 3953.61/990.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3953.61/990.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3954.02/990.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.42 3955.20/990.43 c bin-w-bin subsume rem 0 bins time: 0.02 s 3955.20/990.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3955.20/990.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9641 time: 0.02 s 3955.20/990.44 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4339.08/1086.57 c lits-rem: 0 cl-subs: 6 v-elim: 0 v-fix: 0 time: 383.26 s 4339.08/1086.57 c vivif2 -- cl tried 41622 cl shrink 0 lits rem 0 time: 0.01 4339.48/1086.64 c vivif2 -- cl tried 103906 cl shrink 0 lits rem 0 time: 0.29 4340.28/1086.86 c asymm cl-useful: 0/41622/41622 lits-rem:0 time: 0.84 4340.28/1086.86 c calculated reachability. Time: 0.00 4340.28/1086.86 c N dy 17490 2711947 9641 41622 0 103906 126986 5456289 96.66 no data -- 4371.04/1094.58 c N dy 17628 2731983 9641 41622 0 123940 126986 8549469 96.67 114.89 -- 4407.01/1103.56 c N dy 17770 2751990 9641 41622 0 143946 126986 11673584 96.70 102.21 -- 4434.55/1110.50 c N dy 17904 2772060 9641 41622 0 91013 126986 3322766 96.71 102.22 -- 4464.13/1117.85 c N dy 18025 2792197 9641 41622 0 111149 126986 6392230 96.71 103.16 -- 4498.07/1126.33 c N dy 18165 2812246 9641 41622 0 131196 126986 9504513 96.72 106.60 -- 4534.02/1135.32 c N dy 18298 2832349 9641 41622 0 77303 126986 1077135 96.73 106.89 -- 4560.79/1142.08 c N dy 18431 2852432 9641 41622 0 97384 126986 4204290 96.73 103.14 -- 4592.33/1149.92 c N dy 18569 2872526 9641 41622 0 117475 126986 7340397 96.75 120.09 -- 4628.28/1158.90 c N dy 18697 2893265 9641 41622 0 138214 126986 10523076 96.76 104.58 -- 4661.46/1167.23 c N dy 18821 2913393 9641 41622 0 83352 126986 1857500 96.76 103.08 -- 4689.40/1174.26 c N dy 18943 2933499 9641 41622 0 103458 126986 4986171 96.76 105.87 -- 4721.36/1182.26 c N dy 19073 2953579 9641 41622 0 123537 126986 8093425 96.77 140.83 -- 4759.31/1191.70 c N dy 19206 2973586 9641 41622 0 143544 126986 11177512 96.78 102.62 -- 4793.26/1200.27 c N dy 19340 2993619 9641 41622 0 87574 126986 2362700 96.79 102.30 --
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-3174972-1304063327/watcher-3174972-1304063327 -o /tmp/evaluation-result-3174972-1304063327/solver-3174972-1304063327 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174972-1304063327.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: 4.15 6.53 7.44 2/174 1856 /proc/meminfo: memFree=27151516/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 517931209 52465664 351 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204703729 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 12809 351 303 112 0 7774 0 [pid=1856/tid=1857] ppid=1854 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 517931209 52465664 353 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 517931209 52465664 353 33554432000 4194304 4650419 140737467140256 18446744073709551615 47897057978290 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 517931209 52465664 353 33554432000 4194304 4650419 140737467140256 18446744073709551615 47897057978288 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.00873501 s] /proc/loadavg: 4.15 6.53 7.44 2/174 1856 /proc/meminfo: memFree=27151516/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=251292 CPUtime=0 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2478 0 0 0 0 0 0 0 18 0 4 0 517931209 257323008 2270 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204344528 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 62919 2321 340 112 0 57884 0 [pid=1856/tid=1857] ppid=1854 vsize=252768 CPUtime=0 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) S 1854 1856 1313 0 -1 4202560 521 0 0 0 0 0 0 0 18 0 4 0 517931209 258834432 2537 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=252508 CPUtime=0 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 471 0 0 0 0 0 0 0 18 0 4 0 517931209 258568192 2483 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=261744 CPUtime=0 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 4 0 517931209 268025856 2595 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204690567 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 251292 [startup+0.101717 s] /proc/loadavg: 4.15 6.53 7.44 2/174 1856 /proc/meminfo: memFree=27151516/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=361740 CPUtime=0.34 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 10894 0 0 0 27 7 0 0 18 0 4 0 517931209 370421760 9165 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204690615 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 90435 9200 377 112 0 85400 0 [pid=1856/tid=1857] ppid=1854 vsize=361740 CPUtime=0.07 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) S 1854 1856 1313 0 -1 4202560 2566 0 0 0 6 1 0 0 18 0 4 0 517931209 370421760 9212 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=361740 CPUtime=0.08 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 3096 0 0 0 6 2 0 0 18 0 4 0 517931209 370421760 9223 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204344717 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=361740 CPUtime=0.08 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) S 1854 1856 1313 0 -1 4202560 2125 0 0 0 7 1 0 0 18 0 4 0 517931209 370421760 9234 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 361740 [startup+0.423411 s] /proc/loadavg: 4.15 6.53 7.44 2/174 1856 /proc/meminfo: memFree=27151516/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=363928 CPUtime=1.62 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 17235 0 0 0 153 9 0 0 18 0 4 0 517931209 372662272 13241 33554432000 4194304 4650419 140737467140256 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 90982 13241 391 112 0 85947 0 [pid=1856/tid=1857] ppid=1854 vsize=363928 CPUtime=0.39 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 4593 0 0 0 38 1 0 0 18 0 4 0 517931209 372662272 13241 33554432000 4194304 4650419 140737467140256 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=363928 CPUtime=0.39 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 5026 0 0 0 37 2 0 0 18 0 4 0 517931209 372662272 13242 33554432000 4194304 4650419 140737467140256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=363928 CPUtime=0.4 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 2455 0 0 0 39 1 0 0 18 0 4 0 517931209 372662272 13242 33554432000 4194304 4650419 140737467140256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 363928 [startup+0.700599 s] /proc/loadavg: 4.15 6.53 7.44 2/174 1856 /proc/meminfo: memFree=27151516/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=363928 CPUtime=2.73 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 18434 0 0 0 264 9 0 0 18 0 4 0 517931209 372662272 14440 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 90982 14440 391 112 0 85947 0 [pid=1856/tid=1857] ppid=1854 vsize=363928 CPUtime=0.66 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 4891 0 0 0 65 1 0 0 18 0 4 0 517931209 372662272 14440 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364590 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=363928 CPUtime=0.67 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 5336 0 0 0 65 2 0 0 18 0 4 0 517931209 372662272 14440 33554432000 4194304 4650419 140737467140256 18446744073709551615 4315564 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=363928 CPUtime=0.67 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 2749 0 0 0 66 1 0 0 18 0 4 0 517931209 372662272 14441 33554432000 4194304 4650419 140737467140256 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 363928 [startup+1.50047 s] /proc/loadavg: 4.46 6.55 7.45 9/184 1869 /proc/meminfo: memFree=26923392/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=370052 CPUtime=5.92 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 24056 0 0 0 582 10 0 0 19 0 4 0 517931209 378933248 14622 33554432000 4194304 4650419 140737467140256 18446744073709551615 4334514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 92513 14622 393 112 0 87478 0 [pid=1856/tid=1857] ppid=1854 vsize=370052 CPUtime=1.47 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 6165 0 0 0 145 2 0 0 19 0 4 0 517931209 378933248 14622 33554432000 4194304 4650419 140737467140256 18446744073709551615 4361066 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=370052 CPUtime=1.48 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 6675 0 0 0 145 3 0 0 19 0 4 0 517931209 378933248 14622 33554432000 4194304 4650419 140737467140256 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=370052 CPUtime=1.47 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 4367 0 0 0 146 1 0 0 19 0 4 0 517931209 378933248 14622 33554432000 4194304 4650419 140737467140256 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.92 Current children cumulated vsize (KiB) 370052 [startup+3.1002 s] /proc/loadavg: 4.46 6.55 7.45 9/184 1869 /proc/meminfo: memFree=26903924/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=371476 CPUtime=12.32 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 32470 0 0 0 1220 12 0 0 25 0 4 0 517931209 380391424 16496 33554432000 4194304 4650419 140737467140256 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 92869 16497 393 112 0 87834 0 [pid=1856/tid=1857] ppid=1854 vsize=371476 CPUtime=3.06 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 8214 0 0 0 303 3 0 0 25 0 4 0 517931209 380391424 16497 33554432000 4194304 4650419 140737467140256 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=371476 CPUtime=3.07 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 8825 0 0 0 304 3 0 0 25 0 4 0 517931209 380391424 16498 33554432000 4194304 4650419 140737467140256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=371476 CPUtime=3.08 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 6481 0 0 0 306 2 0 0 25 0 4 0 517931209 380391424 16498 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364312 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.32 Current children cumulated vsize (KiB) 371476 [startup+6.30066 s] /proc/loadavg: 4.46 6.55 7.45 9/184 1870 /proc/meminfo: memFree=26833740/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=372012 CPUtime=25.1 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 55315 0 0 0 2493 17 0 0 25 0 4 0 517931209 380940288 24866 33554432000 4194304 4650419 140737467140256 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 93003 24866 395 112 0 87968 0 [pid=1856/tid=1857] ppid=1854 vsize=372012 CPUtime=6.24 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 12421 0 0 0 620 4 0 0 25 0 4 0 517931209 380940288 24866 33554432000 4194304 4650419 140737467140256 18446744073709551615 4457451 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=372012 CPUtime=6.28 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 13156 0 0 0 624 4 0 0 25 0 4 0 517931209 380940288 24866 33554432000 4194304 4650419 140737467140256 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=372012 CPUtime=6.28 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 10767 0 0 0 625 3 0 0 25 0 4 0 517931209 380940288 24866 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 372012 [startup+12.7006 s] /proc/loadavg: 5.00 6.60 7.45 9/184 1870 /proc/meminfo: memFree=26748588/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=409268 CPUtime=50.66 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 92122 0 0 0 5043 23 0 0 25 0 4 0 517931209 419090432 48126 33554432000 4194304 4650419 140737467140256 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 102317 48126 395 112 0 97282 0 [pid=1856/tid=1857] ppid=1854 vsize=409268 CPUtime=12.61 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 18067 0 0 0 1256 5 0 0 25 0 4 0 517931209 419090432 48127 33554432000 4194304 4650419 140737467140256 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=409268 CPUtime=12.67 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 25913 0 0 0 1261 6 0 0 25 0 4 0 517931209 419090432 48127 33554432000 4194304 4650419 140737467140256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=409268 CPUtime=12.68 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 23738 0 0 0 1263 5 0 0 25 0 4 0 517931209 419090432 48127 33554432000 4194304 4650419 140737467140256 18446744073709551615 4315762 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.66 Current children cumulated vsize (KiB) 409268 [startup+25.5065 s] /proc/loadavg: 5.46 6.65 7.46 9/184 1870 /proc/meminfo: memFree=26312360/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=573584 CPUtime=101.81 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 146695 0 0 0 10144 37 0 0 25 0 4 0 517931209 587350016 74121 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 143396 74121 395 112 0 138361 0 [pid=1856/tid=1857] ppid=1854 vsize=573584 CPUtime=25.34 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 33530 0 0 0 2526 8 0 0 25 0 4 0 517931209 587350016 74121 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=573584 CPUtime=25.48 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 40889 0 0 0 2538 10 0 0 25 0 4 0 517931209 587350016 74121 33554432000 4194304 4650419 140737467140256 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=573584 CPUtime=25.49 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 31310 0 0 0 2541 8 0 0 25 0 4 0 517931209 587350016 74121 33554432000 4194304 4650419 140737467140256 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.81 Current children cumulated vsize (KiB) 573584 [startup+51.1012 s] /proc/loadavg: 6.33 6.75 7.47 9/184 1870 /proc/meminfo: memFree=26244220/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=532512 CPUtime=204.05 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 221335 0 0 0 20349 56 0 0 25 0 4 0 517931209 545292288 79635 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 133128 79635 395 112 0 128093 0 [pid=1856/tid=1857] ppid=1854 vsize=532512 CPUtime=50.79 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 52824 0 0 0 5067 12 0 0 25 0 4 0 517931209 545292288 79635 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=532512 CPUtime=51.07 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 64719 0 0 0 5090 17 0 0 25 0 4 0 517931209 545292288 79635 33554432000 4194304 4650419 140737467140256 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=532512 CPUtime=51.07 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 48817 0 0 0 5095 12 0 0 25 0 4 0 517931209 545292288 79635 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.05 Current children cumulated vsize (KiB) 532512 [startup+102.301 s] /proc/loadavg: 7.33 6.96 7.50 9/184 1872 /proc/meminfo: memFree=26082624/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=625996 CPUtime=408.56 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 362130 0 0 0 40759 97 0 0 25 0 4 0 517931209 641019904 93624 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 156499 93624 395 112 0 151464 0 [pid=1856/tid=1857] ppid=1854 vsize=625996 CPUtime=101.72 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 84948 0 0 0 10149 23 0 0 25 0 4 0 517931209 641019904 93624 33554432000 4194304 4650419 140737467140256 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=625996 CPUtime=102.27 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 102458 0 0 0 10199 28 0 0 25 0 4 0 517931209 641019904 93624 33554432000 4194304 4650419 140737467140256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=625996 CPUtime=102.28 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 86771 0 0 0 10204 24 0 0 25 0 4 0 517931209 641019904 93624 33554432000 4194304 4650419 140737467140256 18446744073709551615 4328328 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.56 Current children cumulated vsize (KiB) 625996 [startup+162.301 s] ################ # More data... # ################ [pid=1856] ppid=1854 vsize=916004 CPUtime=2805.24 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2034705 0 0 0 279967 557 0 0 25 0 4 0 517931209 937988096 171654 33554432000 4194304 4650419 140737467140256 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 229001 171654 395 112 0 223966 0 [pid=1856/tid=1857] ppid=1854 vsize=916004 CPUtime=698.43 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 475109 0 0 0 69715 128 0 0 25 0 4 0 517931209 937988096 171654 33554432000 4194304 4650419 140737467140256 18446744073709551615 4363367 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=916004 CPUtime=702.24 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 644329 0 0 0 70055 169 0 0 25 0 4 0 517931209 937988096 171654 33554432000 4194304 4650419 140737467140256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=916004 CPUtime=702.26 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 383930 0 0 0 70104 122 0 0 25 0 4 0 517931209 937988096 171654 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.24 Current children cumulated vsize (KiB) 916004 [startup+762.301 s] /proc/loadavg: 8.21 8.03 7.82 9/184 1899 /proc/meminfo: memFree=25227716/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1006056 CPUtime=3044.9 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2189658 0 0 0 303887 603 0 0 25 0 4 0 517931209 1030201344 174100 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 251514 174100 395 112 0 246479 0 [pid=1856/tid=1857] ppid=1854 vsize=1006056 CPUtime=758.11 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 503257 0 0 0 75669 142 0 0 25 0 4 0 517931209 1030201344 174100 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1006056 CPUtime=762.24 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 669940 0 0 0 76044 180 0 0 25 0 4 0 517931209 1030201344 174100 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1006056 CPUtime=762.26 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 439604 0 0 0 76095 131 0 0 25 0 4 0 517931209 1030201344 174100 33554432000 4194304 4650419 140737467140256 18446744073709551615 4306773 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.9 Current children cumulated vsize (KiB) 1006056 [startup+822.301 s] /proc/loadavg: 8.19 8.05 7.83 9/184 1900 /proc/meminfo: memFree=25153892/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1203564 CPUtime=3284.57 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2303697 0 0 0 327815 642 0 0 25 0 4 0 517931209 1232449536 202032 33554432000 4194304 4650419 140737467140256 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 300891 202032 395 112 0 295856 0 [pid=1856/tid=1857] ppid=1854 vsize=1203564 CPUtime=817.77 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 513790 0 0 0 81631 146 0 0 25 0 4 0 517931209 1232449536 202032 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1203564 CPUtime=822.24 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 712374 0 0 0 82036 188 0 0 25 0 4 0 517931209 1232449536 202032 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1203564 CPUtime=822.26 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 465670 0 0 0 82079 147 0 0 25 0 4 0 517931209 1232449536 202032 33554432000 4194304 4650419 140737467140256 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.57 Current children cumulated vsize (KiB) 1203564 [startup+882.3 s] /proc/loadavg: 8.11 8.06 7.85 9/184 1902 /proc/meminfo: memFree=25102648/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1204512 CPUtime=3524.25 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2399269 0 0 0 351745 680 0 0 25 0 4 0 517931209 1233420288 205863 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 301128 205863 395 112 0 296093 0 [pid=1856/tid=1857] ppid=1854 vsize=1204512 CPUtime=877.45 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 513790 0 0 0 87599 146 0 0 25 0 4 0 517931209 1233420288 205866 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1204512 CPUtime=882.25 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 756976 0 0 0 88031 194 0 0 25 0 4 0 517931209 1233420288 205866 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476111 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1204512 CPUtime=882.26 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 490852 0 0 0 88063 163 0 0 25 0 4 0 517931209 1233420288 205866 33554432000 4194304 4650419 140737467140256 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.25 Current children cumulated vsize (KiB) 1204512 [startup+942.3 s] /proc/loadavg: 8.30 8.11 7.87 10/185 1906 /proc/meminfo: memFree=24950936/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1192872 CPUtime=3763.5 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2501619 0 0 0 375631 719 0 0 25 0 4 0 517931209 1221500928 212831 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 298218 212831 395 112 0 293183 0 [pid=1856/tid=1857] ppid=1854 vsize=1192872 CPUtime=936.71 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 536974 0 0 0 93515 156 0 0 25 0 4 0 517931209 1221500928 212831 33554432000 4194304 4650419 140737467140256 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1192872 CPUtime=942.24 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 783177 0 0 0 94027 197 0 0 25 0 4 0 517931209 1221500928 212831 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476190 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1192872 CPUtime=942.25 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 517186 0 0 0 94050 175 0 0 25 0 4 0 517931209 1221500928 212832 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3763.5 Current children cumulated vsize (KiB) 1192872 [startup+1002.31 s] /proc/loadavg: 8.27 8.14 7.90 9/184 1908 /proc/meminfo: memFree=25004620/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1162596 CPUtime=4002.76 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2632223 0 0 0 399519 757 0 0 25 0 4 0 517931209 1190498304 210321 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 290649 210321 395 112 0 285614 0 [pid=1856/tid=1857] ppid=1854 vsize=1162596 CPUtime=996.35 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 562760 0 0 0 99466 169 0 0 25 0 4 0 517931209 1190498304 210321 33554432000 4194304 4650419 140737467140256 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1162596 CPUtime=1002.24 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 825652 0 0 0 100019 205 0 0 25 0 4 0 517931209 1190498304 210321 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1162596 CPUtime=1002.26 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 562044 0 0 0 100042 184 0 0 25 0 4 0 517931209 1190498304 210321 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4002.76 Current children cumulated vsize (KiB) 1162596 [startup+1062.3 s] /proc/loadavg: 8.19 8.14 7.91 9/184 1910 /proc/meminfo: memFree=24919404/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1294836 CPUtime=4242.42 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2832218 0 0 0 423436 806 0 0 25 0 4 0 517931209 1325912064 219733 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 323709 219733 398 112 0 318674 0 [pid=1856/tid=1857] ppid=1854 vsize=1294836 CPUtime=1056.02 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 584347 0 0 0 105421 181 0 0 25 0 4 0 517931209 1325912064 219733 33554432000 4194304 4650419 140737467140256 18446744073709551615 4316019 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1294836 CPUtime=1062.24 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 851419 0 0 0 106004 220 0 0 25 0 4 0 517931209 1325912064 219733 33554432000 4194304 4650419 140737467140256 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1294836 CPUtime=1062.26 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 714680 0 0 0 106020 206 0 0 25 0 4 0 517931209 1325912064 219733 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4242.42 Current children cumulated vsize (KiB) 1294836 [startup+1122.3 s] /proc/loadavg: 8.15 8.14 7.93 9/184 1911 /proc/meminfo: memFree=24844736/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1278828 CPUtime=4482.08 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 2965811 0 0 0 447362 846 0 0 25 0 4 0 517931209 1309519872 227998 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 319707 227998 395 112 0 314672 0 [pid=1856/tid=1857] ppid=1854 vsize=1278828 CPUtime=1115.69 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 636855 0 0 0 111376 193 0 0 25 0 4 0 517931209 1309519872 227998 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1278828 CPUtime=1122.24 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 877075 0 0 0 111993 231 0 0 25 0 4 0 517931209 1309519872 227998 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1278828 CPUtime=1122.26 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 754992 0 0 0 112010 216 0 0 25 0 4 0 517931209 1309519872 227998 33554432000 4194304 4650419 140737467140256 18446744073709551615 4328270 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4482.08 Current children cumulated vsize (KiB) 1278828 [startup+1182.3 s] /proc/loadavg: 8.10 8.13 7.93 9/184 1913 /proc/meminfo: memFree=24954200/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1279612 CPUtime=4721.76 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 3147173 0 0 0 471283 893 0 0 25 0 4 0 517931209 1310322688 228342 33554432000 4194304 4650419 140737467140256 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 319903 228343 395 112 0 314868 0 [pid=1856/tid=1857] ppid=1854 vsize=1279612 CPUtime=1175.37 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 745028 0 0 0 117331 206 0 0 25 0 4 0 517931209 1310322688 228343 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1279612 CPUtime=1182.23 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 899905 0 0 0 117982 241 0 0 25 0 4 0 517931209 1310322688 228343 33554432000 4194304 4650419 140737467140256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1279612 CPUtime=1182.26 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 780058 0 0 0 117999 227 0 0 25 0 4 0 517931209 1310322688 228343 33554432000 4194304 4650419 140737467140256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4721.76 Current children cumulated vsize (KiB) 1279612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.07 8.12 7.93 6/183 1914 /proc/meminfo: memFree=25863204/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1332568 CPUtime=4800.05 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 3187194 0 0 0 479098 907 0 0 25 0 4 0 517931209 1364549632 237304 33554432000 4194304 4650419 140737467140256 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 333142 237304 395 112 0 328107 0 [pid=1856/tid=1857] ppid=1854 vsize=1332568 CPUtime=1194.86 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 754140 0 0 0 119279 207 0 0 25 0 4 0 517931209 1364549632 237307 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1332568 CPUtime=1201.84 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 915274 0 0 0 119940 244 0 0 25 0 4 0 517931209 1364549632 237307 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1332568 CPUtime=1201.87 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 787298 0 0 0 119955 232 0 0 25 0 4 0 517931209 1364549632 237307 33554432000 4194304 4650419 140737467140256 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.05 Current children cumulated vsize (KiB) 1332568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.9 s] /proc/loadavg: 8.07 8.12 7.93 6/183 1914 /proc/meminfo: memFree=25863204/32951124 swapFree=67088964/67111528 [pid=1856] ppid=1854 vsize=1332568 CPUtime=4800.05 cores=1,3,5,7 /proc/1856/stat : 1856 (strangenight1-m) R 1854 1856 1313 0 -1 4202496 3187194 0 0 0 479098 907 0 0 25 0 4 0 517931209 1364549632 237304 33554432000 4194304 4650419 140737467140256 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1856/statm: 333142 237304 395 112 0 328107 0 [pid=1856/tid=1857] ppid=1854 vsize=1332568 CPUtime=1194.86 cores=1,3,5,7 /proc/1856/task/1857/stat : 1857 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 754140 0 0 0 119279 207 0 0 25 0 4 0 517931209 1364549632 237307 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1856/tid=1858] ppid=1854 vsize=1332568 CPUtime=1201.84 cores=1,3,5,7 /proc/1856/task/1858/stat : 1858 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 915274 0 0 0 119940 244 0 0 25 0 4 0 517931209 1364549632 237307 33554432000 4194304 4650419 140737467140256 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1856/tid=1859] ppid=1854 vsize=1332568 CPUtime=1201.87 cores=1,3,5,7 /proc/1856/task/1859/stat : 1859 (strangenight1-m) R 1854 1856 1313 0 -1 4202560 787298 0 0 0 119955 232 0 0 25 0 4 0 517931209 1364549632 237307 33554432000 4194304 4650419 140737467140256 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.05 Current children cumulated vsize (KiB) 1332568 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.95 CPU time (s): 4800.14 CPU user time (s): 4791.02 CPU system time (s): 9.11961 CPU usage (%): 399.362 Max. virtual memory (cumulated for all children) (KiB): 1345564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.02 system time used= 9.11961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3187201 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= 5031 involuntary context switches= 32444 runsolver used 1.89571 second user time and 4.69329 second system time The end
Begin job on node130 at 2011-04-29 09:48:47 IDJOB=3174972 IDBENCH=82590 IDSOLVER=1588 FILE ID=node130/3174972-1304063327 RUNJOBID= node130-1304063327-1843 PBS_JOBID= 13170445 Free space on /tmp= 71992 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt 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-3174972-1304063327/watcher-3174972-1304063327 -o /tmp/evaluation-result-3174972-1304063327/solver-3174972-1304063327 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174972-1304063327.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7d95438154723bef0aaca7f7f26ea8e2 RANDOM SEED=1012549476 node130.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.838 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.67 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.838 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.83 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.83 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27151796 kB Buffers: 1159476 kB Cached: 4118484 kB SwapCached: 22432 kB Active: 443328 kB Inactive: 4924228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27151796 kB SwapTotal: 67111528 kB SwapFree: 67088964 kB Dirty: 9768 kB Writeback: 0 kB AnonPages: 67220 kB Mapped: 14624 kB Slab: 368536 kB PageTables: 4320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 190228 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= 71988 MiB End job on node130 at 2011-04-29 10:08:51