| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.23 | 1201.72 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf |
| MD5SUM | 8e7b614904543aa28491ea45c761cbd5 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 97.5682 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 253 |
| Number of clauses | 34014 |
| Sum of the clauses size | 150994 |
| Maximum clause length | 23 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 336 |
| Number of clauses of size 3 | 31196 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2482 |
0.00/0.00 c Outputting solution to console 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 Using 4 thread(s) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3262461-1304133610.cnf' 0.00/0.00 c -- header says num vars: 253 0.00/0.00 c -- header says num clauses: 34014 0.03/0.05 c -- clauses added: 0 learnts, 34014 normals, 0 xors 0.03/0.05 c -- vars added 253 0.03/0.05 c Parsing time: 0.05 s 0.03/0.05 c N st 0 0 253 33678 336 0 150994 0 no data no data -- 0.62/0.27 c asymm cl-useful: 3/8686/33678 lits-rem:3 time: 0.85 0.62/0.28 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.1M T: 0.02 0.62/0.28 c Calc non-exist non-lernt bins v-fix: 0 done: 252 time: 0.00 s 0.62/0.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.62/0.28 c Subs w/ non-existent bins: 0 time: 0.00 s 0.62/0.29 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.62/0.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.62/0.29 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 0.62/0.86 c lits-rem: 0 cl-subs: 10 v-elim: 168 v-fix: 0 time: 0.53 s 0.62/0.86 c learnt bin added due to v-elim: 0 0.62/0.86 c Finding binary XORs T: 0.00 s found: 0 0.62/0.86 c Finding non-binary XORs: 0.20 s (found: 0, avg size: nan) 0.62/0.86 c calculated reachability. Time: 0.00 0.62/0.86 c Calc default polars - time: 0.00 s pos: 252 undec: 1 neg: 0 0.62/0.86 c ========================================================================================= 0.62/0.86 c types(t): F = full restart, N = normal restart 0.62/0.86 c types(t): S = simplification begin/end, E = solution found 0.62/0.86 c restart types(rt): st = static, dy = dynamic 0.62/0.86 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.62/0.86 c B st 0 0 252 33668 84 0 150238 0 no data no data -- 0.62/0.86 c Decided on static restart strategy 0.62/0.96 c N dy 20 4031 252 33668 84 3840 150238 85905 21.29 11.75 -- 5.42/1.43 c N dy 49 8169 252 33668 84 5130 150238 103980 21.92 11.74 -- 7.44/1.90 c N dy 78 12251 252 33668 84 4526 150238 79071 22.14 11.60 -- 9.02/2.34 c N dy 106 16301 252 33668 84 8388 150238 162388 19.61 11.63 -- 11.02/2.82 c N dy 135 20371 252 33668 84 6406 150238 100046 19.02 11.45 -- 12.61/3.28 c N dy 164 24511 252 33668 84 10354 150238 183502 19.31 11.43 -- 14.61/3.79 c N dy 193 28647 252 33668 84 7236 150238 109801 21.02 11.44 -- 15.41/3.94 c S st 203 30001 252 33668 84 8535 150238 137737 21.50 11.43 -- 15.41/4.00 c S st 203 30506 252 33668 84 9038 150238 149954 21.50 11.43 -- 15.41/4.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 15.41/4.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 15.82/4.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 1.3M T: 0.11 15.82/4.03 c Calc non-exist non-lernt bins v-fix: 0 done: 252 time: 0.00 s 15.82/4.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 15.82/4.03 c Subs w/ non-existent bins: 0 time: 0.02 s 15.82/4.04 c bin-w-bin subsume rem 0 bins time: 0.01 s 15.82/4.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 15.82/4.05 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 21.39/5.48 c lits-rem: 82 cl-subs: 1122 v-elim: 252 v-fix: 0 time: 5.71 s 21.39/5.48 c learnt bin added due to v-elim: 0 21.39/5.48 c vivif2 -- cl tried 33668 cl shrink 0 lits rem 0 time: 0.01 21.39/5.48 c vivif2 -- cl tried 7916 cl shrink 0 lits rem 0 time: 0.01 22.59/5.72 c asymm cl-useful: 0/11752/33668 lits-rem:0 time: 0.97 22.59/5.73 c calculated reachability. Time: 0.00 22.59/5.73 c N dy 203 30506 252 33668 84 7916 150238 135724 21.50 11.43 -- 22.59/5.73 c F st 203 30506 252 33668 84 7916 150238 135724 21.50 11.43 -- 23.39/5.97 c Decided on static restart strategy 24.61/6.20 c N dy 223 34588 252 33668 84 11760 150238 215979 20.21 11.37 -- 26.19/6.69 c N dy 252 38707 252 33668 84 15700 150238 299487 21.20 11.41 -- 28.19/7.17 c N dy 281 42743 252 33668 84 11478 150238 193030 20.88 11.46 -- 29.79/7.54 c S st 303 45759 252 33668 84 14377 150238 256513 22.50 11.47 -- 30.19/7.61 c S st 303 46263 252 33668 84 14878 150238 268348 22.50 11.47 -- 30.19/7.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 30.19/7.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 30.19/7.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 2.9M T: 0.22 30.19/7.67 c Calc non-exist non-lernt bins v-fix: 0 done: 252 time: 0.00 s 30.19/7.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 30.19/7.67 c Subs w/ non-existent bins: 0 time: 0.02 s 30.19/7.68 c bin-w-bin subsume rem 0 bins time: 0.01 s 30.19/7.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 30.19/7.69 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 37.38/9.50 c lits-rem: 143 cl-subs: 1287 v-elim: 252 v-fix: 0 time: 7.22 s 37.38/9.50 c learnt bin added due to v-elim: 0 37.38/9.50 c vivif2 -- cl tried 33668 cl shrink 0 lits rem 0 time: 0.01 37.79/9.50 c vivif2 -- cl tried 13591 cl shrink 0 lits rem 0 time: 0.01 38.57/9.73 c asymm cl-useful: 0/8426/33668 lits-rem:0 time: 0.92 38.57/9.74 c calculated reachability. Time: 0.00 38.57/9.74 c N dy 303 46263 252 33668 84 13591 150237 248669 22.50 11.47 -- 40.57/10.23 c N dy 332 50368 252 33668 84 17526 150236 335890 21.49 11.49 -- 42.59/10.74 c N dy 361 54518 252 33668 84 12387 150236 202185 20.99 11.48 -- 44.56/11.21 c N dy 390 58556 252 33668 84 16234 150236 282993 21.66 11.45 -- 46.58/11.73 c N dy 419 62685 252 33668 84 20174 150236 367272 22.21 11.44 -- 48.56/12.22 c N dy 447 66724 252 33668 84 13950 150236 228323 21.09 11.47 -- 49.75/12.54 c S st 466 69394 252 33668 84 16492 150236 281110 19.71 11.47 -- 50.16/12.61 c S st 466 69899 252 33668 84 16996 150236 292448 19.71 11.47 -- 50.16/12.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 50.16/12.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 50.16/12.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 4.3M T: 0.30 50.16/12.69 c Calc non-exist non-lernt bins v-fix: 0 done: 252 time: 0.00 s 50.16/12.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 50.16/12.69 c Subs w/ non-existent bins: 0 time: 0.02 s 50.56/12.70 c bin-w-bin subsume rem 0 bins time: 0.01 s 50.56/12.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 50.56/12.71 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 58.15/14.61 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.00 62.54/15.79 c Added 3 vars tried: 80000 time: 4.69 62.94/15.80 c ORs : 3 avg-s: 0.0 cl-sh: 1825 l-rem: 1825 b-add: 6 v-rep: 0 cl-rem: 27 avg s: 3.0 T: 4.73 62.94/15.81 c lits-rem: 187 cl-subs: 1457 v-elim: 252 v-fix: 0 time: 12.36 s 62.94/15.81 c learnt bin added due to v-elim: 0 62.94/15.81 c vivif2 -- cl tried 33643 cl shrink 0 lits rem 0 time: 0.01 62.94/15.81 c vivif2 -- cl tried 15540 cl shrink 0 lits rem 0 time: 0.02 63.34/15.95 c asymm cl-useful: 0/4779/33643 lits-rem:0 time: 0.57 63.34/15.96 c calculated reachability. Time: 0.00 63.34/15.96 c N dy 466 69899 255 33643 90 15540 149901 270047 19.71 11.47 -- 63.34/15.96 c F st 466 69899 255 33643 90 15540 149901 270047 19.71 11.47 -- 64.56/16.23 c Decided on static restart strategy 65.73/16.53 c N dy 489 74435 255 33643 90 19801 149901 359559 21.16 11.40 -- 68.13/17.14 c N dy 522 79243 255 33643 90 13333 149901 216968 21.86 11.43 -- 70.53/17.78 c N dy 558 84394 255 33643 90 18181 149901 313594 18.48 11.45 -- 73.73/18.50 c N dy 596 89857 255 33643 90 23346 149901 422059 20.23 11.51 -- 76.53/19.20 c N dy 636 95656 255 33643 90 16970 149901 272164 19.45 11.50 -- 79.72/20.01 c N dy 679 101776 255 33643 90 22792 149901 384071 19.06 11.45 -- 81.32/20.47 c S st 701 104848 255 33643 90 25704 149901 439865 19.11 11.42 -- 81.74/20.57 c S st 701 105349 255 33643 90 13274 149901 176792 19.11 11.42 -- 81.74/20.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 81.74/20.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 82.14/20.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 3.7M T: 0.23 82.14/20.63 c Calc non-exist non-lernt bins v-fix: 0 done: 255 time: 0.00 s 82.14/20.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 82.14/20.63 c Subs w/ non-existent bins: 0 time: 0.02 s 82.14/20.64 c bin-w-bin subsume rem 0 bins time: 0.01 s 82.14/20.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 82.14/20.65 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 87.31/21.93 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01 87.31/21.94 c lits-rem: 280 cl-subs: 747 v-elim: 252 v-fix: 0 time: 5.17 s 87.31/21.94 c learnt bin added due to v-elim: 0 87.31/21.94 c vivif2 -- cl tried 33643 cl shrink 0 lits rem 0 time: 0.01 87.31/21.95 c vivif2 -- cl tried 12527 cl shrink 0 lits rem 0 time: 0.01 88.11/22.13 c asymm cl-useful: 0/3849/33643 lits-rem:0 time: 0.73 88.11/22.13 c calculated reachability. Time: 0.00 88.11/22.13 c N dy 701 105349 255 33643 90 12527 149901 168291 19.11 11.42 -- 91.30/22.94 c N dy 749 112205 255 33643 90 19071 149901 308039 23.48 11.47 -- 94.92/23.86 c N dy 800 119507 255 33643 90 26027 149901 455137 19.20 11.49 -- 98.90/24.87 c N dy 853 127171 255 33643 90 19403 149901 302521 22.14 11.51 -- 103.29/25.97 c N dy 911 135406 255 33643 90 27233 149901 458952 17.20 11.49 -- 108.10/27.17 c N dy 972 144155 255 33643 90 20737 149901 309998 19.72 11.45 -- 112.89/28.40 c N dy 1036 153379 255 33643 90 29488 149901 494086 20.25 11.48 -- 115.67/29.07 c S st 1069 158023 255 33643 90 18117 149901 244401 19.80 11.51 -- 116.07/29.13 c S st 1069 158526 255 33643 90 18618 149901 253814 19.80 11.51 -- 116.07/29.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 116.07/29.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 116.47/29.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 5.5M T: 0.33 116.47/29.22 c Calc non-exist non-lernt bins v-fix: 0 done: 255 time: 0.00 s 116.47/29.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 116.47/29.22 c Subs w/ non-existent bins: 0 time: 0.02 s 116.47/29.23 c bin-w-bin subsume rem 0 bins time: 0.01 s 116.47/29.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 116.47/29.24 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 122.46/30.71 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01 122.46/30.72 c lits-rem: 864 cl-subs: 1337 v-elim: 252 v-fix: 0 time: 5.90 s 122.46/30.72 c learnt bin added due to v-elim: 0 122.46/30.72 c vivif2 -- cl tried 33643 cl shrink 0 lits rem 0 time: 0.01 122.46/30.73 c vivif2 -- cl tried 17281 cl shrink 0 lits rem 0 time: 0.01 123.26/30.92 c asymm cl-useful: 0/4047/33643 lits-rem:0 time: 0.76 123.26/30.92 c calculated reachability. Time: 0.00 123.26/30.92 c N dy 1069 158526 255 33643 90 17281 149901 236861 19.80 11.51 -- 128.45/32.25 c N dy 1140 168774 255 33643 90 27026 149901 436243 20.08 11.51 -- 134.87/33.82 c N dy 1216 179573 255 33643 90 20550 149901 290732 20.02 11.48 -- 141.24/35.41 c N dy 1297 191144 255 33643 90 31548 149901 513750 19.93 11.46 -- 148.04/37.19 c N dy 1383 203458 267 33643 114 25660 149949 377668 18.58 11.46 -- 156.02/39.10 c N dy 1474 216465 267 33643 114 19400 149949 250025 20.63 11.47 -- 163.21/40.92 c N dy 1570 230318 267 33643 114 32655 149949 535045 21.03 11.53 -- 167.60/42.07 c S st 1623 237790 267 33643 114 20086 149949 257657 23.33 11.55 -- 168.00/42.13 c S st 1623 238292 267 33643 114 20586 149949 268167 23.33 11.55 -- 168.00/42.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 168.00/42.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 168.40/42.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 6.7M T: 0.40 168.40/42.24 c Calc non-exist non-lernt bins v-fix: 0 done: 267 time: 0.01 s 168.40/42.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 168.40/42.24 c Subs w/ non-existent bins: 0 time: 0.02 s 168.40/42.25 c bin-w-bin subsume rem 0 bins time: 0.01 s 168.40/42.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 168.40/42.26 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 174.01/43.66 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02 174.01/43.67 c lits-rem: 629 cl-subs: 1320 v-elim: 252 v-fix: 0 time: 5.62 s 174.01/43.67 c learnt bin added due to v-elim: 0 174.01/43.67 c vivif2 -- cl tried 33643 cl shrink 0 lits rem 0 time: 0.01 174.01/43.68 c vivif2 -- cl tried 19266 cl shrink 0 lits rem 0 time: 0.02 174.79/43.88 c asymm cl-useful: 0/5392/33643 lits-rem:0 time: 0.80 174.79/43.88 c calculated reachability. Time: 0.00 174.79/43.88 c N dy 1623 238292 267 33643 114 19266 149949 254790 23.33 11.55 -- 183.58/46.05 c N dy 1729 253593 267 33643 114 33813 149949 564470 21.19 11.60 -- 193.17/48.43 c N dy 1843 269877 267 33643 114 28712 149949 429219 18.15 11.61 -- 203.56/51.07 c N dy 1963 287119 276 33643 137 23641 149989 322308 21.77 11.63 -- 214.34/53.70 c N dy 2091 305544 276 33643 137 41148 149988 685498 19.05 11.68 -- 226.33/56.73 c N dy 2228 325150 276 33643 137 37333 149988 584831 19.79 11.66 -- 238.71/59.83 c N dy 2368 345248 276 33643 137 33031 149988 508173 21.56 11.69 -- 246.29/61.73 c S st 2454 357438 276 33643 139 44650 149990 752310 19.63 11.68 -- 246.70/61.82 c S st 2454 357940 276 33643 139 45148 149990 762191 19.63 11.68 -- 246.70/61.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 246.70/61.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 247.50/62.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 14.6M T: 1.04 247.50/62.09 c Calc non-exist non-lernt bins v-fix: 0 done: 276 time: 0.01 s 247.50/62.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 247.90/62.10 c Subs w/ non-existent bins: 0 time: 0.04 s 247.90/62.10 c Replacing 2 vars Replaced 51 lits Time: 0.02 s 247.90/62.12 c bin-w-bin subsume rem 4 bins time: 0.01 s 247.90/62.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.09 s 247.90/62.15 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 258.67/64.89 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 5.5 T: 0.03 259.08/64.91 c lits-rem: 2213 cl-subs: 5360 v-elim: 252 v-fix: 0 time: 11.01 s 259.08/64.91 c learnt bin added due to v-elim: 0 259.08/64.91 c vivif2 -- cl tried 33642 cl shrink 0 lits rem 0 time: 0.01 259.08/64.92 c vivif2 -- cl tried 39787 cl shrink 0 lits rem 0 time: 0.04 259.48/65.03 c asymm cl-useful: 0/2266/33642 lits-rem:0 time: 0.46 259.48/65.04 c calculated reachability. Time: 0.00 259.48/65.04 c N dy 2454 357940 274 33642 128 39787 149953 677823 19.63 11.68 -- 380.94/95.48 c N dy 2509 536910 283 33642 150 50781 149993 919841 25.01 12.39 -- 381.32/95.52 c S st 2509 536910 283 33642 150 50781 149993 919841 25.01 12.39 -- 381.72/95.61 c S st 2509 537410 283 33642 150 51283 149993 930851 25.01 12.39 -- 381.72/95.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 381.72/95.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 382.92/95.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 16.6M T: 1.17 382.92/95.91 c Calc non-exist non-lernt bins v-fix: 0 done: 283 time: 0.01 s 382.92/95.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 382.92/95.92 c Subs w/ non-existent bins: 0 time: 0.05 s 382.92/95.93 c Replacing 1 vars Replaced 37 lits Time: 0.02 s 382.92/95.95 c bin-w-bin subsume rem 2 bins time: 0.01 s 382.92/95.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 382.92/95.98 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 398.51/99.85 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 7.0 T: 0.04 403.68/101.14 c Added 3 vars tried: 80000 time: 5.15 403.68/101.15 c ORs : 3 avg-s: 0.0 cl-sh: 2191 l-rem: 2191 b-add: 7 v-rep: 0 cl-rem: 16 avg s: 3.1 T: 5.21 403.68/101.17 c lits-rem: 3733 cl-subs: 4483 v-elim: 252 v-fix: 0 time: 20.76 s 403.68/101.17 c learnt bin added due to v-elim: 0 403.68/101.18 c vivif2 -- cl tried 33630 cl shrink 0 lits rem 0 time: 0.01 403.68/101.19 c vivif2 -- cl tried 46797 cl shrink 0 lits rem 0 time: 0.05 404.48/101.31 c asymm cl-useful: 0/1655/33630 lits-rem:0 time: 0.49 404.48/101.31 c calculated reachability. Time: 0.00 404.48/101.31 c N dy 2509 537410 285 33630 151 46797 149745 832919 25.01 12.39 -- 404.48/101.31 c F st 2509 537410 285 33630 151 46797 149745 832919 25.01 12.39 -- 406.08/101.75 c Decided on static restart strategy 419.26/105.08 c N dy 2639 557450 285 33630 151 35325 149745 507292 19.84 12.40 -- 608.62/152.42 c N dy 2738 806118 285 33630 152 71415 149745 1249461 23.09 12.27 -- 608.62/152.48 c S st 2738 806118 285 33630 152 71415 149745 1249461 23.09 12.27 -- 608.62/152.48 c Finding binary XORs T: 0.00 s found: 2 609.03/152.60 c S st 2738 806620 294 33630 174 71969 149785 1260413 23.09 12.27 -- 609.43/152.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 609.43/152.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 611.01/153.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 20.9M T: 1.58 611.01/153.01 c Calc non-exist non-lernt bins v-fix: 0 done: 294 time: 0.01 s 611.01/153.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 611.01/153.02 c Subs w/ non-existent bins: 0 time: 0.07 s 611.41/153.12 c Replacing 2 vars Replaced 2309 lits Time: 0.38 s 611.41/153.15 c bin-w-bin subsume rem 4 bins time: 0.02 s 611.41/153.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.13 s 611.41/153.18 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 630.58/157.95 c ORs : 6 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.04 630.58/157.97 c lits-rem: 125 cl-subs: 12664 v-elim: 252 v-fix: 0 time: 19.15 s 630.58/157.97 c learnt bin added due to v-elim: 0 630.58/157.98 c vivif2 -- cl tried 33630 cl shrink 0 lits rem 0 time: 0.01 630.58/157.99 c vivif2 -- cl tried 59305 cl shrink 0 lits rem 0 time: 0.07 631.40/158.12 c asymm cl-useful: 0/1779/33630 lits-rem:0 time: 0.50 631.40/158.12 c calculated reachability. Time: 0.00 631.40/158.12 c N dy 2738 806620 292 33630 164 59305 149773 1061463 23.09 12.27 -- 975.71/244.37 c N dy 2852 1209930 298 33630 180 78409 149801 1393525 22.06 12.41 -- 976.11/244.43 c S st 2852 1209930 298 33630 180 78409 149801 1393525 22.06 12.41 -- 976.51/244.56 c S st 2852 1210434 309 33630 210 78984 149853 1404380 22.06 12.41 -- 976.51/244.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 976.51/244.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 978.54/245.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bin: 0 BRemL: 0 BRemN: 2 CBin: 0 P: 25.5M T: 2.00 978.54/245.07 c Calc non-exist non-lernt bins v-fix: 0 done: 309 time: 0.01 s 978.54/245.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 978.54/245.09 c Subs w/ non-existent bins: 0 time: 0.08 s 978.54/245.09 c Replacing 4 vars Replaced 103 lits Time: 0.03 s 978.91/245.13 c bin-w-bin subsume rem 6 bins time: 0.01 s 978.91/245.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.17 s 978.91/245.17 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 998.89/250.11 c ORs : 6 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.04 1004.49/251.57 c Added 4 vars tried: 80000 time: 5.84 1004.90/251.63 c ORs : 4 avg-s: 0.0 cl-sh: 4491 l-rem: 4491 b-add: 8 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 6.05 1004.90/251.65 c lits-rem: 155 cl-subs: 11114 v-elim: 252 v-fix: 0 time: 25.89 s 1004.90/251.65 c learnt bin added due to v-elim: 0 1004.90/251.66 c vivif2 -- cl tried 33633 cl shrink 0 lits rem 0 time: 0.01 1004.90/251.68 c vivif2 -- cl tried 67870 cl shrink 0 lits rem 0 time: 0.08 1005.67/251.80 c asymm cl-useful: 0/1185/33633 lits-rem:0 time: 0.50 1005.67/251.81 c calculated reachability. Time: 0.00 1005.67/251.81 c N dy 2852 1210434 309 33633 198 67870 149799 1225893 22.06 12.41 -- 1506.60/377.26 c N dy 2854 1710437 309 33633 198 103315 149799 1942017 21.31 12.58 -- 1507.00/377.34 c S st 2854 1710437 309 33633 198 103315 149799 1942017 21.31 12.58 -- 1507.40/377.49 c S st 2854 1710937 309 33633 198 103812 149799 1951541 21.31 12.58 -- 1507.80/377.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1507.80/377.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1510.59/378.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 36.6M T: 2.95 1510.59/378.24 c Calc non-exist non-lernt bins v-fix: 0 done: 309 time: 0.01 s 1510.59/378.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1510.59/378.27 c Subs w/ non-existent bins: 0 time: 0.11 s 1510.99/378.31 c bin-w-bin subsume rem 0 bins time: 0.01 s 1510.99/378.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.23 s 1510.99/378.37 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 1543.76/386.56 c ORs : 10 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 1544.16/386.60 c lits-rem: 274 cl-subs: 9778 v-elim: 252 v-fix: 0 time: 32.85 s 1544.16/386.60 c learnt bin added due to v-elim: 0 1544.16/386.60 c vivif2 -- cl tried 33633 cl shrink 0 lits rem 0 time: 0.01 1544.16/386.63 c vivif2 -- cl tried 94034 cl shrink 0 lits rem 0 time: 0.12 1544.56/386.77 c asymm cl-useful: 0/877/33633 lits-rem:0 time: 0.56 1544.56/386.77 c calculated reachability. Time: 0.00 1544.56/386.77 c N dy 2854 1710937 309 33633 198 94034 149799 1759081 21.31 12.58 -- 2075.04/519.53 c N dy 2872 2210937 309 33633 198 112420 149799 1874550 18.94 12.62 -- 2075.44/519.61 c S st 2872 2210937 309 33633 198 112420 149799 1874550 18.94 12.62 -- 2075.84/519.78 c S st 2872 2211441 325 33633 233 113030 149867 1884991 18.94 12.62 -- 2075.84/519.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2075.84/519.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2079.43/520.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 0 BRemN: 2 CBin: 0 P: 41.5M T: 3.24 2079.43/520.60 c Calc non-exist non-lernt bins v-fix: 0 done: 325 time: 0.02 s 2079.43/520.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2079.43/520.63 c Subs w/ non-existent bins: 2 time: 0.10 s 2079.43/520.64 c Replacing 2 vars Replaced 56 lits Time: 0.05 s 2079.43/520.69 c bin-w-bin subsume rem 0 bins time: 0.01 s 2079.83/520.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.20 s 2079.83/520.74 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 2124.57/531.92 c ORs : 10 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 2124.57/531.96 c lits-rem: 1480 cl-subs: 29303 v-elim: 252 v-fix: 0 time: 44.81 s 2124.57/531.96 c learnt bin added due to v-elim: 0 2124.57/531.96 c vivif2 -- cl tried 33633 cl shrink 0 lits rem 0 time: 0.01 2124.57/531.99 c vivif2 -- cl tried 83725 cl shrink 0 lits rem 0 time: 0.10 2125.39/532.12 c asymm cl-useful: 0/1227/33633 lits-rem:0 time: 0.52 2125.39/532.12 c calculated reachability. Time: 0.00 2125.39/532.12 c N dy 2872 2211441 323 33633 227 83725 149855 1426448 18.94 12.62 -- 2713.79/679.42 c N dy 2874 2711441 323 33633 227 108971 149855 1780666 22.61 12.54 -- 2713.79/679.50 c S st 2874 2711441 323 33633 227 108971 149855 1780666 22.61 12.54 -- 2713.79/679.50 c Finding binary XORs T: 0.00 s found: 0 2714.58/679.65 c S st 2874 2711944 327 33633 236 109478 149871 1791113 22.61 12.54 -- 2714.58/679.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2714.58/679.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2718.59/680.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 54.9M T: 4.07 2718.59/680.68 c Calc non-exist non-lernt bins v-fix: 0 done: 327 time: 0.02 s 2718.59/680.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2718.97/680.71 c Subs w/ non-existent bins: 0 time: 0.11 s 2718.97/680.75 c bin-w-bin subsume rem 0 bins time: 0.02 s 2719.37/680.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.20 s 2719.37/680.80 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 2755.72/689.94 c ORs : 10 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 2755.72/689.97 c lits-rem: 1582 cl-subs: 14207 v-elim: 252 v-fix: 0 time: 36.62 s 2755.72/689.97 c learnt bin added due to v-elim: 0 2755.72/689.97 c vivif2 -- cl tried 33633 cl shrink 0 lits rem 0 time: 0.01 2756.12/690.00 c vivif2 -- cl tried 95271 cl shrink 0 lits rem 0 time: 0.12 2756.52/690.13 c asymm cl-useful: 0/1291/33633 lits-rem:0 time: 0.49 2756.52/690.13 c calculated reachability. Time: 0.00 2756.52/690.13 c N dy 2874 2711944 327 33633 236 95271 149871 1568674 22.61 12.54 -- 2756.52/690.13 c F st 2874 2711944 327 33633 236 95271 149871 1568674 22.61 12.54 -- 2758.91/690.76 c Decided on static restart strategy 3380.49/846.38 c N dy 2889 3211945 327 33633 236 75887 149871 966428 20.79 12.55 -- 3380.89/846.43 c S st 2889 3211945 327 33633 236 75887 149871 966428 20.79 12.55 -- 3381.29/846.54 c S st 2889 3212447 332 33633 251 76405 149897 976926 20.79 12.55 -- 3381.29/846.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3381.29/846.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3384.08/847.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 0 BRemN: 3 CBin: 0 P: 46.0M T: 2.93 3384.08/847.29 c Calc non-exist non-lernt bins v-fix: 0 done: 332 time: 0.01 s 3384.08/847.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3384.48/847.31 c Subs w/ non-existent bins: 1 time: 0.08 s 3384.48/847.31 c Replacing 2 vars Replaced 29 lits Time: 0.04 s 3384.48/847.34 c bin-w-bin subsume rem 0 bins time: 0.01 s 3384.48/847.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 3384.48/847.37 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 3394.47/849.90 c ORs : 10 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.05 3398.06/850.73 c Added 4 vars tried: 80000 time: 3.31 3398.06/850.74 c ORs : 4 avg-s: 0.0 cl-sh: 1975 l-rem: 1975 b-add: 8 v-rep: 0 cl-rem: 18 avg s: 3.0 T: 3.36 3398.06/850.77 c lits-rem: 130 cl-subs: 2491 v-elim: 252 v-fix: 0 time: 13.57 s 3398.06/850.77 c learnt bin added due to v-elim: 0 3398.06/850.77 c vivif2 -- cl tried 33619 cl shrink 0 lits rem 0 time: 0.01 3398.06/850.79 c vivif2 -- cl tried 73913 cl shrink 0 lits rem 0 time: 0.08 3398.86/850.90 c asymm cl-useful: 0/1485/33619 lits-rem:0 time: 0.46 3398.86/850.91 c calculated reachability. Time: 0.00 3398.86/850.91 c N dy 2889 3212447 334 33619 252 73913 149748 948720 20.79 12.55 -- 4074.76/1020.11 c N dy 2909 3712449 334 33619 252 87264 149748 1149487 24.72 12.75 -- 4074.76/1020.16 c S st 2909 3712449 334 33619 252 87264 149748 1149487 24.72 12.75 -- 4075.16/1020.29 c S st 2909 3712949 334 33619 252 87762 149748 1159609 24.72 12.75 -- 4075.16/1020.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4075.16/1020.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4079.15/1021.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 56.2M T: 3.67 4079.15/1021.22 c Calc non-exist non-lernt bins v-fix: 0 done: 334 time: 0.01 s 4079.15/1021.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4079.15/1021.24 c Subs w/ non-existent bins: 0 time: 0.09 s 4079.15/1021.27 c bin-w-bin subsume rem 0 bins time: 0.01 s 4079.55/1021.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.13 s 4079.55/1021.30 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 4093.13/1024.78 c ORs : 14 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.07 4093.55/1024.81 c lits-rem: 122 cl-subs: 1986 v-elim: 252 v-fix: 0 time: 14.00 s 4093.55/1024.81 c learnt bin added due to v-elim: 0 4093.55/1024.81 c vivif2 -- cl tried 33619 cl shrink 0 lits rem 0 time: 0.01 4093.55/1024.84 c vivif2 -- cl tried 85776 cl shrink 0 lits rem 0 time: 0.09 4093.95/1024.95 c asymm cl-useful: 0/1250/33619 lits-rem:0 time: 0.46 4093.95/1024.96 c calculated reachability. Time: 0.00 4093.95/1024.96 c N dy 2909 3712949 334 33619 252 85776 149748 1128224 24.72 12.75 -- 4113.10/1029.72 c N dy 3050 3733054 334 33619 252 105132 149748 1553274 20.05 12.75 -- 4135.47/1035.33 c N dy 3190 3753168 334 33619 252 124501 149748 1974087 21.02 12.76 -- 4748.26/1188.78 c N dy 3225 4212950 334 33619 252 149642 149748 2433576 21.17 12.87 -- 4748.66/1188.89 c S st 3225 4212950 334 33619 252 149642 149748 2433576 21.17 12.87 -- 4749.44/1189.08 c S st 3225 4213452 346 33619 280 150170 149796 2444851 21.17 12.87 -- 4749.44/1189.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4749.44/1189.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4754.64/1190.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.3M T: 5.21 4754.64/1190.39 c Calc non-exist non-lernt bins v-fix: 0 done: 346 time: 0.02 s 4754.64/1190.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4755.04/1190.44 c Subs w/ non-existent bins: 0 time: 0.17 s 4755.04/1190.49 c bin-w-bin subsume rem 0 bins time: 0.02 s 4755.44/1190.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s 4755.44/1190.57 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s
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-3262461-1304133610/watcher-3262461-1304133610 -o /tmp/evaluation-result-3262461-1304133610/solver-3262461-1304133610 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262461-1304133610.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.18 7.85 7.74 2/177 6630 /proc/meminfo: memFree=30704512/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=50280 CPUtime=0 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 841 0 0 0 0 0 0 0 23 0 1 0 524961758 51486720 768 33554432000 4194304 4797429 140735496158800 18446744073709551615 4407927 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/6630/statm: 12570 769 347 148 0 7499 0 [startup+0.0355151 s] /proc/loadavg: 7.18 7.85 7.74 2/177 6630 /proc/meminfo: memFree=30704512/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=55384 CPUtime=0.03 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 2607 0 0 0 3 0 0 0 23 0 1 0 524961758 56713216 2446 33554432000 4194304 4797429 140735496158800 18446744073709551615 222921437893 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/6630/statm: 13846 2446 349 148 0 8775 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 55384 [startup+0.100467 s] /proc/loadavg: 7.18 7.85 7.74 2/177 6630 /proc/meminfo: memFree=30704512/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=153584 CPUtime=0.22 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 3479 0 0 0 22 0 0 0 18 0 4 0 524961758 157270016 3152 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 38396 3152 376 148 0 33325 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 153584 [startup+1.16927 s] /proc/loadavg: 7.18 7.85 7.74 2/177 6630 /proc/meminfo: memFree=30704512/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=687680 CPUtime=4.49 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 9374 0 0 0 448 1 0 0 19 0 4 0 524961758 704184320 7272 33554432000 4194304 4797429 140735496158800 18446744073709551615 4387835 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 171920 7272 411 148 0 166849 0 Current children cumulated CPU time (s) 4.49 Current children cumulated vsize (KiB) 687680 [startup+1.26925 s] /proc/loadavg: 7.18 7.85 7.74 2/177 6630 /proc/meminfo: memFree=30704512/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=687820 CPUtime=4.89 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 9483 0 0 0 488 1 0 0 19 0 4 0 524961758 704327680 7378 33554432000 4194304 4797429 140735496158800 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 171955 7378 412 148 0 166884 0 Current children cumulated CPU time (s) 4.89 Current children cumulated vsize (KiB) 687820 [startup+1.50021 s] /proc/loadavg: 7.18 7.85 7.74 2/177 6630 /proc/meminfo: memFree=30704512/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=688432 CPUtime=5.82 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 9844 0 0 0 581 1 0 0 20 0 4 0 524961758 704954368 7727 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424713 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 172108 7727 412 148 0 167037 0 Current children cumulated CPU time (s) 5.82 Current children cumulated vsize (KiB) 688432 [startup+3.10092 s] /proc/loadavg: 7.48 7.90 7.75 9/184 6637 /proc/meminfo: memFree=30647836/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=692480 CPUtime=12.21 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 12321 0 0 0 1219 2 0 0 25 0 4 0 524961758 709099520 9234 33554432000 4194304 4797429 140735496158800 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 173120 9234 415 148 0 168049 0 [pid=6630/tid=6635] ppid=6628 vsize=692480 CPUtime=3.03 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 2024 0 0 0 303 0 0 0 25 0 4 0 524961764 709099520 9234 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=692480 CPUtime=3.02 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 2010 0 0 0 302 0 0 0 23 0 4 0 524961764 709099520 9234 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=692480 CPUtime=3.03 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 1953 0 0 0 303 0 0 0 25 0 4 0 524961764 709099520 9234 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.21 Current children cumulated vsize (KiB) 692480 [startup+6.30633 s] /proc/loadavg: 7.52 7.90 7.75 9/184 6637 /proc/meminfo: memFree=30640148/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=694932 CPUtime=25.02 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 15014 0 0 0 2499 3 0 0 25 0 4 0 524961758 711610368 9762 33554432000 4194304 4797429 140735496158800 18446744073709551615 4351810 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 173733 9762 416 148 0 168662 0 [pid=6630/tid=6635] ppid=6628 vsize=694932 CPUtime=6.24 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 2517 0 0 0 624 0 0 0 25 0 4 0 524961764 711610368 9762 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524944 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=694932 CPUtime=6.21 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 2591 0 0 0 621 0 0 0 25 0 4 0 524961764 711610368 9762 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=694932 CPUtime=6.24 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 2490 0 0 0 624 0 0 0 25 0 4 0 524961764 711610368 9762 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.02 Current children cumulated vsize (KiB) 694932 [startup+12.7012 s] /proc/loadavg: 7.56 7.91 7.75 9/184 6637 /proc/meminfo: memFree=30633016/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=696724 CPUtime=50.56 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 18281 0 0 0 5053 3 0 0 25 0 4 0 524961758 713445376 11181 33554432000 4194304 4797429 140735496158800 18446744073709551615 4501900 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 174181 11181 418 148 0 169110 0 [pid=6630/tid=6635] ppid=6628 vsize=696724 CPUtime=12.63 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 2650 0 0 0 1263 0 0 0 25 0 4 0 524961764 713445376 11181 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=696724 CPUtime=12.58 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 2807 0 0 0 1258 0 0 0 25 0 4 0 524961764 713445376 11181 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=696724 CPUtime=12.63 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 2625 0 0 0 1263 0 0 0 25 0 4 0 524961764 713445376 11181 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.56 Current children cumulated vsize (KiB) 696724 [startup+25.5008 s] /proc/loadavg: 7.63 7.91 7.76 9/184 6638 /proc/meminfo: memFree=30619620/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=700952 CPUtime=101.69 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 24162 0 0 0 10165 4 0 0 25 0 4 0 524961758 717774848 12555 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 175238 12555 420 148 0 170167 0 [pid=6630/tid=6635] ppid=6628 vsize=700952 CPUtime=25.43 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 3313 0 0 0 2543 0 0 0 25 0 4 0 524961764 717774848 12555 33554432000 4194304 4797429 140735496158800 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=700952 CPUtime=25.3 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 3574 0 0 0 2530 0 0 0 25 0 4 0 524961764 717774848 12555 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=700952 CPUtime=25.43 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 3292 0 0 0 2543 0 0 0 25 0 4 0 524961764 717774848 12555 33554432000 4194304 4797429 140735496158800 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.69 Current children cumulated vsize (KiB) 700952 [startup+51.1011 s] /proc/loadavg: 7.81 7.93 7.77 9/184 6639 /proc/meminfo: memFree=30605124/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=705812 CPUtime=203.96 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 36032 0 0 0 20389 7 0 0 25 0 4 0 524961758 722751488 13815 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 176453 13815 422 148 0 171382 0 [pid=6630/tid=6635] ppid=6628 vsize=705812 CPUtime=51.04 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 4214 0 0 0 5103 1 0 0 25 0 4 0 524961764 722751488 13815 33554432000 4194304 4797429 140735496158800 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=705812 CPUtime=50.77 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 4958 0 0 0 5076 1 0 0 25 0 4 0 524961764 722751488 13815 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=705812 CPUtime=51.04 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 4594 0 0 0 5103 1 0 0 25 0 4 0 524961764 722751488 13815 33554432000 4194304 4797429 140735496158800 18446744073709551615 4425633 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 203.96 Current children cumulated vsize (KiB) 705812 [startup+102.301 s] /proc/loadavg: 7.92 7.94 7.78 9/184 6640 /proc/meminfo: memFree=30582516/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=711296 CPUtime=408.48 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 55230 0 0 0 40834 14 0 0 25 0 4 0 524961758 728367104 17470 33554432000 4194304 4797429 140735496158800 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 177824 17470 422 148 0 172753 0 [pid=6630/tid=6635] ppid=6628 vsize=711296 CPUtime=102.23 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 6249 0 0 0 10222 1 0 0 25 0 4 0 524961764 728367104 17470 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=711296 CPUtime=101.69 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 6698 0 0 0 10168 1 0 0 25 0 4 0 524961764 728367104 17470 33554432000 4194304 4797429 140735496158800 18446744073709551615 4642069 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=711296 CPUtime=102.22 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 6468 0 0 0 10221 1 0 0 25 0 4 0 524961764 728367104 17470 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.48 Current children cumulated vsize (KiB) 711296 [startup+162.301 s] /proc/loadavg: 8.02 7.96 7.79 9/184 6641 /proc/meminfo: memFree=30556912/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=717580 CPUtime=648.16 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 76310 0 0 0 64795 21 0 0 25 0 4 0 524961758 734801920 19659 33554432000 4194304 4797429 140735496158800 18446744073709551615 4389692 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 179395 19659 422 148 0 174324 0 [pid=6630/tid=6635] ppid=6628 vsize=717580 CPUtime=162.24 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 8137 0 0 0 16222 2 0 0 25 0 4 0 524961764 734801920 19659 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=717580 CPUtime=161.36 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 9089 0 0 0 16134 2 0 0 25 0 4 0 524961764 734801920 19659 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=717580 CPUtime=162.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 8068 0 0 0 16221 2 0 0 25 0 4 0 524961764 734801920 19659 33554432000 4194304 4797429 140735496158800 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 648.16 Current children cumulated vsize (KiB) 717580 [startup+222.301 s] /proc/loadavg: 8.01 7.97 7.81 9/184 6643 /proc/meminfo: memFree=30536020/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=724028 CPUtime=887.83 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 94879 0 0 0 88754 29 0 0 25 0 4 0 524961758 741404672 22868 33554432000 4194304 4797429 140735496158800 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 181007 22868 422 148 0 175936 0 [pid=6630/tid=6635] ppid=6628 vsize=724028 CPUtime=222.24 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 10137 0 0 0 22221 3 0 0 25 0 4 0 524961764 741404672 22868 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=724028 CPUtime=221.04 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 10655 0 0 0 22101 3 0 0 25 0 4 0 524961764 741404672 22868 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=724028 CPUtime=222.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 9724 0 0 0 22220 3 0 0 25 0 4 0 524961764 741404672 22868 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 887.83 Current children cumulated vsize (KiB) 724028 [startup+282.301 s] /proc/loadavg: 8.00 7.97 7.82 9/184 6645 /proc/meminfo: memFree=30519868/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=726896 CPUtime=1127.53 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 109939 0 0 0 112718 35 0 0 25 0 4 0 524961758 744341504 24939 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 181724 24939 422 148 0 176653 0 [pid=6630/tid=6635] ppid=6628 vsize=726896 CPUtime=282.25 cores=1,3,5,7 ################ # More data... # ################ [pid=6630] ppid=6628 vsize=744840 CPUtime=2805.26 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 202269 0 0 0 280457 69 0 0 25 0 4 0 524961758 762716160 33605 33554432000 4194304 4797429 140735496158800 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 186210 33605 422 148 0 181139 0 [pid=6630/tid=6635] ppid=6628 vsize=744840 CPUtime=702.25 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 19791 0 0 0 70219 6 0 0 25 0 4 0 524961764 762716160 33605 33554432000 4194304 4797429 140735496158800 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=744840 CPUtime=698.43 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 21681 0 0 0 69836 7 0 0 25 0 4 0 524961764 762716160 33605 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428637 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=744840 CPUtime=702.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 19454 0 0 0 70216 7 0 0 25 0 4 0 524961764 762716160 33605 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2805.26 Current children cumulated vsize (KiB) 744840 [startup+762.301 s] /proc/loadavg: 8.16 8.07 7.91 10/184 6657 /proc/meminfo: memFree=30437960/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=747336 CPUtime=3044.94 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 216498 0 0 0 304417 77 0 0 25 0 4 0 524961758 765272064 33799 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 186834 33799 422 148 0 181763 0 [pid=6630/tid=6635] ppid=6628 vsize=747336 CPUtime=762.26 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 20961 0 0 0 76219 7 0 0 25 0 4 0 524961764 765272064 33799 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524433 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=747336 CPUtime=758.11 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 22918 0 0 0 75803 8 0 0 25 0 4 0 524961764 765272064 33799 33554432000 4194304 4797429 140735496158800 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=747336 CPUtime=762.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 20793 0 0 0 76215 8 0 0 25 0 4 0 524961764 765272064 33799 33554432000 4194304 4797429 140735496158800 18446744073709551615 4430083 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3044.94 Current children cumulated vsize (KiB) 747336 [startup+822.301 s] /proc/loadavg: 8.17 8.09 7.93 9/184 6659 /proc/meminfo: memFree=30429116/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=749144 CPUtime=3284.61 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 229212 0 0 0 328380 81 0 0 25 0 4 0 524961758 767123456 33726 33554432000 4194304 4797429 140735496158800 18446744073709551615 4351787 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 187286 33726 422 148 0 182215 0 [pid=6630/tid=6635] ppid=6628 vsize=749144 CPUtime=822.26 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 21574 0 0 0 82219 7 0 0 25 0 4 0 524961764 767123456 33726 33554432000 4194304 4797429 140735496158800 18446744073709551615 4642109 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=749144 CPUtime=817.78 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 24058 0 0 0 81770 8 0 0 25 0 4 0 524961764 767123456 33726 33554432000 4194304 4797429 140735496158800 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=749144 CPUtime=822.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 21928 0 0 0 82215 8 0 0 25 0 4 0 524961764 767123456 33726 33554432000 4194304 4797429 140735496158800 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3284.61 Current children cumulated vsize (KiB) 749144 [startup+882.301 s] /proc/loadavg: 8.20 8.10 7.94 9/184 6661 /proc/meminfo: memFree=30420640/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=750532 CPUtime=3524.29 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 240426 0 0 0 352342 87 0 0 25 0 4 0 524961758 768544768 34502 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 187633 34502 422 148 0 182562 0 [pid=6630/tid=6635] ppid=6628 vsize=750532 CPUtime=882.26 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 22712 0 0 0 88218 8 0 0 25 0 4 0 524961764 768544768 34502 33554432000 4194304 4797429 140735496158800 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=750532 CPUtime=877.46 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 25264 0 0 0 87737 9 0 0 25 0 4 0 524961764 768544768 34502 33554432000 4194304 4797429 140735496158800 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=750532 CPUtime=882.22 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 23064 0 0 0 88214 8 0 0 25 0 4 0 524961764 768544768 34502 33554432000 4194304 4797429 140735496158800 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3524.29 Current children cumulated vsize (KiB) 750532 [startup+942.3 s] /proc/loadavg: 8.14 8.10 7.94 9/184 6662 /proc/meminfo: memFree=30414892/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=755676 CPUtime=3763.99 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 252314 0 0 0 376306 93 0 0 25 0 4 0 524961758 773812224 35559 33554432000 4194304 4797429 140735496158800 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 188919 35559 422 148 0 183848 0 [pid=6630/tid=6635] ppid=6628 vsize=755676 CPUtime=942.26 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 24175 0 0 0 94218 8 0 0 25 0 4 0 524961764 773812224 35559 33554432000 4194304 4797429 140735496158800 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=755676 CPUtime=937.13 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 26493 0 0 0 93704 9 0 0 25 0 4 0 524961764 773812224 35559 33554432000 4194304 4797429 140735496158800 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=755676 CPUtime=942.24 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 24432 0 0 0 94215 9 0 0 25 0 4 0 524961764 773812224 35559 33554432000 4194304 4797429 140735496158800 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3763.99 Current children cumulated vsize (KiB) 755676 [startup+1002.3 s] /proc/loadavg: 8.24 8.12 7.96 9/184 6664 /proc/meminfo: memFree=30412744/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=755808 CPUtime=4003.65 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 263596 0 0 0 400266 99 0 0 25 0 4 0 524961758 773947392 36029 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 188952 36029 422 148 0 183881 0 [pid=6630/tid=6635] ppid=6628 vsize=755808 CPUtime=1002.26 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 25407 0 0 0 100217 9 0 0 25 0 4 0 524961764 773947392 36029 33554432000 4194304 4797429 140735496158800 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=755808 CPUtime=996.81 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 27050 0 0 0 99671 10 0 0 25 0 4 0 524961764 773947392 36029 33554432000 4194304 4797429 140735496158800 18446744073709551615 4612579 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=755808 CPUtime=1002.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 25567 0 0 0 100213 10 0 0 25 0 4 0 524961764 773947392 36029 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524528 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4003.65 Current children cumulated vsize (KiB) 755808 [startup+1062.31 s] /proc/loadavg: 8.15 8.12 7.96 9/184 6665 /proc/meminfo: memFree=30403900/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=756000 CPUtime=4243.34 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 274641 0 0 0 424232 102 0 0 25 0 4 0 524961758 774144000 36924 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 189000 36924 422 148 0 183929 0 [pid=6630/tid=6635] ppid=6628 vsize=756000 CPUtime=1062.27 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 26493 0 0 0 106218 9 0 0 25 0 4 0 524961764 774144000 36924 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=756000 CPUtime=1056.48 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 28329 0 0 0 105638 10 0 0 25 0 4 0 524961764 774144000 36924 33554432000 4194304 4797429 140735496158800 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=756000 CPUtime=1062.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 26168 0 0 0 106213 10 0 0 25 0 4 0 524961764 774144000 36924 33554432000 4194304 4797429 140735496158800 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4243.34 Current children cumulated vsize (KiB) 756000 [startup+1122.3 s] /proc/loadavg: 8.17 8.12 7.97 9/184 6667 /proc/meminfo: memFree=30391708/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=756108 CPUtime=4483.01 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 286382 0 0 0 448192 109 0 0 25 0 4 0 524961758 774254592 38275 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 189027 38275 422 148 0 183956 0 [pid=6630/tid=6635] ppid=6628 vsize=756108 CPUtime=1122.27 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 27201 0 0 0 112217 10 0 0 25 0 4 0 524961764 774254592 38275 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=756108 CPUtime=1116.15 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 29684 0 0 0 111604 11 0 0 25 0 4 0 524961764 774254592 38275 33554432000 4194304 4797429 140735496158800 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=756108 CPUtime=1122.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 27326 0 0 0 112212 11 0 0 25 0 4 0 524961764 774254592 38275 33554432000 4194304 4797429 140735496158800 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4483.01 Current children cumulated vsize (KiB) 756108 [startup+1182.3 s] /proc/loadavg: 8.12 8.11 7.98 9/184 6669 /proc/meminfo: memFree=30389436/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=757360 CPUtime=4722.68 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 297474 0 0 0 472154 114 0 0 25 0 4 0 524961758 775536640 37414 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 189340 37414 422 148 0 184269 0 [pid=6630/tid=6635] ppid=6628 vsize=757360 CPUtime=1182.26 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 28373 0 0 0 118216 10 0 0 25 0 4 0 524961764 775536640 37414 33554432000 4194304 4797429 140735496158800 18446744073709551615 4424979 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=757360 CPUtime=1175.82 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 31078 0 0 0 117571 11 0 0 25 0 4 0 524961764 775536640 37414 33554432000 4194304 4797429 140735496158800 18446744073709551615 4331654 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=757360 CPUtime=1182.23 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 28579 0 0 0 118211 12 0 0 25 0 4 0 524961764 775536640 37414 33554432000 4194304 4797429 140735496158800 18446744073709551615 222921437316 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4722.68 Current children cumulated vsize (KiB) 757360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.16 8.12 7.98 5/179 6670 /proc/meminfo: memFree=30553148/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=757900 CPUtime=4800.2 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 299751 0 0 0 479905 115 0 0 25 0 4 0 524961758 776089600 39657 33554432000 4194304 4797429 140735496158800 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 189475 39657 422 148 0 184404 0 [pid=6630/tid=6635] ppid=6628 vsize=757900 CPUtime=1201.68 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 28738 0 0 0 120157 11 0 0 25 0 4 0 524961764 776089600 39657 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=757900 CPUtime=1195.13 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 31288 0 0 0 119501 12 0 0 25 0 4 0 524961764 776089600 39657 33554432000 4194304 4797429 140735496158800 18446744073709551615 4647942 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=757900 CPUtime=1201.64 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 28750 0 0 0 120152 12 0 0 25 0 4 0 524961764 776089600 39657 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428594 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.2 Current children cumulated vsize (KiB) 757900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.16 8.12 7.98 5/179 6670 /proc/meminfo: memFree=30553148/32951124 swapFree=67110188/67111528 [pid=6630] ppid=6628 vsize=757900 CPUtime=4800.2 cores=1,3,5,7 /proc/6630/stat : 6630 (techdemo) R 6628 6630 5377 0 -1 4202496 299751 0 0 0 479905 115 0 0 25 0 4 0 524961758 776089600 39657 33554432000 4194304 4797429 140735496158800 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6630/statm: 189475 39657 422 148 0 184404 0 [pid=6630/tid=6635] ppid=6628 vsize=757900 CPUtime=1201.68 cores=1,3,5,7 /proc/6630/task/6635/stat : 6635 (techdemo) R 6628 6630 5377 0 -1 4202560 28738 0 0 0 120157 11 0 0 25 0 4 0 524961764 776089600 39657 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6630/tid=6636] ppid=6628 vsize=757900 CPUtime=1195.13 cores=1,3,5,7 /proc/6630/task/6636/stat : 6636 (techdemo) R 6628 6630 5377 0 -1 4202560 31288 0 0 0 119501 12 0 0 25 0 4 0 524961764 776089600 39657 33554432000 4194304 4797429 140735496158800 18446744073709551615 4647942 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=6630/tid=6637] ppid=6628 vsize=757900 CPUtime=1201.64 cores=1,3,5,7 /proc/6630/task/6637/stat : 6637 (techdemo) R 6628 6630 5377 0 -1 4202560 28750 0 0 0 120152 12 0 0 25 0 4 0 524961764 776089600 39657 33554432000 4194304 4797429 140735496158800 18446744073709551615 4428594 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.2 Current children cumulated vsize (KiB) 757900 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.72 CPU time (s): 4800.23 CPU user time (s): 4799.07 CPU system time (s): 1.15982 CPU usage (%): 399.447 Max. virtual memory (cumulated for all children) (KiB): 868412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4799.07 system time used= 1.15982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 299751 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= 487 involuntary context switches= 18775 runsolver used 1.9737 second user time and 4.5973 second system time The end
Begin job on node109 at 2011-04-30 05:20:10 IDJOB=3262461 IDBENCH=83313 IDSOLVER=1584 FILE ID=node109/3262461-1304133610 RUNJOBID= node109-1304133610-6611 PBS_JOBID= 13170769 Free space on /tmp= 73020 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_505.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262461-1304133610/watcher-3262461-1304133610 -o /tmp/evaluation-result-3262461-1304133610/solver-3262461-1304133610 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262461-1304133610.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e7b614904543aa28491ea45c761cbd5 RANDOM SEED=1011367191 node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30705040 kB Buffers: 767040 kB Cached: 1018780 kB SwapCached: 712 kB Active: 176584 kB Inactive: 1681528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30705040 kB SwapTotal: 67111528 kB SwapFree: 67110188 kB Dirty: 16812 kB Writeback: 0 kB AnonPages: 71836 kB Mapped: 15172 kB Slab: 324936 kB PageTables: 4872 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 244056 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= 73020 MiB End job on node109 at 2011-04-30 05:40:14