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 | 486.389 | 486.465 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb |
| MD5SUM | 1cc97335e4341ed075b6e9adcc382d23 |
| 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.066989 |
| 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 | 96 |
| Total number of constraints | 9 |
| 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 | 9 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 256 |
| Sum of products size (including duplicates) | 512 |
| Number of different products | 256 |
| Sum of products size | 512 |
0.00/0.00 c 2016-06-18T18:53:14+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-4106289-1466268794.opb"] 0.00/0.01 c use --random-gen="1753568727 251090038 795430464 725364235 1407428018 3403241938 2913841371 1755597050 1766653824 3482025770 1431323134 738759903 636477389 4010365757 2902137413 1649015686 2801459517 892196737 1175687780 3681101039 1080031166 3641622962 2308053234 1013063582 3653806000 2309489950 3439844394 1704445217 4081857851 2998352007 2263030420 861257041 3259632619 1449355725 4093356981 1473373613 1906833925 170063409 2651551882 1667129965 1311933769 245265041 1577206868 3596365727 1103066855 1700558193 2266613697 1755555044 2842784975 3962951822 4018244856 2959650066 2964504311 3882518490 649491908 1444622843 279527929 874207978 340656192 3114167652 644147154 3565116195 341866713 1394684349 2057740075 2893117210 2159113409 1879889363 48019098 450683745 2592267825 1606710975 3440158010 579184385 3443556362 3473003544 3503316262 734283181 2905439355 181930480 3840285079 1411654788 47821220 4017375060 3376777786 568021961 3436453497 3835122657 3593891000 2895966467 28957908 1146922716 1640529642 3546664430 1398379166 2443643112 4094417048 542599526 286713204 2455925045 625524771 128919169 3872513019 2766024225 1469615803 636994184 3886512609 3027603937 1359113795 145051719 3562503116 465140014 1172728738 405142098 2622389601 3134740166 1673543487 3385070357 452445683 2858638746 2566537996 2663722896 4035173505 2062244761 1674264713 712784280 1504980499 3045513191 2528118421 728976606 2149511856 1756249932 1081017777 73381305 2623123448 2721618711 4162938375 1555287203 1874303100 3343283805 776879087 1575777594 489286167 1537618805 1102116353 2013672494 3023576698 4128002002 2720217141 1353623332 3135693351 3629347424 3143965772 3107453745 200811513 792142008 648558499 1354428606 1674254120 4233198667 734448195 3003663411 1818150623 2470305731 3053821872 1447187471 547568153 2032818691 603022242 2714775829 2006696584 638250587 3664877618 3744773615 3028591193 2973172987 3568393242 2698599975 1670540181 1559260264 851009038 4190929790 2864316292 3581498150 3306580476 1104429555 985218085 1890559235 137306046 2837581572 2849754057 857601119 3830842640 644017037 4214211662 3464178674 2903680673 1801796879 1709531457 930741096 2643462897 3954663105 563545957 1216537378 3479835888 3042060654 3007241408 1008422580 2450656560 2948790961 1957220681 476965013 2400300246 282616058 3062432323 772907096 3182519400 528773956 3012553729 2967578238 314256760 4294825196 2064034881 2384386831 4005840038 82223287 1834358602 1448378784 1234564364 1211336199 1569939039 4278124631 3066971395 165511701 3003399072 2929212996 3059101702 2730262054 3249662549 602716138 3378788470 1969742559 1399276678 3624698874 1915014110 1313804258 792470236 2544796842 3994502193 92671572 3361063683 3260573173 14143684 560876237 1490759388 2148308542 255 362436" option to reproduce the execution 0.00/0.01 c #vars 96 0.00/0.01 c #constraints 9 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 | 377 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 113 | 100 | 377 0 | 0 | 0 0.00/0.07 c 0.1s | 2 | 271 | 250 | 415 0 | 0 | 0 0.08/0.12 c 0.1s | 3 | 513 | 475 | 457 0 | 0 | 0 0.08/0.19 c 0.2s | 4 | 866 | 813 | 503 2 | 0 | 0 0.29/0.31 c 0.3s | 5 | 1395 | 1320 | 554 3 | 0 | 0 0.39/0.48 c 0.5s | 6 | 2276 | 2081 | 671 4 | 0 | 0 0.99/1.07 c 1.1s | 7 | 3635 | 3223 | 739 7 | 0 | 0 1.09/1.20 c 1.2s | 7 | 4275 | 3790 | 739 8 | 0 | 0 1.09/1.20 c #cpu_time = 1.182s 1.29/1.31 c #wall_clock_time = 1.185s 1.29/1.31 c #decision = 4275 1.29/1.31 c #random_decision = 20 1.29/1.31 c #conflict = 3790 1.29/1.31 c #restart = 7 1.29/1.31 o 169 1.29/1.31 c BCD2: updating upper bound: 255 -> 168 1.29/1.31 c BCD2: 0 <= obj <= 168 1.29/1.31 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 1.29/1.31 c BCD2: #sat=1 #unsat=1 bias=1/2 1.29/1.31 c Solving starts ... 1.29/1.31 c ============================[ Search Statistics ]============================ 1.29/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.31 c | | | | Limit GC | Var | Constra 1.29/1.31 c ============================================================================= 1.29/1.31 c 0.0s | 0 | 0 | 0 | 739 0 | 0 | 0 1.29/1.31 c 0.0s | 0 | 6 | 0 | 739 1 | 0 | 0 1.29/1.31 c #cpu_time = 0.006s 1.29/1.31 c #wall_clock_time = 0.006s 1.29/1.31 c #decision = 6 1.29/1.31 c #random_decision = 0 1.29/1.31 c #conflict = 0 1.29/1.31 c #restart = 0 1.29/1.31 c BCD2: found a new core of size 7: cost of the new core is >=2 1.29/1.31 c lower bound updated to 2 1.29/1.31 c BCD2: 2 <= obj <= 168 1.29/1.31 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 1.29/1.31 c BCD2: #sat=1 #unsat=2 bias=2/3 1.29/1.31 c Solving starts ... 1.29/1.31 c ============================[ Search Statistics ]============================ 1.29/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.31 c | | | | Limit GC | Var | Constra 1.29/1.31 c ============================================================================= 1.29/1.31 c 0.0s | 0 | 0 | 0 | 739 0 | 0 | 0 1.29/1.31 c 0.1s | 1 | 169 | 100 | 739 0 | 0 | 0 1.39/1.40 c 0.2s | 2 | 476 | 250 | 739 0 | 0 | 0 1.39/1.44 c 0.2s | 3 | 712 | 475 | 739 1 | 0 | 0 1.39/1.49 c 0.3s | 4 | 1078 | 813 | 739 1 | 0 | 0 1.59/1.67 c 0.5s | 5 | 1686 | 1320 | 813 2 | 0 | 0 1.79/1.89 c 0.7s | 6 | 2579 | 2081 | 813 4 | 0 | 0 2.09/2.14 c 0.9s | 7 | 3855 | 3223 | 813 6 | 0 | 0 2.39/2.46 c 1.3s | 8 | 5637 | 4936 | 895 9 | 0 | 0 3.59/3.64 c 2.4s | 9 | 8596 | 7506 | 895 14 | 0 | 0 4.59/4.60 c 3.4s | 10 | 12882 | 11361 | 985 21 | 0 | 0 5.89/5.96 c 4.8s | 11 | 18836 | 17144 | 1084 29 | 0 | 0 7.89/7.95 c 6.7s | 12 | 27792 | 25819 | 1193 41 | 0 | 0 9.90/9.97 c 8.8s | 12 | 36527 | 34019 | 1193 53 | 0 | 0 11.10/11.19 c 10.0s | 13 | 41627 | 38832 | 1313 59 | 0 | 0 13.09/13.20 c 12.0s | 13 | 49626 | 46632 | 1313 69 | 0 | 0 15.19/15.22 c 14.0s | 13 | 58358 | 55232 | 1445 80 | 1 | 8 15.99/16.01 c 14.8s | 14 | 61587 | 58352 | 1445 83 | 1 | 8 17.99/18.02 c 16.8s | 14 | 70278 | 66752 | 1445 94 | 1 | 8 19.99/20.03 c 18.8s | 14 | 79000 | 75252 | 1445 104 | 1 | 8 21.99/22.04 c 20.8s | 14 | 87779 | 83652 | 1590 114 | 1 | 8 22.98/23.05 c 21.8s | 15 | 91816 | 87632 | 1590 119 | 1 | 8 25.08/25.11 c 23.9s | 15 | 96899 | 92232 | 1590 124 | 1 | 8 27.08/27.11 c 25.9s | 15 | 102682 | 97532 | 1590 130 | 1 | 8 29.08/29.14 c 27.9s | 15 | 109450 | 104032 | 1590 137 | 1 | 8 31.08/31.15 c 29.9s | 15 | 115882 | 110132 | 1590 144 | 1 | 8 33.09/33.16 c 32.0s | 15 | 121629 | 115332 | 1590 150 | 1 | 8 35.08/35.19 c 34.0s | 15 | 128695 | 121832 | 1590 157 | 1 | 8 37.18/37.22 c 36.0s | 15 | 135150 | 127732 | 1750 163 | 1 | 8 38.59/38.63 c 37.4s | 16 | 139180 | 131552 | 1750 167 | 1 | 8 40.58/40.65 c 39.4s | 16 | 147498 | 139052 | 1750 175 | 1 | 8 42.58/42.68 c 41.5s | 16 | 155800 | 147052 | 1750 183 | 1 | 8 44.58/44.68 c 43.5s | 16 | 163660 | 154252 | 1750 191 | 1 | 8 46.68/46.70 c 45.5s | 16 | 171908 | 161452 | 1750 199 | 1 | 8 48.68/48.70 c 47.5s | 16 | 179689 | 168852 | 1750 206 | 1 | 8 50.68/50.72 c 49.5s | 16 | 187748 | 176752 | 1750 214 | 1 | 8 52.68/52.75 c 51.5s | 16 | 194778 | 183552 | 1750 221 | 1 | 8 54.68/54.77 c 53.6s | 16 | 201818 | 190252 | 1750 228 | 1 | 8 56.58/56.65 c 55.4s | 17 | 209168 | 197432 | 1926 235 | 1 | 8 58.58/58.67 c 57.5s | 17 | 216258 | 204132 | 1926 242 | 1 | 8 60.59/60.68 c 59.5s | 17 | 223381 | 211132 | 1926 248 | 1 | 8 62.58/62.68 c 61.5s | 17 | 230518 | 218032 | 1926 255 | 1 | 8 64.68/64.71 c 63.5s | 17 | 237242 | 224432 | 1926 261 | 1 | 8 66.68/66.72 c 65.5s | 17 | 244165 | 231232 | 1926 267 | 1 | 8 68.68/68.73 c 67.5s | 17 | 251587 | 238532 | 1926 274 | 1 | 8 70.68/70.74 c 69.5s | 17 | 256944 | 243532 | 1926 279 | 1 | 8 72.69/72.74 c 71.5s | 17 | 262247 | 248432 | 1926 283 | 1 | 8 74.68/74.79 c 73.6s | 17 | 267604 | 253332 | 1926 288 | 1 | 8 76.78/76.83 c 75.6s | 17 | 273469 | 258632 | 1926 293 | 1 | 8 78.78/78.86 c 77.6s | 17 | 279245 | 264032 | 1926 298 | 1 | 8 80.78/80.87 c 79.7s | 17 | 284508 | 269132 | 1926 303 | 1 | 8 82.78/82.90 c 81.7s | 17 | 288800 | 273232 | 1926 306 | 1 | 8 84.88/84.93 c 83.7s | 17 | 293506 | 277832 | 1926 311 | 1 | 8 86.88/86.93 c 85.7s | 17 | 298425 | 282632 | 1926 315 | 1 | 8 88.88/88.94 c 87.7s | 17 | 304120 | 288232 | 1926 321 | 1 | 8 90.88/90.95 c 89.7s | 17 | 309937 | 293632 | 2119 325 | 1 | 8 92.08/92.11 c 90.9s | 18 | 312731 | 296252 | 2119 328 | 1 | 8 94.08/94.13 c 92.9s | 18 | 320838 | 304052 | 2119 334 | 1 | 8 96.08/96.15 c 94.9s | 18 | 328376 | 311352 | 2119 340 | 1 | 8 98.08/98.15 c 96.9s | 18 | 336506 | 319152 | 2119 347 | 1 | 8 100.08/100.17 c 99.0s | 18 | 343250 | 325752 | 2119 353 | 1 | 8 102.07/102.18 c 100s | 18 | 350524 | 332852 | 2119 359 | 1 | 8 104.07/104.19 c 102s | 18 | 358184 | 340352 | 2119 365 | 1 | 8 106.17/106.21 c 104s | 18 | 365598 | 347552 | 2119 371 | 1 | 8 108.17/108.22 c 107s | 18 | 373344 | 355152 | 2119 378 | 1 | 8 110.17/110.23 c 109s | 18 | 381394 | 363052 | 2119 385 | 1 | 8 112.18/112.25 c 111s | 18 | 388717 | 370052 | 2119 391 | 1 | 8 114.17/114.26 c 113s | 18 | 396808 | 377952 | 2119 397 | 1 | 8 116.17/116.27 c 115s | 18 | 404808 | 385552 | 2119 404 | 1 | 8 118.17/118.28 c 117s | 18 | 412289 | 392652 | 2119 410 | 1 | 8 120.17/120.29 c 119s | 18 | 419520 | 399252 | 2119 416 | 1 | 8 122.18/122.29 c 121s | 18 | 426733 | 405952 | 2119 422 | 1 | 8 124.17/124.29 c 123s | 18 | 434766 | 413652 | 2119 428 | 1 | 8 126.27/126.30 c 125s | 18 | 442710 | 421352 | 2119 435 | 1 | 8 128.27/128.31 c 127s | 18 | 449772 | 428152 | 2119 440 | 1 | 8 130.27/130.31 c 129s | 18 | 457030 | 435052 | 2119 446 | 1 | 8 132.27/132.32 c 131s | 18 | 464323 | 442152 | 2331 452 | 1 | 8 132.97/133.05 c 131s | 19 | 466740 | 444482 | 2331 454 | 1 | 8 134.97/135.08 c 133s | 19 | 473778 | 451082 | 2331 459 | 1 | 8 136.97/137.10 c 135s | 19 | 480689 | 457882 | 2331 464 | 1 | 8 139.07/139.13 c 137s | 19 | 487304 | 464082 | 2331 469 | 1 | 8 141.06/141.16 c 139s | 19 | 494445 | 471082 | 2331 475 | 1 | 8 143.07/143.18 c 141s | 19 | 501522 | 478082 | 2331 480 | 1 | 8 145.06/145.20 c 143s | 19 | 508662 | 485082 | 2331 486 | 1 | 8 147.16/147.21 c 145s | 19 | 516393 | 492682 | 2331 492 | 1 | 8 149.16/149.23 c 148s | 19 | 524519 | 500682 | 2331 498 | 1 | 8 151.16/151.23 c 150s | 19 | 532969 | 508982 | 2331 504 | 2 | 16 153.16/153.25 c 152s | 19 | 541430 | 517282 | 2331 511 | 2 | 16 155.17/155.26 c 154s | 19 | 549452 | 524782 | 2331 517 | 2 | 16 157.16/157.28 c 156s | 19 | 557408 | 532082 | 2331 523 | 2 | 16 159.16/159.29 c 158s | 19 | 566091 | 540282 | 2331 529 | 2 | 16 161.26/161.30 c 160s | 19 | 574689 | 547982 | 2331 535 | 2 | 16 163.27/163.30 c 162s | 19 | 582777 | 555582 | 2331 541 | 2 | 16 165.27/165.31 c 164s | 19 | 590630 | 562982 | 2331 547 | 2 | 16 167.27/167.31 c 166s | 19 | 598697 | 570682 | 2331 553 | 2 | 16 169.27/169.31 c 168s | 19 | 606901 | 578382 | 2331 559 | 2 | 16 171.27/171.32 c 170s | 19 | 615150 | 586282 | 2331 565 | 2 | 16 173.26/173.35 c 172s | 19 | 623426 | 593982 | 2331 571 | 2 | 16 175.26/175.35 c 174s | 19 | 631784 | 601882 | 2331 577 | 2 | 16 177.26/177.37 c 176s | 19 | 640348 | 610082 | 2331 584 | 2 | 16 179.27/179.38 c 178s | 19 | 648414 | 617682 | 2331 590 | 2 | 16 181.26/181.40 c 180s | 19 | 656268 | 625082 | 2331 596 | 2 | 16 183.36/183.40 c 182s | 19 | 664022 | 632382 | 2331 601 | 2 | 16 185.36/185.41 c 184s | 19 | 672065 | 639782 | 2331 607 | 2 | 16 187.36/187.43 c 186s | 19 | 680701 | 647882 | 2331 614 | 2 | 16 189.36/189.44 c 188s | 19 | 688738 | 655282 | 2331 619 | 2 | 16 191.36/191.47 c 190s | 19 | 697124 | 662882 | 2565 625 | 2 | 16 192.46/192.51 c 191s | 20 | 701223 | 666827 | 2565 628 | 2 | 16 194.46/194.52 c 193s | 20 | 709727 | 675127 | 2565 634 | 2 | 16 196.46/196.54 c 195s | 20 | 717455 | 682627 | 2565 640 | 2 | 16 198.45/198.56 c 197s | 20 | 725763 | 690327 | 2565 646 | 2 | 16 200.45/200.58 c 199s | 20 | 733451 | 697827 | 2565 651 | 2 | 16 202.47/202.58 c 201s | 20 | 741442 | 705427 | 2565 657 | 2 | 16 204.46/204.60 c 203s | 20 | 749354 | 712827 | 2565 662 | 2 | 16 206.56/206.60 c 205s | 20 | 757856 | 721127 | 2565 669 | 2 | 16 208.56/208.61 c 207s | 20 | 766021 | 729127 | 2565 675 | 2 | 16 210.56/210.62 c 209s | 20 | 774397 | 737327 | 2565 681 | 2 | 16 212.56/212.65 c 211s | 20 | 782419 | 745027 | 2565 687 | 2 | 16 214.57/214.68 c 213s | 20 | 790105 | 752327 | 2565 692 | 2 | 16 216.56/216.69 c 215s | 20 | 797032 | 759027 | 2565 697 | 2 | 16 218.66/218.70 c 217s | 20 | 804015 | 765627 | 2565 702 | 2 | 16 220.66/220.72 c 219s | 20 | 810439 | 771827 | 2565 707 | 2 | 16 222.66/222.73 c 221s | 20 | 817904 | 778827 | 2565 712 | 2 | 16 224.66/224.73 c 223s | 20 | 824691 | 784927 | 2565 716 | 2 | 16 226.66/226.76 c 225s | 20 | 831615 | 791527 | 2565 721 | 2 | 16 228.66/228.76 c 227s | 20 | 838342 | 798027 | 2565 726 | 2 | 16 230.66/230.76 c 229s | 20 | 845009 | 804327 | 2565 731 | 2 | 16 232.66/232.78 c 231s | 20 | 851401 | 810427 | 2565 736 | 2 | 16 234.76/234.81 c 233s | 20 | 858644 | 817427 | 2565 741 | 2 | 16 236.76/236.83 c 235s | 20 | 865630 | 824127 | 2565 746 | 2 | 16 238.76/238.83 c 237s | 20 | 872655 | 830627 | 2565 751 | 2 | 16 240.75/240.83 c 239s | 20 | 879707 | 837327 | 2565 756 | 2 | 16 242.75/242.85 c 241s | 20 | 886446 | 843527 | 2565 760 | 2 | 16 244.75/244.87 c 243s | 20 | 893678 | 850327 | 2565 765 | 2 | 16 246.75/246.89 c 245s | 20 | 900741 | 857127 | 2565 770 | 2 | 16 248.75/248.89 c 247s | 20 | 907260 | 863327 | 2565 775 | 2 | 16 250.86/250.92 c 249s | 20 | 913737 | 869327 | 2565 780 | 2 | 16 252.85/252.94 c 251s | 20 | 919832 | 875327 | 2565 784 | 2 | 16 254.85/254.94 c 253s | 20 | 925845 | 880927 | 2565 788 | 2 | 16 256.85/256.94 c 255s | 20 | 933043 | 887927 | 2565 793 | 2 | 16 258.85/258.97 c 257s | 20 | 940236 | 894827 | 2565 799 | 2 | 16 260.85/260.97 c 259s | 20 | 947151 | 901527 | 2565 804 | 2 | 16 262.86/262.98 c 261s | 20 | 953764 | 907827 | 2565 808 | 2 | 16 264.85/264.98 c 263s | 20 | 960615 | 914427 | 2565 813 | 2 | 16 266.85/266.99 c 265s | 20 | 967975 | 921427 | 2565 818 | 2 | 16 268.95/269.01 c 267s | 20 | 974840 | 927927 | 2565 823 | 2 | 16 270.95/271.04 c 269s | 20 | 981000 | 933727 | 2565 827 | 2 | 16 272.95/273.04 c 271s | 20 | 987647 | 940127 | 2565 832 | 2 | 16 274.95/275.04 c 273s | 20 | 994577 | 946727 | 2565 837 | 2 | 16 276.95/277.06 c 275s | 20 | 1001852 | 953627 | 2565 842 | 2 | 16 278.95/279.10 c 277s | 20 | 1008694 | 960027 | 2565 847 | 2 | 16 281.05/281.10 c 279s | 20 | 1015613 | 966227 | 2565 852 | 2 | 16 283.05/283.11 c 281s | 20 | 1022155 | 971827 | 2565 856 | 2 | 16 285.04/285.12 c 283s | 20 | 1028278 | 977427 | 2565 860 | 2 | 16 287.05/287.13 c 285s | 20 | 1035264 | 983827 | 2565 865 | 2 | 16 289.04/289.14 c 287s | 20 | 1041968 | 990227 | 2822 869 | 2 | 16 291.04/291.16 c 289s | 20 | 1049409 | 997327 | 2822 874 | 2 | 16 291.94/292.04 c 290s | 21 | 1052485 | 1000345 | 2822 876 | 2 | 16 293.94/294.05 c 292s | 21 | 1060723 | 1008345 | 2822 882 | 2 | 16 295.95/296.06 c 294s | 21 | 1068548 | 1016045 | 2822 887 | 2 | 16 297.94/298.06 c 296s | 21 | 1076283 | 1023645 | 2822 892 | 2 | 16 299.94/300.07 c 298s | 21 | 1084908 | 1031845 | 2822 897 | 2 | 16 301.94/302.08 c 300s | 21 | 1092938 | 1039445 | 2822 902 | 2 | 16 304.04/304.11 c 302s | 21 | 1100183 | 1046545 | 2822 907 | 2 | 16 306.04/306.11 c 304s | 21 | 1106275 | 1052445 | 2822 911 | 2 | 16 308.05/308.12 c 306s | 21 | 1113302 | 1059045 | 2822 916 | 2 | 16 310.04/310.13 c 308s | 21 | 1121318 | 1066845 | 2822 921 | 2 | 16 312.04/312.14 c 310s | 21 | 1128996 | 1074345 | 2822 926 | 2 | 16 314.04/314.16 c 312s | 21 | 1135512 | 1080745 | 2822 930 | 2 | 16 316.04/316.18 c 314s | 21 | 1141735 | 1086745 | 2822 934 | 2 | 16 318.04/318.19 c 316s | 21 | 1148569 | 1093445 | 2822 939 | 2 | 16 320.04/320.20 c 318s | 21 | 1155067 | 1099745 | 2822 943 | 2 | 16 322.14/322.22 c 321s | 21 | 1162637 | 1107145 | 2822 948 | 2 | 16 324.14/324.23 c 323s | 21 | 1169157 | 1113545 | 2822 953 | 2 | 16 326.14/326.24 c 325s | 21 | 1174865 | 1119045 | 2822 956 | 2 | 16 328.14/328.24 c 327s | 21 | 1180763 | 1124745 | 2822 960 | 2 | 16 330.14/330.26 c 329s | 21 | 1188936 | 1132645 | 2822 966 | 2 | 16 332.15/332.29 c 331s | 21 | 1195992 | 1139545 | 2822 970 | 2 | 16 334.24/334.30 c 333s | 21 | 1202765 | 1146145 | 2822 975 | 2 | 16 336.24/336.31 c 335s | 21 | 1210108 | 1153345 | 2822 980 | 2 | 16 338.24/338.32 c 337s | 21 | 1217129 | 1160245 | 2822 984 | 2 | 16 340.24/340.33 c 339s | 21 | 1223723 | 1166745 | 2822 989 | 2 | 16 342.24/342.35 c 341s | 21 | 1230136 | 1173045 | 2822 993 | 2 | 16 344.25/344.38 c 343s | 21 | 1237360 | 1180145 | 2822 998 | 2 | 16 346.34/346.40 c 345s | 21 | 1243616 | 1186245 | 2822 1002 | 2 | 16 348.34/348.43 c 347s | 21 | 1249740 | 1192245 | 2822 1006 | 2 | 16 350.34/350.44 c 349s | 21 | 1257391 | 1199745 | 2822 1011 | 2 | 16 352.34/352.44 c 351s | 21 | 1265234 | 1207445 | 2822 1016 | 2 | 16 354.33/354.46 c 353s | 21 | 1272963 | 1215045 | 2822 1021 | 2 | 16 356.34/356.48 c 355s | 21 | 1280681 | 1222645 | 2822 1027 | 2 | 16 358.33/358.48 c 357s | 21 | 1288275 | 1229445 | 2822 1031 | 2 | 16 360.43/360.50 c 359s | 21 | 1295692 | 1236445 | 2822 1036 | 2 | 16 362.43/362.52 c 361s | 21 | 1302743 | 1243045 | 2822 1041 | 2 | 16 364.43/364.53 c 363s | 21 | 1309587 | 1249645 | 2822 1045 | 2 | 16 366.43/366.56 c 365s | 21 | 1317129 | 1256845 | 2822 1050 | 2 | 16 368.44/368.57 c 367s | 21 | 1323796 | 1263245 | 2822 1055 | 2 | 16 370.44/370.58 c 369s | 21 | 1330860 | 1269645 | 2822 1059 | 2 | 16 372.44/372.59 c 371s | 21 | 1337332 | 1275445 | 2822 1063 | 2 | 16 374.44/374.60 c 373s | 21 | 1343903 | 1281645 | 2822 1067 | 2 | 16 376.54/376.62 c 375s | 21 | 1350137 | 1287745 | 2822 1071 | 2 | 16 378.53/378.65 c 377s | 21 | 1357392 | 1294845 | 2822 1076 | 2 | 16 380.54/380.67 c 379s | 21 | 1364380 | 1301445 | 2822 1081 | 2 | 16 382.63/382.70 c 381s | 21 | 1371058 | 1307645 | 2822 1085 | 2 | 16 384.63/384.71 c 383s | 21 | 1378637 | 1314945 | 2822 1090 | 2 | 16 386.63/386.73 c 385s | 21 | 1386663 | 1322545 | 2822 1095 | 2 | 16 388.63/388.74 c 387s | 21 | 1394087 | 1329645 | 2822 1100 | 2 | 16 390.63/390.76 c 389s | 21 | 1401874 | 1336945 | 2822 1105 | 2 | 16 392.64/392.77 c 391s | 21 | 1409105 | 1343445 | 2822 1109 | 2 | 16 394.63/394.79 c 393s | 21 | 1415733 | 1349345 | 2822 1113 | 2 | 16 396.73/396.82 c 395s | 21 | 1422567 | 1355645 | 2822 1118 | 2 | 16 398.73/398.84 c 397s | 21 | 1429146 | 1361745 | 2822 1122 | 2 | 16 400.73/400.85 c 399s | 21 | 1436728 | 1369045 | 2822 1127 | 2 | 16 402.73/402.89 c 401s | 21 | 1444098 | 1376145 | 2822 1132 | 2 | 16 404.73/404.89 c 403s | 21 | 1450761 | 1382345 | 2822 1136 | 2 | 16 406.82/406.92 c 405s | 21 | 1457670 | 1388945 | 2822 1140 | 2 | 16 408.82/408.95 c 407s | 21 | 1464475 | 1395245 | 2822 1145 | 2 | 16 410.82/410.98 c 409s | 21 | 1471253 | 1401345 | 2822 1149 | 2 | 16 412.82/412.99 c 411s | 21 | 1478022 | 1407445 | 2822 1153 | 2 | 16 414.92/415.01 c 413s | 21 | 1485138 | 1413945 | 2822 1157 | 2 | 16 416.93/417.02 c 415s | 21 | 1491317 | 1419745 | 2822 1161 | 2 | 16 418.92/419.02 c 417s | 21 | 1497270 | 1425245 | 2822 1165 | 2 | 16 420.92/421.04 c 419s | 21 | 1503075 | 1430645 | 2822 1169 | 2 | 16 422.92/423.07 c 421s | 21 | 1510254 | 1436845 | 2822 1173 | 2 | 16 424.92/425.09 c 423s | 21 | 1516603 | 1442445 | 2822 1177 | 2 | 16 427.02/427.13 c 425s | 21 | 1524055 | 1449245 | 2822 1182 | 2 | 16 429.03/429.14 c 427s | 21 | 1530741 | 1455445 | 2822 1186 | 2 | 16 431.02/431.15 c 429s | 21 | 1537710 | 1461545 | 2822 1190 | 2 | 16 433.02/433.17 c 431s | 21 | 1544538 | 1467645 | 2822 1194 | 2 | 16 435.02/435.18 c 433s | 21 | 1550506 | 1473245 | 2822 1198 | 2 | 16 437.12/437.20 c 435s | 21 | 1555887 | 1478345 | 2822 1201 | 2 | 16 439.12/439.24 c 438s | 21 | 1562150 | 1484045 | 2822 1205 | 2 | 16 441.12/441.25 c 440s | 21 | 1567927 | 1489245 | 3105 1209 | 2 | 16 443.12/443.27 c 442s | 21 | 1574205 | 1494845 | 3105 1212 | 2 | 16 445.13/445.29 c 444s | 21 | 1580294 | 1500045 | 3105 1215 | 2 | 16 445.43/445.51 c 444s | 22 | 1580980 | 1500622 | 3105 1216 | 2 | 16 447.42/447.53 c 446s | 22 | 1586243 | 1505522 | 3105 1219 | 2 | 16 449.42/449.55 c 448s | 22 | 1592090 | 1511022 | 3105 1222 | 2 | 16 451.42/451.58 c 450s | 22 | 1597850 | 1516622 | 3105 1226 | 2 | 16 453.42/453.59 c 452s | 22 | 1603382 | 1521822 | 3105 1229 | 2 | 16 455.43/455.59 c 454s | 22 | 1608871 | 1527222 | 3105 1232 | 2 | 16 457.53/457.62 c 456s | 22 | 1615270 | 1533522 | 3105 1236 | 2 | 16 459.52/459.62 c 458s | 22 | 1621126 | 1539222 | 3105 1240 | 2 | 16 461.52/461.63 c 460s | 22 | 1627234 | 1545222 | 3105 1244 | 2 | 16 463.52/463.67 c 462s | 22 | 1633538 | 1551422 | 3105 1247 | 2 | 16 465.52/465.69 c 464s | 22 | 1641524 | 1559222 | 3105 1252 | 2 | 16 467.62/467.71 c 466s | 22 | 1649126 | 1566722 | 3105 1257 | 2 | 16 469.62/469.71 c 468s | 22 | 1656445 | 1573922 | 3105 1261 | 2 | 16 471.62/471.72 c 470s | 22 | 1663828 | 1580822 | 3105 1266 | 2 | 16 473.62/473.75 c 472s | 22 | 1669827 | 1586722 | 3105 1269 | 2 | 16 475.62/475.75 c 474s | 22 | 1676225 | 1593022 | 3105 1273 | 2 | 16 477.62/477.76 c 476s | 22 | 1682666 | 1599322 | 3105 1277 | 2 | 16 479.62/479.78 c 478s | 22 | 1689547 | 1606022 | 3105 1281 | 2 | 16 481.61/481.78 c 480s | 22 | 1696845 | 1613222 | 3105 1286 | 2 | 16 483.61/483.79 c 482s | 22 | 1704580 | 1620822 | 3105 1290 | 2 | 16 485.71/485.81 c 484s | 22 | 1711797 | 1627922 | 3105 1295 | 2 | 16 485.81/485.91 c 484s | 22 | 1712160 | 1628289 | 3105 1295 | 2 | 16 485.81/485.91 c #cpu_time = 483.458s 485.81/485.91 c #wall_clock_time = 484.696s 485.81/485.91 c #decision = 1712160 485.81/485.91 c #random_decision = 6639 485.81/485.91 c #conflict = 1628289 485.81/485.91 c #restart = 22 485.81/485.91 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=3 485.81/485.91 c lower bound updated to 3 485.81/485.91 c BCD2: 3 <= obj <= 168 485.81/485.91 c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0 485.81/485.91 c BCD2: #sat=1 #unsat=3 bias=3/4 485.81/485.91 c Solving starts ... 485.81/485.91 c ============================[ Search Statistics ]============================ 485.81/485.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 485.81/485.91 c | | | | Limit GC | Var | Constra 485.81/485.91 c ============================================================================= 485.81/485.91 c 0.0s | 0 | 0 | 0 | 3105 0 | 3 | 16 485.81/485.94 c 0.0s | 1 | 117 | 100 | 3105 0 | 3 | 17 485.81/485.99 c 0.1s | 2 | 281 | 250 | 3105 0 | 3 | 17 485.91/486.06 c 0.2s | 3 | 519 | 475 | 3105 0 | 3 | 17 486.01/486.16 c 0.3s | 4 | 918 | 813 | 3105 0 | 3 | 17 486.12/486.24 c 0.3s | 4 | 1293 | 1120 | 3105 1 | 3 | 17 486.12/486.24 c #cpu_time = 0.331s 486.12/486.24 c #wall_clock_time = 0.332s 486.12/486.24 c #decision = 1293 486.12/486.24 c #random_decision = 5 486.12/486.24 c #conflict = 1120 486.12/486.24 c #restart = 4 486.12/486.24 o 65 486.12/486.24 c BCD2: hardening fixes 1 literals 486.12/486.24 c BCD2: updating upper bound: 168 -> 64 486.12/486.24 c BCD2: 3 <= obj <= 64 486.12/486.24 c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=1 486.12/486.24 c BCD2: #sat=2 #unsat=3 bias=3/5 486.12/486.24 c Solving starts ... 486.12/486.24 c ============================[ Search Statistics ]============================ 486.12/486.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 486.12/486.24 c | | | | Limit GC | Var | Constra 486.12/486.24 c ============================================================================= 486.12/486.24 c 0.0s | 0 | 0 | 0 | 3105 0 | 13 | 19 486.12/486.28 c 0.0s | 0 | 139 | 83 | 3105 0 | 13 | 43 486.12/486.28 c #cpu_time = 0.044s 486.12/486.28 c #wall_clock_time = 0.044s 486.12/486.28 c #decision = 139 486.12/486.28 c #random_decision = 1 486.12/486.28 c #conflict = 83 486.12/486.28 c #restart = 0 486.12/486.28 o 37 486.12/486.28 c BCD2: hardening fixes 1 literals 486.12/486.28 c BCD2: updating upper bound: 64 -> 36 486.12/486.28 c BCD2: 3 <= obj <= 36 486.12/486.28 c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=2 486.12/486.28 c BCD2: #sat=3 #unsat=3 bias=3/6 486.12/486.28 c Solving starts ... 486.12/486.28 c ============================[ Search Statistics ]============================ 486.12/486.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 486.12/486.28 c | | | | Limit GC | Var | Constra 486.12/486.28 c ============================================================================= 486.12/486.28 c 0.0s | 0 | 0 | 0 | 3105 0 | 23 | 45 486.22/486.34 c 0.1s | 1 | 148 | 100 | 3105 0 | 23 | 69 486.22/486.37 c 0.1s | 2 | 357 | 250 | 3105 0 | 23 | 69 486.22/486.39 c 0.1s | 2 | 457 | 300 | 3105 0 | 23 | 69 486.22/486.39 c #cpu_time = 0.102s 486.22/486.39 c #wall_clock_time = 0.102s 486.22/486.39 c #decision = 457 486.22/486.39 c #random_decision = 1 486.22/486.39 c #conflict = 300 486.22/486.39 c #restart = 2 486.22/486.39 o 19 486.22/486.39 c BCD2: hardening fixes 1 literals 486.22/486.39 c BCD2: updating upper bound: 36 -> 18 486.22/486.39 c BCD2: 3 <= obj <= 18 486.22/486.39 c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=3 486.22/486.39 c BCD2: #sat=4 #unsat=3 bias=3/7 486.22/486.39 c Solving starts ... 486.22/486.39 c ============================[ Search Statistics ]============================ 486.22/486.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 486.22/486.39 c | | | | Limit GC | Var | Constra 486.22/486.39 c ============================================================================= 486.22/486.39 c 0.0s | 0 | 0 | 0 | 3105 0 | 33 | 71 486.22/486.39 c 0.0s | 0 | 67 | 5 | 3105 0 | 33 | 95 486.22/486.39 c #cpu_time = 0.004s 486.22/486.39 c #wall_clock_time = 0.004s 486.22/486.39 c #decision = 67 486.22/486.39 c #random_decision = 0 486.22/486.39 c #conflict = 5 486.22/486.39 c #restart = 0 486.22/486.39 o 7 486.22/486.39 c BCD2: hardening fixes 2 literals 486.22/486.39 c BCD2: updating upper bound: 18 -> 6 486.22/486.39 c BCD2: 3 <= obj <= 6 486.22/486.39 c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=5 486.22/486.39 c BCD2: #sat=5 #unsat=3 bias=3/8 486.22/486.39 c Solving starts ... 486.22/486.39 c ============================[ Search Statistics ]============================ 486.22/486.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 486.22/486.39 c | | | | Limit GC | Var | Constra 486.22/486.39 c ============================================================================= 486.22/486.39 c 0.0s | 0 | 0 | 0 | 3105 0 | 53 | 97 486.31/486.40 c 0.0s | 0 | 66 | 5 | 3105 0 | 53 | 145 486.31/486.40 c #cpu_time = 0.005s 486.31/486.40 c #wall_clock_time = 0.005s 486.31/486.40 c #decision = 66 486.31/486.40 c #random_decision = 0 486.31/486.40 c #conflict = 5 486.31/486.40 c #restart = 0 486.31/486.40 o 3 486.31/486.40 s OPTIMUM FOUND 486.31/486.40 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 486.31/486.40 v -x11 -x12 -x13 -x14 -x15 x16 x17 x18 -x19 x20 486.31/486.40 v x21 x22 x23 x24 x25 -x26 x27 -x28 x29 x30 486.31/486.40 v -x31 -x32 x33 x34 -x35 -x36 x37 -x38 x39 -x40 486.31/486.40 v x41 x42 -x43 -x44 -x45 -x46 -x47 x48 x49 -x50 486.31/486.40 v -x51 -x52 x53 x54 x55 -x56 x57 -x58 x59 -x60 486.31/486.40 v -x61 x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 486.31/486.40 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 486.31/486.40 v x81 x82 x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 486.31/486.40 v -x91 -x92 -x93 x94 -x95 -x96 486.31/486.40 c total CPU time = 485.158s 486.31/486.40 c total wall clock time = 486.400s
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-4106289-1466268794/watcher-4106289-1466268794 -o /tmp/evaluation-result-4106289-1466268794/solver-4106289-1466268794 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106289-1466268794.opb pid=22029 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.33 2.37 2.23 4/181 22032 /proc/meminfo: memFree=28930684/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=721340 CPUtime=0 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 2688 0 0 0 0 0 0 0 20 0 4 0 28925295 738652160 3049 33554432000 4194304 16246674 140733600182048 140733600181472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 180847 3059 441 2943 0 177741 0 [pid=22032/tid=22033] ppid=22029 vsize=739772 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 757526528 3120 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=743868 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 761720832 3137 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=747964 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28925295 765915136 3154 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100129 s] /proc/loadavg: 2.33 2.37 2.23 4/181 22032 /proc/meminfo: memFree=28930684/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 20924 0 0 0 6 2 0 0 20 0 4 0 28925295 1247350784 21272 33554432000 4194304 16246674 140733600182048 140733600181472 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 304529 21276 758 2943 0 301423 0 [pid=22032/tid=22033] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 21280 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 21289 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 21296 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200479 s] /proc/loadavg: 2.33 2.37 2.23 4/181 22032 /proc/meminfo: memFree=28930684/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 38185 0 0 0 13 5 0 0 20 0 4 0 28925295 1247350784 38533 33554432000 4194304 16246674 140733600182048 140733600181472 12477891 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 304529 38544 765 2943 0 301423 0 [pid=22032/tid=22033] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 38549 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 38554 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 38560 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300423 s] /proc/loadavg: 2.33 2.37 2.23 4/181 22032 /proc/meminfo: memFree=28930684/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 55523 0 0 0 21 8 0 0 20 0 4 0 28925295 1247350784 55872 33554432000 4194304 16246674 140733600182048 140733600181472 5573089 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 304529 55877 765 2943 0 301423 0 [pid=22032/tid=22033] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 55880 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 55885 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 55891 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700369 s] /proc/loadavg: 2.33 2.37 2.23 4/181 22032 /proc/meminfo: memFree=28930684/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 121811 0 0 0 52 17 0 0 20 0 4 0 28925295 1247350784 122159 33554432000 4194304 16246674 140733600182048 140733600181472 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 304529 122168 765 2943 0 301423 0 [pid=22032/tid=22033] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 122174 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 122177 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28925295 1247350784 122180 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50036 s] /proc/loadavg: 2.33 2.37 2.23 4/185 22036 /proc/meminfo: memFree=28171676/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 245867 0 0 0 117 32 0 0 20 0 4 0 28925295 1249447936 246192 33554432000 4194304 16246674 140733600182048 140733600181360 13191911 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 305041 246192 850 2943 0 301935 0 [pid=22032/tid=22033] ppid=22029 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1249447936 246192 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1249447936 246192 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1249447936 246192 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10038 s] /proc/loadavg: 2.33 2.37 2.23 4/185 22036 /proc/meminfo: memFree=27946740/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 267128 0 0 0 273 36 0 0 20 0 4 0 28925295 1336479744 267453 33554432000 4194304 16246674 140733600182048 140733600163968 5545840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 326289 267453 850 2943 0 323183 0 [pid=22032/tid=22033] ppid=22029 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1336479744 267453 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1336479744 267453 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1336479744 267453 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30044 s] /proc/loadavg: 2.31 2.37 2.23 3/185 22036 /proc/meminfo: memFree=27859572/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 267701 0 0 0 593 36 0 0 20 0 4 0 28925295 1338576896 268026 33554432000 4194304 16246674 140733600182048 140733600163968 13753126 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 326801 268026 853 2943 0 323695 0 [pid=22032/tid=22033] ppid=22029 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1338576896 268026 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1338576896 268026 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1338576896 268026 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.28 2.36 2.23 4/185 22036 /proc/meminfo: memFree=27856892/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 268154 0 0 0 1233 36 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140733600163968 5672197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 327057 268479 853 2943 0 323951 0 [pid=22032/tid=22033] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.22 2.34 2.22 3/185 22036 /proc/meminfo: memFree=27856780/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1308228 CPUtime=25.48 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 268154 0 0 0 2512 36 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140733600163968 5546233 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 327057 268479 853 2943 0 323951 0 [pid=22032/tid=22033] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.35 2.36 2.23 3/184 22036 /proc/meminfo: memFree=27857496/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1308228 CPUtime=51.08 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 268154 0 0 0 5072 36 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140733600163968 6022624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 327057 268479 853 2943 0 323951 0 [pid=22032/tid=22033] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1339625472 268479 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1308228 [startup+102.301 s] /proc/loadavg: 2.32 2.35 2.23 4/184 22037 /proc/meminfo: memFree=27853336/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1312324 CPUtime=102.28 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269178 0 0 0 10191 37 0 0 20 0 4 0 28925295 1343819776 269503 33554432000 4194304 16246674 140733600182048 140733600163968 5830022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328081 269503 853 2943 0 324975 0 [pid=22032/tid=22033] ppid=22029 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1343819776 269503 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1343819776 269503 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1343819776 269503 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 28186 39 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600163968 5712184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1314372 [startup+342.301 s] /proc/loadavg: 2.30 2.31 2.24 4/185 22043 /proc/meminfo: memFree=27849724/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=342.24 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 34184 40 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600163968 12483326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1314372 [startup+402.3 s] /proc/loadavg: 2.26 2.30 2.24 3/185 22044 /proc/meminfo: memFree=27849364/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=402.23 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 40182 41 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600163968 5711636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1314372 [startup+462.3 s] /proc/loadavg: 2.27 2.29 2.24 4/186 22049 /proc/meminfo: memFree=27848744/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=462.22 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 46180 42 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600165048 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1314372 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 22032 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+473.6 s] /proc/loadavg: 2.23 2.28 2.23 3/186 22072 /proc/meminfo: memFree=27846820/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=473.52 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 47310 42 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600163968 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 473.52 Current children cumulated vsize (KiB) 1314372 [startup+480 s] /proc/loadavg: 2.21 2.27 2.23 4/186 22072 /proc/meminfo: memFree=27847492/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=479.92 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 47950 42 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600165048 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 479.92 Current children cumulated vsize (KiB) 1314372 [startup+483.2 s] /proc/loadavg: 2.19 2.27 2.23 3/186 22073 /proc/meminfo: memFree=27847724/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=483.11 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 48269 42 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600165048 13809250 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 483.11 Current children cumulated vsize (KiB) 1314372 [startup+484.8 s] /proc/loadavg: 2.19 2.27 2.23 3/186 22073 /proc/meminfo: memFree=27847724/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=484.71 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 48429 42 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600163968 5523203 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 484.71 Current children cumulated vsize (KiB) 1314372 [startup+485.6 s] /proc/loadavg: 2.18 2.26 2.23 3/186 22073 /proc/meminfo: memFree=27847848/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=485.51 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 48509 42 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600163968 5823933 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 485.51 Current children cumulated vsize (KiB) 1314372 [startup+486 s] /proc/loadavg: 2.18 2.26 2.23 3/186 22073 /proc/meminfo: memFree=27847848/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=485.91 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269690 0 0 0 48549 42 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140733600163968 5531323 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270015 853 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270015 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 485.91 Current children cumulated vsize (KiB) 1314372 [startup+486.4 s] /proc/loadavg: 2.18 2.26 2.23 3/186 22073 /proc/meminfo: memFree=27847972/32872528 swapFree=1505436/1685308 [pid=22032] ppid=22029 vsize=1314372 CPUtime=486.31 cores=1,3,5,7 /proc/22032/stat : 22032 (toysat) R 22029 22032 21389 0 -1 4202496 269691 0 0 0 48589 42 0 0 20 0 4 0 28925295 1345916928 270016 33554432000 4194304 16246674 140733600182048 140733600163968 5808388 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22032/statm: 328593 270016 854 2943 0 325487 0 [pid=22032/tid=22033] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22033/stat : 22033 (toysat) S 22029 22032 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270016 33554432000 4194304 16246674 140733600182048 140478051757296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22032/tid=22034] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22034/stat : 22034 (toysat) S 22029 22032 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270016 33554432000 4194304 16246674 140733600182048 140478041267440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22032/tid=22035] ppid=22029 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22032/task/22035/stat : 22035 (toysat) S 22029 22032 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28925295 1345916928 270016 33554432000 4194304 16246674 140733600182048 140478030793904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 486.31 Current children cumulated vsize (KiB) 1314372 Child status: 0 Real time (s): 486.465 CPU time (s): 486.389 CPU user time (s): 485.9 CPU system time (s): 0.488925 CPU usage (%): 99.9844 Max. virtual memory (cumulated for all children) (KiB): 1314372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 485.9 system time used= 0.488925 maximum resident set size= 1080072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269695 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= 23 involuntary context switches= 507 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.66575 second user time and 2.08768 second system time The end
Begin job on node135 at 2016-06-18 18:53:14 IDJOB=4106289 IDBENCH=48004 IDSOLVER=2542 FILE ID=node135/4106289-1466268794 RUNJOBID= node135-1466266561-21406 PBS_JOBID= 19918237 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106289-1466268794/watcher-4106289-1466268794 -o /tmp/evaluation-result-4106289-1466268794/solver-4106289-1466268794 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106289-1466268794.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1cc97335e4341ed075b6e9adcc382d23 RANDOM SEED=1656900548 node135.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 : 2667.004 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 : 5334.00 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 : 2667.004 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 : 2667.004 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.57 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 : 2667.004 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 : 2667.004 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.55 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 : 2667.004 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 : 2667.004 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 : 2667.004 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: 28931336 kB Buffers: 152132 kB Cached: 281480 kB SwapCached: 716 kB Active: 1218080 kB Inactive: 297892 kB Active(anon): 1083672 kB Inactive(anon): 1308 kB Active(file): 134408 kB Inactive(file): 296584 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 16400 kB Writeback: 0 kB AnonPages: 2767608 kB Mapped: 10540 kB Shmem: 0 kB Slab: 605228 kB SReclaimable: 48972 kB SUnreclaim: 556256 kB KernelStack: 1504 kB PageTables: 9628 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2907992 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 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= 71672 MiB End job on node135 at 2016-06-18 19:01:20