Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | OPT | 3 | 487.324 | 487.4 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=83-P1=113-P2=127-P3=71-P4=61-P5=43-P6=71-P7=41-P8=13-P9=71-B.opb |
| MD5SUM | bd15d72e061a78dfd7cc65e865014c03 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.115982 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 189 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 7 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 127 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 8192 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 32512 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 441 |
| Sum of products size (including duplicates) | 882 |
| Number of different products | 441 |
| Sum of products size | 882 |
0.00/0.00 c 2016-06-18T19:46:48+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106472-1466272008.opb"] 0.00/0.01 c use --random-gen="396072362 2989296768 3682367965 814351171 1813087724 3340549933 2644789578 1295712464 292749727 3383870746 2356895296 2288175334 2470542498 1902497735 3020647434 1795024434 301108174 309929056 648593361 2434360405 2769415793 2672892760 2729307338 3863458586 2081360205 4007813538 718521761 2138046237 245742079 1453039701 1322656160 3626690749 1992462117 745380471 3255057326 3172014229 1155684810 2577929389 1198489986 3060230077 3263030989 3336548482 4210337038 2182908418 3561308419 2545088246 3853671962 4227674448 3785141025 2010548519 1239442247 2772393380 3686015537 3756390547 1863877958 2893024438 432066891 971741082 2528171719 3886085290 4206439 3393537423 3500975237 2392507772 723010679 1063219680 1366556372 3397195429 547351411 697221466 1137423693 1035001616 2914112778 3144892692 2255183954 2149784368 579793369 2041976782 1279503805 1729103749 2428376733 562200533 2016315613 1739969733 2593906574 3785202343 4143875074 542974288 802726899 2835108743 892771823 1297402470 4072769313 649581559 3637348772 1701566517 944972117 925081966 1288613422 415008875 2588564466 502582206 1362523029 678382767 1245135230 2859883410 3388153340 493991605 25741728 2186786701 514267278 3803596197 218303463 2820648593 3000054688 1718266171 975767006 3784629359 681610982 3884084415 4122578429 2940613220 2693570371 2233424095 4168648469 1055807169 3562058582 3440860234 1995949093 1224117588 3622477261 493233394 427051779 1716407343 2797732101 140351358 185455028 2309055914 3578643199 1672132877 18067838 3604097893 1089730805 666894348 1391071756 3356132348 3795511025 3656280763 1817232974 2295004890 2759495281 121915116 990699135 3279770926 1280442004 868581072 2052989660 1371136369 773711519 59204809 1237903811 1652927917 3442103048 2009744298 4281431655 446127322 324188420 2636398025 1262647683 1221713331 843407548 482452337 4283372072 2421141592 4152336280 752958863 549722764 529999716 640406496 2610976632 3071520171 1118268824 3297884122 1125222052 3132570951 2510866961 837486048 944478879 135938708 3335807072 890488309 1016640231 3791665972 98282366 1818750359 3855359110 1105440630 647260503 2768304498 2642271442 4140718466 3638313705 4044394318 4032155152 3546403386 3740573752 1940857055 3243237069 1947623772 1777444782 1216753156 3557035222 1064638482 1280126550 2435522542 1754226449 2665371217 544988439 2401996977 1140376091 2829211758 634147213 3480354996 3430261877 1199192526 1058033314 1751373971 3456133964 1721282824 3338855590 1275191125 2054290179 4182507389 3769370034 3470520332 1423891135 4191831697 1115143729 3818666721 3352915717 1247859044 2982806026 4084867332 169637228 4064420651 1761631448 4281932399 2288987806 296875730 1655090620 2302379642 2958750476 2234715385 1592167218 75022427 1135265513 255 362436" option to reproduce the execution 0.00/0.01 c #vars 189 0.00/0.01 c #constraints 19 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 111 | 100 | 660 0 | 0 | 0 0.00/0.07 c 0.0s | 2 | 289 | 250 | 727 0 | 0 | 0 0.09/0.12 c 0.1s | 3 | 574 | 475 | 800 0 | 0 | 0 0.09/0.19 c 0.2s | 4 | 1077 | 813 | 881 0 | 0 | 0 0.29/0.39 c 0.4s | 5 | 1718 | 1320 | 970 0 | 0 | 0 0.58/0.65 c 0.6s | 6 | 2597 | 2081 | 1174 1 | 0 | 0 0.98/1.01 c 1.0s | 7 | 3940 | 3223 | 1292 3 | 0 | 0 1.39/1.43 c 1.4s | 8 | 5973 | 4936 | 1422 5 | 0 | 0 1.99/2.00 c 2.0s | 9 | 8784 | 7506 | 1565 8 | 0 | 0 2.78/2.87 c 2.8s | 10 | 13086 | 11361 | 1722 11 | 0 | 0 3.30/3.39 c 3.4s | 10 | 16080 | 14001 | 1722 14 | 0 | 0 3.30/3.39 c #cpu_time = 3.366s 3.30/3.39 c #wall_clock_time = 3.366s 3.30/3.39 c #decision = 16080 3.30/3.39 c #random_decision = 59 3.30/3.39 c #conflict = 14001 3.30/3.39 c #restart = 10 3.30/3.39 o 53 3.30/3.39 c BCD2: hardening fixes 1 literals 3.30/3.39 c BCD2: updating upper bound: 127 -> 52 3.30/3.39 c BCD2: 0 <= obj <= 52 3.30/3.39 c BCD2: #cores=0, #unrelaxed=6, #relaxed=0, #hardened=1 3.30/3.39 c BCD2: #sat=1 #unsat=1 bias=1/2 3.30/3.39 c Solving starts ... 3.30/3.39 c ============================[ Search Statistics ]============================ 3.30/3.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.39 c | | | | Limit GC | Var | Constra 3.30/3.39 c ============================================================================= 3.30/3.39 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 0 3.30/3.39 c 0.0s | 0 | 4 | 0 | 1722 0 | 9 | 21 3.30/3.39 c #cpu_time = 0.004s 3.30/3.39 c #wall_clock_time = 0.004s 3.30/3.39 c #decision = 4 3.30/3.39 c #random_decision = 0 3.30/3.39 c #conflict = 0 3.30/3.39 c #restart = 0 3.30/3.39 c BCD2: found a new core of size 5: cost of the new core is >=2 3.30/3.39 c lower bound updated to 2 3.30/3.39 c BCD2: 2 <= obj <= 52 3.30/3.39 c BCD2: #cores=1, #unrelaxed=1, #relaxed=5, #hardened=1 3.30/3.39 c BCD2: #sat=1 #unsat=2 bias=2/3 3.30/3.39 c Solving starts ... 3.30/3.39 c ============================[ Search Statistics ]============================ 3.30/3.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.39 c | | | | Limit GC | Var | Constra 3.30/3.39 c ============================================================================= 3.30/3.39 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 21 3.40/3.41 c 0.0s | 1 | 199 | 100 | 1722 0 | 9 | 21 3.49/3.56 c 0.2s | 2 | 441 | 250 | 1722 0 | 9 | 21 3.59/3.60 c 0.2s | 3 | 729 | 475 | 1722 1 | 9 | 21 3.59/3.66 c 0.3s | 4 | 1356 | 813 | 1722 1 | 9 | 21 3.69/3.79 c 0.4s | 5 | 1954 | 1320 | 1722 2 | 9 | 21 3.89/3.93 c 0.5s | 6 | 2784 | 2081 | 1722 2 | 9 | 21 4.09/4.16 c 0.8s | 7 | 4135 | 3223 | 1895 3 | 9 | 21 4.50/4.51 c 1.1s | 8 | 6458 | 4936 | 1895 5 | 9 | 21 4.89/4.97 c 1.6s | 9 | 9130 | 7506 | 1895 7 | 9 | 21 5.99/6.06 c 2.7s | 10 | 13490 | 11361 | 1895 11 | 9 | 21 7.19/7.28 c 3.9s | 11 | 19653 | 17144 | 2085 15 | 9 | 21 9.19/9.29 c 5.9s | 11 | 29225 | 25344 | 2294 21 | 9 | 21 9.29/9.39 c 6.0s | 12 | 29706 | 25819 | 2294 22 | 9 | 21 11.38/11.40 c 8.0s | 12 | 40586 | 35619 | 2294 29 | 9 | 21 12.09/12.15 c 8.8s | 13 | 44129 | 38832 | 2294 31 | 9 | 21 14.08/14.19 c 10.8s | 13 | 50175 | 44132 | 2524 35 | 9 | 21 16.18/16.23 c 12.8s | 13 | 57083 | 50332 | 2524 39 | 9 | 21 18.18/18.23 c 14.8s | 13 | 62928 | 55732 | 2524 43 | 9 | 21 19.68/19.70 c 16.3s | 14 | 65886 | 58352 | 2524 44 | 9 | 21 21.68/21.70 c 18.3s | 14 | 74600 | 66352 | 2524 50 | 9 | 21 23.68/23.70 c 20.3s | 14 | 81873 | 72952 | 2524 54 | 9 | 21 25.68/25.75 c 22.4s | 14 | 87634 | 78252 | 2777 57 | 9 | 21 27.68/27.79 c 24.4s | 14 | 92026 | 81752 | 2777 59 | 9 | 21 29.69/29.80 c 26.4s | 14 | 98246 | 87152 | 2777 63 | 9 | 21 29.88/29.93 c 26.5s | 15 | 98776 | 87632 | 2777 63 | 9 | 21 31.89/31.96 c 28.6s | 15 | 107736 | 95532 | 2777 68 | 9 | 21 33.88/33.97 c 30.6s | 15 | 115627 | 102832 | 2777 72 | 9 | 21 35.88/35.97 c 32.6s | 15 | 124355 | 110632 | 2777 77 | 9 | 21 37.88/37.99 c 34.6s | 15 | 132331 | 117332 | 3055 82 | 9 | 21 39.98/40.04 c 36.6s | 15 | 140284 | 124732 | 3055 86 | 9 | 21 41.78/41.87 c 38.5s | 16 | 147743 | 131552 | 3055 90 | 9 | 21 43.78/43.89 c 40.5s | 16 | 157521 | 140252 | 3055 95 | 9 | 21 45.89/45.90 c 42.5s | 16 | 166186 | 148052 | 3055 99 | 9 | 21 47.88/47.91 c 44.5s | 16 | 175581 | 156552 | 3055 104 | 9 | 21 49.88/49.91 c 46.5s | 16 | 183940 | 164152 | 3055 109 | 9 | 21 51.88/51.93 c 48.5s | 16 | 190654 | 170552 | 3055 112 | 9 | 21 53.89/53.96 c 50.6s | 16 | 197784 | 176752 | 3055 116 | 9 | 21 55.88/55.96 c 52.6s | 16 | 204479 | 182552 | 3361 119 | 9 | 21 57.88/57.98 c 54.6s | 16 | 211766 | 188952 | 3361 122 | 9 | 21 59.88/59.99 c 56.6s | 16 | 219498 | 195852 | 3361 126 | 9 | 21 60.38/60.50 c 57.1s | 17 | 221226 | 197432 | 3361 127 | 9 | 21 62.48/62.51 c 59.1s | 17 | 230523 | 204632 | 3361 130 | 9 | 21 64.48/64.52 c 61.1s | 17 | 237983 | 210732 | 3361 134 | 9 | 21 66.48/66.54 c 63.1s | 17 | 245244 | 217832 | 3361 137 | 9 | 21 68.48/68.58 c 65.2s | 17 | 251980 | 224132 | 3361 141 | 9 | 21 70.58/70.60 c 67.2s | 17 | 259508 | 230832 | 3361 144 | 9 | 21 72.58/72.61 c 69.2s | 17 | 267546 | 238232 | 3361 148 | 9 | 21 74.58/74.61 c 71.2s | 17 | 275415 | 245132 | 3361 152 | 9 | 21 76.57/76.64 c 73.2s | 17 | 282337 | 250732 | 3361 155 | 9 | 21 78.57/78.64 c 75.3s | 17 | 289049 | 255732 | 3361 157 | 9 | 21 80.57/80.66 c 77.3s | 17 | 296254 | 260432 | 3361 160 | 9 | 21 82.58/82.68 c 79.3s | 17 | 304249 | 266232 | 3361 163 | 9 | 21 84.68/84.70 c 81.3s | 17 | 308987 | 270232 | 3361 165 | 9 | 21 86.67/86.71 c 83.3s | 17 | 314393 | 275032 | 3361 168 | 9 | 21 88.67/88.75 c 85.4s | 17 | 320249 | 280232 | 3698 170 | 9 | 21 90.67/90.77 c 87.4s | 17 | 326507 | 285932 | 3698 173 | 9 | 21 92.67/92.79 c 89.4s | 17 | 333486 | 291832 | 3698 176 | 9 | 21 94.27/94.39 c 91.0s | 18 | 338770 | 296252 | 3698 178 | 9 | 21 96.37/96.41 c 93.0s | 18 | 348092 | 303552 | 3698 182 | 9 | 21 98.37/98.44 c 95.0s | 18 | 355974 | 309952 | 3698 185 | 9 | 21 100.37/100.45 c 97.1s | 18 | 362964 | 315752 | 3698 187 | 9 | 21 102.38/102.46 c 99.1s | 18 | 371699 | 323352 | 3698 191 | 9 | 21 104.37/104.47 c 101s | 18 | 379905 | 330352 | 3698 195 | 9 | 21 106.37/106.49 c 103s | 18 | 388068 | 336652 | 3698 198 | 9 | 21 108.37/108.49 c 105s | 18 | 395843 | 343152 | 3698 201 | 9 | 21 110.47/110.50 c 107s | 18 | 403936 | 349852 | 3698 204 | 9 | 21 112.47/112.51 c 109s | 18 | 411670 | 356152 | 3698 207 | 9 | 21 114.47/114.52 c 111s | 18 | 419167 | 362452 | 3698 210 | 9 | 21 116.47/116.54 c 113s | 18 | 428002 | 368852 | 3698 213 | 9 | 21 118.47/118.54 c 115s | 18 | 435929 | 375352 | 3698 217 | 9 | 21 120.47/120.57 c 117s | 18 | 442925 | 381452 | 3698 220 | 9 | 21 122.47/122.57 c 119s | 18 | 448255 | 386552 | 3698 222 | 9 | 21 124.57/124.60 c 121s | 18 | 453741 | 391852 | 3698 225 | 9 | 21 126.57/126.63 c 123s | 18 | 458993 | 396852 | 3698 227 | 9 | 21 128.56/128.64 c 125s | 18 | 466083 | 403152 | 3698 230 | 9 | 21 130.56/130.65 c 127s | 18 | 472927 | 409752 | 3698 233 | 9 | 21 132.56/132.65 c 129s | 18 | 480164 | 416452 | 3698 236 | 9 | 21 134.56/134.66 c 131s | 18 | 487054 | 422652 | 3698 239 | 9 | 21 136.56/136.69 c 133s | 18 | 493561 | 428752 | 4068 242 | 9 | 21 138.58/138.70 c 135s | 18 | 500098 | 434752 | 4068 245 | 9 | 21 140.67/140.71 c 137s | 18 | 507062 | 441252 | 4068 248 | 9 | 21 141.57/141.63 c 138s | 19 | 510425 | 444482 | 4068 249 | 9 | 21 143.57/143.63 c 140s | 19 | 518371 | 451482 | 4068 252 | 9 | 21 145.57/145.66 c 142s | 19 | 525138 | 457482 | 4068 255 | 9 | 21 147.57/147.68 c 144s | 19 | 532021 | 463182 | 4068 257 | 9 | 21 149.67/149.71 c 146s | 19 | 539560 | 470082 | 4068 260 | 9 | 21 151.67/151.73 c 148s | 19 | 546401 | 476282 | 4068 263 | 9 | 21 153.67/153.74 c 150s | 19 | 553409 | 482282 | 4068 266 | 9 | 21 155.67/155.75 c 152s | 19 | 559218 | 487382 | 4068 268 | 9 | 21 157.67/157.79 c 154s | 19 | 565307 | 493082 | 4068 271 | 9 | 21 159.76/159.80 c 156s | 19 | 571658 | 498882 | 4068 273 | 9 | 21 161.77/161.80 c 158s | 19 | 578460 | 504682 | 4068 276 | 9 | 21 163.76/163.82 c 160s | 19 | 586340 | 511382 | 4068 279 | 9 | 21 165.76/165.82 c 162s | 19 | 593069 | 517682 | 4068 282 | 9 | 21 167.76/167.84 c 164s | 19 | 600179 | 524082 | 4068 284 | 9 | 21 169.76/169.85 c 166s | 19 | 605959 | 529382 | 4068 287 | 9 | 21 171.76/171.86 c 168s | 19 | 612420 | 535182 | 4068 289 | 9 | 21 173.77/173.86 c 170s | 19 | 620607 | 542382 | 4068 292 | 9 | 21 175.76/175.88 c 172s | 19 | 627574 | 548982 | 4068 295 | 9 | 21 177.86/177.90 c 174s | 19 | 634945 | 555982 | 4068 298 | 9 | 21 179.86/179.93 c 176s | 19 | 642620 | 562882 | 4068 301 | 9 | 21 181.86/181.94 c 178s | 19 | 649676 | 569282 | 4068 304 | 9 | 21 183.86/183.97 c 180s | 19 | 656524 | 575582 | 4068 307 | 9 | 21 185.86/185.97 c 182s | 19 | 665068 | 582782 | 4068 310 | 9 | 21 187.96/188.00 c 184s | 19 | 672378 | 589382 | 4068 313 | 9 | 21 189.96/190.01 c 186s | 19 | 680457 | 595782 | 4068 316 | 9 | 21 191.96/192.03 c 188s | 19 | 687709 | 602182 | 4068 319 | 9 | 21 193.96/194.06 c 190s | 19 | 695527 | 609282 | 4068 322 | 9 | 21 195.96/196.09 c 192s | 19 | 701122 | 614582 | 4068 325 | 9 | 21 197.96/198.09 c 194s | 19 | 707800 | 620582 | 4068 328 | 9 | 21 200.05/200.11 c 196s | 19 | 715852 | 628082 | 4068 331 | 10 | 28 202.05/202.13 c 198s | 19 | 724593 | 635882 | 4068 334 | 10 | 28 204.05/204.15 c 200s | 19 | 732466 | 643282 | 4068 337 | 10 | 28 206.05/206.16 c 202s | 19 | 740831 | 651082 | 4475 341 | 10 | 28 208.05/208.18 c 204s | 19 | 746086 | 655882 | 4475 343 | 10 | 28 210.16/210.24 c 206s | 19 | 750499 | 659782 | 4475 344 | 10 | 28 212.15/212.26 c 208s | 19 | 755369 | 663882 | 4475 346 | 10 | 28 213.36/213.41 c 210s | 20 | 758940 | 666827 | 4475 347 | 10 | 28 215.35/215.43 c 212s | 20 | 766519 | 674027 | 4475 350 | 10 | 28 217.35/217.45 c 214s | 20 | 773439 | 680827 | 4475 353 | 10 | 28 219.35/219.46 c 216s | 20 | 780051 | 687227 | 4475 355 | 10 | 28 221.35/221.49 c 218s | 20 | 787149 | 694127 | 4475 358 | 10 | 28 223.45/223.52 c 220s | 20 | 794199 | 701027 | 4475 361 | 10 | 28 225.46/225.53 c 222s | 20 | 801093 | 707727 | 4475 364 | 10 | 28 227.46/227.53 c 224s | 20 | 806903 | 713327 | 4475 366 | 10 | 28 229.46/229.56 c 226s | 20 | 813858 | 719827 | 4475 369 | 10 | 28 231.46/231.58 c 228s | 20 | 820700 | 726427 | 4475 372 | 10 | 28 233.56/233.61 c 230s | 20 | 827927 | 733427 | 4475 375 | 10 | 28 235.56/235.63 c 232s | 20 | 834479 | 739627 | 4475 377 | 10 | 28 237.56/237.64 c 234s | 20 | 841741 | 746527 | 4475 380 | 10 | 28 239.55/239.64 c 236s | 20 | 848131 | 752627 | 4475 383 | 10 | 28 241.55/241.65 c 238s | 20 | 855184 | 759227 | 4475 386 | 10 | 28 243.55/243.67 c 240s | 20 | 862985 | 766227 | 4475 388 | 10 | 28 245.55/245.67 c 242s | 20 | 869686 | 772527 | 4475 391 | 10 | 28 247.65/247.70 c 244s | 20 | 877345 | 779527 | 4475 394 | 10 | 28 249.66/249.72 c 246s | 20 | 884812 | 786527 | 4475 397 | 10 | 28 251.65/251.73 c 248s | 20 | 891757 | 793027 | 4475 400 | 10 | 28 253.65/253.75 c 250s | 20 | 898007 | 799127 | 4475 402 | 10 | 28 255.65/255.76 c 252s | 20 | 905471 | 805927 | 4475 405 | 10 | 28 257.65/257.77 c 254s | 20 | 912480 | 812327 | 4475 408 | 10 | 28 259.66/259.79 c 256s | 20 | 919520 | 819027 | 4475 411 | 10 | 28 261.76/261.81 c 258s | 20 | 925195 | 824527 | 4475 413 | 10 | 28 263.75/263.85 c 260s | 20 | 930574 | 829727 | 4475 415 | 10 | 28 265.75/265.86 c 262s | 20 | 936879 | 835827 | 4475 418 | 10 | 28 267.75/267.87 c 264s | 20 | 943350 | 842127 | 4475 420 | 10 | 28 269.75/269.88 c 266s | 20 | 949534 | 848127 | 4475 423 | 10 | 28 271.75/271.90 c 268s | 20 | 956209 | 854627 | 4475 426 | 10 | 28 273.85/273.92 c 270s | 20 | 963393 | 861527 | 4475 429 | 10 | 28 275.84/275.94 c 272s | 20 | 970481 | 868027 | 4475 431 | 10 | 28 277.84/277.97 c 274s | 20 | 977321 | 874127 | 4475 434 | 10 | 28 279.84/279.99 c 276s | 20 | 983395 | 879827 | 4475 436 | 10 | 28 281.94/282.02 c 278s | 20 | 989592 | 885827 | 4475 439 | 10 | 28 283.94/284.03 c 280s | 20 | 996557 | 892127 | 4475 442 | 10 | 28 285.95/286.03 c 282s | 20 | 1003092 | 898427 | 4475 444 | 10 | 28 287.94/288.04 c 284s | 20 | 1010377 | 905327 | 4475 447 | 10 | 28 289.94/290.04 c 286s | 20 | 1017788 | 912527 | 4475 450 | 10 | 28 291.94/292.06 c 288s | 20 | 1025255 | 919827 | 4475 453 | 10 | 28 293.94/294.08 c 290s | 20 | 1032477 | 926927 | 4475 456 | 10 | 28 296.04/296.11 c 292s | 20 | 1040651 | 934727 | 4475 459 | 10 | 28 298.04/298.13 c 294s | 20 | 1047108 | 941027 | 4475 462 | 10 | 28 300.04/300.14 c 296s | 20 | 1054503 | 948127 | 4475 465 | 10 | 28 302.04/302.16 c 298s | 20 | 1061775 | 955227 | 4475 468 | 10 | 28 304.05/304.19 c 300s | 20 | 1068114 | 961427 | 4475 471 | 10 | 28 306.15/306.20 c 302s | 20 | 1075693 | 968727 | 4475 474 | 10 | 28 308.15/308.22 c 304s | 20 | 1083227 | 975927 | 4475 477 | 10 | 28 310.15/310.23 c 306s | 20 | 1089486 | 981927 | 4923 479 | 10 | 28 312.14/312.23 c 308s | 20 | 1095664 | 987827 | 4923 481 | 10 | 28 314.14/314.25 c 310s | 20 | 1102445 | 994427 | 4923 484 | 10 | 28 315.85/315.90 c 312s | 21 | 1108500 | 1000345 | 4923 486 | 10 | 28 317.85/317.92 c 314s | 21 | 1115259 | 1005445 | 4923 488 | 10 | 28 319.84/319.92 c 316s | 21 | 1121325 | 1010745 | 4923 490 | 10 | 28 321.84/321.93 c 318s | 21 | 1127436 | 1016245 | 4923 492 | 10 | 28 323.84/323.94 c 320s | 21 | 1134208 | 1021845 | 4923 494 | 10 | 28 325.84/325.98 c 322s | 21 | 1140730 | 1026945 | 4923 496 | 10 | 28 327.85/327.98 c 324s | 21 | 1146892 | 1032245 | 4923 498 | 10 | 28 329.84/329.98 c 326s | 21 | 1153203 | 1037645 | 4923 500 | 10 | 28 331.94/332.00 c 328s | 21 | 1158983 | 1042445 | 4923 502 | 10 | 28 333.94/334.00 c 330s | 21 | 1164970 | 1047745 | 4923 504 | 10 | 28 335.94/336.01 c 332s | 21 | 1170748 | 1052845 | 4923 506 | 10 | 28 337.94/338.05 c 334s | 21 | 1175853 | 1057245 | 4923 508 | 10 | 28 339.95/340.06 c 336s | 21 | 1182500 | 1063145 | 4923 510 | 10 | 28 341.94/342.07 c 338s | 21 | 1188311 | 1068545 | 4923 512 | 10 | 28 344.04/344.10 c 340s | 21 | 1194083 | 1073845 | 4923 514 | 10 | 28 346.04/346.11 c 342s | 21 | 1199779 | 1079345 | 4923 516 | 10 | 28 348.04/348.14 c 344s | 21 | 1205848 | 1085245 | 4923 519 | 10 | 28 350.04/350.15 c 346s | 21 | 1211329 | 1090445 | 4923 521 | 10 | 28 352.04/352.15 c 348s | 21 | 1217146 | 1095545 | 4923 523 | 10 | 28 354.04/354.15 c 350s | 21 | 1224066 | 1102145 | 4923 525 | 10 | 28 356.04/356.16 c 352s | 21 | 1230650 | 1108045 | 4923 527 | 10 | 28 358.04/358.16 c 354s | 21 | 1236892 | 1113745 | 4923 530 | 10 | 28 360.04/360.17 c 356s | 21 | 1244160 | 1120345 | 4923 532 | 10 | 28 362.04/362.18 c 358s | 21 | 1250723 | 1126745 | 4923 535 | 10 | 28 364.04/364.19 c 360s | 21 | 1259218 | 1134945 | 4923 538 | 11 | 35 366.03/366.20 c 362s | 21 | 1266762 | 1142345 | 4923 541 | 11 | 35 368.13/368.21 c 364s | 21 | 1273690 | 1149145 | 4923 543 | 11 | 35 370.13/370.22 c 366s | 21 | 1281094 | 1156245 | 4923 546 | 11 | 35 372.13/372.24 c 368s | 21 | 1287946 | 1162845 | 4923 549 | 11 | 35 374.13/374.26 c 370s | 21 | 1294708 | 1169445 | 4923 551 | 11 | 35 376.14/376.28 c 372s | 21 | 1301313 | 1175845 | 4923 554 | 11 | 35 378.13/378.28 c 374s | 21 | 1308268 | 1182645 | 4923 556 | 11 | 35 380.13/380.29 c 376s | 21 | 1315185 | 1189445 | 4923 559 | 11 | 35 382.23/382.31 c 378s | 21 | 1322452 | 1196545 | 4923 562 | 11 | 35 384.23/384.33 c 380s | 21 | 1329379 | 1203345 | 4923 564 | 11 | 35 386.23/386.35 c 382s | 21 | 1336743 | 1210545 | 4923 567 | 11 | 35 388.23/388.36 c 384s | 21 | 1343150 | 1216745 | 4923 570 | 11 | 35 390.22/390.39 c 386s | 21 | 1350558 | 1223945 | 4923 572 | 11 | 35 392.22/392.39 c 389s | 21 | 1357862 | 1231045 | 4923 575 | 11 | 35 394.32/394.41 c 391s | 21 | 1364386 | 1237445 | 4923 578 | 11 | 35 396.32/396.41 c 393s | 21 | 1370850 | 1243745 | 4923 580 | 11 | 35 398.32/398.43 c 395s | 21 | 1378528 | 1251245 | 4923 583 | 11 | 35 400.33/400.45 c 397s | 21 | 1384948 | 1257545 | 4923 585 | 11 | 35 402.32/402.49 c 399s | 21 | 1392449 | 1264845 | 4923 588 | 11 | 35 404.42/404.51 c 401s | 21 | 1399386 | 1271645 | 4923 591 | 11 | 35 406.42/406.53 c 403s | 21 | 1406544 | 1278645 | 4923 593 | 11 | 35 408.42/408.56 c 405s | 21 | 1414174 | 1286145 | 4923 596 | 11 | 35 410.42/410.58 c 407s | 21 | 1421777 | 1293145 | 4923 599 | 11 | 35 412.43/412.58 c 409s | 21 | 1428609 | 1299745 | 4923 602 | 11 | 35 414.42/414.58 c 411s | 21 | 1436218 | 1306745 | 4923 604 | 11 | 35 416.52/416.60 c 413s | 21 | 1443294 | 1313145 | 4923 607 | 11 | 35 418.52/418.60 c 415s | 21 | 1449989 | 1319145 | 4923 609 | 11 | 35 420.52/420.62 c 417s | 21 | 1457026 | 1325645 | 4923 612 | 11 | 35 422.52/422.64 c 419s | 21 | 1463765 | 1332145 | 4923 614 | 11 | 35 424.53/424.65 c 421s | 21 | 1470779 | 1338945 | 4923 617 | 11 | 35 426.52/426.67 c 423s | 21 | 1477312 | 1345345 | 4923 620 | 11 | 35 428.52/428.68 c 425s | 21 | 1484324 | 1352045 | 4923 622 | 11 | 35 430.62/430.70 c 427s | 21 | 1490968 | 1358545 | 4923 625 | 11 | 35 432.63/432.72 c 429s | 21 | 1498138 | 1365545 | 4923 627 | 11 | 35 434.63/434.72 c 431s | 21 | 1503996 | 1371245 | 4923 630 | 11 | 35 436.63/436.74 c 433s | 21 | 1510055 | 1377145 | 4923 632 | 11 | 35 438.62/438.79 c 435s | 21 | 1516661 | 1383545 | 4923 635 | 11 | 35 440.72/440.80 c 437s | 21 | 1523796 | 1390445 | 4923 637 | 11 | 35 442.72/442.81 c 439s | 21 | 1529869 | 1396345 | 4923 640 | 11 | 35 444.72/444.83 c 441s | 21 | 1536561 | 1402845 | 4923 642 | 11 | 35 446.72/446.85 c 443s | 21 | 1543330 | 1409445 | 4923 645 | 11 | 35 448.73/448.86 c 445s | 21 | 1550732 | 1416345 | 4923 647 | 11 | 35 450.72/450.88 c 447s | 21 | 1557749 | 1423145 | 4923 650 | 11 | 35 452.82/452.91 c 449s | 21 | 1564943 | 1429945 | 4923 653 | 11 | 35 454.82/454.91 c 451s | 21 | 1571907 | 1436745 | 4923 655 | 11 | 35 456.82/456.91 c 453s | 21 | 1579091 | 1443345 | 4923 658 | 11 | 35 458.82/458.96 c 455s | 21 | 1586091 | 1449545 | 4923 661 | 11 | 35 460.83/460.99 c 457s | 21 | 1592949 | 1455545 | 4923 663 | 11 | 35 462.92/463.00 c 459s | 21 | 1599270 | 1461345 | 4923 665 | 11 | 35 464.92/465.02 c 461s | 21 | 1605849 | 1467645 | 4923 668 | 11 | 35 466.92/467.02 c 463s | 21 | 1612093 | 1473745 | 4923 670 | 11 | 35 468.92/469.02 c 465s | 21 | 1618196 | 1479445 | 5416 672 | 11 | 35 470.92/471.02 c 467s | 21 | 1624502 | 1485545 | 5416 674 | 11 | 35 472.92/473.05 c 469s | 21 | 1630628 | 1491445 | 5416 676 | 11 | 35 474.91/475.07 c 471s | 21 | 1637426 | 1497945 | 5416 679 | 11 | 35 475.91/476.07 c 472s | 22 | 1640239 | 1500622 | 5416 680 | 11 | 35 477.91/478.08 c 474s | 22 | 1646902 | 1506922 | 5416 682 | 11 | 35 480.01/480.11 c 476s | 22 | 1653391 | 1513022 | 5416 684 | 11 | 35 482.01/482.12 c 478s | 22 | 1659911 | 1519122 | 5416 686 | 11 | 35 484.02/484.13 c 480s | 22 | 1667381 | 1526222 | 5416 689 | 11 | 35 486.01/486.14 c 482s | 22 | 1674141 | 1532722 | 5416 691 | 11 | 35 486.81/486.99 c 483s | 22 | 1676724 | 1535252 | 5416 692 | 12 | 42 486.81/486.99 c #cpu_time = 483.627s 486.81/486.99 c #wall_clock_time = 483.599s 486.81/486.99 c #decision = 1676724 486.81/486.99 c #random_decision = 6866 486.81/486.99 c #conflict = 1535252 486.81/486.99 c #restart = 22 486.81/486.99 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=3 486.81/486.99 c lower bound updated to 3 486.81/486.99 c BCD2: 3 <= obj <= 52 486.81/486.99 c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1 486.81/486.99 c BCD2: #sat=1 #unsat=3 bias=3/4 486.81/486.99 c Solving starts ... 486.81/486.99 c ============================[ Search Statistics ]============================ 486.81/486.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 486.81/486.99 c | | | | Limit GC | Var | Constra 486.81/486.99 c ============================================================================= 486.81/486.99 c 0.0s | 0 | 0 | 0 | 5416 0 | 13 | 42 486.91/487.06 c 0.1s | 1 | 124 | 100 | 5416 0 | 13 | 43 487.01/487.14 c 0.1s | 2 | 407 | 250 | 5416 0 | 13 | 43 487.11/487.20 c 0.2s | 3 | 731 | 475 | 5416 0 | 13 | 43 487.11/487.26 c 0.3s | 3 | 1133 | 761 | 5416 0 | 13 | 43 487.11/487.26 c #cpu_time = 0.268s 487.11/487.26 c #wall_clock_time = 0.268s 487.11/487.26 c #decision = 1133 487.11/487.26 c #random_decision = 6 487.11/487.26 c #conflict = 761 487.11/487.26 c #restart = 3 487.11/487.26 o 9 487.11/487.26 c BCD2: hardening fixes 2 literals 487.11/487.26 c BCD2: updating upper bound: 52 -> 8 487.11/487.26 c BCD2: 3 <= obj <= 8 487.11/487.26 c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=3 487.11/487.26 c BCD2: #sat=2 #unsat=3 bias=3/5 487.11/487.26 c Solving starts ... 487.11/487.26 c ============================[ Search Statistics ]============================ 487.11/487.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 487.11/487.26 c | | | | Limit GC | Var | Constra 487.11/487.26 c ============================================================================= 487.11/487.26 c 0.0s | 0 | 0 | 0 | 5416 0 | 31 | 45 487.11/487.29 c 0.0s | 0 | 148 | 4 | 5416 1 | 31 | 87 487.11/487.29 c #cpu_time = 0.030s 487.11/487.29 c #wall_clock_time = 0.030s 487.11/487.29 c #decision = 148 487.11/487.29 c #random_decision = 0 487.11/487.29 c #conflict = 4 487.11/487.29 c #restart = 0 487.11/487.29 o 5 487.11/487.29 c BCD2: hardening fixes 1 literals 487.11/487.29 c BCD2: updating upper bound: 8 -> 4 487.11/487.29 c BCD2: 3 <= obj <= 4 487.11/487.29 c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=4 487.11/487.29 c BCD2: #sat=3 #unsat=3 bias=3/6 487.11/487.29 c Solving starts ... 487.11/487.29 c ============================[ Search Statistics ]============================ 487.11/487.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 487.11/487.29 c | | | | Limit GC | Var | Constra 487.11/487.29 c ============================================================================= 487.11/487.29 c 0.0s | 0 | 0 | 0 | 5416 0 | 40 | 89 487.22/487.32 c 0.0s | 1 | 247 | 100 | 5416 0 | 40 | 110 487.22/487.33 c 0.0s | 1 | 375 | 122 | 5416 0 | 40 | 110 487.22/487.33 c #cpu_time = 0.040s 487.22/487.33 c #wall_clock_time = 0.040s 487.22/487.33 c #decision = 375 487.22/487.33 c #random_decision = 2 487.22/487.33 c #conflict = 122 487.22/487.33 c #restart = 1 487.22/487.33 o 3 487.22/487.33 s OPTIMUM FOUND 487.22/487.33 v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 487.22/487.33 v -x11 -x12 -x13 -x14 x15 x16 -x17 -x18 -x19 -x20 487.22/487.33 v -x21 x22 -x23 x24 -x25 -x26 x27 x28 x29 x30 487.22/487.33 v -x31 x32 x33 x34 -x35 x36 -x37 x38 -x39 x40 487.22/487.33 v x41 -x42 x43 x44 -x45 -x46 x47 x48 -x49 x50 487.22/487.33 v -x51 -x52 -x53 -x54 x55 x56 x57 x58 -x59 -x60 487.22/487.33 v x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 487.22/487.33 v x71 -x72 -x73 x74 -x75 -x76 -x77 x78 x79 -x80 487.22/487.33 v x81 x82 -x83 -x84 x85 x86 x87 -x88 -x89 x90 487.22/487.33 v -x91 x92 -x93 x94 x95 x96 x97 x98 x99 -x100 487.22/487.33 v -x101 -x102 -x103 x104 x105 x106 x107 -x108 -x109 x110 487.22/487.33 v -x111 x112 x113 x114 -x115 -x116 x117 x118 x119 x120 487.22/487.33 v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 487.22/487.33 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 487.22/487.33 v x141 -x142 x143 -x144 x145 -x146 -x147 x148 -x149 -x150 487.22/487.33 v -x151 x152 -x153 -x154 x155 x156 -x157 -x158 x159 x160 487.22/487.33 v -x161 -x162 x163 x164 -x165 -x166 x167 -x168 -x169 x170 487.22/487.33 v x171 x172 x173 x174 -x175 x176 -x177 -x178 -x179 x180 487.22/487.33 v -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 487.22/487.33 c total CPU time = 487.365s 487.22/487.33 c total wall clock time = 487.337s
OK 3
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4106472-1466272008/watcher-4106472-1466272008 -o /tmp/evaluation-result-4106472-1466272008/solver-4106472-1466272008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106472-1466272008.opb pid=8905 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.25 2.17 2.10 2/179 8908 /proc/meminfo: memFree=30096648/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=694716 CPUtime=0 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 2587 0 0 0 0 0 0 0 20 0 4 0 29246242 711389184 2947 33554432000 4194304 16246674 140737470201696 140737470201120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 174191 2956 441 2943 0 171085 0 [pid=8908/tid=8909] ppid=8905 vsize=713148 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 730263552 3017 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=717244 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 734457856 3035 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=721340 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 738652160 3051 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.25 2.17 2.10 2/179 8908 /proc/meminfo: memFree=30096648/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 22134 0 0 0 6 3 0 0 20 0 4 0 29246242 1247350784 22482 33554432000 4194304 16246674 140737470201696 140737470201120 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 304529 22489 758 2943 0 301423 0 [pid=8908/tid=8909] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 22496 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 22502 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 22509 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200518 s] /proc/loadavg: 2.25 2.17 2.10 2/179 8908 /proc/meminfo: memFree=30096648/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 40983 0 0 0 13 6 0 0 20 0 4 0 29246242 1247350784 41332 33554432000 4194304 16246674 140737470201696 140737470201120 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 304529 41342 758 2943 0 301423 0 [pid=8908/tid=8909] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 41352 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 41356 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 41360 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300471 s] /proc/loadavg: 2.25 2.17 2.10 2/179 8908 /proc/meminfo: memFree=30096648/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 56139 0 0 0 20 9 0 0 20 0 4 0 29246242 1247350784 56487 33554432000 4194304 16246674 140737470201696 140737470183616 5711836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 304529 56492 758 2943 0 301423 0 [pid=8908/tid=8909] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 56497 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 56501 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 56506 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700404 s] /proc/loadavg: 2.25 2.17 2.10 2/179 8908 /proc/meminfo: memFree=30096648/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 138637 0 0 0 48 20 0 0 20 0 4 0 29246242 1247350784 138986 33554432000 4194304 16246674 140737470201696 140737470183616 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 304529 138996 765 2943 0 301423 0 [pid=8908/tid=8909] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 139005 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 139010 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1247350784 139013 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.22 2.17 2.10 3/183 8912 /proc/meminfo: memFree=29221444/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 246184 0 0 0 114 35 0 0 20 0 4 0 29246242 1250496512 246509 33554432000 4194304 16246674 140737470201696 140737470183616 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 305297 246509 831 2943 0 302191 0 [pid=8908/tid=8909] ppid=8905 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1250496512 246509 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1250496512 246509 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1250496512 246509 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10041 s] /proc/loadavg: 2.22 2.17 2.10 3/183 8912 /proc/meminfo: memFree=29029980/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 267618 0 0 0 271 38 0 0 20 0 4 0 29246242 1337528320 267943 33554432000 4194304 16246674 140737470201696 140737470183616 5712056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 326545 267943 835 2943 0 323439 0 [pid=8908/tid=8909] ppid=8905 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1337528320 267943 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1337528320 267943 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1337528320 267943 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.22 2.17 2.10 3/183 8912 /proc/meminfo: memFree=29023684/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1309252 CPUtime=6.29 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 268239 0 0 0 591 38 0 0 20 0 4 0 29246242 1340674048 268564 33554432000 4194304 16246674 140737470201696 140737470184696 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 327313 268564 856 2943 0 324207 0 [pid=8908/tid=8909] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268564 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268564 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268564 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.19 2.16 2.10 3/183 8912 /proc/meminfo: memFree=29022220/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1309252 CPUtime=12.68 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 268413 0 0 0 1230 38 0 0 20 0 4 0 29246242 1340674048 268738 33554432000 4194304 16246674 140737470201696 140737470183616 5546456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 327313 268738 856 2943 0 324207 0 [pid=8908/tid=8909] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268738 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268738 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268738 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.16 2.16 2.10 3/183 8912 /proc/meminfo: memFree=29023424/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1309252 CPUtime=25.48 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 268413 0 0 0 2510 38 0 0 20 0 4 0 29246242 1340674048 268738 33554432000 4194304 16246674 140737470201696 140737470183616 5711449 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 327313 268738 856 2943 0 324207 0 [pid=8908/tid=8909] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268738 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268738 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1340674048 268738 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.33 2.19 2.11 3/183 8912 /proc/meminfo: memFree=29021536/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1311300 CPUtime=51.08 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 268925 0 0 0 5069 39 0 0 20 0 4 0 29246242 1342771200 269250 33554432000 4194304 16246674 140737470201696 140737470183616 5827784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 327825 269250 856 2943 0 324719 0 [pid=8908/tid=8909] ppid=8905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1342771200 269250 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1342771200 269250 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1342771200 269250 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.29 2.20 2.12 3/182 8914 /proc/meminfo: memFree=29012796/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1313348 CPUtime=102.28 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 269438 0 0 0 10189 39 0 0 20 0 4 0 29246242 1344868352 269763 33554432000 4194304 16246674 140737470201696 140737470183616 5677410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 328337 269763 857 2943 0 325231 0 [pid=8908/tid=8909] ppid=8905 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1344868352 269763 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1344868352 269763 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1344868352 269763 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/8908/statm: 329873 271299 857 2943 0 326767 0 [pid=8908/tid=8909] ppid=8905 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1351159808 271299 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1351159808 271299 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1351159808 271299 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1319492 [startup+402.3 s] /proc/loadavg: 2.15 2.16 2.11 3/183 8924 /proc/meminfo: memFree=28998340/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=402.22 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 40180 42 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470183616 5599933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 1326660 [startup+462.3 s] /proc/loadavg: 2.12 2.14 2.10 3/183 8925 /proc/meminfo: memFree=28998140/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=462.22 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 46179 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470183616 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1326660 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8908 sig 9 ??? kill -8908 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+473.6 s] /proc/loadavg: 2.18 2.15 2.10 3/183 8925 /proc/meminfo: memFree=28998132/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=473.52 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 47309 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470184696 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 473.52 Current children cumulated vsize (KiB) 1326660 [startup+480 s] /proc/loadavg: 2.16 2.15 2.10 3/183 8925 /proc/meminfo: memFree=28997868/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=479.91 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 47948 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470184696 5673180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 479.91 Current children cumulated vsize (KiB) 1326660 [startup+483.2 s] /proc/loadavg: 2.15 2.15 2.10 3/183 8926 /proc/meminfo: memFree=28997992/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=483.11 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 48268 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470183616 5754541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 483.11 Current children cumulated vsize (KiB) 1326660 [startup+484.8 s] /proc/loadavg: 2.15 2.15 2.10 3/183 8926 /proc/meminfo: memFree=28997992/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=484.71 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 48428 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470184696 5823877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 484.71 Current children cumulated vsize (KiB) 1326660 [startup+486.4 s] /proc/loadavg: 2.22 2.16 2.10 3/183 8926 /proc/meminfo: memFree=28998248/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=486.31 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 48588 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470183616 5677656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 486.31 Current children cumulated vsize (KiB) 1326660 [startup+486.8 s] /proc/loadavg: 2.22 2.16 2.10 3/183 8926 /proc/meminfo: memFree=28998248/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=486.71 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 48628 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470183616 5823607 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 486.71 Current children cumulated vsize (KiB) 1326660 [startup+487.2 s] /proc/loadavg: 2.22 2.16 2.10 3/183 8926 /proc/meminfo: memFree=28998248/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=487.11 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 48668 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470183616 6842338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 487.11 Current children cumulated vsize (KiB) 1326660 [startup+487.3 s] /proc/loadavg: 2.22 2.16 2.10 3/183 8926 /proc/meminfo: memFree=28997736/32872528 swapFree=496868/529572 [pid=8908] ppid=8905 vsize=1326660 CPUtime=487.22 cores=0,2,4,6 /proc/8908/stat : 8908 (toysat) R 8905 8908 7739 0 -1 4202496 272766 0 0 0 48679 43 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140737470200792 5712664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8908/statm: 331665 273091 857 2943 0 328559 0 [pid=8908/tid=8909] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8909/stat : 8909 (toysat) S 8905 8908 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261949680880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8908/tid=8910] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8910/stat : 8910 (toysat) S 8905 8908 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261939191024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8908/tid=8911] ppid=8905 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8908/task/8911/stat : 8911 (toysat) S 8905 8908 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29246242 1358499840 273091 33554432000 4194304 16246674 140737470201696 140261820722352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 487.22 Current children cumulated vsize (KiB) 1326660 Child status: 0 Real time (s): 487.4 CPU time (s): 487.324 CPU user time (s): 486.827 CPU system time (s): 0.496924 CPU usage (%): 99.9844 Max. virtual memory (cumulated for all children) (KiB): 1326660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 486.827 system time used= 0.496924 maximum resident set size= 1092372 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272770 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= 20 involuntary context switches= 535 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.2575 second user time and 4.04638 second system time The end
Begin job on node141 at 2016-06-18 19:46:48 IDJOB=4106472 IDBENCH=48072 IDSOLVER=2542 FILE ID=node141/4106472-1466272008 RUNJOBID= node141-1466264081-7755 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=83-P1=113-P2=127-P3=71-P4=61-P5=43-P6=71-P7=41-P8=13-P9=71-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106472-1466272008/watcher-4106472-1466272008 -o /tmp/evaluation-result-4106472-1466272008/solver-4106472-1466272008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106472-1466272008.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd15d72e061a78dfd7cc65e865014c03 RANDOM SEED=301922320 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30097068 kB Buffers: 151360 kB Cached: 256200 kB SwapCached: 2528 kB Active: 1235844 kB Inactive: 265684 kB Active(anon): 1094300 kB Inactive(anon): 2028 kB Active(file): 141544 kB Inactive(file): 263656 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16664 kB Writeback: 0 kB AnonPages: 1624268 kB Mapped: 10460 kB Shmem: 0 kB Slab: 610388 kB SReclaimable: 53444 kB SUnreclaim: 556944 kB KernelStack: 1520 kB PageTables: 6808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1766780 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 258048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node141 at 2016-06-18 19:54:56