| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.41 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ EmployeeScheduling/normalized-jul4.5.opb |
| MD5SUM | 8afd61a1e051f7029eb4312378b1cfd9 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 2.50762 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9632 |
| Total number of constraints | 29620 |
| Number of constraints which are clauses | 27552 |
| Number of constraints which are cardinality constraints (but not clauses) | 248 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1820 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 248 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2110 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 2110 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-29T16:55:10+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-4117420-1467212110.opb"] 0.00/0.01 c use --random-gen="2484637134 3412895401 2857062819 415635233 1752184084 3344251625 4088533053 157159130 3158327185 1316538890 1166333597 2037819117 1508265681 3109541941 1460911594 2557720481 2416403446 2924599225 3547025774 2870232397 1953283805 3125475893 1350014123 483551300 2279202933 2149208100 3098812669 1380988214 145967427 655578560 3236391430 1823398327 1161609722 764965515 80563853 2407730321 2580936302 2331547290 18466185 1373484016 1795693684 429089133 1807840599 2494635151 3323454356 1751018761 685753527 331649503 3246481322 2520527418 3224809705 2799511531 3078049546 2348864076 3799195243 1551422279 2181568123 2805933279 804244351 3966311369 815410883 3008705623 953247401 459799144 3928711971 3959826100 2548795224 3061381000 3668514562 3363659360 2646451519 868491199 4280742591 57699203 292072452 1637879905 3186723390 276138012 600515552 2900000028 3191249561 1967981635 1395999293 1746119506 1012210332 2654604397 4280403403 1672214517 2106653075 925176733 2248468366 1683745815 2946201716 3849003958 1129961169 1047855912 557657407 767549397 689991489 3694696930 3073953601 4256074365 4089241349 3066351861 221144147 3122020688 978716659 92220677 3155849784 3183530551 3297213310 2489839287 1881581928 2820742710 1519538706 172465298 3707965214 3824943650 7185865 1278265486 1559575082 1645576306 3789988312 2744782816 383672283 605763004 3341808403 883406848 3262772412 738946161 2191901940 2410610255 1202040875 758742700 3078544831 3502369203 328479014 3735433345 3832650304 2479577013 1639997273 891751288 2613078138 4114881543 3592071905 192899588 287779047 2845715538 4146984321 3963300262 2136662580 1657831543 2050194871 4071674774 1809812671 3993713533 31694325 2441322432 444111926 1613424759 2667768848 2183880312 3845042631 3050392859 2488010873 1290939173 992865731 856603711 1477518125 2843022919 3698438630 3826433022 3445064903 3155777164 3556181896 3346927218 3765594367 3731893812 2539879927 2172837038 278383514 1508325398 2261988030 1369189528 84082222 2643231330 481170977 3751379351 1024432014 2601759365 3498637372 3593882973 1723362598 752574850 24941899 880996437 1873697462 709443415 3900448012 2973791196 378317073 2526061785 345523253 4094079562 3186955510 2043449918 1146077694 2651432173 2111446680 1422605877 3025997773 740145932 1276455607 120223682 2112396602 2757985332 1796391823 1062187859 509277065 1704364898 2121015469 2979578647 3696623010 3554604749 1198898804 510206067 1761831317 508173308 1187500497 4060705604 1016155582 1306513104 721926064 3417786971 1235893125 2217772096 4021511628 227480430 2020882269 2671759320 1384193419 2014358502 3122164909 3581655089 4014758298 3177881761 561097977 934677936 530156152 870725638 3166326855 4003977355 309229306 2071145643 1131984141 17675649 255 362436" option to reproduce the execution 0.19/0.23 c #vars 9632 0.19/0.23 c #constraints 29620 0.59/0.67 c BCD2: Hardening is enabled. 0.59/0.67 c BCD2: BiasedSearch is enabled. 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 13084 0 | 0 | 0 0.79/0.85 c 0.2s | 1 | 9987 | 100 | 13084 0 | 0 | 0 0.88/0.94 c 0.3s | 2 | 11618 | 250 | 14393 0 | 0 | 0 0.99/1.07 c 0.4s | 3 | 14183 | 475 | 15833 0 | 0 | 0 1.29/1.33 c 0.7s | 4 | 28661 | 813 | 17417 0 | 0 | 0 1.38/1.48 c 0.8s | 5 | 31113 | 1320 | 19159 0 | 0 | 0 1.99/2.03 c 1.4s | 6 | 55893 | 2081 | 23183 0 | 0 | 0 2.30/2.37 c 1.7s | 7 | 57159 | 3223 | 25502 0 | 0 | 0 2.89/2.95 c 2.3s | 8 | 59230 | 4936 | 28053 0 | 0 | 0 3.69/3.79 c 3.1s | 9 | 61991 | 7506 | 30859 0 | 0 | 0 5.09/5.13 c 4.5s | 10 | 66526 | 11361 | 33945 0 | 0 | 0 7.09/7.13 c 6.5s | 10 | 71801 | 16261 | 33945 0 | 0 | 0 7.49/7.59 c 6.9s | 11 | 72685 | 17144 | 37340 0 | 0 | 0 9.59/9.65 c 9.0s | 11 | 76561 | 20844 | 37340 0 | 0 | 0 11.59/11.68 c 11.0s | 11 | 80456 | 24344 | 37340 0 | 0 | 0 12.59/12.64 c 12.0s | 12 | 82157 | 25819 | 41074 0 | 0 | 0 14.58/14.66 c 14.0s | 12 | 84979 | 28419 | 41074 0 | 0 | 0 16.59/16.69 c 16.0s | 12 | 87256 | 30619 | 41074 0 | 0 | 0 18.69/18.75 c 18.1s | 12 | 89632 | 32819 | 41074 0 | 0 | 0 20.68/20.78 c 20.1s | 12 | 92317 | 35319 | 41074 0 | 0 | 0 22.78/22.81 c 22.1s | 12 | 94714 | 37519 | 41074 0 | 0 | 0 23.98/24.06 c 23.4s | 13 | 96065 | 38832 | 45182 0 | 0 | 0 26.08/26.16 c 25.5s | 13 | 98395 | 40832 | 45182 0 | 0 | 0 28.28/28.31 c 27.6s | 13 | 100227 | 42432 | 45182 0 | 0 | 0 30.39/30.40 c 29.7s | 13 | 101891 | 43932 | 45182 0 | 0 | 0 32.38/32.41 c 31.7s | 13 | 103730 | 45432 | 45182 1 | 0 | 0 34.48/34.54 c 33.9s | 13 | 104414 | 46032 | 45182 1 | 0 | 0 36.48/36.54 c 35.9s | 13 | 107078 | 48232 | 45182 1 | 0 | 0 38.49/38.60 c 37.9s | 13 | 110890 | 51532 | 45182 1 | 0 | 0 40.59/40.62 c 40.0s | 13 | 114184 | 54332 | 45182 1 | 0 | 0 42.59/42.63 c 42.0s | 13 | 117677 | 57332 | 45182 1 | 0 | 0 43.49/43.50 c 42.8s | 14 | 118832 | 58352 | 49701 1 | 0 | 0 45.49/45.56 c 44.9s | 14 | 121172 | 60452 | 49701 1 | 0 | 0 47.78/47.83 c 47.2s | 14 | 123331 | 62552 | 49701 1 | 0 | 0 49.78/49.86 c 49.2s | 14 | 124818 | 63952 | 49701 1 | 0 | 0 51.79/51.88 c 51.2s | 14 | 126730 | 65652 | 49701 1 | 0 | 0 53.78/53.90 c 53.2s | 14 | 128325 | 67152 | 49701 1 | 0 | 0 55.88/55.92 c 55.3s | 14 | 130131 | 68752 | 49701 1 | 0 | 0 57.88/57.92 c 57.3s | 14 | 131649 | 70152 | 49701 1 | 0 | 0 59.98/60.03 c 59.4s | 14 | 133182 | 71552 | 49701 1 | 0 | 0 64.98/65.02 c 64.4s | 14 | 134286 | 72552 | 49701 2 | 0 | 0 66.97/67.04 c 66.4s | 14 | 135678 | 73852 | 49701 2 | 0 | 0 68.97/69.09 c 68.4s | 14 | 138568 | 76552 | 49701 2 | 0 | 0 70.97/71.09 c 70.4s | 14 | 141113 | 78952 | 49701 2 | 0 | 0 73.07/73.11 c 72.4s | 14 | 143450 | 81152 | 49701 2 | 0 | 0 75.07/75.15 c 74.5s | 14 | 145224 | 82852 | 49701 2 | 0 | 0 77.08/77.17 c 76.5s | 14 | 147679 | 85152 | 49701 2 | 0 | 0 90.47/90.56 c 89.9s | 14 | 148457 | 85852 | 49701 2 | 0 | 0 92.57/92.65 c 92.0s | 14 | 150274 | 87452 | 54672 2 | 0 | 0 92.87/92.92 c 92.2s | 15 | 150479 | 87632 | 54672 2 | 0 | 0 95.07/95.19 c 94.5s | 15 | 151866 | 88832 | 54672 2 | 0 | 0 97.27/97.30 c 96.6s | 15 | 153222 | 90132 | 54672 2 | 0 | 0 99.37/99.48 c 98.8s | 15 | 154190 | 91032 | 54672 2 | 0 | 0 101.47/101.52 c 100s | 15 | 155023 | 91832 | 54672 2 | 0 | 0 103.48/103.54 c 102s | 15 | 155881 | 92632 | 54672 2 | 0 | 0 105.68/105.74 c 105s | 15 | 156741 | 93432 | 54672 2 | 0 | 0 107.67/107.79 c 107s | 15 | 157785 | 94432 | 54672 2 | 0 | 0 109.77/109.80 c 109s | 15 | 158669 | 95232 | 54672 2 | 0 | 0 111.97/112.07 c 111s | 15 | 159919 | 96432 | 54672 2 | 0 | 0 114.17/114.20 c 113s | 15 | 161074 | 97532 | 54672 2 | 0 | 0 116.37/116.45 c 115s | 15 | 162231 | 98632 | 54672 2 | 0 | 0 118.57/118.62 c 117s | 15 | 163244 | 99632 | 54672 2 | 0 | 0 120.57/120.66 c 119s | 15 | 164532 | 100832 | 54672 2 | 0 | 0 122.57/122.68 c 122s | 15 | 165550 | 101732 | 54672 2 | 0 | 0 129.37/129.42 c 128s | 15 | 166296 | 102432 | 54672 3 | 0 | 0 132.47/132.54 c 131s | 15 | 166525 | 102632 | 54672 3 | 0 | 0 134.47/134.56 c 133s | 15 | 169796 | 105632 | 54672 3 | 0 | 0 143.07/143.13 c 142s | 15 | 170292 | 106032 | 54672 3 | 0 | 0 145.07/145.19 c 144s | 15 | 173039 | 108332 | 54672 3 | 0 | 0 147.17/147.20 c 146s | 15 | 175400 | 110332 | 54672 3 | 0 | 0 149.17/149.27 c 148s | 15 | 176950 | 111832 | 54672 3 | 0 | 0 151.27/151.33 c 150s | 15 | 179000 | 113632 | 54672 3 | 0 | 0 153.26/153.33 c 152s | 15 | 183044 | 117032 | 54672 3 | 0 | 0 155.36/155.40 c 154s | 15 | 186631 | 120132 | 54672 3 | 0 | 0 157.46/157.50 c 156s | 15 | 190097 | 123032 | 54672 3 | 0 | 0 159.47/159.56 c 158s | 15 | 192849 | 125432 | 54672 3 | 0 | 0 161.46/161.57 c 160s | 15 | 195660 | 127732 | 54672 3 | 0 | 0 167.77/167.81 c 167s | 15 | 198282 | 129932 | 54672 4 | 0 | 0 169.67/169.79 c 169s | 16 | 200224 | 131552 | 60140 4 | 0 | 0 174.16/174.26 c 173s | 16 | 200699 | 131952 | 60140 4 | 0 | 0 200.36/200.49 c 199s | 16 | 202690 | 133852 | 60140 4 | 0 | 0 202.46/202.55 c 201s | 16 | 203699 | 134852 | 60140 4 | 0 | 0 204.46/204.59 c 203s | 16 | 205425 | 136552 | 60140 4 | 0 | 0 206.56/206.64 c 205s | 16 | 207391 | 138452 | 60140 4 | 0 | 0 208.56/208.67 c 208s | 16 | 209557 | 140452 | 60140 4 | 0 | 0 210.66/210.72 c 210s | 16 | 211229 | 141952 | 60140 4 | 0 | 0 212.66/212.75 c 212s | 16 | 212960 | 143552 | 60140 4 | 0 | 0 214.76/214.87 c 214s | 16 | 214751 | 145252 | 60140 4 | 0 | 0 216.86/216.93 c 216s | 16 | 216338 | 146752 | 60140 4 | 0 | 0 218.96/219.06 c 218s | 16 | 217963 | 148352 | 60140 4 | 0 | 0 221.06/221.14 c 220s | 16 | 219085 | 149452 | 60140 4 | 0 | 0 223.15/223.22 c 222s | 16 | 220422 | 150752 | 60140 4 | 0 | 0 225.25/225.36 c 224s | 16 | 221740 | 152052 | 60140 4 | 0 | 0 227.25/227.39 c 226s | 16 | 223157 | 153452 | 60140 4 | 0 | 0 229.35/229.43 c 228s | 16 | 224276 | 154552 | 60140 4 | 0 | 0 231.45/231.56 c 230s | 16 | 225294 | 155552 | 60140 4 | 0 | 0 233.45/233.59 c 232s | 16 | 226408 | 156652 | 60140 4 | 0 | 0 235.55/235.63 c 234s | 16 | 227518 | 157752 | 60140 4 | 0 | 0 237.56/237.64 c 236s | 16 | 228547 | 158652 | 60140 4 | 0 | 0 239.65/239.72 c 239s | 16 | 229729 | 159652 | 60140 4 | 0 | 0 241.75/241.87 c 241s | 16 | 231078 | 160852 | 60140 4 | 0 | 0 243.85/243.94 c 243s | 16 | 232028 | 161752 | 60140 4 | 0 | 0 247.85/247.91 c 247s | 16 | 233224 | 162752 | 60140 5 | 0 | 0 252.35/252.47 c 251s | 16 | 233345 | 162852 | 60140 5 | 0 | 0 255.45/255.58 c 254s | 16 | 233450 | 162952 | 60140 5 | 0 | 0 257.45/257.58 c 256s | 16 | 234776 | 164152 | 60140 5 | 0 | 0 259.44/259.60 c 258s | 16 | 236907 | 166152 | 60140 5 | 0 | 0 261.64/261.71 c 261s | 16 | 238942 | 168052 | 60140 5 | 0 | 0 263.74/263.80 c 263s | 16 | 240488 | 169452 | 60140 5 | 0 | 0 265.74/265.84 c 265s | 16 | 242313 | 171152 | 60140 5 | 0 | 0 267.84/267.91 c 267s | 16 | 244211 | 172952 | 60140 5 | 0 | 0 269.94/270.01 c 269s | 16 | 245885 | 174452 | 60140 5 | 0 | 0 271.94/272.05 c 271s | 16 | 247407 | 175852 | 60140 5 | 0 | 0 273.95/274.07 c 273s | 16 | 248707 | 177052 | 60140 5 | 0 | 0 276.06/276.19 c 275s | 16 | 250225 | 178452 | 60140 5 | 0 | 0 278.15/278.25 c 277s | 16 | 251591 | 179752 | 60140 5 | 0 | 0 280.25/280.33 c 279s | 16 | 253181 | 181252 | 60140 5 | 0 | 0 282.35/282.46 c 281s | 16 | 254440 | 182352 | 60140 5 | 0 | 0 284.35/284.48 c 283s | 16 | 255491 | 183352 | 60140 5 | 0 | 0 286.45/286.59 c 285s | 16 | 256779 | 184552 | 60140 5 | 0 | 0 288.55/288.66 c 287s | 16 | 258079 | 185752 | 60140 5 | 0 | 0 290.55/290.68 c 290s | 16 | 259455 | 187052 | 60140 5 | 0 | 0 292.66/292.78 c 292s | 16 | 261066 | 188552 | 60140 5 | 0 | 0 294.76/294.90 c 294s | 16 | 262429 | 189852 | 60140 5 | 0 | 0 296.95/297.04 c 296s | 16 | 263616 | 190952 | 60140 5 | 0 | 0 299.05/299.15 c 298s | 16 | 264777 | 192052 | 60140 5 | 0 | 0 302.05/302.14 c 301s | 16 | 265644 | 192852 | 60140 6 | 0 | 0 304.65/304.75 c 304s | 16 | 266827 | 193952 | 60140 6 | 0 | 0 309.64/309.73 c 309s | 16 | 267361 | 194452 | 60140 6 | 0 | 0 311.74/311.86 c 311s | 16 | 269664 | 196552 | 66154 6 | 0 | 0 312.64/312.73 c 312s | 17 | 270648 | 197432 | 66154 6 | 0 | 0 335.64/335.75 c 335s | 17 | 270873 | 197532 | 66154 6 | 0 | 0 337.64/337.80 c 337s | 17 | 274147 | 200432 | 66154 6 | 0 | 0 339.74/339.84 c 339s | 17 | 277804 | 203532 | 66154 6 | 0 | 0 341.74/341.85 c 341s | 17 | 283280 | 208132 | 66154 6 | 0 | 0 343.74/343.88 c 343s | 17 | 288420 | 212432 | 66154 6 | 0 | 0 345.84/345.92 c 345s | 17 | 291351 | 214832 | 66154 6 | 0 | 0 347.94/348.00 c 347s | 17 | 295048 | 217932 | 66154 6 | 0 | 0 349.93/350.02 c 349s | 17 | 297274 | 219832 | 66154 6 | 0 | 0 351.94/352.07 c 351s | 17 | 299656 | 221932 | 66154 6 | 0 | 0 354.03/354.15 c 353s | 17 | 302279 | 224232 | 66154 6 | 0 | 0 356.03/356.17 c 355s | 17 | 304629 | 226332 | 66154 6 | 0 | 0 358.03/358.19 c 357s | 17 | 306942 | 228332 | 66154 6 | 0 | 0 360.13/360.27 c 359s | 17 | 307969 | 229232 | 66154 7 | 0 | 0 363.13/363.29 c 362s | 17 | 309195 | 230332 | 66154 7 | 0 | 0 365.24/365.34 c 364s | 17 | 310296 | 231332 | 66154 7 | 0 | 0 367.23/367.39 c 366s | 17 | 313476 | 234132 | 66154 7 | 0 | 0 369.33/369.46 c 368s | 17 | 315783 | 236132 | 66154 7 | 0 | 0 371.33/371.47 c 370s | 17 | 317913 | 238032 | 66154 7 | 0 | 0 384.23/384.34 c 383s | 17 | 319464 | 239332 | 66154 7 | 0 | 0 387.83/387.96 c 387s | 17 | 319570 | 239432 | 66154 7 | 0 | 0 389.92/390.07 c 389s | 17 | 320681 | 240432 | 66154 7 | 0 | 0 392.12/392.21 c 391s | 17 | 322309 | 241832 | 66154 7 | 0 | 0 394.23/394.30 c 393s | 17 | 324122 | 243532 | 66154 7 | 0 | 0 396.32/396.41 c 395s | 17 | 326367 | 245432 | 66154 7 | 0 | 0 398.52/398.63 c 397s | 17 | 327955 | 246832 | 66154 7 | 0 | 0 400.62/400.73 c 400s | 17 | 331031 | 249432 | 66154 7 | 0 | 0 402.63/402.75 c 402s | 17 | 333261 | 251332 | 66154 7 | 0 | 0 404.73/404.87 c 404s | 17 | 335544 | 253332 | 66154 7 | 0 | 0 406.73/406.87 c 406s | 17 | 337823 | 255232 | 66154 7 | 0 | 0 408.73/408.88 c 408s | 17 | 340340 | 257432 | 66154 7 | 0 | 0 410.73/410.89 c 410s | 17 | 342980 | 259732 | 66154 7 | 0 | 0 412.83/412.91 c 412s | 17 | 345595 | 261832 | 66154 7 | 0 | 0 425.43/425.59 c 424s | 17 | 346041 | 262232 | 66154 8 | 0 | 0 427.52/427.60 c 426s | 17 | 348295 | 264132 | 66154 8 | 0 | 0 429.52/429.64 c 428s | 17 | 352010 | 267332 | 66154 8 | 0 | 0 475.13/475.22 c 474s | 17 | 355525 | 270232 | 66154 8 | 0 | 0 477.12/477.27 c 476s | 17 | 358023 | 272332 | 66154 8 | 0 | 0 479.22/479.31 c 478s | 17 | 360291 | 274232 | 66154 8 | 0 | 0 481.22/481.34 c 480s | 17 | 363363 | 276732 | 66154 8 | 0 | 0 483.32/483.40 c 482s | 17 | 366368 | 279232 | 66154 8 | 0 | 0 485.32/485.48 c 484s | 17 | 369534 | 281832 | 66154 8 | 0 | 0 487.42/487.55 c 486s | 17 | 372632 | 284532 | 66154 8 | 0 | 0 489.42/489.57 c 488s | 17 | 375558 | 287032 | 66154 8 | 0 | 0 491.52/491.60 c 490s | 17 | 378279 | 289332 | 66154 8 | 0 | 0 493.52/493.66 c 492s | 17 | 380859 | 291532 | 66154 8 | 0 | 0 495.61/495.72 c 495s | 17 | 383428 | 293732 | 66154 8 | 0 | 0 497.61/497.79 c 497s | 17 | 385789 | 295832 | 72770 8 | 0 | 0 498.01/498.19 c 497s | 18 | 386278 | 296252 | 72770 8 | 0 | 0 500.21/500.32 c 499s | 18 | 387391 | 297252 | 72770 8 | 0 | 0 502.31/502.41 c 501s | 18 | 389010 | 298852 | 72770 8 | 0 | 0 504.31/504.46 c 503s | 18 | 390388 | 300152 | 72770 8 | 0 | 0 506.51/506.66 c 505s | 18 | 391231 | 300952 | 72770 8 | 0 | 0 510.91/511.05 c 510s | 18 | 392250 | 301952 | 72770 9 | 0 | 0 523.71/523.88 c 523s | 18 | 392553 | 302252 | 72770 9 | 0 | 0 593.40/593.51 c 592s | 18 | 393374 | 303052 | 72770 9 | 0 | 0 595.40/595.56 c 594s | 18 | 395943 | 305452 | 72770 9 | 0 | 0 597.40/597.59 c 596s | 18 | 397985 | 307352 | 72770 9 | 0 | 0 599.60/599.72 c 599s | 18 | 400018 | 309252 | 72770 9 | 0 | 0 601.61/601.76 c 601s | 18 | 401709 | 310852 | 72770 9 | 0 | 0 603.60/603.77 c 603s | 18 | 403284 | 312352 | 72770 9 | 0 | 0 605.70/605.86 c 605s | 18 | 405067 | 314052 | 72770 9 | 0 | 0 607.80/607.90 c 607s | 18 | 406120 | 315052 | 72770 9 | 0 | 0 609.80/609.97 c 609s | 18 | 407381 | 316252 | 72770 9 | 0 | 0 611.80/611.97 c 611s | 18 | 408872 | 317652 | 72770 9 | 0 | 0 613.90/614.00 c 613s | 18 | 410480 | 319152 | 72770 9 | 0 | 0 615.91/616.03 c 615s | 18 | 412402 | 320952 | 72770 9 | 0 | 0 618.00/618.13 c 617s | 18 | 414325 | 322752 | 72770 9 | 0 | 0 620.10/620.22 c 619s | 18 | 415875 | 324252 | 72770 9 | 0 | 0 622.10/622.28 c 621s | 18 | 417348 | 325652 | 72770 9 | 0 | 0 624.20/624.38 c 623s | 18 | 418319 | 326552 | 72770 9 | 0 | 0 626.40/626.55 c 625s | 18 | 419486 | 327652 | 72770 9 | 0 | 0 628.50/628.63 c 627s | 18 | 420975 | 329052 | 72770 9 | 0 | 0 630.50/630.64 c 629s | 18 | 422384 | 330352 | 72770 9 | 0 | 0 632.70/632.81 c 632s | 18 | 424120 | 331952 | 72770 9 | 0 | 0 634.70/634.89 c 634s | 18 | 425487 | 333252 | 72770 9 | 0 | 0 636.80/636.96 c 636s | 18 | 426977 | 334652 | 72770 9 | 0 | 0 638.89/639.01 c 638s | 18 | 428875 | 336252 | 72770 9 | 0 | 0 640.89/641.03 c 640s | 18 | 429878 | 337152 | 72770 9 | 0 | 0 642.99/643.18 c 642s | 18 | 430966 | 338152 | 72770 9 | 0 | 0 646.80/646.97 c 646s | 18 | 431307 | 338452 | 72770 10 | 0 | 0 648.90/649.05 c 648s | 18 | 433304 | 340352 | 72770 10 | 0 | 0 650.99/651.15 c 650s | 18 | 435423 | 342352 | 72770 10 | 0 | 0 652.99/653.19 c 652s | 18 | 437428 | 344252 | 72770 10 | 0 | 0 655.19/655.31 c 654s | 18 | 439378 | 346052 | 72770 10 | 0 | 0 657.19/657.36 c 656s | 18 | 441148 | 347752 | 72770 10 | 0 | 0 659.29/659.49 c 658s | 18 | 442839 | 349352 | 72770 10 | 0 | 0 687.49/687.61 c 686s | 18 | 444539 | 350952 | 72770 10 | 0 | 0 689.69/689.84 c 689s | 18 | 445269 | 351552 | 72770 10 | 0 | 0 691.79/691.92 c 691s | 18 | 446419 | 352652 | 72770 10 | 0 | 0 693.88/694.09 c 693s | 18 | 447977 | 354052 | 72770 10 | 0 | 0 695.98/696.15 c 695s | 18 | 449074 | 355052 | 72770 10 | 0 | 0 698.08/698.21 c 697s | 18 | 450603 | 356452 | 72770 10 | 0 | 0 700.18/700.30 c 699s | 18 | 452339 | 357952 | 72770 10 | 0 | 0 702.28/702.40 c 701s | 18 | 453915 | 359352 | 72770 10 | 0 | 0 704.28/704.43 c 703s | 18 | 455502 | 360752 | 72770 10 | 0 | 0 781.67/781.85 c 781s | 18 | 456951 | 362152 | 72770 10 | 0 | 0 783.77/783.95 c 783s | 18 | 458037 | 363052 | 72770 10 | 0 | 0 785.87/786.05 c 785s | 18 | 458810 | 363752 | 72770 10 | 0 | 0 787.87/788.05 c 787s | 18 | 459900 | 364752 | 72770 10 | 0 | 0 789.97/790.13 c 789s | 18 | 461823 | 366352 | 72770 10 | 0 | 0 792.17/792.31 c 791s | 18 | 463136 | 367552 | 72770 10 | 0 | 0 794.17/794.38 c 793s | 18 | 464773 | 369052 | 72770 10 | 0 | 0 796.37/796.51 c 795s | 18 | 465985 | 370152 | 72770 10 | 0 | 0 798.36/798.55 c 797s | 18 | 467207 | 371252 | 72770 10 | 0 | 0 800.36/800.58 c 799s | 18 | 468424 | 372352 | 72770 10 | 0 | 0 802.56/802.70 c 802s | 18 | 469746 | 373552 | 72770 10 | 0 | 0 804.56/804.70 c 804s | 18 | 470930 | 374652 | 72770 10 | 0 | 0 808.76/808.91 c 808s | 18 | 471144 | 374852 | 72770 11 | 0 | 0 828.96/829.10 c 828s | 18 | 472769 | 376352 | 72770 11 | 0 | 0 830.96/831.13 c 830s | 18 | 474623 | 378052 | 72770 11 | 0 | 0 832.96/833.16 c 832s | 18 | 477050 | 380252 | 72770 11 | 0 | 0 835.06/835.23 c 834s | 18 | 479330 | 382452 | 72770 11 | 0 | 0 838.35/838.59 c 837s | 18 | 481675 | 384652 | 72770 11 | 0 | 0 840.45/840.62 c 839s | 18 | 483066 | 385952 | 72770 11 | 0 | 0 842.46/842.67 c 842s | 18 | 484736 | 387552 | 72770 11 | 0 | 0 844.55/844.78 c 844s | 18 | 486389 | 389152 | 72770 11 | 0 | 0 846.55/846.79 c 846s | 18 | 487334 | 389952 | 72770 11 | 0 | 0 848.65/848.84 c 848s | 18 | 489370 | 391952 | 72770 11 | 0 | 0 882.24/882.48 c 881s | 18 | 489684 | 392252 | 72770 11 | 0 | 0 884.44/884.64 c 883s | 18 | 491096 | 393452 | 72770 11 | 0 | 0 886.55/886.74 c 886s | 18 | 492375 | 394652 | 72770 11 | 0 | 0 888.54/888.75 c 888s | 18 | 494735 | 396852 | 72770 11 | 0 | 0 890.64/890.87 c 890s | 18 | 497285 | 399152 | 72770 11 | 0 | 0 892.74/892.91 c 892s | 18 | 500387 | 401752 | 72770 11 | 0 | 0 894.74/894.96 c 894s | 18 | 504106 | 405052 | 72770 11 | 0 | 0 896.84/897.01 c 896s | 18 | 507733 | 408252 | 72770 11 | 0 | 0 898.84/899.05 c 898s | 18 | 511060 | 411152 | 72770 11 | 0 | 0 926.23/926.45 c 925s | 18 | 511896 | 411852 | 72770 12 | 0 | 0 949.13/949.37 c 948s | 18 | 512037 | 411952 | 72770 12 | 0 | 0 957.62/957.86 c 957s | 18 | 512134 | 412052 | 72770 12 | 0 | 0 959.62/959.88 c 959s | 18 | 514128 | 413952 | 72770 12 | 0 | 0 961.72/961.97 c 961s | 18 | 515810 | 415452 | 72770 12 | 0 | 0 963.82/964.06 c 963s | 18 | 517733 | 417152 | 72770 12 | 0 | 0 965.82/966.08 c 965s | 18 | 519707 | 418852 | 72770 12 | 0 | 0 967.93/968.12 c 967s | 18 | 521637 | 420552 | 72770 12 | 0 | 0 969.92/970.14 c 969s | 18 | 523390 | 422152 | 72770 12 | 0 | 0 972.02/972.26 c 971s | 18 | 524986 | 423552 | 72770 12 | 0 | 0 974.12/974.31 c 973s | 18 | 526813 | 425152 | 72770 12 | 0 | 0 976.12/976.35 c 975s | 18 | 529271 | 427252 | 72770 12 | 0 | 0 978.22/978.45 c 977s | 18 | 531110 | 428752 | 72770 12 | 0 | 0 980.32/980.54 c 979s | 18 | 533217 | 430452 | 72770 12 | 0 | 0 982.42/982.64 c 981s | 18 | 535109 | 432052 | 72770 12 | 0 | 0 984.52/984.77 c 984s | 18 | 536964 | 433652 | 72770 12 | 0 | 0 986.62/986.80 c 986s | 18 | 539923 | 436152 | 72770 12 | 0 | 0 988.71/988.95 c 988s | 18 | 541381 | 437352 | 72770 12 | 0 | 0 990.81/991.01 c 990s | 18 | 543108 | 438852 | 72770 12 | 0 | 0 992.91/993.10 c 992s | 18 | 545057 | 440452 | 72770 12 | 0 | 0 995.11/995.36 c 994s | 18 | 546306 | 441552 | 80047 12 | 0 | 0 997.10/997.38 c 996s | 18 | 547517 | 442652 | 80047 12 | 0 | 0 999.30/999.53 c 998s | 18 | 548970 | 443952 | 80047 12 | 0 | 0 1000.10/1000.39 c 999s | 19 | 549533 | 444482 | 80047 12 | 0 | 0 1002.30/1002.54 c 1001s | 19 | 550965 | 445682 | 80047 12 | 0 | 0 1004.30/1004.57 c 1003s | 19 | 552435 | 446982 | 80047 12 | 0 | 0 1006.50/1006.71 c 1006s | 19 | 553849 | 448282 | 80047 12 | 0 | 0 1008.61/1008.81 c 1008s | 19 | 555250 | 449582 | 80047 12 | 0 | 0 1010.71/1010.94 c 1010s | 19 | 556755 | 451082 | 80047 12 | 0 | 0 1012.80/1013.00 c 1012s | 19 | 558182 | 452482 | 80047 12 | 0 | 0 1014.80/1015.07 c 1014s | 19 | 560144 | 454182 | 80047 12 | 0 | 0 1017.10/1017.33 c 1016s | 19 | 561157 | 455082 | 80047 13 | 0 | 0 1019.50/1019.74 c 1019s | 19 | 561393 | 455282 | 80047 13 | 0 | 0 1061.59/1061.89 c 1061s | 19 | 563166 | 456782 | 80047 13 | 0 | 0 1066.09/1066.30 c 1065s | 19 | 563827 | 457382 | 80047 13 | 0 | 0 1080.98/1081.20 c 1080s | 19 | 565128 | 458482 | 80047 13 | 0 | 0 1101.19/1101.40 c 1100s | 19 | 565294 | 458582 | 80047 13 | 0 | 0 1103.29/1103.50 c 1102s | 19 | 566556 | 459682 | 80047 13 | 0 | 0 1105.29/1105.53 c 1104s | 19 | 568882 | 461682 | 80047 13 | 0 | 0 1107.38/1107.62 c 1106s | 19 | 571277 | 463782 | 80047 13 | 0 | 0 1109.38/1109.65 c 1108s | 19 | 573670 | 465782 | 80047 13 | 0 | 0 1111.38/1111.68 c 1111s | 19 | 575152 | 467082 | 80047 13 | 0 | 0 1113.48/1113.74 c 1113s | 19 | 576695 | 468482 | 80047 13 | 0 | 0 1115.58/1115.81 c 1115s | 19 | 579254 | 470782 | 80047 13 | 0 | 0 1117.58/1117.86 c 1117s | 19 | 581477 | 472682 | 80047 13 | 0 | 0 1119.59/1119.90 c 1119s | 19 | 583198 | 474182 | 80047 13 | 0 | 0 1121.68/1121.93 c 1121s | 19 | 585139 | 475882 | 80047 13 | 0 | 0 1123.68/1123.93 c 1123s | 19 | 587010 | 477482 | 80047 13 | 0 | 0 1125.78/1126.03 c 1125s | 19 | 588701 | 478982 | 80047 13 | 0 | 0 1127.78/1128.08 c 1127s | 19 | 590751 | 480682 | 80047 13 | 0 | 0 1129.88/1130.16 c 1129s | 19 | 591938 | 481682 | 80047 13 | 0 | 0 1131.88/1132.17 c 1131s | 19 | 593243 | 482782 | 80047 13 | 0 | 0 1134.17/1134.43 c 1133s | 19 | 594489 | 483782 | 80047 13 | 0 | 0 1136.18/1136.45 c 1135s | 19 | 597080 | 485882 | 80047 13 | 0 | 0 1138.28/1138.54 c 1137s | 19 | 599375 | 487782 | 80047 13 | 0 | 0 1140.37/1140.61 c 1139s | 19 | 601502 | 489582 | 80047 13 | 0 | 0 1142.37/1142.68 c 1142s | 19 | 604133 | 491782 | 80047 13 | 0 | 0 1144.37/1144.69 c 1144s | 19 | 605548 | 492982 | 80047 13 | 0 | 0 1146.57/1146.83 c 1146s | 19 | 607856 | 494882 | 80047 13 | 0 | 0 1150.16/1150.48 c 1149s | 19 | 608380 | 495382 | 80047 14 | 0 | 0 1153.67/1153.99 c 1153s | 19 | 609230 | 496082 | 80047 14 | 0 | 0 1155.77/1156.05 c 1155s | 19 | 611563 | 498082 | 80047 14 | 0 | 0 1164.67/1164.94 c 1164s | 19 | 612221 | 498582 | 80047 14 | 0 | 0 1166.76/1167.00 c 1166s | 19 | 615669 | 501582 | 80047 14 | 0 | 0 1168.76/1169.02 c 1168s | 19 | 619124 | 504582 | 80047 14 | 0 | 0 1170.76/1171.06 c 1170s | 19 | 622757 | 507682 | 80047 14 | 0 | 0 1174.16/1174.46 c 1173s | 19 | 625144 | 509782 | 80047 14 | 0 | 0 1176.26/1176.52 c 1175s | 19 | 628649 | 512782 | 80047 14 | 0 | 0 1178.25/1178.52 c 1177s | 19 | 632684 | 516182 | 80047 14 | 0 | 0 1181.45/1181.77 c 1181s | 19 | 635003 | 518082 | 80047 14 | 0 | 0 1183.55/1183.83 c 1183s | 19 | 638120 | 520582 | 80047 14 | 0 | 0 1185.56/1185.87 c 1185s | 19 | 640959 | 522982 | 80047 14 | 0 | 0 1187.65/1187.94 c 1187s | 19 | 643472 | 525182 | 80047 14 | 0 | 0 1189.65/1189.97 c 1189s | 19 | 645836 | 527282 | 80047 14 | 0 | 0 1191.85/1192.14 c 1191s | 19 | 647109 | 528282 | 80047 14 | 0 | 0 1193.95/1194.21 c 1193s | 19 | 648871 | 529682 | 80047 14 | 0 | 0 1196.05/1196.33 c 1195s | 19 | 650368 | 530882 | 80047 14 | 0 | 0 1198.05/1198.39 c 1197s | 19 | 652338 | 532582 | 80047 14 | 0 | 0 1200.14/1200.47 c 1199s | 19 | 654657 | 534582 | 80047 14 | 0 | 0 1205.15/1205.42 c 1204s | 19 | 655756 | 535482 | 80047 15 | 0 | 0 1212.05/1212.37 c 1211s | 19 | 656354 | 535982 | 80047 15 | 0 | 0 1214.15/1214.43 c 1213s | 19 | 660307 | 539282 | 80047 15 | 0 | 0 1390.81/1391.19 c 1390s | 19 | 662731 | 541382 | 80047 15 | 0 | 0 1392.91/1393.24 c 1392s | 19 | 666098 | 544282 | 80047 15 | 0 | 0 1395.01/1395.31 c 1394s | 19 | 669009 | 546882 | 80047 15 | 0 | 0 1397.01/1397.36 c 1396s | 19 | 672355 | 549782 | 80047 15 | 0 | 0 1399.11/1399.43 c 1398s | 19 | 675484 | 552482 | 80047 15 | 0 | 0 1401.12/1401.50 c 1400s | 19 | 678176 | 554782 | 80047 15 | 0 | 0 1403.21/1403.55 c 1402s | 19 | 681019 | 557182 | 80047 15 | 0 | 0 1405.31/1405.63 c 1404s | 19 | 683939 | 559782 | 80047 15 | 0 | 0 1407.31/1407.65 c 1406s | 19 | 686518 | 562082 | 80047 15 | 0 | 0 1409.40/1409.70 c 1409s | 19 | 689347 | 564482 | 80047 15 | 0 | 0 1411.40/1411.79 c 1411s | 19 | 691999 | 566782 | 80047 15 | 0 | 0 1413.50/1413.84 c 1413s | 19 | 694148 | 568682 | 80047 15 | 0 | 0 1415.60/1415.90 c 1415s | 19 | 696361 | 570582 | 80047 15 | 0 | 0 1417.61/1417.99 c 1417s | 19 | 698562 | 572482 | 80047 15 | 0 | 0 1419.70/1420.02 c 1419s | 19 | 700878 | 574382 | 80047 15 | 0 | 0 1498.00/1498.34 c 1497s | 19 | 702114 | 575482 | 80047 16 | 0 | 0 1505.19/1505.57 c 1504s | 19 | 702564 | 575882 | 80047 16 | 0 | 0 1507.19/1507.59 c 1506s | 19 | 705258 | 578282 | 80047 16 | 0 | 0 1509.29/1509.65 c 1508s | 19 | 708413 | 580982 | 80047 16 | 0 | 0 1511.29/1511.69 c 1511s | 19 | 710750 | 582982 | 80047 16 | 0 | 0 1513.40/1513.77 c 1513s | 19 | 712695 | 584682 | 80047 16 | 0 | 0 1515.50/1515.82 c 1515s | 19 | 714783 | 586482 | 80047 16 | 0 | 0 1517.49/1517.83 c 1517s | 19 | 716666 | 588082 | 80047 16 | 0 | 0 1519.59/1519.95 c 1519s | 19 | 718382 | 589582 | 80047 16 | 0 | 0 1522.69/1523.05 c 1522s | 19 | 719301 | 590282 | 80047 16 | 0 | 0 1524.79/1525.14 c 1524s | 19 | 721551 | 592182 | 80047 16 | 0 | 0 1526.89/1527.23 c 1526s | 19 | 723812 | 594182 | 80047 16 | 0 | 0 1528.88/1529.29 c 1528s | 19 | 726575 | 596582 | 80047 16 | 0 | 0 1530.99/1531.39 c 1530s | 19 | 728898 | 598582 | 80047 16 | 0 | 0 1533.19/1533.51 c 1532s | 19 | 731216 | 600582 | 80047 16 | 0 | 0 1535.18/1535.53 c 1534s | 19 | 733063 | 602182 | 80047 16 | 0 | 0 1537.18/1537.55 c 1536s | 19 | 735177 | 603982 | 80047 16 | 0 | 0 1539.28/1539.63 c 1538s | 19 | 737067 | 605582 | 80047 16 | 0 | 0 1541.28/1541.65 c 1540s | 19 | 738796 | 607082 | 80047 16 | 0 | 0 1543.38/1543.74 c 1543s | 19 | 740641 | 608682 | 80047 16 | 0 | 0 1545.48/1545.87 c 1545s | 19 | 742517 | 610282 | 80047 16 | 0 | 0 1555.48/1555.81 c 1555s | 19 | 744036 | 611582 | 80047 16 | 0 | 0 1557.48/1557.81 c 1557s | 19 | 744743 | 612182 | 80047 16 | 0 | 0 1563.98/1564.30 c 1563s | 19 | 745407 | 612682 | 80047 16 | 0 | 0 1569.98/1570.30 c 1569s | 19 | 746077 | 613282 | 80047 16 | 0 | 0 1572.18/1572.56 c 1571s | 19 | 746516 | 613682 | 80047 16 | 0 | 0 1574.28/1574.61 c 1573s | 19 | 747320 | 614382 | 80047 16 | 0 | 0 1707.46/1707.83 c 1707s | 19 | 748600 | 615482 | 80047 17 | 0 | 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-4117420-1467212110/watcher-4117420-1467212110 -o /tmp/evaluation-result-4117420-1467212110/solver-4117420-1467212110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2001 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117420-1467212110.opb pid=2167 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.35 2.30 1.97 4/178 2170 /proc/meminfo: memFree=28623144/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=735676 CPUtime=0 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 2746 0 0 0 0 0 0 0 20 0 4 0 238639 753332224 3107 33554432000 4194304 16246674 140733561540496 140733561539920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 184687 3116 441 2943 0 181581 0 [pid=2170/tid=2171] ppid=2167 vsize=754108 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 772206592 3180 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 777449472 3197 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=763324 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 238639 781643776 3215 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.35 2.30 1.97 4/178 2170 /proc/meminfo: memFree=28623144/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 26927 0 0 0 5 4 0 0 20 0 4 0 238639 1332285440 27227 33554432000 4194304 16246674 140733561540496 140733561539808 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 325265 27242 798 2943 0 322159 0 [pid=2170/tid=2171] ppid=2167 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1332285440 27252 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1332285440 27263 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1332285440 27273 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.20057 s] /proc/loadavg: 2.35 2.30 1.97 4/178 2170 /proc/meminfo: memFree=28623144/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 47536 0 0 0 12 7 0 0 20 0 4 0 238639 1344868352 48346 33554432000 4194304 16246674 140733561540496 140733561539808 8058488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 328337 48346 798 2943 0 325231 0 [pid=2170/tid=2171] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 48346 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 48346 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 48346 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300487 s] /proc/loadavg: 2.35 2.30 1.97 4/178 2170 /proc/meminfo: memFree=28623144/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 47871 0 0 0 22 7 0 0 20 0 4 0 238639 1344868352 48681 33554432000 4194304 16246674 140733561540496 140733561522368 13752924 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 328337 48681 840 2943 0 325231 0 [pid=2170/tid=2171] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 48681 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 48681 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 48681 33554432000 4194304 16246674 140733561540496 140519141264560 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) 1313348 [startup+0.700403 s] /proc/loadavg: 2.35 2.30 1.97 4/178 2170 /proc/meminfo: memFree=28623144/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 112916 0 0 0 53 16 0 0 20 0 4 0 238639 1344868352 113726 33554432000 4194304 16246674 140733561540496 140733561522368 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 328337 113733 868 2943 0 325231 0 [pid=2170/tid=2171] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 113736 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 113740 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 113743 33554432000 4194304 16246674 140733561540496 140519141264560 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) 1313348 [startup+1.50042 s] /proc/loadavg: 2.35 2.30 1.97 4/182 2174 /proc/meminfo: memFree=27291896/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1313348 CPUtime=1.48 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 237264 0 0 0 116 32 0 0 20 0 4 0 238639 1344868352 238075 33554432000 4194304 16246674 140733561540496 140733561522368 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 328337 238085 886 2943 0 325231 0 [pid=2170/tid=2171] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 238093 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 238100 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 238108 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1313348 [startup+3.10043 s] /proc/loadavg: 2.35 2.30 1.97 4/182 2174 /proc/meminfo: memFree=26499056/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1313348 CPUtime=3.09 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 269012 0 0 0 273 36 0 0 20 0 4 0 238639 1344868352 269822 33554432000 4194304 16246674 140733561540496 140733561522368 5754712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 328337 269822 892 2943 0 325231 0 [pid=2170/tid=2171] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269822 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269822 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269822 33554432000 4194304 16246674 140733561540496 140519141264560 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) 1313348 [startup+6.30043 s] /proc/loadavg: 2.33 2.30 1.97 3/183 2175 /proc/meminfo: memFree=26498356/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1313348 CPUtime=6.29 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 269014 0 0 0 593 36 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140733561522368 5827984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 328337 269824 893 2943 0 325231 0 [pid=2170/tid=2171] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519141264560 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) 1313348 [startup+12.7004 s] /proc/loadavg: 2.38 2.31 1.97 3/183 2175 /proc/meminfo: memFree=26497804/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1313348 CPUtime=12.69 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 269014 0 0 0 1233 36 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140733561523496 13928624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 328337 269824 893 2943 0 325231 0 [pid=2170/tid=2171] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519141264560 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) 1313348 [startup+25.5005 s] /proc/loadavg: 2.37 2.31 1.98 4/183 2175 /proc/meminfo: memFree=26499012/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1313348 CPUtime=25.48 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 269014 0 0 0 2512 36 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140733561522368 5677779 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 328337 269824 893 2943 0 325231 0 [pid=2170/tid=2171] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1344868352 269824 33554432000 4194304 16246674 140733561540496 140519141264560 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) 1313348 [startup+51.1005 s] /proc/loadavg: 2.44 2.33 2.00 3/183 2175 /proc/meminfo: memFree=26418940/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=51.09 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288734 0 0 0 5069 40 0 0 20 0 4 0 238639 1425608704 289544 33554432000 4194304 16246674 140733561540496 140733561522368 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289544 898 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289544 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289544 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289544 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1392196 [startup+102.301 s] /proc/loadavg: 2.38 2.33 2.01 3/183 2176 /proc/meminfo: memFree=26404308/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=102.28 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288736 0 0 0 10186 42 0 0 20 0 4 0 238639 1425608704 289546 33554432000 4194304 16246674 140733561540496 140733561522368 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289546 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289546 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289546 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289546 33554432000 4194304 16246674 140733561540496 140519141264560 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) 1392196 ################ # More data... # ################ /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 1392196 [startup+1302.3 s] /proc/loadavg: 2.20 2.29 2.18 3/183 2229 /proc/meminfo: memFree=26378104/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1302.02 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288867 0 0 0 130087 115 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561538368 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 1392196 [startup+1362.3 s] /proc/loadavg: 2.18 2.26 2.18 4/183 2230 /proc/meminfo: memFree=26378260/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1362.01 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288877 0 0 0 136079 122 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561539592 4220871 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 1392196 [startup+1422.3 s] /proc/loadavg: 2.25 2.27 2.18 3/183 2231 /proc/meminfo: memFree=26378360/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1422.01 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288881 0 0 0 142075 126 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561538368 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 1392196 [startup+1482.3 s] /proc/loadavg: 2.34 2.28 2.19 3/183 2232 /proc/meminfo: memFree=26378208/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1481.99 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288883 0 0 0 148067 132 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561539672 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1392196 [startup+1542.31 s] /proc/loadavg: 2.44 2.32 2.21 3/184 2237 /proc/meminfo: memFree=26378196/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1541.99 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288883 0 0 0 154064 135 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561522368 5822683 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 1392196 [startup+1602.3 s] /proc/loadavg: 2.33 2.30 2.20 4/183 2238 /proc/meminfo: memFree=26378076/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1601.97 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288883 0 0 0 160057 140 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561539672 13898200 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 1392196 [startup+1662.3 s] /proc/loadavg: 2.42 2.32 2.21 4/183 2239 /proc/meminfo: memFree=26378200/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1661.97 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288883 0 0 0 166049 148 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561539592 5808520 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 1392196 [startup+1722.3 s] /proc/loadavg: 2.39 2.32 2.22 3/183 2240 /proc/meminfo: memFree=26378076/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1721.96 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288883 0 0 0 172042 154 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561539672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 1392196 [startup+1782.3 s] /proc/loadavg: 2.20 2.28 2.20 3/183 2241 /proc/meminfo: memFree=26377336/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1781.95 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288883 0 0 0 178036 159 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561539672 13898688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 1392196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.21 2.28 2.20 3/183 2241 /proc/meminfo: memFree=26378084/32872528 swapFree=1553660/1717180 [pid=2170] ppid=2167 vsize=1392196 CPUtime=1800.05 cores=1,3,5,7 /proc/2170/stat : 2170 (toysat) R 2167 2170 1984 0 -1 4202496 288883 0 0 0 179844 161 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140733561538304 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2170/statm: 348049 289549 900 2943 0 344943 0 [pid=2170/tid=2171] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2171/stat : 2171 (toysat) S 2167 2170 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519162227952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2170/tid=2172] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2172/stat : 2172 (toysat) S 2167 2170 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519151738096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2170/tid=2173] ppid=2167 vsize=1392196 CPUtime=0 cores=1,3,5,7 /proc/2170/task/2173/stat : 2173 (toysat) S 2167 2170 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238639 1425608704 289549 33554432000 4194304 16246674 140733561540496 140519141264560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1392196 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 2170 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.41 CPU time (s): 1800.06 CPU user time (s): 1798.45 CPU system time (s): 1.61275 CPU usage (%): 99.9806 Max. virtual memory (cumulated for all children) (KiB): 1392196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.45 system time used= 1.61275 maximum resident set size= 1158196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 288883 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= 165 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2493 second user time and 17.0904 second system time The end
Begin job on node117 at 2016-06-29 16:55:10 IDJOB=4117420 IDBENCH=111573 IDSOLVER=2542 FILE ID=node117/4117420-1467212110 RUNJOBID= node117-1467210309-2001 PBS_JOBID= 19997597 Free space on /tmp= 71608 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul4.5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117420-1467212110/watcher-4117420-1467212110 -o /tmp/evaluation-result-4117420-1467212110/solver-4117420-1467212110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2001 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117420-1467212110.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8afd61a1e051f7029eb4312378b1cfd9 RANDOM SEED=113726435 node117.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.714 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.42 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.714 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 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.45 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.714 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.714 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 : 2666.714 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.714 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.714 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: 28650580 kB Buffers: 34352 kB Cached: 1724888 kB SwapCached: 0 kB Active: 145852 kB Inactive: 1643232 kB Active(anon): 33176 kB Inactive(anon): 4 kB Active(file): 112676 kB Inactive(file): 1643228 kB Unevictable: 1717180 kB Mlocked: 1553660 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 34980 kB Writeback: 0 kB AnonPages: 1747940 kB Mapped: 15792 kB Shmem: 204 kB Slab: 579676 kB SReclaimable: 24220 kB SUnreclaim: 555456 kB KernelStack: 1456 kB PageTables: 9120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2847924 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 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= 71592 MiB End job on node117 at 2016-06-29 17:25:11