| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.21 | 1201.72 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf |
| MD5SUM | 4e87573be2b7b7324c13131d6c6896b8 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 194.97 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 201 |
| Number of clauses | 21509 |
| Sum of the clauses size | 94265 |
| Maximum clause length | 21 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 266 |
| Number of clauses of size 3 | 19560 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1683 |
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-3262197-1304133349.cnf' 0.00/0.00 c -- header says num vars: 201 0.00/0.00 c -- header says num clauses: 21509 0.00/0.03 c -- clauses added: 0 learnts, 21509 normals, 0 xors 0.00/0.03 c -- vars added 201 0.00/0.03 c Parsing time: 0.03 s 0.00/0.04 c N st 0 0 201 21243 266 0 94265 0 no data no data -- 0.67/0.25 c asymm cl-useful: 8/12404/21243 lits-rem:10 time: 0.84 0.67/0.25 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.1M T: 0.01 0.67/0.25 c Calc non-exist non-lernt bins v-fix: 0 done: 200 time: 0.00 s 0.67/0.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.67/0.25 c Subs w/ non-existent bins: 0 time: 0.00 s 0.67/0.26 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.67/0.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.67/0.26 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1.07/0.33 c lits-rem: 0 cl-subs: 9 v-elim: 132 v-fix: 0 time: 0.29 s 1.07/0.33 c learnt bin added due to v-elim: 0 1.07/0.33 c Finding binary XORs T: 0.00 s found: 0 1.07/0.36 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan) 1.07/0.36 c calculated reachability. Time: 0.00 1.07/0.36 c Calc default polars - time: 0.00 s pos: 200 undec: 1 neg: 0 1.07/0.36 c ========================================================================================= 1.07/0.36 c types(t): F = full restart, N = normal restart 1.07/0.36 c types(t): S = simplification begin/end, E = solution found 1.07/0.36 c restart types(rt): st = static, dy = dynamic 1.07/0.36 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 1.07/0.36 c B st 0 0 200 21234 66 0 93656 0 no data no data -- 1.87/0.53 c Decided on static restart strategy 2.66/0.71 c N dy 20 4100 200 21234 66 3886 93656 75611 18.69 11.01 -- 3.88/1.05 c N dy 49 8215 200 21234 66 5409 93656 92505 17.30 10.88 -- 5.46/1.40 c N dy 78 12338 200 21234 66 5281 93656 81521 18.79 10.76 -- 6.66/1.75 c N dy 107 16409 200 21234 66 9150 93656 155123 18.97 10.79 -- 8.28/2.11 c N dy 136 20532 200 21234 66 7749 93656 115006 17.85 10.67 -- 9.45/2.48 c N dy 165 24646 200 21234 66 11635 93656 184158 17.75 10.58 -- 11.05/2.84 c N dy 194 28707 200 21234 66 9039 93656 135936 19.27 10.54 -- 11.45/2.97 c S st 204 30000 200 21234 66 10284 93656 160084 19.07 10.55 -- 11.85/3.01 c S st 204 30501 200 21234 66 10778 93656 169702 19.07 10.55 -- 11.85/3.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 11.85/3.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 11.85/3.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 1.4M T: 0.12 11.85/3.05 c Calc non-exist non-lernt bins v-fix: 0 done: 200 time: 0.00 s 11.85/3.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 11.85/3.05 c Subs w/ non-existent bins: 0 time: 0.01 s 11.85/3.05 c bin-w-bin subsume rem 0 bins time: 0.01 s 11.85/3.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 11.85/3.06 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 17.07/4.37 c lits-rem: 130 cl-subs: 1478 v-elim: 200 v-fix: 0 time: 5.23 s 17.07/4.37 c learnt bin added due to v-elim: 0 17.07/4.37 c vivif2 -- cl tried 21234 cl shrink 0 lits rem 0 time: 0.01 17.07/4.37 c vivif2 -- cl tried 9300 cl shrink 0 lits rem 0 time: 0.01 17.85/4.55 c asymm cl-useful: 0/8830/21234 lits-rem:0 time: 0.71 17.85/4.55 c calculated reachability. Time: 0.00 17.85/4.55 c N dy 204 30501 200 21234 66 9300 93656 152824 19.07 10.55 -- 17.85/4.55 c F st 204 30501 200 21234 66 9300 93656 152824 19.07 10.55 -- 18.65/4.74 c Decided on static restart strategy 19.44/4.92 c N dy 224 34582 200 21234 66 13142 93656 219738 17.39 10.44 -- 21.04/5.30 c N dy 253 38675 200 21234 66 9548 93656 134024 18.78 10.41 -- 22.23/5.66 c N dy 282 42784 200 21234 66 13456 93656 205627 18.03 10.39 -- 23.43/5.94 c S st 304 45751 200 21234 66 16279 93656 256622 17.77 10.36 -- 23.43/5.99 c S st 304 46253 200 21234 66 16779 93656 266321 17.77 10.36 -- 23.43/5.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 23.43/5.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.83/6.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 3.0M T: 0.21 23.83/6.05 c Calc non-exist non-lernt bins v-fix: 0 done: 200 time: 0.00 s 23.83/6.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.83/6.05 c Subs w/ non-existent bins: 0 time: 0.02 s 23.83/6.06 c bin-w-bin subsume rem 0 bins time: 0.01 s 23.83/6.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 23.83/6.06 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 29.83/7.50 c lits-rem: 371 cl-subs: 2078 v-elim: 200 v-fix: 0 time: 5.73 s 29.83/7.50 c learnt bin added due to v-elim: 0 29.83/7.50 c vivif2 -- cl tried 21234 cl shrink 0 lits rem 0 time: 0.00 29.83/7.50 c vivif2 -- cl tried 14701 cl shrink 0 lits rem 0 time: 0.01 30.24/7.69 c asymm cl-useful: 0/3513/21234 lits-rem:0 time: 0.72 30.24/7.69 c calculated reachability. Time: 0.00 30.24/7.69 c N dy 304 46253 200 21234 66 14701 93656 239650 17.77 10.36 -- 31.83/8.08 c N dy 333 50338 200 21234 66 10113 93656 132691 17.78 10.29 -- 33.43/8.45 c N dy 362 54451 200 21234 66 13987 93656 201487 16.98 10.27 -- 35.04/8.84 c N dy 391 58500 200 21234 66 17805 93656 266518 16.86 10.22 -- 36.62/9.23 c N dy 420 62613 200 21234 66 12292 93656 166121 17.41 10.21 -- 38.22/9.60 c N dy 449 66697 200 21234 66 16170 93656 233734 17.20 10.17 -- 39.04/9.87 c S st 468 69379 200 21234 66 18714 93656 278439 17.61 10.14 -- 39.44/9.92 c S st 468 69880 200 21234 66 19211 93656 287852 17.61 10.14 -- 39.44/9.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 39.44/9.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.82/10.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 4.6M T: 0.29 39.82/10.00 c Calc non-exist non-lernt bins v-fix: 0 done: 200 time: 0.00 s 39.82/10.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.82/10.00 c Subs w/ non-existent bins: 0 time: 0.02 s 39.82/10.01 c bin-w-bin subsume rem 0 bins time: 0.01 s 39.82/10.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 39.82/10.02 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 45.81/11.51 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 51.80/13.06 c Added 3 vars tried: 80000 time: 6.19 51.80/13.07 c ORs : 3 avg-s: 0.0 cl-sh: 2173 l-rem: 2173 b-add: 6 v-rep: 0 cl-rem: 27 avg s: 3.3 T: 6.24 51.80/13.08 c lits-rem: 509 cl-subs: 2460 v-elim: 200 v-fix: 0 time: 12.23 s 51.80/13.08 c learnt bin added due to v-elim: 0 51.80/13.08 c vivif2 -- cl tried 21212 cl shrink 0 lits rem 0 time: 0.01 51.80/13.09 c vivif2 -- cl tried 16749 cl shrink 0 lits rem 0 time: 0.01 52.62/13.27 c asymm cl-useful: 0/4344/21212 lits-rem:0 time: 0.75 52.62/13.28 c calculated reachability. Time: 0.00 52.62/13.28 c N dy 468 69880 203 21212 72 16749 93378 256555 17.61 10.14 -- 52.62/13.28 c F st 468 69880 203 21212 72 16749 93378 256555 17.61 10.14 -- 53.40/13.49 c Decided on static restart strategy 54.60/13.77 c N dy 492 74466 203 21212 72 10748 93378 139359 16.46 10.10 -- 56.61/14.21 c N dy 526 79338 203 21212 72 15328 93377 220829 17.88 10.09 -- 58.59/14.71 c N dy 562 84492 203 21212 72 20189 93377 308809 18.84 10.10 -- 60.59/15.27 c N dy 601 89987 203 21212 72 14096 93377 181633 18.39 10.10 -- 62.98/15.83 c N dy 643 95851 203 21212 72 19669 93377 279744 17.41 10.09 -- 65.40/16.49 c N dy 686 102000 203 21212 72 13233 93377 152968 19.55 10.09 -- 66.58/16.75 c S st 707 104821 203 21212 72 15912 93377 201865 17.46 10.11 -- 66.98/16.80 c S st 707 105321 203 21212 72 16410 93377 210704 17.46 10.11 -- 66.98/16.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 66.98/16.80 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.98/16.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 4.8M T: 0.27 66.98/16.87 c Calc non-exist non-lernt bins v-fix: 0 done: 203 time: 0.00 s 66.98/16.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.98/16.87 c Subs w/ non-existent bins: 0 time: 0.01 s 66.98/16.88 c bin-w-bin subsume rem 0 bins time: 0.01 s 66.98/16.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 66.98/16.88 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 71.77/18.05 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 71.77/18.05 c lits-rem: 254 cl-subs: 1322 v-elim: 200 v-fix: 0 time: 4.66 s 71.77/18.05 c learnt bin added due to v-elim: 0 71.77/18.05 c vivif2 -- cl tried 21211 cl shrink 0 lits rem 0 time: 0.01 71.77/18.06 c vivif2 -- cl tried 15089 cl shrink 0 lits rem 0 time: 0.01 72.57/18.26 c asymm cl-useful: 0/9234/21211 lits-rem:0 time: 0.81 72.57/18.26 c calculated reachability. Time: 0.00 72.57/18.26 c N dy 707 105321 203 21211 72 15089 93356 195630 17.46 10.11 -- 75.36/18.93 c N dy 755 112156 203 21211 72 21577 93356 311546 18.23 10.11 -- 78.59/19.70 c N dy 806 119383 203 21211 72 15162 93356 178717 17.07 10.11 -- 81.36/20.46 c N dy 860 127048 203 21211 72 22425 93356 305147 17.07 10.11 -- 84.96/21.34 c N dy 918 135245 203 21211 72 15984 93356 181772 17.78 10.11 -- 88.55/22.21 c N dy 980 143994 203 21211 72 24281 93356 328235 17.77 10.10 -- 92.54/23.22 c N dy 1046 153301 203 21211 72 17970 93356 207534 17.65 10.10 -- 94.14/23.69 c S st 1080 157982 203 21211 72 22390 93356 286065 18.93 10.10 -- 94.54/23.74 c S st 1080 158483 203 21211 72 22887 93356 294947 18.93 10.10 -- 94.54/23.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 94.54/23.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 94.94/23.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 8.0M T: 0.43 94.94/23.85 c Calc non-exist non-lernt bins v-fix: 0 done: 203 time: 0.00 s 94.94/23.85 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 94.94/23.86 c Subs w/ non-existent bins: 0 time: 0.02 s 94.94/23.86 c bin-w-bin subsume rem 0 bins time: 0.01 s 94.94/23.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 94.94/23.87 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 100.55/25.22 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 100.55/25.22 c lits-rem: 386 cl-subs: 2292 v-elim: 200 v-fix: 0 time: 5.40 s 100.55/25.22 c learnt bin added due to v-elim: 0 100.55/25.23 c vivif2 -- cl tried 21211 cl shrink 0 lits rem 0 time: 0.01 100.55/25.23 c vivif2 -- cl tried 20595 cl shrink 0 lits rem 0 time: 0.02 100.95/25.38 c asymm cl-useful: 0/4120/21211 lits-rem:0 time: 0.58 100.95/25.38 c calculated reachability. Time: 0.00 100.95/25.38 c N dy 1080 158483 203 21211 72 20595 93356 268127 18.93 10.10 -- 105.35/26.49 c N dy 1152 168724 203 21211 72 30263 93356 434142 17.73 10.08 -- 110.12/27.62 c N dy 1228 179527 203 21211 72 24435 93356 314987 16.50 10.06 -- 115.32/28.96 c N dy 1309 190991 203 21211 72 18278 93356 196812 16.59 10.05 -- 120.51/30.26 c N dy 1396 203287 215 21211 96 29971 93404 398879 18.61 10.06 -- 126.50/31.75 c N dy 1488 216289 215 21211 96 24307 93404 295780 16.63 10.07 -- 132.89/33.33 c N dy 1586 230142 215 21211 96 37394 93404 524127 16.43 10.06 -- 136.11/34.18 c S st 1640 237725 215 21211 96 25602 93404 308164 16.62 10.06 -- 136.48/34.24 c S st 1640 238227 215 21211 96 26098 93404 317367 16.62 10.06 -- 136.48/34.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 136.48/34.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 136.88/34.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 10.2M T: 0.54 136.88/34.38 c Calc non-exist non-lernt bins v-fix: 0 done: 215 time: 0.00 s 136.88/34.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 136.88/34.38 c Subs w/ non-existent bins: 0 time: 0.02 s 136.88/34.39 c bin-w-bin subsume rem 0 bins time: 0.01 s 137.28/34.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 137.28/34.40 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 143.28/35.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 143.28/35.94 c lits-rem: 574 cl-subs: 2774 v-elim: 200 v-fix: 0 time: 6.15 s 143.28/35.94 c learnt bin added due to v-elim: 0 143.28/35.94 c vivif2 -- cl tried 21211 cl shrink 0 lits rem 0 time: 0.01 143.28/35.95 c vivif2 -- cl tried 23324 cl shrink 0 lits rem 0 time: 0.02 144.08/36.12 c asymm cl-useful: 2/2301/21211 lits-rem:2 time: 0.68 144.08/36.12 c calculated reachability. Time: 0.00 144.08/36.12 c N dy 1640 238227 215 21211 96 23324 93402 288959 16.62 10.06 -- 151.26/37.91 c N dy 1747 253476 218 21211 102 37740 93414 540068 15.79 10.05 -- 158.46/39.74 c N dy 1862 269730 218 21211 102 33376 93414 448002 16.56 10.07 -- 166.87/41.82 c N dy 1984 286997 218 21211 102 28955 93414 359980 17.15 10.08 -- 176.03/44.10 c N dy 2115 305448 218 21211 102 24626 93414 275421 17.30 10.07 -- 185.21/46.44 c N dy 2253 324996 218 21211 102 43159 93414 600285 17.96 10.07 -- 194.81/48.86 c N dy 2395 345094 218 21211 102 39459 93414 536468 18.19 10.08 -- 201.20/50.49 c S st 2482 357342 218 21211 102 27400 93414 317143 16.22 10.08 -- 201.62/50.55 c S st 2482 357845 218 21211 102 27896 93414 325624 16.22 10.08 -- 201.62/50.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 201.62/50.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 202.40/50.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 12.7M T: 0.66 202.40/50.72 c Calc non-exist non-lernt bins v-fix: 0 done: 218 time: 0.00 s 202.40/50.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 202.40/50.72 c Subs w/ non-existent bins: 0 time: 0.02 s 202.40/50.73 c bin-w-bin subsume rem 0 bins time: 0.01 s 202.40/50.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 202.40/50.74 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 208.39/52.27 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 208.39/52.28 c lits-rem: 470 cl-subs: 2164 v-elim: 200 v-fix: 0 time: 6.15 s 208.39/52.28 c learnt bin added due to v-elim: 0 208.39/52.28 c vivif2 -- cl tried 21209 cl shrink 0 lits rem 0 time: 0.01 208.39/52.29 c vivif2 -- cl tried 25734 cl shrink 0 lits rem 0 time: 0.02 209.19/52.46 c asymm cl-useful: 0/2328/21209 lits-rem:0 time: 0.68 209.19/52.46 c calculated reachability. Time: 0.00 209.19/52.46 c N dy 2482 357845 218 21209 102 25734 93372 304436 16.22 10.08 -- 309.06/77.49 c N dy 2603 536768 230 21209 130 33749 93424 410154 17.86 10.20 -- 309.46/77.51 c S st 2603 536768 230 21209 130 33749 93424 410154 17.86 10.20 -- 309.46/77.58 c S st 2603 537271 230 21209 130 34248 93424 418642 17.86 10.20 -- 309.46/77.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 309.46/77.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 310.25/77.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 15.0M T: 0.79 310.25/77.78 c Calc non-exist non-lernt bins v-fix: 0 done: 230 time: 0.00 s 310.25/77.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 310.25/77.79 c Subs w/ non-existent bins: 0 time: 0.03 s 310.25/77.79 c Replacing 1 vars Replaced 26 lits Time: 0.01 s 310.65/77.80 c bin-w-bin subsume rem 2 bins time: 0.01 s 310.65/77.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 310.65/77.81 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 317.05/79.50 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 320.26/80.29 c Added 3 vars tried: 80000 time: 3.18 320.67/80.30 c ORs : 3 avg-s: 0.0 cl-sh: 1862 l-rem: 1862 b-add: 6 v-rep: 0 cl-rem: 9 avg s: 3.0 T: 3.22 320.67/80.31 c lits-rem: 1396 cl-subs: 2573 v-elim: 200 v-fix: 0 time: 9.98 s 320.67/80.31 c learnt bin added due to v-elim: 0 320.67/80.31 c vivif2 -- cl tried 21203 cl shrink 0 lits rem 0 time: 0.01 320.67/80.32 c vivif2 -- cl tried 31675 cl shrink 0 lits rem 0 time: 0.03 321.45/80.50 c asymm cl-useful: 0/2123/21203 lits-rem:0 time: 0.70 321.45/80.50 c calculated reachability. Time: 0.00 321.45/80.50 c N dy 2603 537271 232 21203 130 31675 93315 389476 17.86 10.20 -- 321.45/80.50 c F st 2603 537271 232 21203 130 31675 93315 389476 17.86 10.20 -- 322.25/80.78 c Decided on static restart strategy 331.83/83.16 c N dy 2736 557273 232 21203 130 50586 93315 712185 16.55 10.19 -- 343.41/86.03 c N dy 2877 577319 232 21203 130 39098 93315 499898 17.49 10.19 -- 354.60/88.89 c N dy 3018 597350 232 21203 130 58103 93315 829785 17.73 10.19 -- 484.42/121.39 c N dy 3045 805908 232 21203 130 54607 93315 733229 19.07 10.32 -- 484.82/121.42 c S st 3045 805908 232 21203 130 54607 93315 733229 19.07 10.32 -- 484.82/121.43 c Finding binary XORs T: 0.00 s found: 1 485.22/121.51 c S st 3045 806413 238 21203 146 55149 93343 742769 19.07 10.32 -- 485.22/121.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 485.22/121.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 486.82/121.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 27.5M T: 1.66 486.82/121.93 c Calc non-exist non-lernt bins v-fix: 0 done: 238 time: 0.01 s 486.82/121.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 486.82/121.95 c Subs w/ non-existent bins: 0 time: 0.04 s 486.82/121.95 c Replacing 1 vars Replaced 21 lits Time: 0.02 s 486.82/121.97 c bin-w-bin subsume rem 2 bins time: 0.01 s 486.82/121.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.07 s 486.82/121.99 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 495.21/124.07 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.02 495.21/124.09 c lits-rem: 465 cl-subs: 4197 v-elim: 200 v-fix: 0 time: 8.39 s 495.21/124.09 c learnt bin added due to v-elim: 0 495.21/124.09 c vivif2 -- cl tried 21203 cl shrink 0 lits rem 0 time: 0.01 495.61/124.10 c vivif2 -- cl tried 50952 cl shrink 0 lits rem 0 time: 0.05 495.61/124.20 c asymm cl-useful: 0/847/21203 lits-rem:0 time: 0.39 496.02/124.20 c calculated reachability. Time: 0.00 496.02/124.20 c N dy 3045 806413 237 21203 140 50952 93335 681267 19.07 10.32 -- 774.83/194.03 c N dy 3055 1209620 237 21203 140 66987 93335 848182 18.28 10.34 -- 774.83/194.06 c S st 3055 1209620 237 21203 140 66987 93335 848182 18.28 10.34 -- 775.23/194.16 c S st 3055 1210126 246 21203 166 67564 93379 858059 18.28 10.34 -- 775.23/194.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 775.23/194.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 777.25/194.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 34.5M T: 1.98 777.25/194.66 c Calc non-exist non-lernt bins v-fix: 0 done: 246 time: 0.01 s 777.25/194.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 777.25/194.68 c Subs w/ non-existent bins: 0 time: 0.05 s 777.25/194.68 c Replacing 2 vars Replaced 98 lits Time: 0.02 s 777.65/194.70 c bin-w-bin subsume rem 4 bins time: 0.01 s 777.65/194.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.08 s 777.65/194.72 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 788.41/197.46 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 788.41/197.48 c lits-rem: 936 cl-subs: 6876 v-elim: 200 v-fix: 0 time: 10.99 s 788.41/197.48 c learnt bin added due to v-elim: 0 788.41/197.48 c vivif2 -- cl tried 21203 cl shrink 0 lits rem 0 time: 0.01 788.41/197.49 c vivif2 -- cl tried 60688 cl shrink 0 lits rem 0 time: 0.06 788.81/197.58 c asymm cl-useful: 0/903/21203 lits-rem:0 time: 0.37 788.81/197.59 c calculated reachability. Time: 0.00 788.81/197.59 c N dy 3055 1210126 244 21203 154 60688 93363 759631 18.28 10.34 -- 1163.92/291.45 c N dy 3067 1710126 244 21203 158 89391 93363 1070320 16.75 10.19 -- 1163.92/291.50 c S st 3067 1710126 244 21203 158 89391 93363 1070320 16.75 10.19 -- 1164.70/291.62 c S st 3067 1710627 252 21203 175 89939 93397 1079421 16.75 10.19 -- 1164.70/291.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1164.70/291.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1167.50/292.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 0 BRemN: 1 CBin: 0 P: 44.9M T: 2.70 1167.50/292.31 c Calc non-exist non-lernt bins v-fix: 0 done: 252 time: 0.01 s 1167.50/292.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1167.50/292.32 c Subs w/ non-existent bins: 1 time: 0.07 s 1167.50/292.34 c Replacing 1 vars Replaced 179 lits Time: 0.06 s 1167.50/292.36 c bin-w-bin subsume rem 0 bins time: 0.01 s 1171.49/293.31 c subs with bin: 11283 lits-rem: 1269 v-fix: 0 time: 3.78 s 1171.49/293.31 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1189.07/297.73 c ORs : 6 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 3 avg s: 6.0 T: 0.04 1193.07/298.78 c Added 3 vars tried: 80000 time: 4.19 1193.47/298.84 c ORs : 3 avg-s: 0.0 cl-sh: 3917 l-rem: 3917 b-add: 6 v-rep: 0 cl-rem: 0 avg s: nan T: 4.44 1193.47/298.86 c lits-rem: 3223 cl-subs: 19012 v-elim: 200 v-fix: 0 time: 22.16 s 1193.47/298.86 c learnt bin added due to v-elim: 0 1193.47/298.86 c vivif2 -- cl tried 21190 cl shrink 0 lits rem 0 time: 0.01 1193.47/298.87 c vivif2 -- cl tried 59656 cl shrink 0 lits rem 0 time: 0.06 1193.87/298.98 c asymm cl-useful: 0/1128/21190 lits-rem:0 time: 0.42 1193.87/298.98 c calculated reachability. Time: 0.00 1193.87/298.98 c N dy 3067 1710627 254 21190 178 59656 93351 757368 16.75 10.19 -- 1591.32/398.43 c N dy 3171 2210627 254 21190 178 78193 93351 1003995 19.70 11.47 -- 1591.32/398.47 c S st 3171 2210627 254 21190 178 78193 93351 1003995 19.70 11.47 -- 1591.72/398.58 c S st 3171 2211130 257 21190 184 78706 93363 1012664 19.70 11.47 -- 1591.72/398.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1591.72/398.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1594.94/399.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 52.5M T: 3.14 1594.94/399.37 c Calc non-exist non-lernt bins v-fix: 0 done: 257 time: 0.01 s 1594.94/399.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1594.94/399.39 c Subs w/ non-existent bins: 0 time: 0.07 s 1595.31/399.41 c bin-w-bin subsume rem 0 bins time: 0.01 s 1595.31/399.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.11 s 1595.31/399.44 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1607.72/402.54 c ORs : 9 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 1607.72/402.56 c lits-rem: 1493 cl-subs: 5202 v-elim: 200 v-fix: 0 time: 12.45 s 1607.72/402.56 c learnt bin added due to v-elim: 0 1607.72/402.56 c vivif2 -- cl tried 21190 cl shrink 0 lits rem 0 time: 0.01 1607.72/402.58 c vivif2 -- cl tried 73504 cl shrink 1 lits rem 1 time: 0.07 1608.12/402.68 c asymm cl-useful: 0/637/21190 lits-rem:0 time: 0.42 1608.12/402.69 c calculated reachability. Time: 0.00 1608.12/402.69 c N dy 3171 2211130 257 21190 184 73504 93363 920311 19.70 11.47 -- 2057.89/515.29 c N dy 3237 2711130 257 21190 184 96695 93363 1413720 30.25 12.32 -- 2058.29/515.34 c S st 3237 2711130 257 21190 184 96695 93363 1413720 30.25 12.32 -- 2058.29/515.34 c Finding binary XORs T: 0.00 s found: 0 2058.69/515.47 c S st 3237 2711632 259 21190 188 97211 93371 1421993 30.25 12.32 -- 2058.69/515.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2058.69/515.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2062.69/516.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 3.89 2062.69/516.45 c Calc non-exist non-lernt bins v-fix: 0 done: 259 time: 0.01 s 2062.69/516.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2062.69/516.47 c Subs w/ non-existent bins: 0 time: 0.09 s 2063.09/516.50 c bin-w-bin subsume rem 0 bins time: 0.01 s 2063.09/516.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.20 s 2063.09/516.55 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 2086.67/522.45 c ORs : 9 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.11 2086.67/522.48 c lits-rem: 1618 cl-subs: 5854 v-elim: 200 v-fix: 0 time: 23.67 s 2086.67/522.48 c learnt bin added due to v-elim: 0 2086.67/522.48 c vivif2 -- cl tried 21190 cl shrink 0 lits rem 0 time: 0.01 2087.07/522.51 c vivif2 -- cl tried 91357 cl shrink 0 lits rem 0 time: 0.10 2087.45/522.62 c asymm cl-useful: 0/595/21190 lits-rem:0 time: 0.44 2087.45/522.62 c calculated reachability. Time: 0.00 2087.45/522.62 c N dy 3237 2711632 259 21190 188 91357 93371 1276855 30.25 12.32 -- 2087.45/522.62 c F st 3237 2711632 259 21190 188 91357 93371 1276855 30.25 12.32 -- 2089.45/523.13 c Decided on static restart strategy 2564.81/642.10 c N dy 3279 3211633 262 21190 196 140450 93383 2029089 16.93 12.76 -- 2564.81/642.18 c S st 3279 3211633 262 21190 196 140450 93383 2029089 16.93 12.76 -- 2565.62/642.36 c S st 3279 3212134 262 21190 196 140950 93383 2037636 16.93 12.76 -- 2565.62/642.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2565.62/642.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2570.02/643.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.1M T: 4.32 2570.02/643.45 c Calc non-exist non-lernt bins v-fix: 0 done: 262 time: 0.01 s 2570.02/643.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2570.02/643.49 c Subs w/ non-existent bins: 0 time: 0.12 s 2570.42/643.53 c bin-w-bin subsume rem 0 bins time: 0.01 s 2570.42/643.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.26 s 2570.79/643.60 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 2629.91/658.47 c ORs : 9 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.17 2635.50/659.80 c Added 3 vars tried: 80000 time: 5.31 2644.29/662.09 c ORs : 3 avg-s: 0.0 cl-sh: 41618 l-rem: 41618 b-add: 14 v-rep: 0 cl-rem: 0 avg s: nan T: 14.45 2644.71/662.13 c lits-rem: 2253 cl-subs: 14817 v-elim: 200 v-fix: 0 time: 74.02 s 2644.71/662.13 c learnt bin added due to v-elim: 0 2644.71/662.13 c vivif2 -- cl tried 21185 cl shrink 0 lits rem 0 time: 0.01 2644.71/662.16 c vivif2 -- cl tried 126133 cl shrink 1 lits rem 1 time: 0.13 2645.11/662.27 c asymm cl-useful: 0/772/21185 lits-rem:0 time: 0.42 2645.11/662.27 c calculated reachability. Time: 0.00 2645.11/662.28 c N dy 3279 3212134 265 21185 210 126133 93396 1707244 16.93 12.76 -- 3198.36/800.74 c N dy 3361 3712134 265 21185 210 145863 93396 2372853 33.61 13.42 -- 3198.76/800.83 c S st 3361 3712134 265 21185 210 145863 93396 2372853 33.61 13.42 -- 3199.53/801.01 c S st 3361 3712635 265 21185 210 146364 93396 2381392 33.61 13.42 -- 3199.53/801.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3199.53/801.02 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3204.33/802.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.1M T: 4.77 3204.33/802.22 c Calc non-exist non-lernt bins v-fix: 0 done: 265 time: 0.02 s 3204.33/802.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3204.33/802.26 c Subs w/ non-existent bins: 0 time: 0.14 s 3204.73/802.31 c bin-w-bin subsume rem 0 bins time: 0.01 s 3204.73/802.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.35 s 3205.13/802.40 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 3259.87/816.16 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.22 3260.28/816.20 c lits-rem: 529 cl-subs: 13035 v-elim: 200 v-fix: 0 time: 55.14 s 3260.28/816.20 c learnt bin added due to v-elim: 0 3260.28/816.21 c vivif2 -- cl tried 21185 cl shrink 0 lits rem 0 time: 0.01 3260.28/816.25 c vivif2 -- cl tried 133329 cl shrink 0 lits rem 0 time: 0.16 3260.65/816.37 c asymm cl-useful: 0/506/21185 lits-rem:0 time: 0.47 3260.65/816.37 c calculated reachability. Time: 0.00 3260.65/816.37 c N dy 3361 3712635 265 21185 210 133329 93396 2058415 33.61 13.42 -- 3279.42/821.07 c N dy 3506 3732688 266 21185 212 152802 93400 2503504 23.12 13.43 -- 3297.00/825.49 c N dy 3650 3752726 266 21185 212 91093 93400 996802 21.11 13.43 -- 3312.18/829.23 c N dy 3793 3772773 266 21185 212 110369 93400 1404607 19.64 13.43 -- 3830.68/959.07 c N dy 3845 4212635 266 21185 212 116027 93400 1740034 32.79 13.99 -- 3831.09/959.14 c S st 3845 4212635 266 21185 212 116027 93400 1740034 32.79 13.99 -- 3831.50/959.27 c S st 3845 4213135 268 21185 217 116528 93408 1749801 32.79 13.99 -- 3831.50/959.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3831.50/959.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3836.26/960.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.80 3836.26/960.48 c Calc non-exist non-lernt bins v-fix: 0 done: 268 time: 0.01 s 3836.26/960.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3836.66/960.51 c Subs w/ non-existent bins: 0 time: 0.12 s 3836.66/960.55 c bin-w-bin subsume rem 0 bins time: 0.01 s 3837.06/960.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.30 s 3837.06/960.63 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 3870.64/969.02 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.22 3877.41/970.79 c Added 3 vars tried: 80000 time: 7.06 3879.83/971.32 c ORs : 3 avg-s: 0.0 cl-sh: 19604 l-rem: 19604 b-add: 8 v-rep: 0 cl-rem: 0 avg s: nan T: 9.19 3879.83/971.36 c lits-rem: 1270 cl-subs: 4089 v-elim: 200 v-fix: 0 time: 42.87 s 3879.83/971.36 c learnt bin added due to v-elim: 0 3879.83/971.36 c vivif2 -- cl tried 21186 cl shrink 0 lits rem 0 time: 0.01 3879.83/971.39 c vivif2 -- cl tried 112439 cl shrink 1 lits rem 1 time: 0.12 3880.61/971.51 c asymm cl-useful: 0/748/21186 lits-rem:0 time: 0.47 3880.61/971.52 c calculated reachability. Time: 0.00 3880.61/971.52 c N dy 3845 4213135 271 21186 225 112439 93427 1607345 32.79 13.99 -- 3898.59/976.00 c N dy 3989 4233230 271 21186 225 131982 93427 2029139 20.62 13.99 -- 4483.39/1122.49 c N dy 4025 4713136 271 21186 225 151485 93427 2549654 25.68 14.32 -- 4483.79/1122.59 c S st 4025 4713136 271 21186 225 151485 93427 2549654 25.68 14.32 -- 4484.59/1122.79 c S st 4025 4713637 271 21186 225 151985 93427 2559259 25.68 14.32 -- 4484.99/1122.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4484.99/1122.80 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4490.60/1124.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 5.83 4490.60/1124.26 c Calc non-exist non-lernt bins v-fix: 0 done: 271 time: 0.02 s 4490.60/1124.26 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4490.97/1124.31 c Subs w/ non-existent bins: 0 time: 0.17 s 4490.97/1124.36 c bin-w-bin subsume rem 0 bins time: 0.01 s 4491.37/1124.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.50 s 4491.37/1124.49 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 4550.49/1139.24 c ORs : 15 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.37 4550.49/1139.29 c lits-rem: 661 cl-subs: 10902 v-elim: 200 v-fix: 0 time: 59.12 s 4550.49/1139.29 c learnt bin added due to v-elim: 0 4550.49/1139.29 c vivif2 -- cl tried 21186 cl shrink 0 lits rem 0 time: 0.01 4550.89/1139.34 c vivif2 -- cl tried 141082 cl shrink 0 lits rem 0 time: 0.18 4551.29/1139.48 c asymm cl-useful: 0/433/21186 lits-rem:0 time: 0.58 4551.29/1139.49 c calculated reachability. Time: 0.00 4551.29/1139.49 c N dy 4025 4713637 271 21186 225 141082 93427 2240825 25.68 14.32 --
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-3262197-1304133349/watcher-3262197-1304133349 -o /tmp/evaluation-result-3262197-1304133349/solver-3262197-1304133349 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262197-1304133349.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 8.01 7.97 7.55 4/179 9641 /proc/meminfo: memFree=29152264/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=50148 CPUtime=0 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 728 0 0 0 0 0 0 0 25 0 1 0 603565571 51351552 660 33554432000 4194304 4797429 140736852779984 18446744073709551615 260905054917 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/9641/statm: 12537 660 347 148 0 7466 0 [startup+0.07375 s] /proc/loadavg: 8.01 7.97 7.55 4/179 9641 /proc/meminfo: memFree=29152264/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=150956 CPUtime=0.17 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 2351 0 0 0 17 0 0 0 18 0 4 0 603565571 154578944 2198 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 37739 2198 375 148 0 32668 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 150956 [startup+0.173727 s] /proc/loadavg: 8.01 7.97 7.55 4/179 9641 /proc/meminfo: memFree=29152264/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=150956 CPUtime=0.57 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 2382 0 0 0 57 0 0 0 18 0 4 0 603565571 154578944 2229 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 37739 2229 375 148 0 32668 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 150956 [startup+0.300712 s] /proc/loadavg: 8.01 7.97 7.55 4/179 9641 /proc/meminfo: memFree=29152264/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=616672 CPUtime=1.07 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 4898 0 0 0 106 1 0 0 18 0 4 0 603565571 631472128 3905 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524013 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 154168 3905 398 148 0 149097 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 616672 [startup+0.700634 s] /proc/loadavg: 8.01 7.97 7.55 4/179 9641 /proc/meminfo: memFree=29152264/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=618396 CPUtime=2.66 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 5791 0 0 0 265 1 0 0 18 0 4 0 603565571 633237504 4735 33554432000 4194304 4797429 140736852779984 18446744073709551615 4425129 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 154599 4735 411 148 0 149528 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 618396 [startup+1.50049 s] /proc/loadavg: 7.69 7.90 7.53 5/179 9645 /proc/meminfo: memFree=30143200/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=622852 CPUtime=5.86 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 7890 0 0 0 584 2 0 0 20 0 4 0 603565571 637800448 6460 33554432000 4194304 4797429 140736852779984 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 155713 6460 415 148 0 150642 0 [pid=9641/tid=9643] ppid=9639 vsize=622852 CPUtime=1.44 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 1191 0 0 0 144 0 0 0 25 0 4 0 603565575 637800448 6460 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=622852 CPUtime=1.45 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 1475 0 0 0 145 0 0 0 20 0 4 0 603565575 637800448 6460 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=622852 CPUtime=1.45 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 1288 0 0 0 145 0 0 0 20 0 4 0 603565575 637800448 6460 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.86 Current children cumulated vsize (KiB) 622852 [startup+3.10114 s] /proc/loadavg: 7.69 7.90 7.53 5/178 9666 /proc/meminfo: memFree=30168216/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=624340 CPUtime=12.25 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 9346 0 0 0 1223 2 0 0 25 0 4 0 603565571 639324160 7198 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568011 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 156085 7198 416 148 0 151014 0 [pid=9641/tid=9643] ppid=9639 vsize=624340 CPUtime=3.04 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 1191 0 0 0 304 0 0 0 25 0 4 0 603565575 639324160 7198 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=624340 CPUtime=3.05 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 1511 0 0 0 305 0 0 0 25 0 4 0 603565575 639324160 7198 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=624340 CPUtime=3.05 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 1343 0 0 0 305 0 0 0 25 0 4 0 603565575 639324160 7198 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.25 Current children cumulated vsize (KiB) 624340 [startup+6.30055 s] /proc/loadavg: 7.71 7.91 7.53 10/184 9675 /proc/meminfo: memFree=30130828/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=627024 CPUtime=25.03 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 11302 0 0 0 2500 3 0 0 25 0 4 0 603565571 642072576 7579 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524219 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 156756 7579 418 148 0 151685 0 [pid=9641/tid=9643] ppid=9639 vsize=627024 CPUtime=6.22 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 1547 0 0 0 622 0 0 0 25 0 4 0 603565575 642072576 7579 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=627024 CPUtime=6.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 1910 0 0 0 625 0 0 0 25 0 4 0 603565575 642072576 7579 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524002 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=627024 CPUtime=6.25 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 1720 0 0 0 625 0 0 0 25 0 4 0 603565575 642072576 7579 33554432000 4194304 4797429 140736852779984 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.03 Current children cumulated vsize (KiB) 627024 [startup+12.7004 s] /proc/loadavg: 7.74 7.91 7.54 10/184 9675 /proc/meminfo: memFree=30119956/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=629960 CPUtime=50.6 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 14057 0 0 0 5056 4 0 0 25 0 4 0 603565571 645079040 8640 33554432000 4194304 4797429 140736852779984 18446744073709551615 4495525 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 157490 8640 419 148 0 152419 0 [pid=9641/tid=9643] ppid=9639 vsize=629960 CPUtime=12.58 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 1746 0 0 0 1258 0 0 0 25 0 4 0 603565575 645079040 8640 33554432000 4194304 4797429 140736852779984 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=629960 CPUtime=12.65 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 2459 0 0 0 1265 0 0 0 25 0 4 0 603565575 645079040 8640 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=629960 CPUtime=12.65 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 2295 0 0 0 1265 0 0 0 25 0 4 0 603565575 645079040 8640 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.6 Current children cumulated vsize (KiB) 629960 [startup+25.501 s] /proc/loadavg: 7.79 7.91 7.54 10/184 9676 /proc/meminfo: memFree=30109792/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=633636 CPUtime=101.73 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 20296 0 0 0 10168 5 0 0 25 0 4 0 603565571 648843264 9764 33554432000 4194304 4797429 140736852779984 18446744073709551615 4388701 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 158409 9764 420 148 0 153338 0 [pid=9641/tid=9643] ppid=9639 vsize=633636 CPUtime=25.31 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 2535 0 0 0 2531 0 0 0 25 0 4 0 603565575 648843264 9764 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=633636 CPUtime=25.45 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 2981 0 0 0 2544 1 0 0 25 0 4 0 603565575 648843264 9764 33554432000 4194304 4797429 140736852779984 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=633636 CPUtime=25.45 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 2797 0 0 0 2545 0 0 0 25 0 4 0 603565575 648843264 9764 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.73 Current children cumulated vsize (KiB) 633636 [startup+51.1003 s] /proc/loadavg: 7.86 7.92 7.55 10/184 9676 /proc/meminfo: memFree=30096680/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=638316 CPUtime=204 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 31577 0 0 0 20392 8 0 0 25 0 4 0 603565571 653635584 11448 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 159579 11448 422 148 0 154508 0 [pid=9641/tid=9643] ppid=9639 vsize=638316 CPUtime=50.78 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 3357 0 0 0 5078 0 0 0 25 0 4 0 603565575 653635584 11448 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=638316 CPUtime=51.05 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 4150 0 0 0 5104 1 0 0 25 0 4 0 603565575 653635584 11448 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=638316 CPUtime=51.05 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 3776 0 0 0 5105 0 0 0 25 0 4 0 603565575 653635584 11448 33554432000 4194304 4797429 140736852779984 18446744073709551615 4495561 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204 Current children cumulated vsize (KiB) 638316 [startup+102.307 s] /proc/loadavg: 8.02 7.94 7.58 10/184 9678 /proc/meminfo: memFree=30071572/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=647112 CPUtime=408.54 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 51290 0 0 0 40840 14 0 0 25 0 4 0 603565571 662642688 14246 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 161778 14246 422 148 0 156707 0 [pid=9641/tid=9643] ppid=9639 vsize=647112 CPUtime=101.7 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 5396 0 0 0 10169 1 0 0 25 0 4 0 603565575 662642688 14246 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=647112 CPUtime=102.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 6279 0 0 0 10224 1 0 0 25 0 4 0 603565575 662642688 14246 33554432000 4194304 4797429 140736852779984 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=647112 CPUtime=102.26 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 5683 0 0 0 10225 1 0 0 25 0 4 0 603565575 662642688 14246 33554432000 4194304 4797429 140736852779984 18446744073709551615 4430154 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.54 Current children cumulated vsize (KiB) 647112 [startup+162.301 s] /proc/loadavg: 8.08 7.97 7.61 10/184 9679 /proc/meminfo: memFree=30049572/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=654088 CPUtime=648.2 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 71511 0 0 0 64799 21 0 0 25 0 4 0 603565571 669786112 17190 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 163522 17190 422 148 0 158451 0 [pid=9641/tid=9643] ppid=9639 vsize=654088 CPUtime=161.37 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 7235 0 0 0 16135 2 0 0 25 0 4 0 603565575 669786112 17190 33554432000 4194304 4797429 140736852779984 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=654088 CPUtime=162.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 8345 0 0 0 16223 2 0 0 25 0 4 0 603565575 669786112 17190 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=654088 CPUtime=162.26 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 7620 0 0 0 16224 2 0 0 25 0 4 0 603565575 669786112 17190 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 648.2 Current children cumulated vsize (KiB) 654088 [startup+222.301 s] /proc/loadavg: 8.15 8.00 7.64 9/184 9681 /proc/meminfo: memFree=30031668/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=662076 CPUtime=887.88 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 89037 0 0 0 88761 27 0 0 25 0 4 0 603565571 677965824 19694 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424709 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 165519 19694 422 148 0 160448 0 [pid=9641/tid=9643] ppid=9639 vsize=662076 CPUtime=221.04 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 8942 0 0 0 22102 2 0 0 25 0 4 0 603565575 677965824 19694 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568029 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=662076 CPUtime=222.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 10114 0 0 0 22222 3 0 0 25 0 4 0 603565575 677965824 19694 33554432000 4194304 4797429 140736852779984 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=662076 CPUtime=222.26 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 8785 0 0 0 22223 3 0 0 25 0 4 0 603565575 677965824 19694 33554432000 4194304 4797429 140736852779984 18446744073709551615 4491983 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 887.88 Current children cumulated vsize (KiB) 662076 [startup+282.301 s] ################ # More data... # ################ [pid=9641] ppid=9639 vsize=693956 CPUtime=2805.28 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 206959 0 0 0 280452 76 0 0 25 0 4 0 603565571 710610944 33990 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 173489 33990 423 148 0 168418 0 [pid=9641/tid=9643] ppid=9639 vsize=693956 CPUtime=698.42 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 20260 0 0 0 69835 7 0 0 25 0 4 0 603565575 710610944 33990 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=693956 CPUtime=702.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 20803 0 0 0 70218 7 0 0 25 0 4 0 603565575 710610944 33990 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=693956 CPUtime=702.27 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 19743 0 0 0 70220 7 0 0 25 0 4 0 603565575 710610944 33990 33554432000 4194304 4797429 140736852779984 18446744073709551615 4558668 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.28 Current children cumulated vsize (KiB) 693956 [startup+762.307 s] /proc/loadavg: 8.07 8.08 7.82 9/184 9725 /proc/meminfo: memFree=29897028/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=698728 CPUtime=3044.97 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 220408 0 0 0 304415 82 0 0 25 0 4 0 603565571 715497472 33509 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 174682 33509 423 148 0 169611 0 [pid=9641/tid=9643] ppid=9639 vsize=698728 CPUtime=758.08 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 21453 0 0 0 75801 7 0 0 25 0 4 0 603565575 715497472 33509 33554432000 4194304 4797429 140736852779984 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=698728 CPUtime=762.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 21900 0 0 0 76218 7 0 0 25 0 4 0 603565575 715497472 33509 33554432000 4194304 4797429 140736852779984 18446744073709551615 4428832 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=698728 CPUtime=762.29 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 20951 0 0 0 76220 9 0 0 25 0 4 0 603565575 715497472 33509 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429125 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3044.97 Current children cumulated vsize (KiB) 698728 [startup+822.301 s] /proc/loadavg: 8.06 8.08 7.83 9/184 9727 /proc/meminfo: memFree=29884592/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=704544 CPUtime=3284.63 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 231271 0 0 0 328376 87 0 0 25 0 4 0 603565571 721453056 37378 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 176136 37378 426 148 0 171065 0 [pid=9641/tid=9643] ppid=9639 vsize=704544 CPUtime=817.75 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 22969 0 0 0 81767 8 0 0 25 0 4 0 603565575 721453056 37378 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=704544 CPUtime=822.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 22990 0 0 0 82217 8 0 0 25 0 4 0 603565575 721453056 37378 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=704544 CPUtime=822.28 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 22329 0 0 0 82219 9 0 0 25 0 4 0 603565575 721453056 37378 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568007 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3284.63 Current children cumulated vsize (KiB) 704544 [startup+882.301 s] /proc/loadavg: 8.19 8.11 7.86 9/184 9728 /proc/meminfo: memFree=29868044/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=706152 CPUtime=3524.29 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 245410 0 0 0 352337 92 0 0 25 0 4 0 603565571 723099648 37409 33554432000 4194304 4797429 140736852779984 18446744073709551615 4351789 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 176538 37409 426 148 0 171467 0 [pid=9641/tid=9643] ppid=9639 vsize=706152 CPUtime=877.42 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 24134 0 0 0 87734 8 0 0 25 0 4 0 603565575 723099648 37409 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=706152 CPUtime=882.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 24330 0 0 0 88217 8 0 0 25 0 4 0 603565575 723099648 37409 33554432000 4194304 4797429 140736852779984 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=706152 CPUtime=882.28 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 23448 0 0 0 88218 10 0 0 25 0 4 0 603565575 723099648 37409 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3524.29 Current children cumulated vsize (KiB) 706152 [startup+942.301 s] /proc/loadavg: 8.20 8.12 7.87 9/184 9730 /proc/meminfo: memFree=29862660/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=707256 CPUtime=3763.96 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 257734 0 0 0 376299 97 0 0 25 0 4 0 603565571 724230144 38275 33554432000 4194304 4797429 140736852779984 18446744073709551615 4351792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 176814 38275 426 148 0 171743 0 [pid=9641/tid=9643] ppid=9639 vsize=707256 CPUtime=937.09 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 25412 0 0 0 93700 9 0 0 25 0 4 0 603565575 724230144 38275 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=707256 CPUtime=942.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 25432 0 0 0 94216 9 0 0 25 0 4 0 603565575 724230144 38275 33554432000 4194304 4797429 140736852779984 18446744073709551615 4422906 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=707256 CPUtime=942.28 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 24667 0 0 0 94218 10 0 0 25 0 4 0 603565575 724230144 38275 33554432000 4194304 4797429 140736852779984 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3763.96 Current children cumulated vsize (KiB) 707256 [startup+1002.3 s] /proc/loadavg: 8.24 8.14 7.89 9/184 9732 /proc/meminfo: memFree=29855188/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=715684 CPUtime=4003.64 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 270335 0 0 0 400262 102 0 0 25 0 4 0 603565571 732860416 38921 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424949 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 178921 38921 426 148 0 173850 0 [pid=9641/tid=9643] ppid=9639 vsize=715684 CPUtime=996.77 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 26885 0 0 0 99667 10 0 0 25 0 4 0 603565575 732860416 38921 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=715684 CPUtime=1002.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 26680 0 0 0 100216 9 0 0 25 0 4 0 603565575 732860416 38921 33554432000 4194304 4797429 140736852779984 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=715684 CPUtime=1002.29 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 26031 0 0 0 100218 11 0 0 25 0 4 0 603565575 732860416 38921 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4003.64 Current children cumulated vsize (KiB) 715684 [startup+1062.3 s] /proc/loadavg: 8.21 8.14 7.91 9/184 9733 /proc/meminfo: memFree=29845092/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=715772 CPUtime=4243.31 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 282821 0 0 0 424225 106 0 0 25 0 4 0 603565571 732950528 39423 33554432000 4194304 4797429 140736852779984 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 178943 39423 426 148 0 173872 0 [pid=9641/tid=9643] ppid=9639 vsize=715772 CPUtime=1056.43 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 28032 0 0 0 105633 10 0 0 25 0 4 0 603565575 732950528 39423 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524110 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=715772 CPUtime=1062.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 27713 0 0 0 106215 10 0 0 25 0 4 0 603565575 732950528 39423 33554432000 4194304 4797429 140736852779984 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=715772 CPUtime=1062.29 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 27182 0 0 0 106218 11 0 0 25 0 4 0 603565575 732950528 39423 33554432000 4194304 4797429 140736852779984 18446744073709551615 4430087 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4243.31 Current children cumulated vsize (KiB) 715772 [startup+1122.3 s] /proc/loadavg: 8.19 8.14 7.92 9/184 9735 /proc/meminfo: memFree=29824572/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=715900 CPUtime=4482.99 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 294046 0 0 0 448188 111 0 0 25 0 4 0 603565571 733081600 41698 33554432000 4194304 4797429 140736852779984 18446744073709551615 4351801 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 178975 41698 426 148 0 173904 0 [pid=9641/tid=9643] ppid=9639 vsize=715900 CPUtime=1116.09 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 28649 0 0 0 111599 10 0 0 25 0 4 0 603565575 733081600 41698 33554432000 4194304 4797429 140736852779984 18446744073709551615 4422906 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=715900 CPUtime=1122.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 28289 0 0 0 112215 10 0 0 25 0 4 0 603565575 733081600 41698 33554432000 4194304 4797429 140736852779984 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=715900 CPUtime=1122.29 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 27850 0 0 0 112217 12 0 0 25 0 4 0 603565575 733081600 41698 33554432000 4194304 4797429 140736852779984 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4482.99 Current children cumulated vsize (KiB) 715900 [startup+1182.3 s] /proc/loadavg: 8.22 8.16 7.94 9/184 9736 /proc/meminfo: memFree=29824904/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=719552 CPUtime=4722.66 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 304234 0 0 0 472151 115 0 0 25 0 4 0 603565571 736821248 43226 33554432000 4194304 4797429 140736852779984 18446744073709551615 4345256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 179888 43226 426 148 0 174817 0 [pid=9641/tid=9643] ppid=9639 vsize=719552 CPUtime=1175.77 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 29804 0 0 0 117566 11 0 0 25 0 4 0 603565575 736821248 43226 33554432000 4194304 4797429 140736852779984 18446744073709551615 4423089 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=719552 CPUtime=1182.25 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 29370 0 0 0 118214 11 0 0 25 0 4 0 603565575 736821248 43226 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=719552 CPUtime=1182.29 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 29073 0 0 0 118217 12 0 0 25 0 4 0 603565575 736821248 43226 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4722.66 Current children cumulated vsize (KiB) 719552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.16 8.15 7.94 9/184 9737 /proc/meminfo: memFree=29811872/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=721416 CPUtime=4800.17 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 308164 0 0 0 479901 116 0 0 25 0 4 0 603565571 738729984 43298 33554432000 4194304 4797429 140736852779984 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 180354 43298 426 148 0 175283 0 [pid=9641/tid=9643] ppid=9639 vsize=721416 CPUtime=1195.07 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 29982 0 0 0 119496 11 0 0 25 0 4 0 603565575 738729984 43298 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=721416 CPUtime=1201.66 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 29528 0 0 0 120155 11 0 0 25 0 4 0 603565575 738729984 43298 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=721416 CPUtime=1201.69 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 29238 0 0 0 120157 12 0 0 25 0 4 0 603565575 738729984 43298 33554432000 4194304 4797429 140736852779984 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.17 Current children cumulated vsize (KiB) 721416 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.15 7.94 9/184 9737 /proc/meminfo: memFree=29811872/32950928 swapFree=67054472/67111528 [pid=9641] ppid=9639 vsize=721416 CPUtime=4800.17 cores=0,2,4,6 /proc/9641/stat : 9641 (techdemo) R 9639 9641 8735 0 -1 4202496 308164 0 0 0 479901 116 0 0 25 0 4 0 603565571 738729984 43298 33554432000 4194304 4797429 140736852779984 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9641/statm: 180354 43298 426 148 0 175283 0 [pid=9641/tid=9643] ppid=9639 vsize=721416 CPUtime=1195.07 cores=0,2,4,6 /proc/9641/task/9643/stat : 9643 (techdemo) R 9639 9641 8735 0 -1 4202560 29982 0 0 0 119496 11 0 0 25 0 4 0 603565575 738729984 43298 33554432000 4194304 4797429 140736852779984 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=9641/tid=9644] ppid=9639 vsize=721416 CPUtime=1201.66 cores=0,2,4,6 /proc/9641/task/9644/stat : 9644 (techdemo) R 9639 9641 8735 0 -1 4202560 29528 0 0 0 120155 11 0 0 25 0 4 0 603565575 738729984 43298 33554432000 4194304 4797429 140736852779984 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9641/tid=9645] ppid=9639 vsize=721416 CPUtime=1201.69 cores=0,2,4,6 /proc/9641/task/9645/stat : 9645 (techdemo) R 9639 9641 8735 0 -1 4202560 29238 0 0 0 120157 12 0 0 25 0 4 0 603565575 738729984 43298 33554432000 4194304 4797429 140736852779984 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.17 Current children cumulated vsize (KiB) 721416 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.72 CPU time (s): 4800.21 CPU user time (s): 4799.03 CPU system time (s): 1.17382 CPU usage (%): 399.444 Max. virtual memory (cumulated for all children) (KiB): 816584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4799.03 system time used= 1.17382 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 308164 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= 342 involuntary context switches= 22419 runsolver used 1.91571 second user time and 4.6053 second system time The end
Begin job on node116 at 2011-04-30 05:15:49 IDJOB=3262197 IDBENCH=83285 IDSOLVER=1584 FILE ID=node116/3262197-1304133349 RUNJOBID= node116-1304132144-9545 PBS_JOBID= 13170778 Free space on /tmp= 73256 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_401.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262197-1304133349/watcher-3262197-1304133349 -o /tmp/evaluation-result-3262197-1304133349/solver-3262197-1304133349 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262197-1304133349.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e87573be2b7b7324c13131d6c6896b8 RANDOM SEED=382626825 node116.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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.826 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.826 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.826 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.826 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.826 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29125308 kB Buffers: 998368 kB Cached: 1432488 kB SwapCached: 9656 kB Active: 1194584 kB Inactive: 2291932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29125308 kB SwapTotal: 67111528 kB SwapFree: 67054472 kB Dirty: 8188 kB Writeback: 0 kB AnonPages: 1054120 kB Mapped: 13708 kB Slab: 274896 kB PageTables: 7072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 2193864 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= 73272 MiB End job on node116 at 2011-04-30 05:35:53