| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.43 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb |
| MD5SUM | c00448b3bb1fb54d1d5ecdb2bc9f967d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 155000 |
| Total number of constraints | 5150 |
| 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 | 5150 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 3000 |
| Number of terms in the objective function | 155000 |
| Biggest coefficient in the objective function | 76 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 654121 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262143 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 654121 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T02:29:05+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-4099945-1466209744.opb"] 0.00/0.01 c use --random-gen="449410008 381254492 127620860 2323422833 4139205 662377688 134859043 1370534465 3295167316 370271156 2730474478 603216851 2644613640 3448997250 725070524 2017420250 848150612 2745213234 3558541176 1809117155 2005444861 2119694037 1444211208 3127888542 3021620990 864479429 732322538 2951537886 3449942586 3546713804 837493909 433038550 2977358591 1833575100 2901733802 4180713404 1140118555 3644943002 3312062805 2340411915 854160962 1668019268 2762505468 1975020184 3134443650 2904587927 2726371683 305479646 2274327149 3002097804 2669207685 883138658 3598645422 714883750 1814362141 3080597484 2033078368 366498053 2885274127 964299457 685024308 3469132046 3632844747 3194549684 2865688726 618264203 3091915203 2434397611 3104676403 2550206415 2297642970 2160196189 2275827535 3766628256 1527700981 3788534183 1317990236 2537750175 1222346999 1579591935 967210404 4220479894 4098846805 499953266 1988045284 3093990216 4136619699 1475423366 2452136718 160088452 1559321743 3313080585 2303687152 42084953 417040558 3079960878 2832690102 4046242444 718239995 2647353117 4281014196 4098413692 222768267 2450193382 2475778264 2229739098 320943532 3721626265 3833875114 3080342023 1261736011 2904614967 2460161357 98792787 3298079712 952047305 2976061406 2289476790 3254429563 1418814165 1133840993 2634606502 1479495251 3671751343 803691870 393382933 3423540809 1793797246 1438655719 4053175673 740245900 764287570 2635186532 2997134734 3859545534 2622593768 2220136907 161142839 76536104 1969186193 728006122 2333559255 2973588244 2898076400 1916792465 759067408 4292535969 103895095 3745616008 3013595782 2663636894 3694167936 1348410008 2592562490 3681500834 2361452809 1060678905 2751337401 4186623818 1580061608 2447866926 2878231047 2073303080 251045169 965786879 35010242 2139556351 938187289 1330496486 2388683712 1804401680 903012480 619901296 1307492042 1381409089 2980518186 295629073 3605503502 973784335 38347802 3354539347 264121409 2464853260 3854456256 4219532768 3130780446 2722167538 4055118248 498853144 626208533 1132257219 81705655 3030387498 4229741812 2590028241 1650140807 1888144166 2006713277 2820968565 296639917 1165323687 2418716005 3637135926 142016822 1430881185 2480604708 2450463379 3008538171 1503707639 2948869208 2777773072 145442248 1606650953 2748491409 4234468212 132464063 1818846871 1039572526 675887051 1061213875 3477524679 1848502580 3418487325 825193041 704404774 2848835219 1356328331 1207862727 894187060 2685912201 2512245656 160015487 3201563604 1281435900 3223751226 1000365653 3840864836 1816317074 2905453709 679425057 3265541338 2888297753 1510686051 171825036 3289190008 2818382953 1414382440 2297829281 4259352505 2666831077 1402484449 1447533384 3043708020 2640569195 2793783478 3376591433 255 362436" option to reproduce the execution 1.10/1.11 c #vars 155000 1.10/1.11 c #constraints 5150 3.48/3.59 c BCD2: Hardening is enabled. 3.48/3.59 c BCD2: BiasedSearch is enabled. 3.48/3.59 c Solving starts ... 3.48/3.59 c ============================[ Search Statistics ]============================ 3.48/3.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.48/3.59 c | | | | Limit GC | Var | Constra 3.48/3.59 c ============================================================================= 3.69/3.71 c 0.0s | 0 | 0 | 0 | 53433 0 | 60831 | 0 10.19/10.20 c 6.5s | 0 | 5290 | 100 | 53433 0 | 60831 | 0 10.19/10.28 c 6.6s | 1 | 5290 | 100 | 53433 0 | 60831 | 0 10.99/11.09 c 7.4s | 2 | 16737 | 250 | 58777 0 | 60831 | 0 11.99/12.07 c 8.4s | 3 | 17935 | 475 | 64655 0 | 60831 | 0 13.68/13.77 c 10.1s | 4 | 19251 | 813 | 71121 0 | 60831 | 0 15.78/15.87 c 12.2s | 4 | 20646 | 1213 | 78234 0 | 60831 | 0 16.38/16.42 c 12.7s | 5 | 20750 | 1320 | 78234 0 | 60831 | 0 18.69/18.74 c 15.0s | 5 | 22125 | 1720 | 86058 0 | 60831 | 0 20.59/20.66 c 17.0s | 6 | 22499 | 2081 | 94664 0 | 60831 | 0 23.19/23.22 c 19.5s | 6 | 23870 | 2481 | 94664 0 | 60831 | 0 25.29/25.39 c 21.7s | 6 | 24169 | 2781 | 94664 0 | 60831 | 0 27.78/27.89 c 24.2s | 6 | 24567 | 3181 | 94664 0 | 60831 | 0 28.08/28.13 c 24.4s | 7 | 24610 | 3223 | 104131 0 | 60831 | 0 30.38/30.44 c 26.7s | 7 | 25892 | 3523 | 104131 0 | 60831 | 0 32.58/32.65 c 28.9s | 7 | 26194 | 3823 | 104131 0 | 60831 | 0 35.08/35.20 c 31.5s | 7 | 26592 | 4223 | 104131 0 | 60831 | 0 37.38/37.49 c 33.8s | 7 | 26898 | 4523 | 104131 0 | 60831 | 0 39.98/40.03 c 36.3s | 7 | 27303 | 4923 | 114545 0 | 60831 | 0 40.07/40.11 c 36.4s | 8 | 27316 | 4936 | 114545 0 | 60831 | 0 42.38/42.49 c 38.8s | 8 | 28592 | 5236 | 114545 0 | 60831 | 0 44.68/44.76 c 41.1s | 8 | 28902 | 5536 | 114545 0 | 60831 | 0 47.18/47.22 c 43.5s | 8 | 29312 | 5936 | 114545 0 | 60831 | 0 49.28/49.30 c 45.6s | 8 | 29604 | 6236 | 114545 0 | 60831 | 0 51.58/51.67 c 48.0s | 8 | 30040 | 6636 | 114545 0 | 60831 | 0 54.07/54.13 c 50.4s | 8 | 30431 | 7036 | 114545 0 | 60831 | 0 56.37/56.46 c 52.8s | 8 | 30846 | 7436 | 114545 0 | 60831 | 0 56.87/56.92 c 53.2s | 9 | 30910 | 7506 | 126000 0 | 60831 | 0 59.17/59.28 c 55.6s | 9 | 32190 | 7806 | 126000 0 | 60831 | 0 61.47/61.53 c 57.8s | 9 | 32591 | 8206 | 126000 0 | 60831 | 0 64.07/64.14 c 60.4s | 9 | 32990 | 8606 | 126000 0 | 60831 | 0 66.38/66.40 c 62.7s | 9 | 33294 | 8906 | 126000 0 | 60831 | 0 68.38/68.41 c 64.7s | 9 | 33623 | 9206 | 126000 0 | 60831 | 0 70.78/70.87 c 67.2s | 9 | 34021 | 9606 | 126000 0 | 60831 | 0 72.98/73.00 c 69.3s | 9 | 34427 | 10006 | 126000 0 | 60831 | 0 75.37/75.43 c 71.7s | 9 | 34819 | 10406 | 126000 0 | 60831 | 0 77.67/77.73 c 74.0s | 9 | 35233 | 10806 | 126000 0 | 60831 | 0 80.07/80.12 c 76.4s | 9 | 35539 | 11106 | 126000 0 | 60831 | 0 82.07/82.10 c 78.4s | 10 | 35793 | 11361 | 138600 0 | 60831 | 0 84.17/84.24 c 80.5s | 10 | 36971 | 11561 | 138600 0 | 60831 | 0 86.27/86.38 c 82.7s | 10 | 37278 | 11861 | 138600 0 | 60831 | 0 88.97/89.00 c 85.3s | 10 | 37688 | 12261 | 138600 0 | 60831 | 0 91.47/91.56 c 87.9s | 10 | 38097 | 12661 | 138600 0 | 60831 | 0 93.76/93.88 c 90.2s | 10 | 38394 | 12961 | 138600 0 | 60831 | 0 96.66/96.72 c 93.0s | 10 | 38803 | 13361 | 138600 0 | 60831 | 0 98.87/99.00 c 95.3s | 10 | 39119 | 13661 | 138600 0 | 60831 | 0 101.18/101.29 c 97.6s | 10 | 39414 | 13961 | 138600 0 | 60831 | 0 103.77/103.89 c 100s | 10 | 39822 | 14361 | 138600 0 | 60831 | 0 106.37/106.47 c 102s | 10 | 40219 | 14761 | 138600 0 | 60831 | 0 108.88/108.94 c 105s | 10 | 40626 | 15161 | 138600 0 | 60831 | 0 111.27/111.33 c 107s | 10 | 40927 | 15461 | 138600 0 | 60831 | 0 113.46/113.57 c 109s | 10 | 41227 | 15761 | 138600 0 | 60831 | 0 115.57/115.66 c 111s | 10 | 41528 | 16061 | 138600 0 | 60831 | 0 117.67/117.78 c 114s | 10 | 41832 | 16361 | 138600 0 | 60831 | 0 119.87/119.98 c 116s | 10 | 42129 | 16661 | 138600 0 | 60831 | 0 122.07/122.14 c 118s | 10 | 42445 | 16961 | 138600 0 | 60831 | 0 123.17/123.25 c 119s | 11 | 42621 | 17144 | 152460 0 | 60831 | 0 125.66/125.80 c 122s | 11 | 51247 | 17244 | 152460 0 | 60831 | 0 128.16/128.29 c 124s | 11 | 51343 | 17344 | 152460 0 | 60831 | 0 130.66/130.78 c 127s | 11 | 51444 | 17444 | 152460 0 | 60831 | 0 133.17/133.27 c 129s | 11 | 51546 | 17544 | 152460 0 | 60831 | 0 135.66/135.77 c 132s | 11 | 51647 | 17644 | 152460 0 | 60831 | 0 138.16/138.29 c 134s | 11 | 51745 | 17744 | 152460 0 | 60831 | 0 140.66/140.79 c 137s | 11 | 51851 | 17844 | 152460 0 | 60831 | 0 143.26/143.32 c 139s | 11 | 51950 | 17944 | 152460 0 | 60831 | 0 145.76/145.83 c 142s | 11 | 52046 | 18044 | 152460 0 | 60831 | 0 148.26/148.34 c 144s | 11 | 52151 | 18144 | 152460 0 | 60831 | 0 150.76/150.86 c 147s | 11 | 52254 | 18244 | 152460 0 | 60831 | 0 153.26/153.34 c 149s | 11 | 52353 | 18344 | 152460 0 | 60831 | 0 155.76/155.85 c 152s | 11 | 52449 | 18444 | 152460 0 | 60831 | 0 158.26/158.36 c 154s | 11 | 52547 | 18544 | 152460 0 | 60831 | 0 160.75/160.87 c 157s | 11 | 52651 | 18644 | 152460 0 | 60831 | 0 163.25/163.39 c 159s | 11 | 52747 | 18744 | 152460 0 | 60831 | 0 165.85/165.93 c 162s | 11 | 52850 | 18844 | 152460 0 | 60831 | 0 168.36/168.47 c 164s | 11 | 52947 | 18944 | 152460 0 | 60831 | 0 170.85/170.97 c 167s | 11 | 53054 | 19044 | 152460 0 | 60831 | 0 173.35/173.48 c 169s | 11 | 53153 | 19144 | 152460 0 | 60831 | 0 175.85/175.98 c 172s | 11 | 53251 | 19244 | 152460 0 | 60831 | 0 178.35/178.47 c 174s | 11 | 53352 | 19344 | 152460 0 | 60831 | 0 180.85/180.99 c 177s | 11 | 53450 | 19444 | 152460 0 | 60831 | 0 183.45/183.50 c 179s | 11 | 53554 | 19544 | 152460 0 | 60831 | 0 185.96/186.04 c 182s | 11 | 53647 | 19644 | 152460 0 | 60831 | 0 188.45/188.57 c 184s | 11 | 53755 | 19744 | 152460 0 | 60831 | 0 190.95/191.09 c 187s | 11 | 53848 | 19844 | 152460 0 | 60831 | 0 193.56/193.62 c 189s | 11 | 53946 | 19944 | 152460 0 | 60831 | 0 196.05/196.11 c 192s | 11 | 54051 | 20044 | 152460 0 | 60831 | 0 198.55/198.60 c 194s | 11 | 54151 | 20144 | 152460 0 | 60831 | 0 201.05/201.13 c 197s | 11 | 54254 | 20244 | 152460 0 | 60831 | 0 203.56/203.66 c 199s | 11 | 54354 | 20344 | 152460 0 | 60831 | 0 206.05/206.16 c 202s | 11 | 54458 | 20444 | 152460 0 | 60831 | 0 208.55/208.68 c 204s | 11 | 54560 | 20544 | 152460 0 | 60831 | 0 211.15/211.21 c 207s | 11 | 54654 | 20644 | 152460 0 | 60831 | 0 213.65/213.73 c 210s | 11 | 54753 | 20744 | 152460 0 | 60831 | 0 216.15/216.27 c 212s | 11 | 54858 | 20844 | 152460 0 | 60831 | 0 218.75/218.80 c 215s | 11 | 54954 | 20944 | 152460 0 | 60831 | 0 221.25/221.35 c 217s | 11 | 55053 | 21044 | 152460 0 | 60831 | 0 223.85/223.91 c 220s | 11 | 55155 | 21144 | 152460 0 | 60831 | 0 226.34/226.47 c 222s | 11 | 55251 | 21244 | 152460 0 | 60831 | 0 228.94/229.07 c 225s | 11 | 55362 | 21344 | 152460 0 | 60831 | 0 231.44/231.58 c 227s | 11 | 55458 | 21444 | 152460 0 | 60831 | 0 234.04/234.13 c 230s | 11 | 55562 | 21544 | 152460 0 | 60831 | 0 236.55/236.66 c 232s | 11 | 55656 | 21644 | 152460 0 | 60831 | 0 239.04/239.17 c 235s | 11 | 55760 | 21744 | 152460 0 | 60831 | 0 241.64/241.71 c 238s | 11 | 55857 | 21844 | 152460 0 | 60831 | 0 244.15/244.24 c 240s | 11 | 55960 | 21944 | 152460 0 | 60831 | 0 246.64/246.76 c 243s | 11 | 56063 | 22044 | 152460 0 | 60831 | 0 249.24/249.30 c 245s | 11 | 56162 | 22144 | 152460 0 | 60831 | 0 251.74/251.83 c 248s | 11 | 56262 | 22244 | 152460 0 | 60831 | 0 254.24/254.37 c 250s | 11 | 56360 | 22344 | 152460 0 | 60831 | 0 256.85/256.92 c 253s | 11 | 56460 | 22444 | 152460 0 | 60831 | 0 259.35/259.46 c 255s | 11 | 56560 | 22544 | 152460 0 | 60831 | 0 261.95/262.02 c 258s | 11 | 56656 | 22644 | 152460 0 | 60831 | 0 264.45/264.56 c 260s | 11 | 56756 | 22744 | 152460 0 | 60831 | 0 267.05/267.12 c 263s | 11 | 56865 | 22844 | 152460 0 | 60831 | 0 269.55/269.66 c 265s | 11 | 56958 | 22944 | 152460 0 | 60831 | 0 272.15/272.21 c 268s | 11 | 57057 | 23044 | 152460 0 | 60831 | 0 274.65/274.79 c 271s | 11 | 57154 | 23144 | 152460 0 | 60831 | 0 277.55/277.65 c 273s | 11 | 57261 | 23244 | 152460 0 | 60831 | 0 280.45/280.53 c 276s | 11 | 57367 | 23344 | 152460 0 | 60831 | 0 283.24/283.36 c 279s | 11 | 57470 | 23444 | 152460 0 | 60831 | 0 286.14/286.21 c 282s | 11 | 57574 | 23544 | 152460 0 | 60831 | 0 288.94/289.08 c 285s | 11 | 57676 | 23644 | 152460 0 | 60831 | 0 291.84/291.96 c 288s | 11 | 57778 | 23744 | 152460 0 | 60831 | 0 294.75/294.85 c 291s | 11 | 57880 | 23844 | 152460 0 | 60831 | 0 297.64/297.72 c 294s | 11 | 57987 | 23944 | 152460 0 | 60831 | 0 300.54/300.63 c 296s | 11 | 58084 | 24044 | 152460 0 | 60831 | 0 303.44/303.52 c 299s | 11 | 58184 | 24144 | 152460 0 | 60831 | 0 306.34/306.41 c 302s | 11 | 58292 | 24244 | 152460 0 | 60831 | 0 309.24/309.30 c 305s | 11 | 58392 | 24344 | 152460 0 | 60831 | 0 312.04/312.19 c 308s | 11 | 58494 | 24444 | 152460 0 | 60831 | 0 314.94/315.09 c 311s | 11 | 58599 | 24544 | 152460 0 | 60831 | 0 317.84/317.98 c 314s | 11 | 58707 | 24644 | 152460 0 | 60831 | 0 320.84/320.90 c 317s | 11 | 58812 | 24744 | 152460 0 | 60831 | 0 323.74/323.84 c 320s | 11 | 58910 | 24844 | 152460 0 | 60831 | 0 326.64/326.76 c 323s | 11 | 59013 | 24944 | 152460 0 | 60831 | 0 329.54/329.70 c 325s | 11 | 59117 | 25044 | 152460 0 | 60831 | 0 332.54/332.63 c 328s | 11 | 59222 | 25144 | 152460 0 | 60831 | 0 335.44/335.57 c 331s | 11 | 59327 | 25244 | 152460 0 | 60831 | 0 338.43/338.52 c 334s | 11 | 59435 | 25344 | 152460 0 | 60831 | 0 341.43/341.50 c 337s | 11 | 59556 | 25444 | 152460 0 | 60831 | 0 344.34/344.41 c 340s | 11 | 59677 | 25544 | 152460 0 | 60831 | 0 346.93/347.04 c 343s | 11 | 59776 | 25644 | 152460 0 | 60831 | 0 349.63/349.72 c 346s | 11 | 59877 | 25744 | 167706 0 | 60831 | 0 351.63/351.74 c 348s | 12 | 59956 | 25819 | 167706 0 | 60831 | 0 357.44/357.58 c 353s | 12 | 75710 | 25919 | 167706 0 | 60831 | 0 361.53/361.63 c 357s | 12 | 75807 | 26019 | 167706 0 | 60831 | 0 365.53/365.68 c 361s | 12 | 75906 | 26119 | 167706 0 | 60831 | 0 369.64/369.74 c 366s | 12 | 76008 | 26219 | 167706 0 | 60831 | 0 373.63/373.79 c 370s | 12 | 76110 | 26319 | 167706 0 | 60831 | 0 377.73/377.84 c 374s | 12 | 76207 | 26419 | 167706 0 | 60831 | 0 381.83/381.90 c 378s | 12 | 76305 | 26519 | 167706 0 | 60831 | 0 385.83/385.96 c 382s | 12 | 76411 | 26619 | 167706 0 | 60831 | 0 389.92/390.01 c 386s | 12 | 76508 | 26719 | 167706 0 | 60831 | 0 393.92/394.09 c 390s | 12 | 76607 | 26819 | 167706 0 | 60831 | 0 398.02/398.12 c 394s | 12 | 76716 | 26919 | 167706 0 | 60831 | 0 402.02/402.17 c 398s | 12 | 76809 | 27019 | 167706 0 | 60831 | 0 406.12/406.23 c 402s | 12 | 76909 | 27119 | 167706 0 | 60831 | 0 410.12/410.29 c 406s | 12 | 77014 | 27219 | 167706 0 | 60831 | 0 414.22/414.35 c 410s | 12 | 77113 | 27319 | 167706 0 | 60831 | 0 418.32/418.41 c 414s | 12 | 77216 | 27419 | 167706 0 | 60831 | 0 422.33/422.48 c 418s | 12 | 77315 | 27519 | 167706 0 | 60831 | 0 426.42/426.54 c 422s | 12 | 77412 | 27619 | 167706 0 | 60831 | 0 430.52/430.62 c 426s | 12 | 77515 | 27719 | 167706 0 | 60831 | 0 434.61/434.70 c 430s | 12 | 77613 | 27819 | 167706 0 | 60831 | 0 438.61/438.78 c 435s | 12 | 77715 | 27919 | 167706 0 | 60831 | 0 442.71/442.88 c 439s | 12 | 77818 | 28019 | 167706 0 | 60831 | 0 446.81/446.98 c 443s | 12 | 77918 | 28119 | 167706 0 | 60831 | 0 451.61/451.70 c 447s | 12 | 81524 | 28219 | 167706 0 | 60831 | 0 459.31/459.42 c 455s | 12 | 81801 | 28319 | 167706 0 | 60831 | 0 465.81/465.96 c 462s | 12 | 82112 | 28419 | 167706 0 | 60831 | 0 471.21/471.38 c 467s | 12 | 82459 | 28519 | 167706 0 | 60831 | 0 478.31/478.44 c 474s | 12 | 82815 | 28619 | 167706 0 | 60831 | 0 484.51/484.66 c 480s | 12 | 83260 | 28719 | 167706 0 | 60831 | 0 491.90/492.04 c 488s | 12 | 83483 | 28819 | 167706 0 | 60831 | 0 499.32/499.47 c 495s | 12 | 83686 | 28919 | 167706 0 | 60831 | 0 506.91/507.07 c 503s | 12 | 83892 | 29019 | 167706 0 | 60831 | 0 515.01/515.16 c 511s | 12 | 84067 | 29119 | 167706 0 | 60831 | 0 522.71/522.83 c 519s | 12 | 84301 | 29219 | 167706 0 | 60831 | 0 530.60/530.80 c 527s | 12 | 84514 | 29319 | 167706 0 | 60831 | 0 541.60/541.71 c 538s | 12 | 84731 | 29419 | 167706 0 | 60831 | 0 552.30/552.41 c 548s | 12 | 84936 | 29519 | 167706 0 | 60831 | 0 562.30/562.41 c 558s | 12 | 85223 | 29619 | 167706 0 | 60831 | 0 572.20/572.38 c 568s | 12 | 85521 | 29719 | 167706 0 | 60831 | 0 582.49/582.67 c 578s | 12 | 85818 | 29819 | 167706 0 | 60831 | 0 594.00/594.14 c 590s | 12 | 86066 | 29919 | 167706 0 | 60831 | 0 605.70/605.83 c 602s | 12 | 86289 | 30019 | 167706 0 | 60831 | 0 614.49/614.66 c 610s | 12 | 86560 | 30119 | 167706 0 | 60831 | 0 621.69/621.89 c 618s | 12 | 86930 | 30219 | 167706 0 | 60831 | 0 630.20/630.32 c 626s | 12 | 87089 | 30319 | 167706 0 | 60831 | 0 637.19/637.32 c 633s | 12 | 87371 | 30419 | 167706 0 | 60831 | 0 644.29/644.43 c 640s | 12 | 87596 | 30519 | 167706 0 | 60831 | 0 650.39/650.59 c 646s | 12 | 87804 | 30619 | 167706 0 | 60831 | 0 656.39/656.58 c 652s | 12 | 87910 | 30719 | 167706 0 | 60831 | 0 662.39/662.55 c 658s | 12 | 88004 | 30819 | 167706 0 | 60831 | 0 668.38/668.54 c 664s | 12 | 88106 | 30919 | 167706 0 | 60831 | 0 674.38/674.53 c 670s | 12 | 88205 | 31019 | 167706 0 | 60831 | 0 680.38/680.54 c 676s | 12 | 88305 | 31119 | 167706 0 | 60831 | 0 686.39/686.54 c 682s | 12 | 88401 | 31219 | 167706 0 | 60831 | 0 692.38/692.53 c 688s | 12 | 88507 | 31319 | 167706 0 | 60831 | 0 698.39/698.54 c 694s | 12 | 88607 | 31419 | 167706 0 | 60831 | 0 704.38/704.54 c 700s | 12 | 88705 | 31519 | 167706 0 | 60831 | 0 710.38/710.60 c 706s | 12 | 88801 | 31619 | 167706 0 | 60831 | 0 716.68/716.82 c 713s | 12 | 88906 | 31719 | 167706 0 | 60831 | 0 722.78/722.96 c 719s | 12 | 89004 | 31819 | 167706 0 | 60831 | 0 728.97/729.11 c 725s | 12 | 89106 | 31919 | 167706 0 | 60831 | 0 735.07/735.20 c 731s | 12 | 89205 | 32019 | 167706 0 | 60831 | 0 741.07/741.28 c 737s | 12 | 89304 | 32119 | 167706 0 | 60831 | 0 747.17/747.32 c 743s | 12 | 89411 | 32219 | 167706 0 | 60831 | 0 753.27/753.41 c 749s | 12 | 89505 | 32319 | 167706 0 | 60831 | 0 759.56/759.73 c 756s | 12 | 89606 | 32419 | 167706 0 | 60831 | 0 765.76/765.92 c 762s | 12 | 89706 | 32519 | 167706 0 | 60831 | 0 771.96/772.12 c 768s | 12 | 89806 | 32619 | 167706 0 | 60831 | 0 778.06/778.22 c 774s | 12 | 89903 | 32719 | 167706 0 | 60831 | 0 784.16/784.35 c 780s | 12 | 90022 | 32819 | 167706 0 | 60831 | 0 790.56/790.76 c 787s | 12 | 90120 | 32919 | 167706 0 | 60831 | 0 796.85/797.04 c 793s | 12 | 90217 | 33019 | 167706 0 | 60831 | 0 802.96/803.16 c 799s | 12 | 90315 | 33119 | 167706 0 | 60831 | 0 809.15/809.30 c 805s | 12 | 90415 | 33219 | 167706 0 | 60831 | 0 815.55/815.72 c 812s | 12 | 90553 | 33319 | 167706 0 | 60831 | 0 821.45/821.66 c 817s | 12 | 90728 | 33419 | 167706 0 | 60831 | 0 827.45/827.65 c 823s | 12 | 90828 | 33519 | 167706 0 | 60831 | 0 833.45/833.61 c 829s | 12 | 90941 | 33619 | 167706 0 | 60831 | 0 839.15/839.39 c 835s | 12 | 91117 | 33719 | 167706 0 | 60831 | 0 845.25/845.43 c 841s | 12 | 91237 | 33819 | 167706 0 | 60831 | 0 851.14/851.33 c 847s | 12 | 91433 | 33919 | 167706 0 | 60831 | 0 857.14/857.30 c 853s | 12 | 91533 | 34019 | 167706 0 | 60831 | 0 863.14/863.31 c 859s | 12 | 91633 | 34119 | 167706 0 | 60831 | 0 868.95/869.12 c 865s | 12 | 91843 | 34219 | 167706 0 | 60831 | 0 874.94/875.17 c 871s | 12 | 91945 | 34319 | 167706 0 | 60831 | 0 880.95/881.15 c 877s | 12 | 92042 | 34419 | 167706 0 | 60831 | 0 886.94/887.16 c 883s | 12 | 92145 | 34519 | 167706 0 | 60831 | 0 892.93/893.15 c 889s | 12 | 92241 | 34619 | 167706 0 | 60831 | 0 898.93/899.15 c 895s | 12 | 92343 | 34719 | 167706 0 | 60831 | 0 904.83/905.00 c 901s | 12 | 92512 | 34819 | 167706 0 | 60831 | 0 910.43/910.69 c 906s | 12 | 92791 | 34919 | 167706 0 | 60831 | 0 916.53/916.70 c 912s | 12 | 92891 | 35019 | 167706 0 | 60831 | 0 922.53/922.77 c 919s | 12 | 92994 | 35119 | 167706 0 | 60831 | 0 928.53/928.77 c 925s | 12 | 93092 | 35219 | 167706 0 | 60831 | 0 934.23/934.48 c 930s | 12 | 93308 | 35319 | 167706 0 | 60831 | 0 940.22/940.46 c 936s | 12 | 93487 | 35419 | 167706 0 | 60831 | 0 946.32/946.52 c 942s | 12 | 93585 | 35519 | 167706 0 | 60831 | 0 952.43/952.62 c 948s | 12 | 93684 | 35619 | 167706 0 | 60831 | 0 958.52/958.76 c 955s | 12 | 93788 | 35719 | 167706 0 | 60831 | 0 964.63/964.82 c 961s | 12 | 93887 | 35819 | 167706 0 | 60831 | 0 970.71/970.91 c 967s | 12 | 93985 | 35919 | 167706 0 | 60831 | 0 976.72/976.98 c 973s | 12 | 94086 | 36019 | 167706 0 | 60831 | 0 982.81/983.05 c 979s | 12 | 94186 | 36119 | 167706 0 | 60831 | 0 988.91/989.14 c 985s | 12 | 94288 | 36219 | 167706 0 | 60831 | 0 995.00/995.20 c 991s | 12 | 94388 | 36319 | 167706 0 | 60831 | 0 1001.10/1001.31 c 997s | 12 | 94484 | 36419 | 167706 0 | 60831 | 0 1007.10/1007.38 c 1003s | 12 | 94585 | 36519 | 167706 0 | 60831 | 0 1013.20/1013.46 c 1009s | 12 | 94684 | 36619 | 167706 0 | 60831 | 0 1018.99/1019.23 c 1015s | 12 | 94932 | 36719 | 167706 0 | 60831 | 0 1024.79/1025.09 c 1021s | 12 | 95328 | 36819 | 167706 0 | 60831 | 0 1030.89/1031.14 c 1027s | 12 | 95423 | 36919 | 167706 0 | 60831 | 0 1036.99/1037.22 c 1033s | 12 | 95525 | 37019 | 167706 0 | 60831 | 0 1043.09/1043.31 c 1039s | 12 | 95624 | 37119 | 167706 0 | 60831 | 0 1049.20/1049.45 c 1045s | 12 | 95726 | 37219 | 167706 0 | 60831 | 0 1055.19/1055.49 c 1051s | 12 | 95826 | 37319 | 167706 0 | 60831 | 0 1061.29/1061.56 c 1057s | 12 | 95921 | 37419 | 167706 0 | 60831 | 0 1066.89/1067.14 c 1063s | 12 | 96215 | 37519 | 167706 0 | 60831 | 0 1072.88/1073.17 c 1069s | 12 | 96445 | 37619 | 167706 0 | 60831 | 0 1078.99/1079.25 c 1075s | 12 | 96539 | 37719 | 167706 0 | 60831 | 0 1085.08/1085.35 c 1081s | 12 | 96643 | 37819 | 167706 0 | 60831 | 0 1091.19/1091.45 c 1087s | 12 | 96743 | 37919 | 167706 0 | 60831 | 0 1097.29/1097.55 c 1093s | 12 | 96843 | 38019 | 167706 0 | 60831 | 0 1103.38/1103.67 c 1099s | 12 | 96942 | 38119 | 167706 0 | 60831 | 0 1109.48/1109.78 c 1106s | 12 | 97039 | 38219 | 167706 0 | 60831 | 0 1115.48/1115.74 c 1112s | 12 | 97201 | 38319 | 167706 0 | 60831 | 0 1121.89/1122.15 c 1118s | 12 | 97384 | 38419 | 167706 0 | 60831 | 0 1127.58/1127.88 c 1124s | 12 | 97672 | 38519 | 167706 0 | 60831 | 0 1133.18/1133.46 c 1129s | 12 | 98009 | 38619 | 184477 0 | 60831 | 0 1138.87/1139.10 c 1135s | 12 | 98330 | 38719 | 184477 0 | 60831 | 0 1144.57/1144.83 c 1141s | 12 | 98610 | 38819 | 184477 0 | 60831 | 0 1145.37/1145.69 c 1141s | 13 | 98644 | 38832 | 184477 0 | 60831 | 0 1152.77/1153.09 c 1149s | 13 | 126711 | 38932 | 184477 0 | 60831 | 0 1158.37/1158.68 c 1154s | 13 | 127130 | 39032 | 184477 0 | 60831 | 0 1163.37/1163.67 c 1159s | 13 | 127956 | 39132 | 184477 0 | 60831 | 0 1171.37/1171.64 c 1167s | 13 | 128216 | 39232 | 184477 0 | 60831 | 0 1178.76/1179.09 c 1175s | 13 | 128422 | 39332 | 184477 0 | 60831 | 0 1187.26/1187.59 c 1183s | 13 | 128761 | 39432 | 184477 0 | 60831 | 0 1196.45/1196.70 c 1192s | 13 | 128957 | 39532 | 184477 0 | 60831 | 0 1204.06/1204.31 c 1200s | 13 | 129296 | 39632 | 184477 0 | 60831 | 0 1212.76/1213.04 c 1209s | 13 | 129651 | 39732 | 184477 0 | 60831 | 0 1223.46/1223.76 c 1220s | 13 | 129939 | 39832 | 184477 0 | 60831 | 0 1231.06/1231.30 c 1227s | 13 | 130316 | 39932 | 184477 0 | 60831 | 0 1238.25/1238.54 c 1234s | 13 | 130716 | 40032 | 184477 0 | 60831 | 0 1243.96/1244.24 c 1240s | 13 | 130952 | 40132 | 184477 0 | 60831 | 0 1248.85/1249.15 c 1245s | 13 | 131130 | 40232 | 184477 0 | 60831 | 0 1254.05/1254.33 c 1250s | 13 | 131493 | 40332 | 184477 0 | 60831 | 0 1261.56/1261.86 c 1258s | 13 | 131918 | 40432 | 184477 0 | 60831 | 0 1268.74/1269.06 c 1265s | 13 | 132196 | 40532 | 184477 0 | 60831 | 0 1279.83/1280.19 c 1276s | 13 | 132324 | 40632 | 184477 0 | 60831 | 0 1290.54/1290.83 c 1287s | 13 | 132729 | 40732 | 184477 0 | 60831 | 0 1301.54/1301.82 c 1298s | 13 | 132953 | 40832 | 184477 0 | 60831 | 0 1315.53/1315.82 c 1312s | 13 | 133103 | 40932 | 184477 0 | 60831 | 0 1326.34/1326.69 c 1322s | 13 | 133269 | 41032 | 184477 0 | 60831 | 0 1338.33/1338.65 c 1334s | 13 | 133385 | 41132 | 184477 0 | 60831 | 0 1350.12/1350.42 c 1346s | 13 | 133583 | 41232 | 184477 0 | 60831 | 0 1357.92/1358.20 c 1354s | 13 | 133958 | 41332 | 184477 0 | 60831 | 0 1366.13/1366.43 c 1362s | 13 | 134156 | 41432 | 184477 0 | 60831 | 0 1375.53/1375.80 c 1372s | 13 | 134363 | 41532 | 184477 0 | 60831 | 0 1385.12/1385.44 c 1381s | 13 | 134601 | 41632 | 184477 0 | 60831 | 0 1393.31/1393.63 c 1389s | 13 | 134979 | 41732 | 184477 0 | 60831 | 0 1402.51/1402.86 c 1399s | 13 | 135259 | 41832 | 184477 0 | 60831 | 0 1410.11/1410.48 c 1406s | 13 | 135667 | 41932 | 184477 0 | 60831 | 0 1418.61/1418.97 c 1415s | 13 | 136107 | 42032 | 184477 0 | 60831 | 0 1427.01/1427.36 c 1423s | 13 | 136399 | 42132 | 184477 0 | 60831 | 0 1436.11/1436.49 c 1432s | 13 | 136637 | 42232 | 184477 0 | 60831 | 0 1446.11/1446.47 c 1442s | 13 | 136807 | 42332 | 184477 0 | 60831 | 0 1456.91/1457.24 c 1453s | 13 | 136907 | 42432 | 184477 0 | 60831 | 0 1470.51/1470.81 c 1467s | 13 | 137225 | 42532 | 184477 0 | 60831 | 0 1482.00/1482.30 c 1478s | 13 | 137583 | 42632 | 184477 0 | 60831 | 0 1493.20/1493.52 c 1489s | 13 | 137837 | 42732 | 184477 0 | 60831 | 0 1500.00/1500.36 c 1496s | 13 | 138048 | 42832 | 184477 0 | 60831 | 0 1506.40/1506.74 c 1503s | 13 | 138194 | 42932 | 184477 0 | 60831 | 0 1513.90/1514.28 c 1510s | 13 | 138367 | 43032 | 184477 0 | 60831 | 0 1520.19/1520.59 c 1516s | 13 | 138469 | 43132 | 184477 0 | 60831 | 0 1528.99/1529.38 c 1525s | 13 | 138596 | 43232 | 184477 0 | 60831 | 0 1536.99/1537.36 c 1533s | 13 | 138818 | 43332 | 184477 0 | 60831 | 0 1546.60/1546.95 c 1543s | 13 | 139075 | 43432 | 184477 0 | 60831 | 0 1554.39/1554.71 c 1551s | 13 | 139378 | 43532 | 184477 0 | 60831 | 0 1563.49/1563.81 c 1560s | 13 | 139586 | 43632 | 184477 0 | 60831 | 0 1572.49/1572.85 c 1569s | 13 | 139782 | 43732 | 184477 0 | 60831 | 0 1579.58/1579.99 c 1576s | 13 | 140070 | 43832 | 184477 0 | 60831 | 0 1590.99/1591.39 c 1587s | 13 | 140372 | 43932 | 184477 0 | 60831 | 0 1600.89/1601.21 c 1597s | 13 | 140667 | 44032 | 184477 0 | 60831 | 0 1614.79/1615.19 c 1611s | 13 | 141250 | 44132 | 184477 0 | 60831 | 0 1623.18/1623.58 c 1619s | 13 | 141547 | 44232 | 184477 0 | 60831 | 0 1627.69/1628.05 c 1624s | 13 | 141715 | 44332 | 184477 0 | 60831 | 0 1633.48/1633.80 c 1630s | 13 | 142099 | 44432 | 184477 0 | 60831 | 0 1640.28/1640.63 c 1636s | 13 | 142311 | 44532 | 184477 0 | 60831 | 0 1645.88/1646.21 c 1642s | 13 | 142483 | 44632 | 184477 0 | 60831 | 0 1650.89/1651.28 c 1647s | 13 | 142630 | 44732 | 184477 0 | 60831 | 0 1656.48/1656.88 c 1653s | 13 | 142770 | 44832 | 184477 0 | 60831 | 0 1664.47/1664.89 c 1661s | 13 | 142991 | 44932 | 184477 0 | 60831 | 0 1675.08/1675.49 c 1671s | 13 | 143175 | 45032 | 184477 0 | 60831 | 0 1687.67/1688.01 c 1684s | 13 | 143569 | 45132 | 184477 0 | 60831 | 0 1701.07/1701.42 c 1697s | 13 | 143885 | 45232 | 184477 0 | 60831 | 0 1712.96/1713.38 c 1709s | 13 | 144270 | 45332 | 184477 0 | 60831 | 0 1726.17/1726.54 c 1722s | 13 | 144515 | 45432 | 184477 0 | 60831 | 0 1737.87/1738.26 c 1734s | 13 | 144811 | 45532 | 184477 0 | 60831 | 0 1745.77/1746.15 c 1742s | 13 | 145071 | 45632 | 184477 0 | 60831 | 0 1755.16/1755.54 c 1751s | 13 | 145404 | 45732 | 184477 0 | 60831 | 0 1766.75/1767.18 c 1763s | 13 | 145577 | 45832 | 184477 0 | 60831 | 0 1783.26/1783.60 c 1779s | 13 | 146070 | 45932 | 184477 0 | 60831 | 0 1795.25/1795.61 c 1791s | 13 | 146318 | 46032 | 184477 0 | 60831 | 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-4099945-1466209744/watcher-4099945-1466209744 -o /tmp/evaluation-result-4099945-1466209744/solver-4099945-1466209744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099945-1466209744.opb pid=14170 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.23 2.18 3/179 14173 /proc/meminfo: memFree=29322828/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=576956 CPUtime=0 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 2126 0 0 0 0 0 0 0 20 0 4 0 23021242 590802944 2488 33554432000 4194304 16246674 140736731842736 140736731842160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14173/statm: 144751 2497 441 2943 0 141645 0 [pid=14173/tid=14174] ppid=14170 vsize=593340 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 607580160 2553 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=597436 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 611774464 2569 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=602556 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 617017344 2586 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100126 s] /proc/loadavg: 2.21 2.23 2.18 3/179 14173 /proc/meminfo: memFree=29322828/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1252932 CPUtime=0.09 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 25672 0 0 0 5 4 0 0 20 0 4 0 23021242 1283002368 25972 33554432000 4194304 16246674 140736731842736 140736731842048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14173/statm: 314513 25990 799 2943 0 311407 0 [pid=14173/tid=14174] ppid=14170 vsize=1261124 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1291390976 26005 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1265220 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1295585280 26018 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1268292 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1298731008 26033 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1252932 [startup+0.200473 s] /proc/loadavg: 2.21 2.23 2.18 3/179 14173 /proc/meminfo: memFree=29322828/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 47826 0 0 0 11 8 0 0 20 0 4 0 23021242 1345916928 48636 33554432000 4194304 16246674 140736731842736 140736731842048 7371700 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14173/statm: 328593 48636 799 2943 0 325487 0 [pid=14173/tid=14174] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 48636 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 48636 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 48636 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300461 s] /proc/loadavg: 2.21 2.23 2.18 3/179 14173 /proc/meminfo: memFree=29322828/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 55526 0 0 0 20 9 0 0 20 0 4 0 23021242 1345916928 56336 33554432000 4194304 16246674 140736731842736 140736731840576 7371489 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14173/statm: 328593 56336 799 2943 0 325487 0 [pid=14173/tid=14174] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 56336 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 56336 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 56336 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700369 s] /proc/loadavg: 2.21 2.23 2.18 3/179 14173 /proc/meminfo: memFree=29322828/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1314372 CPUtime=0.68 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 70518 0 0 0 57 11 0 0 20 0 4 0 23021242 1345916928 71328 33554432000 4194304 16246674 140736731842736 140736731840576 7440114 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14173/statm: 328593 71328 801 2943 0 325487 0 [pid=14173/tid=14174] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 71328 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 71328 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1345916928 71328 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1314372 [startup+1.50035 s] /proc/loadavg: 2.21 2.23 2.18 3/183 14177 /proc/meminfo: memFree=29030112/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1380932 CPUtime=1.49 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 86579 0 0 0 135 14 0 0 20 0 4 0 23021242 1414074368 90455 33554432000 4194304 16246674 140736731842736 140736731840640 4206577 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14173/statm: 345233 90455 828 2943 0 342127 0 [pid=14173/tid=14174] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 90455 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 90455 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 90455 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1380932 [startup+3.10036 s] /proc/loadavg: 2.21 2.23 2.18 3/183 14177 /proc/meminfo: memFree=28891344/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1380932 CPUtime=3.08 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 105731 0 0 0 292 16 0 0 20 0 4 0 23021242 1414074368 109607 33554432000 4194304 16246674 140736731842736 140736731841912 13950986 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14173/statm: 345233 109607 844 2943 0 342127 0 [pid=14173/tid=14174] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 109607 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 109607 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 109607 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1380932 [startup+6.30035 s] /proc/loadavg: 2.27 2.24 2.18 4/183 14177 /proc/meminfo: memFree=28637916/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1380932 CPUtime=6.29 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 167445 0 0 0 603 26 0 0 20 0 4 0 23021242 1414074368 171321 33554432000 4194304 16246674 140736731842736 140736731824640 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14173/statm: 345233 171321 897 2943 0 342127 0 [pid=14173/tid=14174] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 171321 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 171321 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 171321 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1380932 [startup+12.7004 s] /proc/loadavg: 2.33 2.25 2.19 4/183 14177 /proc/meminfo: memFree=28637800/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1380932 CPUtime=12.69 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 167892 0 0 0 1243 26 0 0 20 0 4 0 23021242 1414074368 171768 33554432000 4194304 16246674 140736731842736 140736731824640 5825532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 345233 171768 897 2943 0 342127 0 [pid=14173/tid=14174] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 171768 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 171768 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 171768 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1380932 [startup+25.5005 s] /proc/loadavg: 2.26 2.24 2.18 3/182 14177 /proc/meminfo: memFree=28621712/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1380932 CPUtime=25.48 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 171715 0 0 0 2521 27 0 0 20 0 4 0 23021242 1414074368 175591 33554432000 4194304 16246674 140736731842736 140736731825728 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 345233 175591 897 2943 0 342127 0 [pid=14173/tid=14174] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 175591 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 175591 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 175591 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1380932 [startup+51.1005 s] /proc/loadavg: 2.32 2.25 2.19 4/183 14178 /proc/meminfo: memFree=28187680/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1380932 CPUtime=51.08 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 280293 0 0 0 5066 42 0 0 20 0 4 0 23021242 1414074368 284169 33554432000 4194304 16246674 140736731842736 140736731824640 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 345233 284169 897 2943 0 342127 0 [pid=14173/tid=14174] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 284169 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 284169 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 284169 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1380932 [startup+102.3 s] /proc/loadavg: 2.25 2.24 2.19 3/184 14182 /proc/meminfo: memFree=28163940/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1380932 CPUtime=102.28 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 282851 0 0 0 10184 44 0 0 20 0 4 0 23021242 1414074368 286727 33554432000 4194304 16246674 140736731842736 140736731824640 5823694 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 345233 286727 897 2943 0 342127 0 [pid=14173/tid=14174] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 286727 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 286727 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 286727 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1380932 ################ # More data... # ################ /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1414074368 286986 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 1380932 [startup+1302.3 s] /proc/loadavg: 2.33 2.21 2.18 3/184 14261 /proc/meminfo: memFree=28237884/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1470020 CPUtime=1302.04 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 305062 0 0 0 130150 54 0 0 20 0 4 0 23021242 1505300480 309113 33554432000 4194304 16246674 140736731842736 140736731824640 13780640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 367505 309113 900 2943 0 364399 0 [pid=14173/tid=14174] ppid=14170 vsize=1470020 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1505300480 309113 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1470020 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1505300480 309113 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1470020 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1505300480 309113 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 1470020 [startup+1362.3 s] /proc/loadavg: 2.28 2.21 2.18 3/183 14262 /proc/meminfo: memFree=28235456/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1470020 CPUtime=1362.03 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 305065 0 0 0 136148 55 0 0 20 0 4 0 23021242 1505300480 309113 33554432000 4194304 16246674 140736731842736 140736731841912 5711318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 367505 309113 900 2943 0 364399 0 [pid=14173/tid=14174] ppid=14170 vsize=1470020 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1505300480 309113 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1470020 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1505300480 309113 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1470020 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1505300480 309113 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 1470020 [startup+1422.3 s] /proc/loadavg: 2.24 2.22 2.18 3/183 14263 /proc/meminfo: memFree=27987056/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1696324 CPUtime=1422.01 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 361445 0 0 0 142137 64 0 0 20 0 4 0 23021242 1737035776 365631 33554432000 4194304 16246674 140736731842736 140736731824640 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 424081 365631 900 2943 0 420975 0 [pid=14173/tid=14174] ppid=14170 vsize=1696324 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1737035776 365631 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1696324 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1737035776 365631 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1696324 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1737035776 365631 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 1696324 [startup+1482.3 s] /proc/loadavg: 2.17 2.20 2.18 3/183 14264 /proc/meminfo: memFree=27985196/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1696324 CPUtime=1482 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 361445 0 0 0 148135 65 0 0 20 0 4 0 23021242 1737035776 365631 33554432000 4194304 16246674 140736731842736 140736731824640 6010539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 424081 365631 900 2943 0 420975 0 [pid=14173/tid=14174] ppid=14170 vsize=1696324 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1737035776 365631 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1696324 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1737035776 365631 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1696324 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1737035776 365631 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 1696324 [startup+1542.31 s] /proc/loadavg: 2.18 2.19 2.18 3/183 14265 /proc/meminfo: memFree=27929672/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1751620 CPUtime=1542 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 375259 0 0 0 154132 68 0 0 20 0 4 0 23021242 1793658880 379445 33554432000 4194304 16246674 140736731842736 140736731824640 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 437905 379445 900 2943 0 434799 0 [pid=14173/tid=14174] ppid=14170 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1793658880 379445 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1793658880 379445 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1793658880 379445 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1751620 [startup+1602.3 s] /proc/loadavg: 2.20 2.19 2.18 3/183 14267 /proc/meminfo: memFree=27929832/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1751620 CPUtime=1601.99 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 375259 0 0 0 160129 70 0 0 20 0 4 0 23021242 1793658880 379445 33554432000 4194304 16246674 140736731842736 140736731824640 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 437905 379445 900 2943 0 434799 0 [pid=14173/tid=14174] ppid=14170 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1793658880 379445 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1793658880 379445 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1793658880 379445 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 1751620 [startup+1662.3 s] /proc/loadavg: 2.20 2.18 2.18 3/183 14268 /proc/meminfo: memFree=27883428/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1797700 CPUtime=1661.98 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 386861 0 0 0 166124 74 0 0 20 0 4 0 23021242 1840844800 391047 33554432000 4194304 16246674 140736731842736 140736731824640 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 449425 391047 900 2943 0 446319 0 [pid=14173/tid=14174] ppid=14170 vsize=1797700 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1840844800 391047 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1797700 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1840844800 391047 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1797700 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1840844800 391047 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 1797700 [startup+1722.3 s] /proc/loadavg: 2.19 2.18 2.17 4/183 14269 /proc/meminfo: memFree=27840424/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1840708 CPUtime=1721.97 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 397527 0 0 0 172120 77 0 0 20 0 4 0 23021242 1884884992 401713 33554432000 4194304 16246674 140736731842736 140736731824640 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 460177 401713 900 2943 0 457071 0 [pid=14173/tid=14174] ppid=14170 vsize=1840708 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1884884992 401713 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1840708 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1884884992 401713 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1840708 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1884884992 401713 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 1840708 [startup+1782.3 s] /proc/loadavg: 2.17 2.17 2.17 3/183 14270 /proc/meminfo: memFree=27803876/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1876548 CPUtime=1781.96 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 406472 0 0 0 178117 79 0 0 20 0 4 0 23021242 1921585152 410658 33554432000 4194304 16246674 140736731842736 140736731824640 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 469137 410658 900 2943 0 466031 0 [pid=14173/tid=14174] ppid=14170 vsize=1876548 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1921585152 410658 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1876548 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1921585152 410658 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1876548 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1921585152 410658 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 1876548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.12 2.16 2.17 3/183 14270 /proc/meminfo: memFree=27803848/32872528 swapFree=1286400/1433568 [pid=14173] ppid=14170 vsize=1876548 CPUtime=1800.05 cores=0,2,4,6 /proc/14173/stat : 14173 (toysat) R 14170 14173 12983 0 -1 4202496 406472 0 0 0 179926 79 0 0 20 0 4 0 23021242 1921585152 410658 33554432000 4194304 16246674 140736731842736 140736731824640 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14173/statm: 469137 410658 900 2943 0 466031 0 [pid=14173/tid=14174] ppid=14170 vsize=1876548 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14174/stat : 14174 (toysat) S 14170 14173 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021242 1921585152 410658 33554432000 4194304 16246674 140736731842736 140407108250864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=14173/tid=14175] ppid=14170 vsize=1876548 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14175/stat : 14175 (toysat) S 14170 14173 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021242 1921585152 410658 33554432000 4194304 16246674 140736731842736 140407097761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=14173/tid=14176] ppid=14170 vsize=1876548 CPUtime=0 cores=0,2,4,6 /proc/14173/task/14176/stat : 14176 (toysat) S 14170 14173 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021242 1921585152 410658 33554432000 4194304 16246674 140736731842736 140406977195184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1876548 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 14173 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.43 CPU time (s): 1800.09 CPU user time (s): 1799.27 CPU system time (s): 0.817875 CPU usage (%): 99.9808 Max. virtual memory (cumulated for all children) (KiB): 1876548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 0.817875 maximum resident set size= 1642632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 406472 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= 129 involuntary context switches= 2128 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.19106 second user time and 9.62754 second system time The end
Begin job on node130 at 2016-06-18 02:29:05 IDJOB=4099945 IDBENCH=1554 IDSOLVER=2542 FILE ID=node130/4099945-1466209744 RUNJOBID= node130-1466206066-12999 PBS_JOBID= 19918147 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099945-1466209744/watcher-4099945-1466209744 -o /tmp/evaluation-result-4099945-1466209744/solver-4099945-1466209744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099945-1466209744.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c00448b3bb1fb54d1d5ecdb2bc9f967d RANDOM SEED=940607901 node130.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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.73 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.365 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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 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.365 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.365 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.53 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.365 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.56 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.365 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: 29323208 kB Buffers: 42104 kB Cached: 122216 kB SwapCached: 1824 kB Active: 1334192 kB Inactive: 71156 kB Active(anon): 1241728 kB Inactive(anon): 1544 kB Active(file): 92464 kB Inactive(file): 69612 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67098948 kB Dirty: 22920 kB Writeback: 0 kB AnonPages: 2676124 kB Mapped: 11084 kB Shmem: 0 kB Slab: 572500 kB SReclaimable: 16332 kB SUnreclaim: 556168 kB KernelStack: 1504 kB PageTables: 9448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2821408 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1318912 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= 71708 MiB End job on node130 at 2016-06-18 02:59:05