| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.42 |
| Name | PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb |
| MD5SUM | 382c93c1b1e6dc203c59e64448a647b3 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T10:50:46+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-4119760-1467276646.opb"] 0.00/0.01 c use --random-gen="1097914459 1368236044 4113979289 1771500266 4174514410 3530691117 1071179396 158720518 4247905365 1100790315 2198586062 3337661146 3823844195 489470709 1331495378 667278533 2905144705 1502731046 1658543515 1396752977 1956598892 2598714999 1117640298 2585780975 287282289 85028783 3680465553 3453085245 3157369832 3551328015 4178816950 2355085326 3076982337 2673608746 2797023412 1114627128 3956390018 1218728672 1613198540 2829648866 712015508 379864751 1582624296 2111602883 3947593866 3688862150 3100328673 883904419 1862279432 585437037 3348487598 370027458 587699897 3365082120 4116707207 2839996866 1339291525 4110267659 3517826341 947660740 858761506 3316339494 3013794269 3736208077 441139133 1148601408 4032421236 2752388849 3306765117 1316123903 3420606051 2673590537 2434816647 1944240720 2308265187 3667918116 1049876801 1985549227 504614790 2190468787 1971544981 558744846 4061238783 3924640440 3133959797 1098600535 26527654 2273030494 658422429 2006996211 3963807785 2804644191 4221098675 2122813341 1328530680 3887001577 3375320124 2117587737 1944905048 3377494929 1598804469 814328078 3833359180 1262145072 2678218015 4031563602 2605453079 2925472159 521248805 3663832137 2620308526 1474802400 2936991779 3394980923 4134420791 1568729948 899321589 3949527253 2634083161 2007239993 3447038493 2591222989 2023744376 3187725834 1850486940 1825426901 1339443984 3754475907 1585010634 3618534318 3514838207 1970673166 3280113472 2047983514 2747697940 45037374 46242412 4217774676 2208034788 1664285303 3934672337 3749771902 442366153 1039564572 3298810094 4087617224 921134922 438425987 20908214 1214096035 1653593059 1618276555 358074507 2653140997 4220179627 4208233390 3135835986 371227195 1641981994 592220382 2028765273 2246790555 1401842869 3900264266 4069856510 1243114709 2382188520 2953836977 1781144855 2330653834 2260055394 4251659308 2603982547 973292924 1974383483 1662122462 447608873 1504713038 578656684 2459461535 956167291 3830008510 3771394321 149545576 2471109958 2124425892 1231694322 530238086 3561049321 2338709457 855853812 3234022142 1614262372 689951542 575676790 1770050984 78937305 3585251023 3318181481 3134003204 1261895823 3322796654 677920517 1623914012 475833051 1662631330 870277332 393047244 388773717 120453934 3704413211 1316834321 890774732 3129606063 1382621823 3770999519 3044630382 2491557639 564431463 3755342393 217378411 2847832863 1364615767 2264208221 3190988383 4142446092 1507494962 1481338744 3027058180 2465008951 848688239 4159089514 2709635728 3402700137 561067883 426701304 1272889994 717946507 4284763831 2106422118 1487808966 641447172 1849635604 1744488043 1188533720 4180613053 3563332325 73806068 1813579348 3514484713 1278426182 1377771991 2766757729 3168512858 4157496454 3629635556 255 362436" option to reproduce the execution 1.20/1.28 c #vars 180608 1.20/1.28 c #constraints 3078 4.19/4.27 c BCD2: Hardening is enabled. 4.19/4.27 c BCD2: BiasedSearch is enabled. 4.19/4.27 c Solving starts ... 4.19/4.27 c ============================[ Search Statistics ]============================ 4.19/4.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.27 c | | | | Limit GC | Var | Constra 4.19/4.27 c ============================================================================= 4.29/4.35 c 0.0s | 0 | 0 | 0 | 61228 0 | 639 | 0 5.69/5.78 c 1.4s | 1 | 1372 | 100 | 61228 0 | 639 | 0 7.79/7.82 c 3.5s | 1 | 5753 | 200 | 67351 0 | 639 | 0 8.89/8.94 c 4.6s | 2 | 5805 | 250 | 67351 0 | 639 | 0 11.58/11.64 c 7.3s | 2 | 21841 | 350 | 74087 0 | 639 | 0 15.18/15.29 c 10.9s | 2 | 21961 | 450 | 74087 0 | 639 | 0 16.08/16.11 c 11.8s | 3 | 21993 | 475 | 74087 0 | 639 | 0 19.28/19.37 c 15.0s | 3 | 63153 | 575 | 81496 0 | 639 | 0 22.58/22.68 c 18.3s | 3 | 63300 | 675 | 81496 0 | 639 | 0 26.08/26.17 c 21.8s | 3 | 63432 | 775 | 81496 0 | 639 | 0 27.38/27.46 c 23.1s | 4 | 63472 | 813 | 81496 0 | 639 | 0 31.28/31.39 c 27.0s | 4 | 101118 | 913 | 89646 0 | 639 | 0 35.69/35.74 c 31.4s | 4 | 101234 | 1013 | 89646 0 | 639 | 0 41.08/41.13 c 36.8s | 4 | 101339 | 1113 | 89646 0 | 639 | 0 46.48/46.52 c 42.2s | 4 | 101444 | 1213 | 89646 0 | 639 | 0 52.28/52.31 c 48.0s | 4 | 101546 | 1313 | 89646 0 | 639 | 0 52.68/52.75 c 48.4s | 5 | 101559 | 1320 | 89646 0 | 639 | 0 54.78/54.88 c 50.5s | 5 | 108327 | 1720 | 98611 0 | 639 | 0 56.88/56.95 c 52.6s | 5 | 108976 | 2020 | 98611 0 | 639 | 0 57.29/57.39 c 53.0s | 6 | 109059 | 2081 | 108473 0 | 639 | 0 61.48/61.53 c 57.2s | 6 | 153856 | 2281 | 108473 0 | 639 | 0 64.18/64.26 c 59.9s | 6 | 153960 | 2381 | 108473 0 | 639 | 0 67.97/68.01 c 63.7s | 6 | 154088 | 2481 | 108473 0 | 639 | 0 71.27/71.39 c 67.0s | 6 | 154214 | 2581 | 108473 0 | 639 | 0 74.79/74.88 c 70.5s | 6 | 154317 | 2681 | 108473 0 | 639 | 0 78.28/78.38 c 74.0s | 6 | 154457 | 2781 | 108473 0 | 639 | 0 81.78/81.82 c 77.5s | 6 | 154570 | 2881 | 108473 0 | 639 | 0 85.48/85.51 c 81.2s | 6 | 154680 | 2981 | 108473 0 | 639 | 0 88.58/88.60 c 84.3s | 6 | 154845 | 3081 | 108473 0 | 639 | 0 91.87/91.92 c 87.6s | 6 | 154955 | 3181 | 108473 0 | 639 | 0 93.49/93.51 c 89.2s | 7 | 155013 | 3223 | 119321 0 | 639 | 0 96.28/96.36 c 92.0s | 7 | 203437 | 3323 | 119321 0 | 639 | 0 98.88/98.95 c 94.6s | 7 | 203547 | 3423 | 119321 0 | 639 | 0 101.98/102.04 c 97.7s | 7 | 203658 | 3523 | 119321 0 | 639 | 0 105.28/105.35 c 101s | 7 | 203780 | 3623 | 119321 0 | 639 | 0 108.47/108.53 c 104s | 7 | 203908 | 3723 | 119321 0 | 639 | 0 112.37/112.45 c 108s | 7 | 204015 | 3823 | 119321 0 | 639 | 0 116.17/116.20 c 111s | 7 | 204129 | 3923 | 119321 0 | 639 | 0 120.17/120.29 c 115s | 7 | 204241 | 4023 | 119321 0 | 639 | 0 123.37/123.49 c 119s | 7 | 204356 | 4123 | 119321 0 | 639 | 0 126.67/126.76 c 122s | 7 | 204477 | 4223 | 119321 0 | 639 | 0 130.47/130.59 c 126s | 7 | 204592 | 4323 | 119321 0 | 639 | 0 134.87/134.95 c 130s | 7 | 204697 | 4423 | 119321 0 | 639 | 0 139.17/139.21 c 134s | 7 | 204816 | 4523 | 119321 0 | 639 | 0 143.57/143.63 c 139s | 7 | 204926 | 4623 | 119321 0 | 639 | 0 147.66/147.71 c 143s | 7 | 205044 | 4723 | 119321 0 | 639 | 0 151.87/151.95 c 147s | 7 | 205149 | 4823 | 119321 0 | 639 | 0 155.66/155.71 c 151s | 7 | 205257 | 4923 | 131254 0 | 639 | 0 156.27/156.34 c 151s | 8 | 205273 | 4936 | 131254 0 | 639 | 0 160.36/160.48 c 156s | 8 | 250860 | 5036 | 131254 0 | 639 | 0 163.76/163.86 c 159s | 8 | 250963 | 5136 | 131254 0 | 639 | 0 167.86/167.98 c 163s | 8 | 251073 | 5236 | 131254 0 | 639 | 0 172.16/172.28 c 167s | 8 | 251169 | 5336 | 131254 0 | 639 | 0 175.46/175.54 c 171s | 8 | 251284 | 5436 | 131254 0 | 639 | 0 178.66/178.74 c 174s | 8 | 251398 | 5536 | 131254 0 | 639 | 0 182.16/182.23 c 177s | 8 | 251528 | 5636 | 131254 0 | 639 | 0 185.76/185.80 c 181s | 8 | 251636 | 5736 | 131254 0 | 639 | 0 189.46/189.51 c 185s | 8 | 251749 | 5836 | 131254 0 | 639 | 0 192.76/192.82 c 188s | 8 | 251872 | 5936 | 131254 0 | 639 | 0 196.26/196.31 c 191s | 8 | 251979 | 6036 | 131254 0 | 639 | 0 200.17/200.21 c 195s | 8 | 252078 | 6136 | 131254 0 | 639 | 0 203.47/203.55 c 199s | 8 | 252182 | 6236 | 131254 0 | 639 | 0 206.86/206.92 c 202s | 8 | 252297 | 6336 | 131254 0 | 639 | 0 210.65/210.75 c 206s | 8 | 252417 | 6436 | 131254 0 | 639 | 0 214.36/214.46 c 210s | 8 | 252530 | 6536 | 131254 0 | 639 | 0 218.06/218.12 c 213s | 8 | 252636 | 6636 | 131254 0 | 639 | 0 221.76/221.86 c 217s | 8 | 252739 | 6736 | 131254 0 | 639 | 0 225.56/225.60 c 221s | 8 | 252861 | 6836 | 131254 0 | 639 | 0 229.36/229.42 c 225s | 8 | 252979 | 6936 | 131254 0 | 639 | 0 233.26/233.35 c 229s | 8 | 253079 | 7036 | 131254 0 | 639 | 0 237.06/237.18 c 232s | 8 | 253200 | 7136 | 131254 0 | 639 | 0 240.86/240.98 c 236s | 8 | 253307 | 7236 | 131254 0 | 639 | 0 244.35/244.44 c 240s | 8 | 253419 | 7336 | 131254 0 | 639 | 0 247.85/247.94 c 243s | 8 | 253529 | 7436 | 131254 0 | 639 | 0 250.55/250.64 c 246s | 9 | 253610 | 7506 | 144380 0 | 639 | 0 254.85/254.94 c 250s | 9 | 289947 | 7606 | 144380 0 | 639 | 0 258.04/258.16 c 253s | 9 | 290151 | 7706 | 144380 0 | 639 | 0 261.34/261.41 c 257s | 9 | 290272 | 7806 | 144380 0 | 639 | 0 264.55/264.63 c 260s | 9 | 290389 | 7906 | 144380 0 | 639 | 0 268.05/268.13 c 263s | 9 | 290511 | 8006 | 144380 0 | 639 | 0 271.45/271.56 c 267s | 9 | 290614 | 8106 | 144380 0 | 639 | 0 275.35/275.45 c 271s | 9 | 290725 | 8206 | 144380 0 | 639 | 0 279.35/279.45 c 275s | 9 | 290849 | 8306 | 144380 0 | 639 | 0 283.25/283.36 c 279s | 9 | 290968 | 8406 | 144380 0 | 639 | 0 286.95/287.03 c 282s | 9 | 291094 | 8506 | 144380 0 | 639 | 0 290.35/290.43 c 286s | 9 | 291228 | 8606 | 144380 0 | 639 | 0 293.44/293.51 c 289s | 9 | 291395 | 8706 | 144380 0 | 639 | 0 297.05/297.15 c 292s | 9 | 291523 | 8806 | 144380 0 | 639 | 0 300.94/301.02 c 296s | 9 | 291632 | 8906 | 144380 0 | 639 | 0 304.94/305.05 c 300s | 9 | 291738 | 9006 | 144380 0 | 639 | 0 308.94/309.01 c 304s | 9 | 291853 | 9106 | 144380 0 | 639 | 0 312.74/312.81 c 308s | 9 | 291969 | 9206 | 144380 0 | 639 | 0 316.34/316.40 c 312s | 9 | 292076 | 9306 | 144380 0 | 639 | 0 320.34/320.47 c 316s | 9 | 292183 | 9406 | 144380 0 | 639 | 0 323.84/323.98 c 319s | 9 | 292305 | 9506 | 144380 0 | 639 | 0 327.64/327.78 c 323s | 9 | 292414 | 9606 | 144380 0 | 639 | 0 331.74/331.80 c 327s | 9 | 292519 | 9706 | 144380 0 | 639 | 0 336.23/336.32 c 331s | 9 | 292624 | 9806 | 144380 0 | 639 | 0 340.03/340.18 c 335s | 9 | 292749 | 9906 | 144380 0 | 639 | 0 344.24/344.32 c 339s | 9 | 292859 | 10006 | 144380 0 | 639 | 0 348.14/348.29 c 343s | 9 | 292973 | 10106 | 144380 0 | 639 | 0 351.95/352.02 c 347s | 9 | 293097 | 10206 | 144380 0 | 639 | 0 355.94/356.05 c 351s | 9 | 293209 | 10306 | 144380 0 | 639 | 0 360.44/360.52 c 356s | 9 | 293313 | 10406 | 144380 0 | 639 | 0 364.33/364.40 c 360s | 9 | 293424 | 10506 | 144380 0 | 639 | 0 368.03/368.11 c 363s | 9 | 293586 | 10606 | 144380 0 | 639 | 0 372.13/372.29 c 367s | 9 | 293707 | 10706 | 144380 0 | 639 | 0 376.03/376.17 c 371s | 9 | 293861 | 10806 | 144380 0 | 639 | 0 380.13/380.28 c 375s | 9 | 293983 | 10906 | 144380 0 | 639 | 0 383.94/384.08 c 379s | 9 | 294126 | 11006 | 144380 0 | 639 | 0 387.93/388.01 c 383s | 9 | 294240 | 11106 | 144380 0 | 639 | 0 392.83/392.91 c 388s | 9 | 294352 | 11206 | 144380 0 | 639 | 0 397.13/397.28 c 392s | 9 | 294479 | 11306 | 158818 0 | 639 | 0 399.73/399.82 c 395s | 10 | 294539 | 11361 | 158818 0 | 639 | 0 404.22/404.38 c 400s | 10 | 340728 | 11461 | 158818 0 | 639 | 0 409.02/409.11 c 404s | 10 | 340840 | 11561 | 158818 0 | 639 | 0 414.52/414.62 c 410s | 10 | 340966 | 11661 | 158818 0 | 639 | 0 420.92/421.07 c 416s | 10 | 341078 | 11761 | 158818 0 | 639 | 0 426.22/426.36 c 422s | 10 | 341197 | 11861 | 158818 0 | 639 | 0 430.92/431.08 c 426s | 10 | 341317 | 11961 | 158818 0 | 639 | 0 436.22/436.34 c 431s | 10 | 341446 | 12061 | 158818 0 | 639 | 0 442.72/442.80 c 438s | 10 | 341558 | 12161 | 158818 0 | 639 | 0 448.62/448.71 c 444s | 10 | 341670 | 12261 | 158818 0 | 639 | 0 455.33/455.46 c 451s | 10 | 341811 | 12361 | 158818 0 | 639 | 0 462.02/462.10 c 457s | 10 | 341913 | 12461 | 158818 0 | 639 | 0 468.81/468.96 c 464s | 10 | 342031 | 12561 | 158818 0 | 639 | 0 475.71/475.85 c 471s | 10 | 342124 | 12661 | 158818 0 | 639 | 0 484.12/484.28 c 479s | 10 | 342235 | 12761 | 158818 0 | 639 | 0 490.22/490.34 c 485s | 10 | 342344 | 12861 | 158818 0 | 639 | 0 496.02/496.12 c 491s | 10 | 342473 | 12961 | 158818 0 | 639 | 0 502.32/502.46 c 498s | 10 | 342577 | 13061 | 158818 0 | 639 | 0 508.51/508.63 c 504s | 10 | 342687 | 13161 | 158818 0 | 639 | 0 514.91/515.08 c 510s | 10 | 342805 | 13261 | 158818 0 | 639 | 0 521.51/521.65 c 517s | 10 | 342920 | 13361 | 158818 0 | 639 | 0 528.51/528.66 c 524s | 10 | 343040 | 13461 | 158818 0 | 639 | 0 534.91/535.06 c 530s | 10 | 343157 | 13561 | 158818 0 | 639 | 0 542.80/542.90 c 538s | 10 | 343267 | 13661 | 158818 0 | 639 | 0 550.60/550.73 c 546s | 10 | 343392 | 13761 | 158818 0 | 639 | 0 558.40/558.57 c 554s | 10 | 343507 | 13861 | 158818 0 | 639 | 0 566.30/566.42 c 562s | 10 | 343617 | 13961 | 158818 0 | 639 | 0 572.90/573.08 c 568s | 10 | 343734 | 14061 | 158818 0 | 639 | 0 579.71/579.85 c 575s | 10 | 343845 | 14161 | 158818 0 | 639 | 0 586.60/586.79 c 582s | 10 | 343959 | 14261 | 158818 0 | 639 | 0 594.59/594.76 c 590s | 10 | 344067 | 14361 | 158818 0 | 639 | 0 602.81/602.95 c 598s | 10 | 344175 | 14461 | 158818 0 | 639 | 0 610.20/610.31 c 605s | 10 | 344284 | 14561 | 158818 0 | 639 | 0 617.20/617.33 c 612s | 10 | 344398 | 14661 | 158818 0 | 639 | 0 624.40/624.59 c 620s | 10 | 344504 | 14761 | 158818 0 | 639 | 0 632.29/632.50 c 628s | 10 | 344619 | 14861 | 158818 0 | 639 | 0 640.89/641.09 c 636s | 10 | 344715 | 14961 | 158818 0 | 639 | 0 649.08/649.28 c 644s | 10 | 344821 | 15061 | 158818 0 | 639 | 0 658.09/658.25 c 653s | 10 | 344928 | 15161 | 158818 0 | 639 | 0 666.59/666.77 c 662s | 10 | 345042 | 15261 | 158818 0 | 639 | 0 674.59/674.77 c 670s | 10 | 345140 | 15361 | 158818 0 | 639 | 0 682.19/682.32 c 677s | 10 | 345246 | 15461 | 158818 0 | 639 | 0 690.88/691.08 c 686s | 10 | 345352 | 15561 | 158818 0 | 639 | 0 698.68/698.81 c 694s | 10 | 345471 | 15661 | 158818 0 | 639 | 0 707.58/707.74 c 703s | 10 | 345585 | 15761 | 158818 0 | 639 | 0 716.08/716.28 c 711s | 10 | 345689 | 15861 | 158818 0 | 639 | 0 724.08/724.28 c 719s | 10 | 345789 | 15961 | 158818 0 | 639 | 0 732.68/732.82 c 728s | 10 | 345905 | 16061 | 158818 0 | 639 | 0 740.58/740.71 c 736s | 10 | 346005 | 16161 | 158818 0 | 639 | 0 748.27/748.44 c 744s | 10 | 346119 | 16261 | 158818 0 | 639 | 0 756.47/756.66 c 752s | 10 | 346225 | 16361 | 158818 0 | 639 | 0 764.87/765.04 c 760s | 10 | 346330 | 16461 | 158818 0 | 639 | 0 772.77/772.92 c 768s | 10 | 346441 | 16561 | 158818 0 | 639 | 0 781.87/782.08 c 777s | 10 | 346545 | 16661 | 158818 0 | 639 | 0 790.36/790.58 c 786s | 10 | 346642 | 16761 | 158818 0 | 639 | 0 799.96/800.14 c 795s | 10 | 346759 | 16861 | 158818 0 | 639 | 0 809.96/810.16 c 805s | 10 | 346872 | 16961 | 158818 0 | 639 | 0 821.25/821.44 c 817s | 10 | 346987 | 17061 | 174700 0 | 639 | 0 827.06/827.27 c 822s | 11 | 347083 | 17144 | 174700 0 | 639 | 0 831.95/832.14 c 827s | 11 | 384917 | 17244 | 174700 0 | 639 | 0 834.95/835.11 c 830s | 11 | 385054 | 17344 | 174700 0 | 639 | 0 838.25/838.47 c 834s | 11 | 385190 | 17444 | 174700 0 | 639 | 0 841.25/841.50 c 837s | 11 | 385326 | 17544 | 174700 0 | 639 | 0 845.85/846.02 c 841s | 11 | 385467 | 17644 | 174700 0 | 639 | 0 849.24/849.47 c 845s | 11 | 385591 | 17744 | 174700 0 | 639 | 0 853.15/853.35 c 849s | 11 | 385699 | 17844 | 174700 0 | 639 | 0 857.45/857.67 c 853s | 11 | 385824 | 17944 | 174700 0 | 639 | 0 861.55/861.71 c 857s | 11 | 385969 | 18044 | 174700 0 | 639 | 0 865.74/865.95 c 861s | 11 | 386095 | 18144 | 174700 0 | 639 | 0 870.74/870.98 c 866s | 11 | 386204 | 18244 | 174700 0 | 639 | 0 875.84/876.08 c 871s | 11 | 386316 | 18344 | 174700 0 | 639 | 0 881.05/881.27 c 876s | 11 | 386417 | 18444 | 174700 0 | 639 | 0 886.25/886.49 c 882s | 11 | 386519 | 18544 | 174700 0 | 639 | 0 890.64/890.81 c 886s | 11 | 386631 | 18644 | 174700 0 | 639 | 0 894.84/895.06 c 890s | 11 | 386751 | 18744 | 174700 0 | 639 | 0 900.04/900.26 c 895s | 11 | 386887 | 18844 | 174700 0 | 639 | 0 904.24/904.43 c 900s | 11 | 387002 | 18944 | 174700 0 | 639 | 0 908.64/908.82 c 904s | 11 | 387117 | 19044 | 174700 0 | 639 | 0 913.44/913.63 c 909s | 11 | 387231 | 19144 | 174700 0 | 639 | 0 918.04/918.25 c 913s | 11 | 387339 | 19244 | 174700 0 | 639 | 0 922.53/922.74 c 918s | 11 | 387455 | 19344 | 174700 0 | 639 | 0 927.14/927.39 c 923s | 11 | 387569 | 19444 | 174700 0 | 639 | 0 931.84/932.05 c 927s | 11 | 387672 | 19544 | 174700 0 | 639 | 0 936.73/936.92 c 932s | 11 | 387812 | 19644 | 174700 0 | 639 | 0 941.44/941.68 c 937s | 11 | 387923 | 19744 | 174700 0 | 639 | 0 945.94/946.14 c 941s | 11 | 388033 | 19844 | 174700 0 | 639 | 0 950.73/950.95 c 946s | 11 | 388148 | 19944 | 174700 0 | 639 | 0 955.52/955.78 c 951s | 11 | 388260 | 20044 | 174700 0 | 639 | 0 960.24/960.42 c 956s | 11 | 388379 | 20144 | 174700 0 | 639 | 0 964.73/964.96 c 960s | 11 | 388500 | 20244 | 174700 0 | 639 | 0 969.43/969.70 c 965s | 11 | 388608 | 20344 | 174700 0 | 639 | 0 974.32/974.54 c 970s | 11 | 388709 | 20444 | 174700 0 | 639 | 0 979.32/979.58 c 975s | 11 | 388823 | 20544 | 174700 0 | 639 | 0 983.83/984.02 c 979s | 11 | 388946 | 20644 | 174700 0 | 639 | 0 988.62/988.80 c 984s | 11 | 389058 | 20744 | 174700 0 | 639 | 0 993.72/993.96 c 989s | 11 | 389159 | 20844 | 174700 0 | 639 | 0 998.63/998.88 c 994s | 11 | 389270 | 20944 | 174700 0 | 639 | 0 1003.62/1003.80 c 999s | 11 | 389368 | 21044 | 174700 0 | 639 | 0 1007.72/1007.94 c 1003s | 11 | 389484 | 21144 | 174700 0 | 639 | 0 1011.72/1011.96 c 1007s | 11 | 389587 | 21244 | 174700 0 | 639 | 0 1016.42/1016.67 c 1012s | 11 | 389688 | 21344 | 174700 0 | 639 | 0 1020.92/1021.10 c 1016s | 11 | 389792 | 21444 | 174700 0 | 639 | 0 1024.92/1025.12 c 1020s | 11 | 389924 | 21544 | 174700 0 | 639 | 0 1028.72/1028.90 c 1024s | 11 | 390055 | 21644 | 174700 0 | 639 | 0 1032.32/1032.56 c 1028s | 11 | 390183 | 21744 | 174700 0 | 639 | 0 1036.12/1036.35 c 1031s | 11 | 390295 | 21844 | 174700 0 | 639 | 0 1039.81/1040.07 c 1035s | 11 | 390419 | 21944 | 174700 0 | 639 | 0 1044.01/1044.25 c 1039s | 11 | 390538 | 22044 | 174700 0 | 639 | 0 1047.50/1047.79 c 1043s | 11 | 390664 | 22144 | 174700 0 | 639 | 0 1051.61/1051.85 c 1047s | 11 | 390804 | 22244 | 174700 0 | 639 | 0 1056.31/1056.50 c 1052s | 11 | 390905 | 22344 | 174700 0 | 639 | 0 1060.31/1060.50 c 1056s | 11 | 391037 | 22444 | 174700 0 | 639 | 0 1063.70/1063.98 c 1059s | 11 | 391184 | 22544 | 174700 0 | 639 | 0 1067.70/1068.00 c 1063s | 11 | 391318 | 22644 | 174700 0 | 639 | 0 1072.30/1072.60 c 1068s | 11 | 391445 | 22744 | 174700 0 | 639 | 0 1076.10/1076.39 c 1072s | 11 | 391563 | 22844 | 174700 0 | 639 | 0 1080.49/1080.78 c 1076s | 11 | 391690 | 22944 | 174700 0 | 639 | 0 1085.19/1085.48 c 1081s | 11 | 391798 | 23044 | 174700 0 | 639 | 0 1089.60/1089.88 c 1085s | 11 | 391912 | 23144 | 174700 0 | 639 | 0 1093.80/1094.07 c 1089s | 11 | 392034 | 23244 | 174700 0 | 639 | 0 1098.20/1098.48 c 1094s | 11 | 392144 | 23344 | 174700 0 | 639 | 0 1102.99/1103.21 c 1098s | 11 | 392256 | 23444 | 174700 0 | 639 | 0 1107.29/1107.52 c 1103s | 11 | 392382 | 23544 | 174700 0 | 639 | 0 1111.19/1111.43 c 1107s | 11 | 392496 | 23644 | 174700 0 | 639 | 0 1114.99/1115.21 c 1110s | 11 | 392618 | 23744 | 174700 0 | 639 | 0 1119.09/1119.37 c 1115s | 11 | 392726 | 23844 | 174700 0 | 639 | 0 1123.29/1123.57 c 1119s | 11 | 392836 | 23944 | 174700 0 | 639 | 0 1128.19/1128.47 c 1124s | 11 | 392933 | 24044 | 174700 0 | 639 | 0 1133.48/1133.72 c 1129s | 11 | 393046 | 24144 | 174700 0 | 639 | 0 1138.59/1138.87 c 1134s | 11 | 393159 | 24244 | 174700 0 | 639 | 0 1143.49/1143.74 c 1139s | 11 | 393271 | 24344 | 174700 0 | 639 | 0 1149.29/1149.57 c 1145s | 11 | 393385 | 24444 | 174700 0 | 639 | 0 1154.68/1155.00 c 1150s | 11 | 393504 | 24544 | 174700 0 | 639 | 0 1160.18/1160.47 c 1156s | 11 | 393594 | 24644 | 174700 0 | 639 | 0 1165.08/1165.35 c 1161s | 11 | 393712 | 24744 | 174700 0 | 639 | 0 1170.58/1170.83 c 1166s | 11 | 393820 | 24844 | 174700 0 | 639 | 0 1175.58/1175.89 c 1171s | 11 | 393990 | 24944 | 174700 0 | 639 | 0 1180.88/1181.15 c 1176s | 11 | 394109 | 25044 | 174700 0 | 639 | 0 1186.79/1187.03 c 1182s | 11 | 394211 | 25144 | 174700 0 | 639 | 0 1191.28/1191.58 c 1187s | 11 | 394336 | 25244 | 174700 0 | 639 | 0 1196.38/1196.69 c 1192s | 11 | 394466 | 25344 | 174700 0 | 639 | 0 1201.58/1201.84 c 1197s | 11 | 394595 | 25444 | 174700 0 | 639 | 0 1207.37/1207.65 c 1203s | 11 | 394703 | 25544 | 174700 0 | 639 | 0 1212.37/1212.61 c 1208s | 11 | 394876 | 25644 | 174700 0 | 639 | 0 1216.98/1217.26 c 1212s | 11 | 395013 | 25744 | 192171 0 | 639 | 0 1219.87/1220.17 c 1215s | 12 | 395214 | 25819 | 192171 0 | 639 | 0 1226.38/1226.66 c 1222s | 12 | 429226 | 25919 | 192171 0 | 639 | 0 1228.87/1229.10 c 1224s | 12 | 429328 | 26019 | 192171 0 | 639 | 0 1231.37/1231.66 c 1227s | 12 | 429454 | 26119 | 192171 0 | 639 | 0 1233.67/1233.94 c 1229s | 12 | 429560 | 26219 | 192171 0 | 639 | 0 1236.57/1236.86 c 1232s | 12 | 429672 | 26319 | 192171 0 | 639 | 0 1239.37/1239.64 c 1235s | 12 | 429778 | 26419 | 192171 0 | 639 | 0 1242.07/1242.31 c 1237s | 12 | 429891 | 26519 | 192171 0 | 639 | 0 1244.47/1244.70 c 1240s | 12 | 430003 | 26619 | 192171 0 | 639 | 0 1247.17/1247.48 c 1243s | 12 | 430119 | 26719 | 192171 0 | 639 | 0 1250.57/1250.87 c 1246s | 12 | 430256 | 26819 | 192171 0 | 639 | 0 1253.67/1253.95 c 1249s | 12 | 436417 | 26919 | 192171 0 | 639 | 0 1257.07/1257.31 c 1252s | 12 | 436648 | 27019 | 192171 0 | 639 | 0 1261.47/1261.78 c 1257s | 12 | 436770 | 27119 | 192171 0 | 639 | 0 1265.88/1266.18 c 1261s | 12 | 436865 | 27219 | 192171 0 | 639 | 0 1269.87/1270.16 c 1265s | 12 | 436979 | 27319 | 192171 0 | 639 | 0 1274.07/1274.35 c 1269s | 12 | 437169 | 27419 | 192171 0 | 639 | 0 1278.87/1279.13 c 1274s | 12 | 437306 | 27519 | 192171 0 | 639 | 0 1284.26/1284.57 c 1280s | 12 | 437640 | 27619 | 192171 0 | 639 | 0 1288.46/1288.75 c 1284s | 12 | 437810 | 27719 | 192171 0 | 639 | 0 1294.86/1295.17 c 1290s | 12 | 437970 | 27819 | 192171 0 | 639 | 0 1301.16/1301.44 c 1297s | 12 | 438102 | 27919 | 192171 0 | 639 | 0 1305.95/1306.23 c 1301s | 12 | 438287 | 28019 | 192171 0 | 639 | 0 1310.26/1310.52 c 1306s | 12 | 438434 | 28119 | 192171 0 | 639 | 0 1314.27/1314.51 c 1310s | 12 | 438714 | 28219 | 192171 0 | 639 | 0 1319.26/1319.57 c 1315s | 12 | 438982 | 28319 | 192171 0 | 639 | 0 1322.86/1323.10 c 1318s | 12 | 439252 | 28419 | 192171 0 | 639 | 0 1327.46/1327.74 c 1323s | 12 | 439532 | 28519 | 192171 0 | 639 | 0 1332.15/1332.40 c 1328s | 12 | 439932 | 28619 | 192171 0 | 639 | 0 1337.46/1337.71 c 1333s | 12 | 440295 | 28719 | 192171 0 | 639 | 0 1340.35/1340.68 c 1336s | 12 | 440491 | 28819 | 192171 0 | 639 | 0 1343.96/1344.21 c 1339s | 12 | 440592 | 28919 | 192171 0 | 639 | 0 1347.15/1347.42 c 1343s | 12 | 440700 | 29019 | 192171 0 | 639 | 0 1351.05/1351.32 c 1346s | 12 | 440833 | 29119 | 192171 0 | 639 | 0 1355.65/1355.93 c 1351s | 12 | 444134 | 29219 | 192171 0 | 639 | 0 1359.25/1359.53 c 1355s | 12 | 444342 | 29319 | 192171 0 | 639 | 0 1363.45/1363.71 c 1359s | 12 | 444498 | 29419 | 192171 0 | 639 | 0 1367.85/1368.15 c 1363s | 12 | 444607 | 29519 | 192171 0 | 639 | 0 1372.65/1372.94 c 1368s | 12 | 444715 | 29619 | 192171 0 | 639 | 0 1377.84/1378.12 c 1373s | 12 | 444831 | 29719 | 192171 0 | 639 | 0 1383.45/1383.73 c 1379s | 12 | 444937 | 29819 | 192171 0 | 639 | 0 1388.85/1389.14 c 1384s | 12 | 445042 | 29919 | 192171 0 | 639 | 0 1393.84/1394.13 c 1389s | 12 | 445143 | 30019 | 192171 0 | 639 | 0 1398.95/1399.20 c 1394s | 12 | 445258 | 30119 | 192171 0 | 639 | 0 1404.74/1405.08 c 1400s | 12 | 445373 | 30219 | 192171 0 | 639 | 0 1409.74/1410.06 c 1405s | 12 | 445477 | 30319 | 192171 0 | 639 | 0 1415.34/1415.70 c 1411s | 12 | 445595 | 30419 | 192171 0 | 639 | 0 1421.24/1421.57 c 1417s | 12 | 445715 | 30519 | 192171 0 | 639 | 0 1426.23/1426.55 c 1422s | 12 | 445813 | 30619 | 192171 0 | 639 | 0 1431.14/1431.46 c 1427s | 12 | 445919 | 30719 | 192171 0 | 639 | 0 1435.94/1436.25 c 1431s | 12 | 446028 | 30819 | 192171 0 | 639 | 0 1440.94/1441.21 c 1436s | 12 | 446141 | 30919 | 192171 0 | 639 | 0 1445.84/1446.19 c 1441s | 12 | 446253 | 31019 | 192171 0 | 639 | 0 1450.83/1451.14 c 1446s | 12 | 446358 | 31119 | 192171 0 | 639 | 0 1457.93/1458.26 c 1453s | 12 | 446485 | 31219 | 192171 0 | 639 | 0 1464.03/1464.30 c 1459s | 12 | 446606 | 31319 | 192171 0 | 639 | 0 1470.93/1471.21 c 1466s | 12 | 446720 | 31419 | 192171 0 | 639 | 0 1476.42/1476.79 c 1472s | 12 | 446844 | 31519 | 192171 0 | 639 | 0 1481.92/1482.28 c 1477s | 12 | 446955 | 31619 | 192171 0 | 639 | 0 1488.82/1489.15 c 1484s | 12 | 447067 | 31719 | 192171 0 | 639 | 0 1494.12/1494.48 c 1490s | 12 | 447194 | 31819 | 192171 0 | 639 | 0 1500.23/1500.58 c 1496s | 12 | 447294 | 31919 | 192171 0 | 639 | 0 1507.22/1507.53 c 1503s | 12 | 447405 | 32019 | 192171 0 | 639 | 0 1514.22/1514.55 c 1510s | 12 | 447520 | 32119 | 192171 0 | 639 | 0 1519.81/1520.10 c 1515s | 12 | 447630 | 32219 | 192171 0 | 639 | 0 1525.22/1525.54 c 1521s | 12 | 447737 | 32319 | 192171 0 | 639 | 0 1532.12/1532.40 c 1528s | 12 | 447877 | 32419 | 192171 0 | 639 | 0 1539.91/1540.25 c 1535s | 12 | 447982 | 32519 | 192171 0 | 639 | 0 1548.31/1548.61 c 1544s | 12 | 448083 | 32619 | 192171 0 | 639 | 0 1554.41/1554.74 c 1550s | 12 | 448201 | 32719 | 192171 0 | 639 | 0 1561.72/1562.00 c 1557s | 12 | 448303 | 32819 | 192171 0 | 639 | 0 1567.11/1567.40 c 1563s | 12 | 448428 | 32919 | 192171 0 | 639 | 0 1572.71/1573.09 c 1568s | 12 | 448533 | 33019 | 192171 0 | 639 | 0 1578.00/1578.38 c 1574s | 12 | 448640 | 33119 | 192171 0 | 639 | 0 1583.50/1583.84 c 1579s | 12 | 448773 | 33219 | 192171 0 | 639 | 0 1589.11/1589.45 c 1585s | 12 | 448890 | 33319 | 192171 0 | 639 | 0 1594.81/1595.11 c 1590s | 12 | 449006 | 33419 | 192171 0 | 639 | 0 1600.50/1600.86 c 1596s | 12 | 449113 | 33519 | 192171 0 | 639 | 0 1606.50/1606.88 c 1602s | 12 | 449221 | 33619 | 192171 0 | 639 | 0 1612.31/1612.70 c 1608s | 12 | 449333 | 33719 | 192171 0 | 639 | 0 1618.40/1618.70 c 1614s | 12 | 449432 | 33819 | 192171 0 | 639 | 0 1624.20/1624.51 c 1620s | 12 | 449543 | 33919 | 192171 0 | 639 | 0 1630.40/1630.74 c 1626s | 12 | 449651 | 34019 | 192171 0 | 639 | 0 1636.30/1636.67 c 1632s | 12 | 449765 | 34119 | 192171 0 | 639 | 0 1641.39/1641.78 c 1637s | 12 | 449880 | 34219 | 192171 0 | 639 | 0 1646.20/1646.50 c 1642s | 12 | 449997 | 34319 | 192171 0 | 639 | 0 1651.09/1651.49 c 1647s | 12 | 450116 | 34419 | 192171 0 | 639 | 0 1656.99/1657.33 c 1652s | 12 | 450221 | 34519 | 192171 0 | 639 | 0 1663.09/1663.43 c 1659s | 12 | 450344 | 34619 | 192171 0 | 639 | 0 1669.89/1670.23 c 1665s | 12 | 450457 | 34719 | 192171 0 | 639 | 0 1676.39/1676.76 c 1672s | 12 | 450565 | 34819 | 192171 0 | 639 | 0 1683.49/1683.82 c 1679s | 12 | 450672 | 34919 | 192171 0 | 639 | 0 1690.88/1691.24 c 1686s | 12 | 450787 | 35019 | 192171 0 | 639 | 0 1697.69/1698.08 c 1693s | 12 | 450919 | 35119 | 192171 0 | 639 | 0 1705.89/1706.22 c 1701s | 12 | 451029 | 35219 | 192171 0 | 639 | 0 1714.18/1714.53 c 1710s | 12 | 451134 | 35319 | 192171 0 | 639 | 0 1720.88/1721.27 c 1716s | 12 | 451245 | 35419 | 192171 0 | 639 | 0 1726.47/1726.88 c 1722s | 12 | 451346 | 35519 | 192171 0 | 639 | 0 1733.78/1734.14 c 1729s | 12 | 451470 | 35619 | 192171 0 | 639 | 0 1740.98/1741.38 c 1737s | 12 | 451572 | 35719 | 192171 0 | 639 | 0 1748.57/1748.94 c 1744s | 12 | 451679 | 35819 | 192171 0 | 639 | 0 1757.07/1757.43 c 1753s | 12 | 451795 | 35919 | 192171 0 | 639 | 0 1764.45/1764.85 c 1760s | 12 | 451903 | 36019 | 192171 0 | 639 | 0 1771.36/1771.74 c 1767s | 12 | 452018 | 36119 | 192171 0 | 639 | 0 1779.85/1780.24 c 1775s | 12 | 452116 | 36219 | 192171 0 | 639 | 0 1785.55/1785.91 c 1781s | 12 | 452234 | 36319 | 192171 0 | 639 | 0 1792.35/1792.72 c 1788s | 12 | 452332 | 36419 | 192171 0 | 639 | 0
ERROR: no interpretation found !
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-4119760-1467276646/watcher-4119760-1467276646 -o /tmp/evaluation-result-4119760-1467276646/solver-4119760-1467276646 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16869 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119760-1467276646.opb pid=17796 running on 4 cores: 1,3,5,7 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.08 2.02 2.00 3/180 17799 /proc/meminfo: memFree=27773200/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=693692 CPUtime=0 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 2581 0 0 0 0 0 0 0 20 0 4 0 8560743 710340608 2942 33554432000 4194304 16246674 140733451451760 140733451451184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 173935 2952 441 2943 0 170829 0 [pid=17799/tid=17800] ppid=17796 vsize=711100 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 728166400 3011 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=715196 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 732360704 3028 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=719292 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8560743 736555008 3044 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.08 2.02 2.00 3/180 17799 /proc/meminfo: memFree=27773200/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 28489 0 0 0 5 4 0 0 20 0 4 0 8560743 1333334016 28788 33554432000 4194304 16246674 140733451451760 140733451451072 7368729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 325521 28805 798 2943 0 322415 0 [pid=17799/tid=17800] ppid=17796 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1333334016 28816 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1333334016 28828 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1333334016 28839 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200529 s] /proc/loadavg: 2.08 2.02 2.00 3/180 17799 /proc/meminfo: memFree=27773200/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 44296 0 0 0 13 6 0 0 20 0 4 0 8560743 1344868352 45105 33554432000 4194304 16246674 140733451451760 140733451451072 8056944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 328337 45105 798 2943 0 325231 0 [pid=17799/tid=17800] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 45105 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 45105 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 45105 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300504 s] /proc/loadavg: 2.08 2.02 2.00 3/180 17799 /proc/meminfo: memFree=27773200/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 49863 0 0 0 22 7 0 0 20 0 4 0 8560743 1344868352 50672 33554432000 4194304 16246674 140733451451760 140733451434752 13750800 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 328337 50672 798 2943 0 325231 0 [pid=17799/tid=17800] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 50672 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 50672 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 50672 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700418 s] /proc/loadavg: 2.08 2.02 2.00 3/180 17799 /proc/meminfo: memFree=27773200/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 64826 0 0 0 60 9 0 0 20 0 4 0 8560743 1344868352 65636 33554432000 4194304 16246674 140733451451760 140733451434752 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 328337 65656 801 2943 0 325231 0 [pid=17799/tid=17800] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 65667 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 65679 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1344868352 65689 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.08 2.02 2.00 3/184 17803 /proc/meminfo: memFree=27482500/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1385028 CPUtime=1.49 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 94418 0 0 0 136 13 0 0 20 0 4 0 8560743 1418268672 95227 33554432000 4194304 16246674 140733451451760 140733451433664 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 346257 95234 812 2943 0 343151 0 [pid=17799/tid=17800] ppid=17796 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1418268672 95237 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1418268672 95240 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1418268672 95243 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1385028 [startup+3.10042 s] /proc/loadavg: 2.08 2.02 2.00 3/184 17803 /proc/meminfo: memFree=27135796/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1393220 CPUtime=3.08 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 158766 0 0 0 288 20 0 0 20 0 4 0 8560743 1426657280 159575 33554432000 4194304 16246674 140733451451760 140733451433664 5913644 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 348305 159575 835 2943 0 345199 0 [pid=17799/tid=17800] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 159575 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 159575 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 159575 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1393220 [startup+6.30042 s] /proc/loadavg: 2.07 2.02 2.00 3/184 17803 /proc/meminfo: memFree=26667192/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1393220 CPUtime=6.29 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 276012 0 0 0 593 36 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140733451433664 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 348305 276821 893 2943 0 345199 0 [pid=17799/tid=17800] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1393220 [startup+12.7004 s] /proc/loadavg: 2.07 2.02 2.00 3/184 17803 /proc/meminfo: memFree=26666840/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1393220 CPUtime=12.68 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 276012 0 0 0 1232 36 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140733451433664 13780640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 348305 276821 893 2943 0 345199 0 [pid=17799/tid=17800] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1393220 [startup+25.5005 s] /proc/loadavg: 2.05 2.02 2.00 3/183 17803 /proc/meminfo: memFree=26666232/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1393220 CPUtime=25.48 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 276012 0 0 0 2512 36 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140733451433664 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 348305 276821 893 2943 0 345199 0 [pid=17799/tid=17800] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 276821 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1393220 [startup+51.1005 s] /proc/loadavg: 2.03 2.02 2.00 3/183 17803 /proc/meminfo: memFree=26636688/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1393220 CPUtime=51.08 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 283445 0 0 0 5070 38 0 0 20 0 4 0 8560743 1426657280 284254 33554432000 4194304 16246674 140733451451760 140733451433664 6021024 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 348305 284254 897 2943 0 345199 0 [pid=17799/tid=17800] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 284254 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 284254 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 284254 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1393220 [startup+102.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 17804 /proc/meminfo: memFree=26614412/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1393220 CPUtime=102.28 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 288990 0 0 0 10188 40 0 0 20 0 4 0 8560743 1426657280 289799 33554432000 4194304 16246674 140733451451760 140733451433664 6010834 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 348305 289799 897 2943 0 345199 0 [pid=17799/tid=17800] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 289799 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 289799 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1393220 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1426657280 289799 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1393220 ################ # More data... # ################ /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1698238464 355879 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 1658436 [startup+1302.3 s] /proc/loadavg: 2.06 2.04 2.01 3/183 17858 /proc/meminfo: memFree=26172932/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1658436 CPUtime=1302.06 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 355125 0 0 0 130125 81 0 0 20 0 4 0 8560743 1698238464 355879 33554432000 4194304 16246674 140733451451760 140733451450936 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 414609 355879 897 2943 0 411503 0 [pid=17799/tid=17800] ppid=17796 vsize=1658436 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1698238464 355879 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1658436 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1698238464 355879 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1658436 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1698238464 355879 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 1658436 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 17860 /proc/meminfo: memFree=26093228/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1737284 CPUtime=1362.05 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 374958 0 0 0 136120 85 0 0 20 0 4 0 8560743 1778978816 375710 33554432000 4194304 16246674 140733451451760 140733451433664 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 434321 375710 897 2943 0 431215 0 [pid=17799/tid=17800] ppid=17796 vsize=1737284 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1778978816 375710 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1737284 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1778978816 375710 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1737284 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1778978816 375710 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 1737284 [startup+1422.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 17861 /proc/meminfo: memFree=25953320/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1737284 CPUtime=1422.04 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 374962 0 0 0 142117 87 0 0 20 0 4 0 8560743 1778978816 375710 33554432000 4194304 16246674 140733451451760 140733451433664 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 434321 375710 897 2943 0 431215 0 [pid=17799/tid=17800] ppid=17796 vsize=1737284 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1778978816 375710 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1737284 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1778978816 375710 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1737284 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1778978816 375710 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 1737284 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 17862 /proc/meminfo: memFree=25864192/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1826372 CPUtime=1482.02 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 397352 0 0 0 148109 93 0 0 20 0 4 0 8560743 1870204928 398090 33554432000 4194304 16246674 140733451451760 140733451433664 5712004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 456593 398090 897 2943 0 453487 0 [pid=17799/tid=17800] ppid=17796 vsize=1826372 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1870204928 398090 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1826372 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1870204928 398090 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1826372 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1870204928 398090 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1826372 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.00 3/183 17863 /proc/meminfo: memFree=25735636/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1826372 CPUtime=1542.02 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 397354 0 0 0 154107 95 0 0 20 0 4 0 8560743 1870204928 398090 33554432000 4194304 16246674 140733451451760 140733451433664 13780660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 456593 398090 897 2943 0 453487 0 [pid=17799/tid=17800] ppid=17796 vsize=1826372 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1870204928 398090 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1826372 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1870204928 398090 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1826372 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1870204928 398090 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 1826372 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 17864 /proc/meminfo: memFree=25639188/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1923652 CPUtime=1602 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 421449 0 0 0 160098 102 0 0 20 0 4 0 8560743 1969819648 422185 33554432000 4194304 16246674 140733451451760 140733451433664 5711326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 480913 422185 897 2943 0 477807 0 [pid=17799/tid=17800] ppid=17796 vsize=1923652 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 1969819648 422185 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1923652 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 1969819648 422185 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1923652 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 1969819648 422185 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 1923652 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17915 /proc/meminfo: memFree=26053312/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=1975876 CPUtime=1661.99 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 434604 0 0 0 166092 107 0 0 20 0 4 0 8560743 2023297024 435337 33554432000 4194304 16246674 140733451451760 140733451433664 5712566 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 493969 435337 899 2943 0 490863 0 [pid=17799/tid=17800] ppid=17796 vsize=1975876 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 2023297024 435337 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=1975876 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 2023297024 435337 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=1975876 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 2023297024 435337 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 1975876 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17916 /proc/meminfo: memFree=25983092/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=2037316 CPUtime=1721.98 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 449914 0 0 0 172085 113 0 0 20 0 4 0 8560743 2086211584 450641 33554432000 4194304 16246674 140733451451760 140733451433664 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 509329 450641 899 2943 0 506223 0 [pid=17799/tid=17800] ppid=17796 vsize=2037316 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 2086211584 450641 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=2037316 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 2086211584 450641 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=2037316 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 2086211584 450641 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 2037316 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 2.01 3/184 17920 /proc/meminfo: memFree=25946064/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=2074180 CPUtime=1781.95 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 459185 0 0 0 178076 119 0 0 20 0 4 0 8560743 2123960320 459888 33554432000 4194304 16246674 140733451451760 140733451433664 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 518545 459888 899 2943 0 515439 0 [pid=17799/tid=17800] ppid=17796 vsize=2074180 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 2123960320 459888 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=2074180 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 2123960320 459888 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=2074180 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 2123960320 459888 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 2074180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.08 2.03 2.01 3/184 17920 /proc/meminfo: memFree=25945660/32872528 swapFree=7620/7620 [pid=17799] ppid=17796 vsize=2074180 CPUtime=1800.06 cores=1,3,5,7 /proc/17799/stat : 17799 (toysat) R 17796 17799 16554 0 -1 4202496 459187 0 0 0 179886 120 0 0 20 0 4 0 8560743 2123960320 459888 33554432000 4194304 16246674 140733451451760 140733451450936 5712600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17799/statm: 518545 459888 899 2943 0 515439 0 [pid=17799/tid=17800] ppid=17796 vsize=2074180 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17800/stat : 17800 (toysat) S 17796 17799 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8560743 2123960320 459888 33554432000 4194304 16246674 140733451451760 140243774713072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17799/tid=17801] ppid=17796 vsize=2074180 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17801/stat : 17801 (toysat) S 17796 17799 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8560743 2123960320 459888 33554432000 4194304 16246674 140733451451760 140243764223216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17799/tid=17802] ppid=17796 vsize=2074180 CPUtime=0 cores=1,3,5,7 /proc/17799/task/17802/stat : 17802 (toysat) S 17796 17799 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8560743 2123960320 459888 33554432000 4194304 16246674 140733451451760 140243753749680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2074180 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17799 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.42 CPU time (s): 1800.08 CPU user time (s): 1798.87 CPU system time (s): 1.21181 CPU usage (%): 99.9812 Max. virtual memory (cumulated for all children) (KiB): 2074180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.87 system time used= 1.21182 maximum resident set size= 1839552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459187 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= 141 involuntary context switches= 1845 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.76527 second user time and 6.72798 second system time The end
Begin job on node106 at 2016-06-30 10:50:46 IDJOB=4119760 IDBENCH=111801 IDSOLVER=2542 FILE ID=node106/4119760-1467276646 RUNJOBID= node106-1467270914-16869 PBS_JOBID= 20004487 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119760-1467276646/watcher-4119760-1467276646 -o /tmp/evaluation-result-4119760-1467276646/solver-4119760-1467276646 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16869 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119760-1467276646.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 382c93c1b1e6dc203c59e64448a647b3 RANDOM SEED=600690951 node106.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.495 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 : 5332.99 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.495 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.56 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.495 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.55 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.495 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.495 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.495 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.495 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.495 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27773464 kB Buffers: 66156 kB Cached: 3077040 kB SwapCached: 0 kB Active: 3477456 kB Inactive: 857408 kB Active(anon): 1178080 kB Inactive(anon): 15776 kB Active(file): 2299376 kB Inactive(file): 841632 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 24080 kB Writeback: 0 kB AnonPages: 1327492 kB Mapped: 18836 kB Shmem: 204 kB Slab: 625668 kB SReclaimable: 68888 kB SUnreclaim: 556780 kB KernelStack: 1528 kB PageTables: 6324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1330848 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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= 71704 MiB End job on node106 at 2016-06-30 11:20:47