| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.15 | 1203.53 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf |
| MD5SUM | eaa221c6c9f0c0179451b2ef6caad631 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.283955 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60 |
| Number of clauses | 5340 |
| Sum of the clauses size | 37380 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 5340 |
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-3368936-1305406810.cnf' 0.00/0.00 c -- header says num vars: 60 0.00/0.00 c -- header says num clauses: 5340 0.00/0.01 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.00/0.01 c -- vars added 60 0.00/0.01 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.37/0.12 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.46 0.37/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.37/0.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.37/0.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.37/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.37/0.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.37/0.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.37/0.14 c Finding binary XORs T: 0.00 s found: 0 0.37/0.14 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.37/0.14 c calculated reachability. Time: 0.00 0.37/0.14 c Calc default polars - time: 0.00 s pos: 28 undec: 2 neg: 30 0.37/0.14 c ========================================================================================= 0.37/0.14 c types(t): F = full restart, N = normal restart 0.37/0.14 c types(t): S = simplification begin/end, E = solution found 0.37/0.14 c restart types(rt): st = static, dy = dynamic 0.37/0.14 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.37/0.14 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 0.77/0.25 c N dy 8 4476 60 5340 0 3972 37380 85390 18.43 19.44 -- 1.57/0.40 c N dy 16 9160 60 5340 0 5905 37380 119154 17.77 18.74 -- 1.97/0.58 c N dy 34 14028 60 5340 0 6488 37380 124736 18.05 19.01 -- 2.77/0.76 c N dy 36 18323 60 5340 0 5299 37380 91090 17.76 18.78 -- 3.57/0.93 c N dy 58 22368 60 5340 0 8900 37380 167874 17.91 20.62 -- 3.99/1.07 c F st 81 25000 60 5340 0 11262 37380 219508 18.09 no data -- 4.41/1.16 c N st 85 27034 60 5340 0 6997 37380 117912 18.09 no data -- 4.76/1.29 c S st 87 30000 60 5340 0 9603 37380 172342 18.09 no data -- 5.16/1.32 c S st 87 30503 60 5340 0 10065 37380 182733 18.09 no data -- 5.16/1.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.16/1.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.16/1.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.16/1.33 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.16/1.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.16/1.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.16/1.33 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.79/2.22 c lits-rem: 1203 cl-subs: 1103 v-elim: 0 v-fix: 0 time: 3.53 s 9.54/2.47 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.00 9.54/2.47 c calculated reachability. Time: 0.00 9.54/2.47 c N dy 87 30503 60 5340 0 8962 37380 158396 18.09 no data -- 10.74/2.70 c N dy 90 35064 60 5340 0 12987 37380 240789 17.89 18.84 -- 11.94/3.09 c N dy 96 42705 60 5340 0 12707 37380 221746 17.61 18.84 -- 12.76/3.29 c S st 112 45755 60 5340 0 15462 37380 279813 17.66 no data -- 13.18/3.35 c S st 112 46260 60 5340 0 8035 37380 121343 17.66 no data -- 13.18/3.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.18/3.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.18/3.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.18/3.35 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.18/3.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.18/3.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.18/3.35 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 15.93/4.05 c lits-rem: 136 cl-subs: 35 v-elim: 0 v-fix: 0 time: 2.80 s 15.93/4.05 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 15.93/4.05 c vivif2 -- cl tried 8000 cl shrink 0 lits rem 0 time: 0.00 16.73/4.28 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.91 16.73/4.28 c calculated reachability. Time: 0.00 16.73/4.28 c N dy 112 46260 60 5340 0 8000 37380 120478 17.66 no data -- 17.57/4.49 c N dy 139 50320 60 5340 0 11628 37380 198897 17.79 19.74 -- 18.72/4.72 c N dy 153 54359 60 5340 0 15212 37380 274298 17.80 19.06 -- 19.52/4.99 c N dy 175 58412 60 5340 0 9995 37380 153121 17.87 20.12 -- 21.12/5.31 c N dy 206 64013 60 5340 0 15008 37380 259571 17.94 18.91 -- 21.96/5.57 c N dy 217 68123 60 5340 0 18666 37380 337124 17.92 19.14 -- 22.31/5.68 c S st 220 69390 60 5340 0 10014 37380 144449 17.92 17.22 -- 22.71/5.71 c S st 220 69892 60 5340 0 10470 37380 154682 17.92 no data -- 22.71/5.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.71/5.71 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.71/5.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 22.71/5.72 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.71/5.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.71/5.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.71/5.72 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.93/6.58 c lits-rem: 238 cl-subs: 132 v-elim: 0 v-fix: 0 time: 3.40 s 25.93/6.58 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 25.93/6.58 c vivif2 -- cl tried 10338 cl shrink 0 lits rem 0 time: 0.01 27.09/6.85 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.10 27.09/6.85 c calculated reachability. Time: 0.00 27.09/6.85 c N dy 220 69892 60 5340 0 10338 37380 151588 17.92 no data -- 29.50/7.45 c N dy 222 80655 60 5340 0 19797 37380 345365 17.72 18.74 -- 31.09/7.82 c N dy 262 85851 60 5340 0 13847 37380 217250 17.83 19.24 -- 31.49/7.95 c F st 278 87500 60 5340 0 15330 37380 250044 17.87 no data -- 32.69/8.28 c N dy 284 92690 60 5340 0 19942 37380 349943 17.87 no data -- 34.70/8.77 c N dy 320 98645 60 5340 0 13699 37380 202613 17.94 20.15 -- 36.67/9.20 c S st 347 104841 60 5340 0 19226 37380 320158 17.96 no data -- 36.67/9.25 c S st 347 105345 60 5340 0 19686 37380 330204 17.96 no data -- 36.67/9.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 36.67/9.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 36.67/9.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 36.67/9.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 36.67/9.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 36.67/9.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 36.67/9.27 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 43.06/10.89 c lits-rem: 1748 cl-subs: 1863 v-elim: 0 v-fix: 0 time: 6.47 s 43.06/10.89 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 43.06/10.90 c vivif2 -- cl tried 17823 cl shrink 0 lits rem 0 time: 0.01 44.65/11.26 c asymm cl-useful: 0/4342/5340 lits-rem:0 time: 1.44 44.65/11.26 c calculated reachability. Time: 0.00 44.65/11.26 c N dy 347 105345 60 5340 0 17823 37380 289113 17.96 no data -- 47.05/11.88 c N dy 369 113202 60 5340 0 12435 37380 167293 17.97 19.11 -- 49.04/12.36 c N dy 398 120780 60 5340 0 19143 37380 310542 17.99 19.03 -- 51.83/13.08 c N dy 453 128546 60 5340 0 26109 37380 461329 18.07 19.61 -- 54.62/13.73 c N dy 468 138190 60 5340 0 21328 37380 345264 18.04 19.02 -- 58.21/14.66 c N dy 509 148849 60 5340 0 16617 37380 234896 18.06 19.06 -- 61.03/15.36 c S st 536 158018 60 5340 0 24779 37380 407604 18.07 20.59 -- 61.45/15.42 c S st 536 158523 60 5340 0 25239 37380 417915 18.07 no data -- 61.45/15.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 61.45/15.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.45/15.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 61.45/15.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 61.45/15.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 61.45/15.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 61.45/15.44 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 69.39/17.45 c lits-rem: 2512 cl-subs: 2854 v-elim: 0 v-fix: 0 time: 8.00 s 69.39/17.45 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 69.39/17.45 c vivif2 -- cl tried 22385 cl shrink 0 lits rem 0 time: 0.02 69.80/17.59 c asymm cl-useful: 0/998/5340 lits-rem:0 time: 0.54 69.80/17.59 c calculated reachability. Time: 0.00 69.80/17.59 c N dy 536 158523 60 5340 0 22385 37380 356658 18.07 no data -- 80.55/20.23 c N dy 580 189551 60 5340 0 18920 37380 261626 17.86 18.83 -- 85.34/21.41 c N dy 624 202164 60 5340 0 30175 37380 498910 17.86 18.83 -- 94.51/23.76 c N dy 688 226674 60 5340 0 34991 37380 586153 17.79 18.81 -- 98.89/24.82 c S st 780 237784 60 5340 0 27271 37380 429129 17.88 17.53 -- 98.89/24.89 c S st 780 238289 60 5340 0 27728 37380 439354 17.88 no data -- 98.89/24.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 98.89/24.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 99.29/24.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 99.29/24.91 c bin-w-bin subsume rem 0 bins time: 0.00 s 99.29/24.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 99.29/24.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 99.29/24.91 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 108.88/27.32 c lits-rem: 1968 cl-subs: 2062 v-elim: 0 v-fix: 0 time: 9.58 s 108.88/27.32 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 108.88/27.32 c vivif2 -- cl tried 25666 cl shrink 0 lits rem 0 time: 0.02 110.46/27.71 c asymm cl-useful: 0/3252/5340 lits-rem:0 time: 1.54 110.46/27.71 c calculated reachability. Time: 0.00 110.46/27.71 c N dy 780 238289 60 5340 0 25666 37380 389970 17.88 no data -- 116.45/29.24 c N dy 811 253856 60 5340 0 20979 37380 275845 17.84 18.86 -- 123.63/31.04 c N dy 931 270059 60 5340 0 35466 37380 589794 17.93 18.94 -- 131.24/32.92 c N dy 1019 287358 60 5340 0 31438 37380 492717 17.97 20.22 -- 139.19/34.90 c N dy 1083 305828 60 5340 0 27417 37380 392019 17.98 18.98 -- 139.19/34.95 c F st 1088 306250 60 5340 0 27788 37380 400129 17.98 no data -- 148.78/37.31 c N dy 1175 325500 60 5340 0 23556 37380 302559 18.02 18.99 -- 157.99/39.62 c N dy 1254 345561 60 5340 0 41459 37380 683568 18.04 19.74 -- 163.12/40.98 c S st 1298 357433 60 5340 0 29685 37380 419605 18.04 16.24 -- 163.52/41.06 c S st 1298 357934 60 5340 0 30144 37380 429778 18.04 no data -- 163.52/41.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 163.52/41.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.52/41.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 163.52/41.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 163.52/41.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 163.52/41.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 163.52/41.08 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 172.70/43.37 c lits-rem: 2484 cl-subs: 2069 v-elim: 0 v-fix: 0 time: 9.14 s 172.70/43.37 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 172.70/43.38 c vivif2 -- cl tried 28075 cl shrink 0 lits rem 0 time: 0.02 174.30/43.76 c asymm cl-useful: 0/2088/5340 lits-rem:0 time: 1.54 174.30/43.76 c calculated reachability. Time: 0.00 174.30/43.76 c N dy 1298 357934 60 5340 0 28075 37380 385586 18.04 no data -- 188.70/47.37 c N dy 1380 382201 60 5340 0 26611 37380 346018 18.04 19.06 -- 199.42/50.04 c N dy 1455 402991 60 5340 0 45101 37380 738258 18.05 19.08 -- 209.39/52.59 c N dy 1554 423230 60 5340 0 39115 37380 601428 18.08 19.17 -- 219.75/55.18 c N dy 1611 443298 60 5340 0 32054 37380 439939 18.06 19.96 -- 231.73/58.12 c N dy 1663 464474 60 5340 0 50762 37380 834879 18.06 19.07 -- 242.49/60.82 c N dy 1793 484555 60 5340 0 42989 37380 667770 18.10 19.30 -- 253.27/63.56 c N dy 1840 504621 60 5340 0 34111 37380 460020 18.08 20.98 -- 264.43/66.35 c N dy 1883 524627 60 5340 0 51815 37380 833921 18.05 20.48 -- 270.82/67.98 c S st 1911 536903 60 5340 0 35310 37380 477867 18.05 16.88 -- 271.22/68.07 c S st 1911 537410 60 5340 0 35763 37380 488041 18.05 no data -- 271.22/68.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 271.22/68.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 271.22/68.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 271.22/68.09 c bin-w-bin subsume rem 0 bins time: 0.00 s 271.22/68.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 271.22/68.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 271.22/68.09 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 280.41/70.35 c lits-rem: 1011 cl-subs: 2063 v-elim: 0 v-fix: 0 time: 8.99 s 280.41/70.35 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 280.41/70.36 c vivif2 -- cl tried 33700 cl shrink 0 lits rem 0 time: 0.02 281.98/70.73 c asymm cl-useful: 0/2619/5340 lits-rem:0 time: 1.51 281.98/70.74 c calculated reachability. Time: 0.00 281.98/70.74 c N dy 1911 537410 60 5340 0 33700 37380 443693 18.05 no data -- 294.74/73.93 c N dy 2038 557451 60 5340 0 51545 37380 830286 18.09 22.04 -- 305.92/76.79 c N dy 2122 577490 60 5340 0 40997 37380 591371 18.10 19.95 -- 321.07/80.55 c N dy 2220 597531 60 5340 0 29581 37380 335212 18.12 19.26 -- 343.40/86.13 c N dy 2221 641974 60 5340 0 38406 37380 502327 17.97 18.98 -- 356.17/89.36 c N dy 2282 661985 60 5340 0 56057 37380 873315 17.96 19.84 -- 369.73/92.72 c N dy 2328 683035 60 5340 0 43925 37380 617028 17.95 18.93 -- 390.53/97.92 c N dy 2352 719450 60 5340 0 44132 37380 600970 17.85 18.83 -- 408.82/102.54 c N dy 2509 739454 60 5340 0 62050 37380 991964 17.89 20.96 -- 423.18/106.13 c N dy 2630 760026 60 5340 0 47556 37380 680556 17.92 18.99 -- 440.73/110.56 c N dy 2717 782063 60 5340 0 67034 37380 1093375 17.92 18.90 -- 453.10/113.61 c N dy 2771 802154 60 5340 0 51182 37380 738112 17.91 20.88 -- 456.33/114.46 c S st 2808 806118 60 5340 0 54718 37380 816090 17.92 no data -- 457.08/114.61 c S st 2808 806626 60 5340 0 55180 37380 826365 17.92 no data -- 457.08/114.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 457.08/114.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 457.08/114.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 457.08/114.65 c bin-w-bin subsume rem 0 bins time: 0.00 s 457.08/114.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 457.08/114.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 457.08/114.65 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 488.59/122.57 c lits-rem: 2742 cl-subs: 6263 v-elim: 0 v-fix: 0 time: 31.57 s 488.59/122.57 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 488.59/122.58 c vivif2 -- cl tried 48917 cl shrink 0 lits rem 0 time: 0.03 489.79/122.81 c asymm cl-useful: 0/797/5340 lits-rem:0 time: 0.93 489.79/122.81 c calculated reachability. Time: 0.00 489.79/122.81 c N dy 2808 806626 60 5340 0 48917 37380 696853 17.92 no data -- 509.33/127.76 c N dy 2950 826666 60 5340 0 66778 37380 1086227 17.96 20.83 -- 524.49/131.53 c N dy 3048 849550 60 5340 0 52860 37380 773078 17.97 19.00 -- 546.43/137.03 c N dy 3189 873369 60 5340 0 38735 37380 457765 17.99 18.95 -- 560.39/140.59 c N dy 3313 893399 60 5340 0 56577 37380 844819 18.02 19.05 -- 581.13/145.75 c N dy 3438 913990 60 5340 0 38597 37380 446121 18.04 19.00 -- 593.89/148.92 c N dy 3480 935029 60 5340 0 57097 37380 835178 18.03 19.02 -- 613.44/153.82 c N dy 3573 955095 60 5340 0 37717 37380 418026 18.04 20.48 -- 644.57/161.70 c N dy 3654 1002741 60 5340 0 41616 37380 487503 17.98 18.93 -- 660.91/165.71 c N dy 3796 1023007 60 5340 0 59634 37380 880711 18.00 19.01 -- 683.65/171.41 c N dy 3917 1044550 60 5340 0 39865 37380 443342 18.02 19.00 -- 698.40/175.17 c N dy 4055 1064621 60 5340 0 57645 37380 830814 18.05 20.81 -- 705.59/176.90 c F st 4103 1071876 60 5340 0 64109 37380 970851 18.05 18.76 -- 718.34/180.12 c N dy 4149 1084656 60 5340 0 75443 37380 1217054 18.06 20.24 -- 738.69/185.26 c N dy 4251 1110666 60 5340 0 58532 37380 831476 18.07 19.14 -- 758.65/190.30 c N dy 4356 1130717 60 5340 0 76331 37380 1214956 18.08 19.08 -- 779.77/195.52 c N dy 4491 1151536 60 5340 0 54119 37380 732995 18.10 19.08 -- 802.52/201.22 c N dy 4539 1175234 60 5340 0 74935 37380 1165959 18.08 19.12 -- 828.03/207.68 c N dy 4651 1198196 60 5340 0 53809 37380 717593 18.10 19.10 -- 842.01/211.20 c S st 4707 1209939 60 5340 0 64266 37380 943440 18.10 no data -- 843.17/211.44 c S st 4707 1210443 60 5340 0 64726 37380 953714 18.10 no data -- 843.17/211.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 843.17/211.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 843.17/211.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.16 843.58/211.51 c bin-w-bin subsume rem 0 bins time: 0.00 s 843.58/211.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 843.58/211.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 843.58/211.51 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 910.18/228.20 c lits-rem: 3798 cl-subs: 5721 v-elim: 0 v-fix: 0 time: 66.54 s 910.18/228.20 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 910.18/228.21 c vivif2 -- cl tried 59005 cl shrink 0 lits rem 0 time: 0.04 910.98/228.49 c asymm cl-useful: 0/642/5340 lits-rem:0 time: 1.13 911.38/228.50 c calculated reachability. Time: 0.00 911.38/228.50 c N dy 4707 1210443 60 5340 0 59005 37380 827486 18.10 no data -- 932.92/233.91 c N dy 4751 1232682 60 5340 0 78572 37380 1236914 18.09 19.14 -- 954.86/239.45 c N dy 4756 1265714 60 5340 0 65502 37380 929636 18.03 19.12 -- 978.43/245.38 c N dy 4865 1285758 60 5340 0 83284 37380 1313165 18.05 19.91 -- 999.53/250.63 c N dy 4954 1306739 60 5340 0 58711 37380 798460 18.05 19.26 -- 1025.06/257.04 c N dy 4984 1332485 60 5340 0 81284 37380 1261233 18.03 19.03 -- 1048.21/262.90 c N dy 5108 1352564 60 5340 0 55128 37380 716084 18.04 19.84 -- 1068.94/268.09 c N dy 5162 1374078 60 5340 0 74087 37380 1114757 18.04 19.03 -- 1097.25/275.16 c N dy 5262 1397486 60 5340 0 49761 37380 580986 18.04 19.01 -- 1114.80/279.58 c N dy 5377 1417521 60 5340 0 67499 37380 965074 18.05 20.22 -- 1140.77/286.05 c N dy 5515 1438651 60 5340 0 86226 37380 1373465 18.07 19.08 -- 1171.07/293.67 c N dy 5545 1479631 60 5340 0 76009 37380 1095012 18.02 19.38 -- 1198.16/300.46 c N dy 5698 1499726 60 5340 0 47179 37380 512438 18.04 21.18 -- 1214.52/304.58 c N dy 5797 1520606 60 5340 0 65679 37380 911087 18.04 19.04 -- 1238.44/310.56 c N dy 5894 1542315 60 5340 0 84851 37380 1322157 18.05 19.10 -- 1262.38/316.50 c N dy 6012 1562407 60 5340 0 55015 37380 671606 18.06 20.58 -- 1281.92/321.42 c N dy 6127 1582459 60 5340 0 72821 37380 1057765 18.07 19.84 -- 1309.04/328.25 c N dy 6257 1602535 60 5340 0 90647 37380 1444447 18.09 20.05 -- 1332.98/334.28 c N dy 6384 1623622 60 5340 0 60547 37380 777350 18.10 19.05 -- 1355.33/339.82 c N dy 6523 1643685 60 5340 0 78364 37380 1167640 18.11 19.76 -- 1397.19/350.31 c N dy 6556 1693830 60 5340 0 72798 37380 1001147 18.06 19.09 -- 1421.15/356.33 c S st 6655 1710443 60 5340 0 87526 37380 1322068 18.07 no data -- 1422.32/356.66 c S st 6655 1710944 60 5340 0 87979 37380 1332283 18.07 no data -- 1422.32/356.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1422.32/356.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1422.72/356.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.20 1422.72/356.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 1422.72/356.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1422.72/356.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1422.72/356.76 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1613.74/404.64 c lits-rem: 5531 cl-subs: 11836 v-elim: 0 v-fix: 0 time: 190.94 s 1613.74/404.64 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1613.74/404.66 c vivif2 -- cl tried 76143 cl shrink 0 lits rem 0 time: 0.06 1615.73/405.11 c asymm cl-useful: 0/528/5340 lits-rem:0 time: 1.79 1615.73/405.11 c calculated reachability. Time: 0.00 1615.73/405.11 c N dy 6655 1710944 60 5340 0 76143 37380 1101998 18.07 no data -- 1660.80/416.46 c N dy 6708 1752222 60 5340 0 62804 37380 796349 18.03 18.99 -- 1690.71/423.97 c N dy 6850 1772240 60 5340 0 80641 37380 1188143 18.05 20.58 -- 1733.38/434.65 c N dy 6918 1798812 60 5340 0 53227 37380 589732 18.04 18.99 -- 1761.71/441.70 c N dy 7024 1818823 60 5340 0 70991 37380 974080 18.04 19.94 -- 1795.60/450.24 c N dy 7103 1838825 60 5340 0 88594 37380 1349504 18.05 19.03 -- 1850.25/463.97 c N dy 7165 1875211 60 5340 0 68598 37380 893720 18.03 18.99 -- 1883.74/472.39 c N dy 7298 1895500 60 5340 0 86628 37380 1287703 18.04 19.03 -- 1920.84/481.65 c N dy 7332 1918354 60 5340 0 53976 37380 586846 18.03 19.01 -- 1944.76/487.64 c N dy 7464 1939234 60 5340 0 72526 37380 991820 18.05 19.08 -- 1973.09/494.79 c N dy 7577 1959324 60 5340 0 90324 37380 1378027 18.05 19.07 -- 2006.99/503.24 c N dy 7703 1979804 60 5340 0 54592 37380 588758 18.06 19.12 -- 2026.56/508.19 c N dy 7844 1999846 60 5340 0 72366 37380 977459 18.08 19.36 -- 2054.45/515.13 c N dy 7996 2019974 60 5340 0 90233 37380 1369503 18.09 19.09 -- 2087.16/523.30 c N dy 8116 2039978 60 5340 0 107974 37380 1756101 18.10 20.60 -- 2109.10/528.87 c N dy 8232 2060019 60 5340 0 70817 37380 928460 18.11 20.02 -- 2132.28/534.67 c N dy 8316 2080256 60 5340 0 88686 37380 1309821 18.11 19.27 -- 2157.77/541.04 c N dy 8347 2100258 60 5340 0 106232 37380 1677581 18.10 19.55 -- 2182.90/547.30 c N dy 8452 2120287 60 5340 0 68295 37380 862956 18.11 20.55 -- 2209.62/554.08 c N dy 8612 2140374 60 5340 0 86139 37380 1257197 18.12 20.57 -- 2239.13/561.44 c N dy 8704 2160402 60 5340 0 103800 37380 1637916 18.13 19.72 -- 2263.07/567.43 c N dy 8768 2180445 60 5340 0 64908 37380 780093 18.13 19.46 -- 2288.99/573.96 c N dy 8866 2204140 60 5340 0 85825 37380 1230462 18.13 19.13 -- 2298.17/576.25 c S st 8896 2210946 60 5340 0 91804 37380 1357686 18.13 15.22 -- 2299.35/576.53 c S st 8896 2211448 60 5340 0 92252 37380 1367857 18.13 no data -- 2299.35/576.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2299.35/576.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2299.35/576.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.17 2299.75/576.62 c bin-w-bin subsume rem 0 bins time: 0.00 s 2299.75/576.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2299.75/576.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2299.75/576.62 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2411.83/604.75 c lits-rem: 4751 cl-subs: 9687 v-elim: 0 v-fix: 0 time: 112.21 s 2411.83/604.75 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2411.83/604.77 c vivif2 -- cl tried 82565 cl shrink 0 lits rem 0 time: 0.06 2413.07/605.09 c asymm cl-useful: 0/467/5340 lits-rem:0 time: 1.27 2413.07/605.09 c calculated reachability. Time: 0.00 2413.07/605.09 c N dy 8896 2211448 60 5340 0 82565 37380 1162025 18.13 no data -- 2442.94/612.52 c N dy 9017 2231619 60 5340 0 100415 37380 1548710 18.14 19.14 -- 2471.66/619.80 c N dy 9096 2251755 60 5340 0 61316 37380 698826 18.14 19.16 -- 2491.21/624.60 c N dy 9130 2273049 60 5340 0 79977 37380 1090542 18.14 19.18 -- 2518.72/631.51 c N dy 9223 2293120 60 5340 0 97683 37380 1469953 18.14 20.68 -- 2556.62/641.04 c N dy 9262 2316256 60 5340 0 60103 37380 658947 18.13 19.10 -- 2584.53/648.01 c N dy 9414 2336334 60 5340 0 77939 37380 1054347 18.14 21.76 -- 2620.03/656.90 c N dy 9493 2356387 60 5340 0 95710 37380 1436964 18.15 20.18 -- 2673.47/670.35 c N dy 9624 2380520 60 5340 0 116957 37380 1897041 18.15 19.12 -- 2705.78/678.46 c N dy 9761 2400586 60 5340 0 75781 37380 992694 18.16 19.14 -- 2742.86/687.71 c N dy 9890 2420961 60 5340 0 93872 37380 1389766 18.17 19.23 -- 2781.95/697.53 c N dy 9953 2441225 60 5340 0 111700 37380 1767434 18.17 19.15 -- 2825.05/708.31 c N dy 10061 2465440 60 5340 0 72972 37380 908961 18.18 19.14 -- 2859.33/716.91 c N dy 10148 2487003 60 5340 0 91943 37380 1316979 18.18 19.32 -- 2901.60/727.54 c N dy 10274 2507038 60 5340 0 109664 37380 1704709 18.19 19.93 -- 2942.28/737.73 c N dy 10332 2530217 60 5340 0 69186 37380 823611 18.18 19.22 -- 2971.79/745.19 c N dy 10414 2550238 60 5340 0 86891 37380 1205751 18.19 19.93 -- 3013.28/755.52 c N dy 10506 2572222 60 5340 0 106261 37380 1624526 18.19 19.15 -- 3054.35/765.83 c N dy 10529 2595331 60 5340 0 64829 37380 718826 18.18 19.23 -- 3078.28/771.85 c N dy 10668 2615379 60 5340 0 82575 37380 1109164 18.19 21.06 -- 3104.21/778.39 c N dy 10734 2635382 60 5340 0 100155 37380 1486361 18.19 19.74 -- 3144.50/788.48 c N dy 10886 2656538 60 5340 0 118911 37380 1898376 18.20 19.23 -- 3173.21/795.69 c N dy 10988 2676555 60 5340 0 74007 37380 910631 18.21 21.33 -- 3195.94/801.35 c N dy 11043 2697218 60 5340 0 92267 37380 1300595 18.21 19.23 -- 3217.48/806.73 c S st 11128 2711449 60 5340 0 104806 37380 1574515 18.21 no data -- 3218.68/807.06 c S st 11128 2711951 60 5340 0 105267 37380 1584959 18.21 no data -- 3218.68/807.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3218.68/807.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3219.08/807.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.20 3219.08/807.16 c bin-w-bin subsume rem 0 bins time: 0.00 s 3219.08/807.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3219.08/807.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3219.08/807.16 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3628.33/909.78 c lits-rem: 7146 cl-subs: 11264 v-elim: 0 v-fix: 0 time: 409.17 s 3628.33/909.78 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3628.68/909.80 c vivif2 -- cl tried 94003 cl shrink 0 lits rem 0 time: 0.07 3629.87/910.12 c asymm cl-useful: 0/548/5340 lits-rem:0 time: 1.29 3629.87/910.13 c calculated reachability. Time: 0.00 3629.87/910.13 c N dy 11128 2711951 60 5340 0 94003 37380 1341350 18.21 no data -- 3660.59/917.81 c N dy 11235 2732037 60 5340 0 111688 37380 1723395 18.22 19.99 -- 3692.10/925.73 c N dy 11261 2756649 60 5340 0 70469 37380 824367 18.21 19.29 -- 3718.03/932.26 c N dy 11397 2777044 60 5340 0 88610 37380 1224020 18.21 19.20 -- 3746.79/939.45 c N dy 11448 2798889 60 5340 0 107738 37380 1626598 18.21 19.24 -- 3785.85/949.30 c N dy 11506 2826832 60 5340 0 68313 37380 763651 18.20 19.17 -- 3819.73/957.74 c N dy 11612 2846879 60 5340 0 86078 37380 1150586 18.20 20.66 -- 3854.04/966.33 c N dy 11635 2867493 60 5340 0 104143 37380 1526605 18.19 19.18 -- 3904.74/979.06 c N dy 11749 2887568 60 5340 0 121903 37380 1913074 18.20 20.37 -- 3944.96/989.17 c N dy 11849 2907612 60 5340 0 74511 37380 893289 18.20 19.63 -- 3981.66/998.33 c N dy 11970 2927842 60 5340 0 92359 37380 1283076 18.21 19.24 -- 4023.53/1008.87 c N dy 12063 2947891 60 5340 0 110009 37380 1664271 18.21 19.46 -- 4067.40/1019.90 c N dy 12124 2967918 60 5340 0 127583 37380 2038275 18.21 20.75 -- 4105.70/1029.47 c N dy 12219 2987964 60 5340 0 79232 37380 980123 18.21 19.72 -- 4143.58/1038.90 c N dy 12341 3008008 60 5340 0 96904 37380 1366102 18.22 19.62 -- 4191.04/1050.88 c N dy 12450 3029253 60 5340 0 115620 37380 1772367 18.23 19.34 -- 4234.91/1061.84 c N dy 12510 3049312 60 5340 0 133225 37380 2149884 18.23 19.36 -- 4270.01/1070.69 c N dy 12632 3069580 60 5340 0 84253 37380 1086660 18.23 19.29 -- 4307.11/1079.99 c N dy 12713 3089883 60 5340 0 102143 37380 1470021 18.23 19.24 -- 4355.36/1092.00 c N dy 12828 3110401 60 5340 0 120318 37380 1868344 18.24 19.26 -- 4404.44/1104.32 c N dy 12923 3130437 60 5340 0 70110 37380 767631 18.24 20.30 -- 4433.94/1111.75 c N dy 13005 3150524 60 5340 0 87816 37380 1147521 18.24 19.26 -- 4468.23/1120.34 c N dy 13103 3170615 60 5340 0 105512 37380 1529782 18.24 19.25 -- 4516.89/1132.50 c N dy 13215 3194712 60 5340 0 126823 37380 1991515 18.25 19.22 -- 4556.78/1142.54 c S st 13311 3211951 60 5340 0 73240 37380 821023 18.25 17.56 -- 4557.58/1142.77 c S st 13311 3212454 60 5340 0 73689 37380 831384 18.25 no data -- 4557.58/1142.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4557.58/1142.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4557.58/1142.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.13 4558.00/1142.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 4558.00/1142.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4558.00/1142.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4558.00/1142.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4635.75/1162.39 c lits-rem: 838 cl-subs: 1503 v-elim: 0 v-fix: 0 time: 78.01 s 4635.75/1162.39 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4636.15/1162.41 c vivif2 -- cl tried 72186 cl shrink 0 lits rem 0 time: 0.05 4636.97/1162.70 c asymm cl-useful: 0/606/5340 lits-rem:0 time: 1.16 4636.97/1162.70 c calculated reachability. Time: 0.00 4636.97/1162.70 c N dy 13311 3212454 60 5340 0 72186 37380 800953 18.25 no data -- 4658.08/1167.95 c N dy 13338 3232713 60 5340 0 89917 37380 1172519 18.25 19.26 -- 4702.36/1179.07 c N dy 13440 3263690 60 5340 0 116960 37380 1743747 18.24 19.33 -- 4745.43/1189.88 c N dy 13576 3283713 60 5340 0 134616 37380 2133032 18.25 20.30 -- 4783.72/1199.45 c N dy 13689 3309625 60 5340 0 88000 37380 1132489 18.25 19.28 --
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-3368936-1305406810/watcher-3368936-1305406810 -o /tmp/evaluation-result-3368936-1305406810/solver-3368936-1305406810 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368936-1305406810.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: 8.15 8.15 8.08 6/354 8367 /proc/meminfo: memFree=17782076/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 730911663 52465664 357 33554432000 4194304 4650419 140735958425184 18446744073709551615 47246440171442 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 12809 357 306 112 0 7774 0 [pid=8367/tid=8368] ppid=8365 vsize=208164 CPUtime=0 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 178 0 0 0 0 0 0 0 25 0 4 0 730911663 213159936 939 33554432000 4194304 4650419 140735958425184 18446744073709551615 256415052485 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=208164 CPUtime=0 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 50 0 0 0 0 0 0 0 25 0 4 0 730911663 213159936 940 33554432000 4194304 4650419 140735958425184 18446744073709551615 256415496686 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=208164 CPUtime=0 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 196 0 0 0 0 0 0 0 25 0 4 0 730911663 213159936 940 33554432000 4194304 4650419 140735958425184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.075142 s] /proc/loadavg: 8.15 8.15 8.08 6/354 8367 /proc/meminfo: memFree=17782076/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=216368 CPUtime=0.27 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 1276 0 0 0 27 0 0 0 25 0 4 0 730911663 221560832 1188 33554432000 4194304 4650419 140735958425184 18446744073709551615 4370570 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 54092 1188 366 112 0 49057 0 [pid=8367/tid=8368] ppid=8365 vsize=216368 CPUtime=0.07 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 184 0 0 0 7 0 0 0 25 0 4 0 730911663 221560832 1188 33554432000 4194304 4650419 140735958425184 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=216368 CPUtime=0.06 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 188 0 0 0 6 0 0 0 25 0 4 0 730911663 221560832 1188 33554432000 4194304 4650419 140735958425184 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=216368 CPUtime=0.06 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 292 0 0 0 6 0 0 0 18 0 4 0 730911663 221560832 1188 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 216368 [startup+0.101137 s] /proc/loadavg: 8.15 8.15 8.08 6/354 8367 /proc/meminfo: memFree=17782076/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=216368 CPUtime=0.37 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 1321 0 0 0 37 0 0 0 25 0 4 0 730911663 221560832 1233 33554432000 4194304 4650419 140735958425184 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 54092 1233 366 112 0 49057 0 [pid=8367/tid=8368] ppid=8365 vsize=216368 CPUtime=0.09 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 189 0 0 0 9 0 0 0 25 0 4 0 730911663 221560832 1233 33554432000 4194304 4650419 140735958425184 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=216368 CPUtime=0.08 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 190 0 0 0 8 0 0 0 25 0 4 0 730911663 221560832 1233 33554432000 4194304 4650419 140735958425184 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=216368 CPUtime=0.09 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 326 0 0 0 9 0 0 0 18 0 4 0 730911663 221560832 1233 33554432000 4194304 4650419 140735958425184 18446744073709551615 4361118 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 216368 [startup+0.301102 s] /proc/loadavg: 8.15 8.15 8.08 6/354 8367 /proc/meminfo: memFree=17782076/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=219756 CPUtime=1.17 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 3587 0 0 0 117 0 0 0 25 0 4 0 730911663 225030144 2675 33554432000 4194304 4650419 140735958425184 18446744073709551615 4331967 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 54939 2675 390 112 0 49904 0 [pid=8367/tid=8368] ppid=8365 vsize=219756 CPUtime=0.29 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 862 0 0 0 29 0 0 0 25 0 4 0 730911663 225030144 2675 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=219756 CPUtime=0.28 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 801 0 0 0 28 0 0 0 25 0 4 0 730911663 225030144 2675 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=219756 CPUtime=0.29 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 652 0 0 0 29 0 0 0 18 0 4 0 730911663 225030144 2675 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 219756 [startup+0.701029 s] /proc/loadavg: 8.15 8.15 8.08 6/354 8367 /proc/meminfo: memFree=17782076/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=220912 CPUtime=2.77 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 5596 0 0 0 277 0 0 0 25 0 4 0 730911663 226213888 3491 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 55228 3491 390 112 0 50193 0 [pid=8367/tid=8368] ppid=8365 vsize=220912 CPUtime=0.69 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 1317 0 0 0 69 0 0 0 25 0 4 0 730911663 226213888 3491 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=220912 CPUtime=0.68 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 1255 0 0 0 68 0 0 0 25 0 4 0 730911663 226213888 3492 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=220912 CPUtime=0.69 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 1291 0 0 0 69 0 0 0 18 0 4 0 730911663 226213888 3492 33554432000 4194304 4650419 140735958425184 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 220912 [startup+1.50088 s] /proc/loadavg: 8.14 8.15 8.08 9/358 8371 /proc/meminfo: memFree=17753152/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=221936 CPUtime=5.96 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 9929 0 0 0 594 2 0 0 25 0 4 0 730911663 227262464 5338 33554432000 4194304 4650419 140735958425184 18446744073709551615 4439106 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 55484 5338 392 112 0 50449 0 [pid=8367/tid=8368] ppid=8365 vsize=221936 CPUtime=1.49 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 2102 0 0 0 149 0 0 0 25 0 4 0 730911663 227262464 5338 33554432000 4194304 4650419 140735958425184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=221936 CPUtime=1.46 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 1997 0 0 0 146 0 0 0 25 0 4 0 730911663 227262464 5338 33554432000 4194304 4650419 140735958425184 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=221936 CPUtime=1.49 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 2115 0 0 0 149 0 0 0 20 0 4 0 730911663 227262464 5338 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 221936 [startup+3.10058 s] /proc/loadavg: 8.14 8.15 8.08 9/358 8371 /proc/meminfo: memFree=17715952/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=217760 CPUtime=12.34 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 16461 0 0 0 1232 2 0 0 25 0 4 0 730911663 222986240 10259 33554432000 4194304 4650419 140735958425184 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 54440 10259 392 112 0 49405 0 [pid=8367/tid=8368] ppid=8365 vsize=217760 CPUtime=3.09 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 3548 0 0 0 309 0 0 0 25 0 4 0 730911663 222986240 10259 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=217760 CPUtime=3.06 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 4331 0 0 0 305 1 0 0 25 0 4 0 730911663 222986240 10259 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=217760 CPUtime=3.08 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 4430 0 0 0 308 0 0 0 25 0 4 0 730911663 222986240 10259 33554432000 4194304 4650419 140735958425184 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 217760 [startup+6.30098 s] /proc/loadavg: 8.14 8.15 8.08 9/358 8371 /proc/meminfo: memFree=17677416/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=224712 CPUtime=25.11 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 24176 0 0 0 2507 4 0 0 25 0 4 0 730911663 230105088 11880 33554432000 4194304 4650419 140735958425184 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 56178 11880 392 112 0 51143 0 [pid=8367/tid=8368] ppid=8365 vsize=224712 CPUtime=6.29 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 6011 0 0 0 629 0 0 0 25 0 4 0 730911663 230105088 11880 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=224712 CPUtime=6.22 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 6109 0 0 0 621 1 0 0 25 0 4 0 730911663 230105088 11880 33554432000 4194304 4650419 140735958425184 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=224712 CPUtime=6.29 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 6510 0 0 0 628 1 0 0 25 0 4 0 730911663 230105088 11880 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 224712 [startup+12.7008 s] /proc/loadavg: 8.12 8.14 8.08 9/358 8371 /proc/meminfo: memFree=17638664/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=243024 CPUtime=50.64 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 35591 0 0 0 5057 7 0 0 25 0 4 0 730911663 248856576 17423 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 60756 17423 392 112 0 55721 0 [pid=8367/tid=8368] ppid=8365 vsize=243024 CPUtime=12.69 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 7975 0 0 0 1268 1 0 0 25 0 4 0 730911663 248856576 17423 33554432000 4194304 4650419 140735958425184 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=243024 CPUtime=12.54 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 9498 0 0 0 1252 2 0 0 25 0 4 0 730911663 248856576 17423 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=243024 CPUtime=12.68 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 9802 0 0 0 1267 1 0 0 25 0 4 0 730911663 248856576 17423 33554432000 4194304 4650419 140735958425184 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 243024 [startup+25.5004 s] /proc/loadavg: 8.10 8.14 8.08 9/358 8372 /proc/meminfo: memFree=17596392/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=245940 CPUtime=101.69 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 51995 0 0 0 10157 12 0 0 25 0 4 0 730911663 251842560 23049 33554432000 4194304 4650419 140735958425184 18446744073709551615 4438402 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 61485 23049 392 112 0 56450 0 [pid=8367/tid=8368] ppid=8365 vsize=245940 CPUtime=25.48 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 10916 0 0 0 2547 1 0 0 25 0 4 0 730911663 251842560 23049 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=245940 CPUtime=25.19 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 13816 0 0 0 2516 3 0 0 25 0 4 0 730911663 251842560 23049 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=245940 CPUtime=25.49 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 14385 0 0 0 2546 3 0 0 25 0 4 0 730911663 251842560 23049 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 101.69 Current children cumulated vsize (KiB) 245940 [startup+51.1006 s] /proc/loadavg: 8.06 8.12 8.08 9/358 8372 /proc/meminfo: memFree=17538772/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=306524 CPUtime=203.8 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 73355 0 0 0 20362 18 0 0 25 0 4 0 730911663 313880576 25304 33554432000 4194304 4650419 140735958425184 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 76631 25304 392 112 0 71596 0 [pid=8367/tid=8368] ppid=8365 vsize=306524 CPUtime=51.09 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 15991 0 0 0 5106 3 0 0 25 0 4 0 730911663 313880576 25304 33554432000 4194304 4650419 140735958425184 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=306524 CPUtime=50.51 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 19377 0 0 0 5045 6 0 0 25 0 4 0 730911663 313880576 25304 33554432000 4194304 4650419 140735958425184 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=306524 CPUtime=51.08 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 21186 0 0 0 5104 4 0 0 25 0 4 0 730911663 313880576 25304 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 203.8 Current children cumulated vsize (KiB) 306524 [startup+102.313 s] /proc/loadavg: 8.06 8.11 8.08 9/358 8383 /proc/meminfo: memFree=17472872/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=328924 CPUtime=408.07 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 103730 0 0 0 40779 28 0 0 25 0 4 0 730911663 336818176 34911 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 82231 34911 392 112 0 77196 0 [pid=8367/tid=8368] ppid=8365 vsize=328924 CPUtime=102.3 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 20510 0 0 0 10225 5 0 0 25 0 4 0 730911663 336818176 34911 33554432000 4194304 4650419 140735958425184 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=328924 CPUtime=101.13 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 26059 0 0 0 10106 7 0 0 25 0 4 0 730911663 336818176 34911 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=328924 CPUtime=102.3 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 34011 0 0 0 10221 9 0 0 25 0 4 0 730911663 336818176 34911 33554432000 4194304 4650419 140735958425184 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 408.07 Current children cumulated vsize (KiB) 328924 [startup+162.301 s] ################ # More data... # ################ [pid=8367] ppid=8365 vsize=378512 CPUtime=2801.1 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 313881 0 0 0 279985 125 0 0 25 0 4 0 730911663 387596288 68506 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 94628 68506 392 112 0 89593 0 [pid=8367/tid=8368] ppid=8365 vsize=378512 CPUtime=702.29 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 43043 0 0 0 70214 15 0 0 25 0 4 0 730911663 387596288 68506 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=378512 CPUtime=694.16 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 86913 0 0 0 69377 39 0 0 25 0 4 0 730911663 387596288 68506 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=378512 CPUtime=702.31 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 102360 0 0 0 70199 32 0 0 25 0 4 0 730911663 387596288 68506 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2801.1 Current children cumulated vsize (KiB) 378512 [startup+762.314 s] /proc/loadavg: 8.08 8.11 8.09 9/358 8400 /proc/meminfo: memFree=17167396/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=378748 CPUtime=3040.44 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 332558 0 0 0 303912 132 0 0 25 0 4 0 730911663 387837952 67634 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 94687 67634 392 112 0 89652 0 [pid=8367/tid=8368] ppid=8365 vsize=378748 CPUtime=762.31 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 43047 0 0 0 76216 15 0 0 25 0 4 0 730911663 387837952 67634 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=378748 CPUtime=753.46 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 91391 0 0 0 75305 41 0 0 25 0 4 0 730911663 387837952 67634 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=378748 CPUtime=762.32 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 111935 0 0 0 76199 33 0 0 25 0 4 0 730911663 387837952 67634 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3040.44 Current children cumulated vsize (KiB) 378748 [startup+822.3 s] /proc/loadavg: 8.11 8.11 8.09 9/358 8402 /proc/meminfo: memFree=17162540/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=393944 CPUtime=3279.71 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 347686 0 0 0 327832 139 0 0 25 0 4 0 730911663 403398656 72318 33554432000 4194304 4650419 140735958425184 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 98486 72318 392 112 0 93451 0 [pid=8367/tid=8368] ppid=8365 vsize=393944 CPUtime=822.29 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 45685 0 0 0 82213 16 0 0 25 0 4 0 730911663 403398656 72318 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=393944 CPUtime=812.76 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 96542 0 0 0 81232 44 0 0 25 0 4 0 730911663 403398656 72318 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=393944 CPUtime=822.31 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 113128 0 0 0 82197 34 0 0 25 0 4 0 730911663 403398656 72318 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3279.71 Current children cumulated vsize (KiB) 393944 [startup+882.301 s] /proc/loadavg: 8.07 8.10 8.09 9/358 8403 /proc/meminfo: memFree=17134732/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=406480 CPUtime=3519 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 363305 0 0 0 351756 144 0 0 25 0 4 0 730911663 416235520 73361 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 101620 73361 392 112 0 96585 0 [pid=8367/tid=8368] ppid=8365 vsize=406480 CPUtime=882.29 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 46960 0 0 0 88212 17 0 0 25 0 4 0 730911663 416235520 73361 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=406480 CPUtime=872.04 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 102112 0 0 0 87157 47 0 0 25 0 4 0 730911663 416235520 73361 33554432000 4194304 4650419 140735958425184 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=406480 CPUtime=882.31 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 114743 0 0 0 88197 34 0 0 25 0 4 0 730911663 416235520 73361 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3519 Current children cumulated vsize (KiB) 406480 [startup+942.301 s] /proc/loadavg: 8.17 8.13 8.09 9/358 8405 /proc/meminfo: memFree=17125420/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=422132 CPUtime=3758.31 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 378649 0 0 0 375679 152 0 0 25 0 4 0 730911663 432263168 71595 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 105533 71595 392 112 0 100498 0 [pid=8367/tid=8368] ppid=8365 vsize=422132 CPUtime=942.29 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 47249 0 0 0 94212 17 0 0 25 0 4 0 730911663 432263168 71595 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=422132 CPUtime=931.35 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 107346 0 0 0 93086 49 0 0 25 0 4 0 730911663 432263168 71595 33554432000 4194304 4650419 140735958425184 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=422132 CPUtime=942.32 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 120260 0 0 0 94195 37 0 0 25 0 4 0 730911663 432263168 71595 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3758.31 Current children cumulated vsize (KiB) 422132 [startup+1002.3 s] /proc/loadavg: 8.06 8.10 8.09 9/358 8407 /proc/meminfo: memFree=17079256/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=434768 CPUtime=3997.61 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 388459 0 0 0 399602 159 0 0 25 0 4 0 730911663 445202432 75738 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 108692 75738 392 112 0 103657 0 [pid=8367/tid=8368] ppid=8365 vsize=434768 CPUtime=1002.3 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 47748 0 0 0 100212 18 0 0 25 0 4 0 730911663 445202432 75738 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=434768 CPUtime=990.64 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 111024 0 0 0 99012 52 0 0 25 0 4 0 730911663 445202432 75738 33554432000 4194304 4650419 140735958425184 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=434768 CPUtime=1002.31 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 121119 0 0 0 100194 37 0 0 25 0 4 0 730911663 445202432 75738 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3997.61 Current children cumulated vsize (KiB) 434768 [startup+1062.3 s] /proc/loadavg: 8.13 8.11 8.09 9/358 8408 /proc/meminfo: memFree=17042408/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=500364 CPUtime=4236.92 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 395418 0 0 0 423528 164 0 0 25 0 4 0 730911663 512372736 79935 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 125091 79935 392 112 0 120056 0 [pid=8367/tid=8368] ppid=8365 vsize=500364 CPUtime=1062.3 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 47748 0 0 0 106212 18 0 0 25 0 4 0 730911663 512372736 79935 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=500364 CPUtime=1049.94 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 114436 0 0 0 104939 55 0 0 25 0 4 0 730911663 512372736 79935 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=500364 CPUtime=1062.32 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 121182 0 0 0 106195 37 0 0 25 0 4 0 730911663 512372736 79935 33554432000 4194304 4650419 140735958425184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4236.92 Current children cumulated vsize (KiB) 500364 [startup+1122.3 s] /proc/loadavg: 8.16 8.12 8.09 9/358 8410 /proc/meminfo: memFree=17007180/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=500464 CPUtime=4476.2 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 404772 0 0 0 447450 170 0 0 25 0 4 0 730911663 512475136 83957 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 125116 83957 392 112 0 120081 0 [pid=8367/tid=8368] ppid=8365 vsize=500464 CPUtime=1122.3 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 47874 0 0 0 112212 18 0 0 25 0 4 0 730911663 512475136 83957 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=500464 CPUtime=1109.23 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 118953 0 0 0 110865 58 0 0 25 0 4 0 730911663 512475136 83957 33554432000 4194304 4650419 140735958425184 18446744073709551615 4426393 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=500464 CPUtime=1122.32 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 121353 0 0 0 112194 38 0 0 25 0 4 0 730911663 512475136 83957 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4476.2 Current children cumulated vsize (KiB) 500464 [startup+1182.3 s] /proc/loadavg: 8.14 8.11 8.09 9/358 8411 /proc/meminfo: memFree=17024256/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=512988 CPUtime=4715.52 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 414385 0 0 0 471377 175 0 0 25 0 4 0 730911663 525299712 83471 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 128247 83471 392 112 0 123212 0 [pid=8367/tid=8368] ppid=8365 vsize=512988 CPUtime=1182.29 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 50198 0 0 0 118210 19 0 0 25 0 4 0 730911663 525299712 83471 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=512988 CPUtime=1168.53 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 121301 0 0 0 116794 59 0 0 25 0 4 0 730911663 525299712 83471 33554432000 4194304 4650419 140735958425184 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=512988 CPUtime=1182.32 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 124732 0 0 0 118193 39 0 0 25 0 4 0 730911663 525299712 83471 33554432000 4194304 4650419 140735958425184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4715.52 Current children cumulated vsize (KiB) 512988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.5 s] /proc/loadavg: 8.10 8.10 8.09 5/353 8413 /proc/meminfo: memFree=17446632/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=513040 CPUtime=4800.08 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 420294 0 0 0 479831 177 0 0 25 0 4 0 730911663 525352960 86227 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 128260 86227 392 112 0 123225 0 [pid=8367/tid=8368] ppid=8365 vsize=513040 CPUtime=1203.5 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 50416 0 0 0 120331 19 0 0 25 0 4 0 730911663 525352960 86229 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=513040 CPUtime=1189.48 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 123463 0 0 0 118888 60 0 0 25 0 4 0 730911663 525352960 86229 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=513040 CPUtime=1203.54 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 126489 0 0 0 120314 40 0 0 25 0 4 0 730911663 525352960 86229 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.08 Current children cumulated vsize (KiB) 513040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.5 s] /proc/loadavg: 8.10 8.10 8.09 5/353 8413 /proc/meminfo: memFree=17446632/32950928 swapFree=67111200/67111528 [pid=8367] ppid=8365 vsize=513040 CPUtime=4800.08 cores=1,3,5,7 /proc/8367/stat : 8367 (strangenight1-m) R 8365 8367 8202 0 -1 4202496 420294 0 0 0 479831 177 0 0 25 0 4 0 730911663 525352960 86227 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/8367/statm: 128260 86227 392 112 0 123225 0 [pid=8367/tid=8368] ppid=8365 vsize=513040 CPUtime=1203.5 cores=1,3,5,7 /proc/8367/task/8368/stat : 8368 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 50416 0 0 0 120331 19 0 0 25 0 4 0 730911663 525352960 86229 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8367/tid=8369] ppid=8365 vsize=513040 CPUtime=1189.48 cores=1,3,5,7 /proc/8367/task/8369/stat : 8369 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 123463 0 0 0 118888 60 0 0 25 0 4 0 730911663 525352960 86229 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=513040 CPUtime=1203.54 cores=1,3,5,7 /proc/8367/task/8370/stat : 8370 (strangenight1-m) R 8365 8367 8202 0 -1 4202560 126489 0 0 0 120314 40 0 0 25 0 4 0 730911663 525352960 86229 33554432000 4194304 4650419 140735958425184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.08 Current children cumulated vsize (KiB) 513040 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.53 CPU time (s): 4800.15 CPU user time (s): 4798.35 CPU system time (s): 1.79073 CPU usage (%): 398.837 Max. virtual memory (cumulated for all children) (KiB): 513040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.35 system time used= 1.79073 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 420297 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= 120 involuntary context switches= 33925 runsolver used 3.80242 second user time and 10.2654 second system time The end
Begin job on node115 at 2011-05-14 23:00:10 IDJOB=3368936 IDBENCH=82945 IDSOLVER=1846 FILE ID=node115/3368936-1305406810 RUNJOBID= node115-1305405603-8221 PBS_JOBID= 13324497 Free space on /tmp= 73228 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368936-1305406810/watcher-3368936-1305406810 -o /tmp/evaluation-result-3368936-1305406810/solver-3368936-1305406810 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368936-1305406810.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eaa221c6c9f0c0179451b2ef6caad631 RANDOM SEED=19787337 node115.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.811 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.62 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.811 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.811 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.77 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.811 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: 32950928 kB MemFree: 17782356 kB Buffers: 287220 kB Cached: 4525016 kB SwapCached: 0 kB Active: 11978068 kB Inactive: 2873748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 17782356 kB SwapTotal: 67111528 kB SwapFree: 67111200 kB Dirty: 12488 kB Writeback: 0 kB AnonPages: 10039876 kB Mapped: 28636 kB Slab: 211368 kB PageTables: 40664 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 69751144 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= 73224 MiB End job on node115 at 2011-05-14 23:20:15