| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.12 | 1800.47 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-t1717.opb |
| MD5SUM | 62188545cf171da3270e2dece04174fd |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 200300 |
| Best CPU time to get the best result obtained on this benchmark | 379.541 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 200300 |
| Optimality of the best value was proved | NO |
| Number of variables | 73885 |
| Total number of constraints | 551 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 551 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 585 |
| Maximum length of a constraint | 612 |
| Number of terms in the objective function | 73885 |
| Biggest coefficient in the objective function | 4066 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 172074995 |
| Number of bits of the sum of numbers in the objective function | 28 |
| Biggest number in a constraint | 4066 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 172074995 |
| Number of bits of the biggest sum of numbers | 28 |
| 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-18T01:59:03+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-4099789-1466207943.opb"] 0.00/0.01 c use --random-gen="813491020 706504012 4261325046 1168970625 3570487258 2593257157 2502257985 3112888275 3694440169 1534865162 2700718355 1431573334 2464182983 366017543 2724311027 3121112651 4242347075 2468073952 291290238 2650116632 902615796 2214000291 3571497165 940685960 310247821 1210968997 1018652449 1645728375 1742419720 3972860389 499623174 924154258 3487100861 3160150378 3200677571 3431548943 3380992181 1431993288 2928031721 636169566 192396013 3721332200 4035208866 2248665814 1736813621 1398157406 1957284636 4220077034 3444500655 4115472421 641060546 582471442 2505267737 848949980 3279986864 4234970824 3146133911 2770889462 911010316 1785482067 420812314 668234962 3384794124 1240294889 1783803935 438967044 346043897 457138973 3228938552 1605031854 1755149053 1320910151 1192892821 1188641658 363599513 323422928 1193067097 2901595409 4126016816 1119150707 705672339 2068815964 3591294262 428536127 2722704460 3699371390 2445204275 274912252 1826292095 2150675848 1367541410 3613152692 2692035667 1828478628 206626206 3888450910 1651727965 1733008922 1913501557 440970186 4110504895 1603240136 2166066205 1344318802 57743772 910376911 4171890742 1834179570 2788539880 63982131 3440354872 1388156617 2976678631 1415463957 3880745224 1771589962 400735998 2606293219 1933037205 3490810072 759932977 920564115 854782379 4003856206 4259244400 1673623090 438650723 3751961581 1088405758 3338499795 999125526 2999613468 969665205 1170392539 4212777653 917405434 2431503024 2610240237 175608335 3862490066 129984453 852770006 2105507417 2215166820 1387434522 2595734677 1718272267 1076932335 3652923483 2672865519 4204202172 1818574743 3838353523 353691858 4285737492 1985268213 4024797559 3267591864 2249878184 398865902 2829704640 1816979202 2999991720 1649260883 2983381747 3847494748 901158913 1287003143 1694044167 2044315802 361995808 3308698541 639212924 1848587869 2919908328 397577448 449549415 3776617969 3058771249 2717388474 383635957 2391818065 422715582 2438892497 1163301074 2118060177 3471052998 1536102479 3836604886 1156397123 1212851952 492165981 4051808187 4239704876 1569402561 2607456637 94222251 2656177795 1819459254 397035729 3215250522 2109478740 254418470 2021399141 1928506877 452567905 749694228 3169995925 2262023412 143331008 3622305563 3826666253 3315839847 798216934 3738838229 1396281901 2857883182 78650292 474011215 3879354965 3279071131 2299344493 47647837 2049144632 2060285222 548491657 4237012300 1146593866 3029772301 49210266 3585042796 1322741180 1820707987 3334490817 2210195946 812878827 2988477498 1680115511 2710256122 1102833947 2720425591 29790216 1324618614 720602458 662320055 1026391966 3387391087 3567463745 3095330408 3536404252 772194782 2992153370 352897656 859818277 2537708241 910245216 255 362436" option to reproduce the execution 0.69/0.72 c #vars 73885 0.69/0.72 c #constraints 551 2.89/2.91 c BCD2: Hardening is enabled. 2.89/2.91 c BCD2: BiasedSearch is enabled. 2.89/2.91 c Solving starts ... 2.89/2.91 c ============================[ Search Statistics ]============================ 2.89/2.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.91 c | | | | Limit GC | Var | Constra 2.89/2.91 c ============================================================================= 2.89/2.92 c 0.0s | 0 | 0 | 0 | 24995 0 | 0 | 0 3.79/3.83 c 0.9s | 1 | 9048 | 100 | 24995 0 | 0 | 0 5.29/5.30 c 2.4s | 2 | 42535 | 250 | 27495 0 | 0 | 0 5.99/6.03 c 3.1s | 2 | 64750 | 307 | 30245 0 | 0 | 0 5.99/6.03 c #cpu_time = 3.029s 5.99/6.03 c #wall_clock_time = 3.037s 5.99/6.03 c #decision = 64750 5.99/6.03 c #random_decision = 138 5.99/6.03 c #conflict = 307 5.99/6.03 c #restart = 2 5.99/6.03 o 492842 6.08/6.18 c BCD2: updating upper bound: 172074995 -> 492841 6.89/6.98 c BCD2: 0 <= obj <= 492841 6.89/6.99 c BCD2: #cores=0, #unrelaxed=73885, #relaxed=0, #hardened=0 6.89/6.99 c BCD2: #sat=1 #unsat=1 bias=1/2 6.99/7.00 c Solving starts ... 6.99/7.00 c ============================[ Search Statistics ]============================ 6.99/7.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.99/7.00 c | | | | Limit GC | Var | Constra 6.99/7.00 c ============================================================================= 6.99/7.00 c 0.0s | 0 | 0 | 0 | 30245 0 | 0 | 0 7.29/7.33 c 0.3s | 0 | 73594 | 0 | 30245 0 | 0 | 0 7.29/7.33 c #cpu_time = 0.313s 7.29/7.33 c #wall_clock_time = 0.314s 7.29/7.33 c #decision = 73594 7.29/7.33 c #random_decision = 0 7.29/7.33 c #conflict = 0 7.29/7.33 c #restart = 0 7.29/7.34 c BCD2: found a new core of size 3318: cost of the new core is >=803 7.29/7.34 c lower bound updated to 803 7.29/7.39 c BCD2: 803 <= obj <= 492841 7.29/7.39 c BCD2: #cores=1, #unrelaxed=70567, #relaxed=3318, #hardened=0 7.29/7.39 c BCD2: #sat=1 #unsat=2 bias=2/3 7.39/7.41 c Solving starts ... 7.39/7.41 c ============================[ Search Statistics ]============================ 7.39/7.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.39/7.41 c | | | | Limit GC | Var | Constra 7.39/7.41 c ============================================================================= 7.39/7.41 c 0.0s | 0 | 0 | 0 | 30245 0 | 0 | 0 7.70/7.73 c 0.3s | 0 | 70305 | 0 | 30245 0 | 0 | 0 7.70/7.73 c #cpu_time = 0.297s 7.70/7.73 c #wall_clock_time = 0.298s 7.70/7.73 c #decision = 70305 7.70/7.73 c #random_decision = 0 7.70/7.73 c #conflict = 0 7.70/7.73 c #restart = 0 7.80/7.84 c BCD2: found a new core of size 10166: cost of the new core is >=765 7.80/7.84 c lower bound updated to 1568 7.89/7.91 c BCD2: 1568 <= obj <= 492841 7.89/7.91 c BCD2: #cores=2, #unrelaxed=60401, #relaxed=13484, #hardened=0 7.89/7.91 c BCD2: #sat=1 #unsat=3 bias=3/4 7.99/8.01 c Solving starts ... 7.99/8.01 c ============================[ Search Statistics ]============================ 7.99/8.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.99/8.01 c | | | | Limit GC | Var | Constra 7.99/8.01 c ============================================================================= 7.99/8.02 c 0.0s | 0 | 0 | 0 | 30245 0 | 0 | 0 8.19/8.25 c 0.2s | 0 | 60330 | 1 | 30245 0 | 0 | 0 8.19/8.25 c #cpu_time = 0.212s 8.19/8.25 c #wall_clock_time = 0.213s 8.19/8.25 c #decision = 60330 8.19/8.25 c #random_decision = 0 8.19/8.25 c #conflict = 1 8.19/8.25 c #restart = 0 8.19/8.26 c BCD2: found a new core of size 1099: cost of the new core is >=1110 8.19/8.26 c lower bound updated to 2678 8.29/8.30 c BCD2: 2678 <= obj <= 492841 8.29/8.30 c BCD2: #cores=3, #unrelaxed=59302, #relaxed=14583, #hardened=0 8.29/8.30 c BCD2: #sat=1 #unsat=4 bias=4/5 8.90/8.97 c Solving starts ... 8.90/8.97 c ============================[ Search Statistics ]============================ 8.90/8.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.90/8.97 c | | | | Limit GC | Var | Constra 8.90/8.97 c ============================================================================= 8.90/8.98 c 0.0s | 0 | 0 | 0 | 30245 0 | 0 | 0 9.19/9.27 c 0.3s | 0 | 59676 | 12 | 30245 0 | 0 | 0 9.19/9.27 c #cpu_time = 0.279s 9.19/9.27 c #wall_clock_time = 0.280s 9.19/9.27 c #decision = 59676 9.19/9.27 c #random_decision = 0 9.19/9.27 c #conflict = 12 9.19/9.27 c #restart = 0 9.19/9.29 c BCD2: found a new core of size 2899: cost of the new core is >=858 9.19/9.29 c lower bound updated to 3536 9.29/9.34 c BCD2: 3536 <= obj <= 492841 9.29/9.35 c BCD2: #cores=4, #unrelaxed=56403, #relaxed=17482, #hardened=0 9.29/9.35 c BCD2: #sat=1 #unsat=5 bias=5/6 10.09/10.15 c Solving starts ... 10.09/10.15 c ============================[ Search Statistics ]============================ 10.09/10.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.09/10.15 c | | | | Limit GC | Var | Constra 10.09/10.15 c ============================================================================= 10.09/10.15 c 0.0s | 0 | 0 | 0 | 30245 0 | 0 | 0 11.69/11.77 c 1.6s | 1 | 65958 | 100 | 30245 0 | 0 | 0 13.19/13.21 c 3.1s | 2 | 125306 | 250 | 33270 0 | 0 | 0 15.18/15.26 c 5.1s | 2 | 188729 | 350 | 33270 0 | 0 | 0 16.38/16.50 c 6.3s | 3 | 192529 | 475 | 33270 0 | 0 | 0 19.49/19.57 c 9.4s | 3 | 251978 | 675 | 36597 0 | 0 | 0 20.79/20.81 c 10.7s | 4 | 252817 | 813 | 36597 0 | 0 | 0 23.29/23.30 c 13.1s | 4 | 317397 | 1113 | 40257 0 | 0 | 0 26.19/26.22 c 16.1s | 4 | 318227 | 1313 | 40257 0 | 0 | 0 26.29/26.31 c 16.2s | 5 | 318281 | 1320 | 40257 0 | 0 | 0 28.28/28.40 c 18.2s | 5 | 376918 | 1620 | 40257 0 | 0 | 0 30.98/31.04 c 20.9s | 5 | 380891 | 1920 | 44283 0 | 0 | 0 33.58/33.61 c 23.5s | 6 | 382939 | 2081 | 44283 0 | 0 | 0 36.29/36.38 c 26.2s | 6 | 441803 | 2281 | 44283 0 | 0 | 0 39.18/39.23 c 29.1s | 6 | 443369 | 2481 | 44283 0 | 0 | 0 41.68/41.72 c 31.6s | 6 | 447508 | 2881 | 44283 0 | 0 | 0 43.68/43.77 c 33.6s | 6 | 449713 | 3181 | 48712 0 | 0 | 0 43.98/44.06 c 33.9s | 7 | 450132 | 3223 | 48712 0 | 0 | 0 46.98/47.09 c 36.9s | 7 | 507961 | 3523 | 48712 0 | 0 | 0 50.38/50.45 c 40.3s | 7 | 509163 | 3823 | 48712 0 | 0 | 0 52.58/52.65 c 42.5s | 7 | 511025 | 4023 | 48712 0 | 0 | 0 55.38/55.40 c 45.3s | 7 | 513773 | 4323 | 48712 0 | 0 | 0 57.38/57.45 c 47.3s | 7 | 515224 | 4523 | 48712 0 | 0 | 0 60.38/60.45 c 50.3s | 7 | 516196 | 4823 | 53584 0 | 0 | 0 62.47/62.58 c 52.4s | 8 | 516748 | 4936 | 53584 0 | 0 | 0 64.67/64.70 c 54.6s | 8 | 575092 | 5036 | 53584 0 | 0 | 0 67.48/67.56 c 57.4s | 8 | 575960 | 5236 | 53584 0 | 0 | 0 69.78/69.88 c 59.7s | 8 | 577515 | 5436 | 53584 0 | 0 | 0 73.08/73.17 c 63.0s | 8 | 577837 | 5536 | 53584 0 | 0 | 0 78.38/78.43 c 68.3s | 8 | 578169 | 5636 | 53584 0 | 0 | 0 81.97/82.09 c 71.9s | 8 | 582056 | 5836 | 53584 0 | 0 | 0 84.57/84.65 c 74.5s | 8 | 583725 | 6036 | 53584 0 | 0 | 0 85.37/85.49 c 75.3s | 8 | 584374 | 6141 | 53584 0 | 0 | 0 85.37/85.49 c #cpu_time = 75.103s 85.37/85.49 c #wall_clock_time = 75.301s 85.37/85.49 c #decision = 584374 85.37/85.49 c #random_decision = 73 85.37/85.49 c #conflict = 6141 85.37/85.49 c #restart = 8 85.47/85.57 c BCD2: relaxing 5968 and merging with 1 cores into a new core of size 7067: cost of the new core is >=2068 85.47/85.57 c lower bound updated to 4494 85.57/85.65 c BCD2: 4494 <= obj <= 492841 85.57/85.65 c BCD2: #cores=4, #unrelaxed=50435, #relaxed=23450, #hardened=0 85.57/85.65 c BCD2: #sat=1 #unsat=6 bias=6/7 85.78/85.82 c Solving starts ... 85.78/85.82 c ============================[ Search Statistics ]============================ 85.78/85.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 85.78/85.82 c | | | | Limit GC | Var | Constra 85.78/85.82 c ============================================================================= 85.78/85.83 c 0.0s | 0 | 0 | 0 | 53584 0 | 2 | 0 88.08/88.16 c 2.3s | 0 | 58048 | 100 | 53584 0 | 2 | 3 88.08/88.19 c 2.4s | 1 | 58048 | 100 | 53584 0 | 2 | 3 90.18/90.25 c 4.4s | 1 | 111721 | 200 | 53584 0 | 2 | 3 90.78/90.84 c 5.0s | 2 | 112243 | 250 | 53584 0 | 2 | 3 95.57/95.65 c 9.8s | 2 | 163949 | 450 | 53584 0 | 2 | 3 96.28/96.32 c 10.5s | 3 | 163985 | 475 | 53584 0 | 2 | 3 99.17/99.25 c 13.4s | 3 | 224977 | 675 | 53584 0 | 2 | 3 101.18/101.23 c 15.4s | 4 | 228914 | 813 | 53584 0 | 2 | 3 103.17/103.28 c 17.5s | 4 | 282976 | 913 | 53584 0 | 2 | 3 105.47/105.56 c 19.7s | 4 | 285311 | 1113 | 58943 0 | 2 | 3 107.88/107.97 c 22.1s | 4 | 287651 | 1313 | 58943 0 | 2 | 3 108.08/108.12 c 22.3s | 5 | 287674 | 1320 | 58943 0 | 2 | 3 110.17/110.23 c 24.4s | 5 | 340504 | 1420 | 58943 0 | 2 | 3 112.97/113.01 c 27.2s | 5 | 345799 | 1820 | 58943 0 | 2 | 3 115.48/115.52 c 29.7s | 5 | 350628 | 2020 | 58943 0 | 2 | 3 116.07/116.19 c 30.4s | 6 | 350815 | 2081 | 58943 0 | 2 | 3 118.47/118.58 c 32.8s | 6 | 407631 | 2181 | 58943 0 | 2 | 3 121.17/121.28 c 35.5s | 6 | 410355 | 2381 | 58943 0 | 2 | 3 123.77/123.82 c 38.0s | 6 | 411579 | 2581 | 58943 0 | 2 | 3 127.37/127.49 c 41.7s | 6 | 412741 | 2781 | 58943 0 | 2 | 3 131.17/131.24 c 45.4s | 6 | 413759 | 2981 | 58943 0 | 2 | 3 136.06/136.16 c 50.3s | 6 | 416211 | 3181 | 58943 0 | 2 | 3 137.26/137.31 c 51.5s | 7 | 416750 | 3223 | 58943 0 | 2 | 3 139.37/139.44 c 53.6s | 7 | 469364 | 3323 | 58943 0 | 2 | 3 141.67/141.79 c 56.0s | 7 | 471537 | 3523 | 58943 0 | 2 | 3 143.77/143.86 c 58.0s | 7 | 474841 | 3823 | 58943 0 | 2 | 3 146.56/146.63 c 60.8s | 7 | 478981 | 4123 | 58943 0 | 2 | 3 149.76/149.83 c 64.0s | 7 | 491804 | 4323 | 58943 0 | 2 | 3 154.96/155.07 c 69.2s | 7 | 509340 | 4423 | 58943 0 | 2 | 3 160.86/160.93 c 75.1s | 7 | 525456 | 4523 | 58943 0 | 2 | 3 170.06/170.11 c 84.3s | 7 | 529975 | 4623 | 58943 0 | 2 | 3 176.76/176.80 c 91.0s | 7 | 543853 | 4723 | 58943 0 | 2 | 3 181.57/181.60 c 95.8s | 7 | 545757 | 4823 | 58943 0 | 2 | 3 183.56/183.67 c 97.8s | 7 | 546356 | 4923 | 64838 0 | 2 | 3 183.67/183.80 c 98.0s | 8 | 546392 | 4936 | 64838 0 | 2 | 3 190.86/190.96 c 105s | 8 | 608217 | 5036 | 64838 0 | 2 | 3 197.46/197.59 c 111s | 8 | 618729 | 5136 | 64838 0 | 2 | 3 206.36/206.46 c 120s | 8 | 624236 | 5236 | 64838 0 | 2 | 3 212.96/213.09 c 127s | 8 | 625908 | 5336 | 64838 0 | 2 | 3 220.66/220.74 c 134s | 8 | 626186 | 5436 | 64838 0 | 2 | 3 230.56/230.65 c 144s | 8 | 626267 | 5536 | 64838 0 | 2 | 3 234.86/234.90 c 149s | 8 | 626449 | 5636 | 64838 0 | 2 | 3 237.45/237.60 c 151s | 8 | 627251 | 5736 | 64838 0 | 2 | 3 240.35/240.45 c 154s | 8 | 628731 | 5836 | 64838 0 | 2 | 3 242.95/243.05 c 157s | 8 | 629906 | 5936 | 64838 0 | 2 | 3 245.65/245.76 c 159s | 8 | 631507 | 6036 | 64838 0 | 2 | 3 247.85/247.98 c 162s | 8 | 631681 | 6136 | 64838 0 | 2 | 3 250.05/250.11 c 164s | 8 | 631840 | 6236 | 64838 0 | 2 | 3 253.55/253.62 c 167s | 8 | 632776 | 6336 | 64838 0 | 2 | 3 257.25/257.38 c 171s | 8 | 633224 | 6436 | 64838 0 | 2 | 3 260.25/260.34 c 174s | 8 | 633703 | 6536 | 64838 0 | 2 | 3 262.45/262.57 c 176s | 8 | 633902 | 6636 | 64838 0 | 2 | 3 265.06/265.18 c 179s | 8 | 634236 | 6736 | 64838 0 | 2 | 3 268.95/269.06 c 183s | 8 | 635877 | 6836 | 64838 0 | 2 | 3 272.76/272.87 c 187s | 8 | 636485 | 7036 | 64838 0 | 2 | 3 279.45/279.58 c 193s | 8 | 638989 | 7236 | 64838 0 | 2 | 3 281.85/281.96 c 196s | 8 | 639449 | 7336 | 64838 0 | 2 | 3 284.35/284.42 c 198s | 8 | 644037 | 7436 | 64838 0 | 2 | 3 287.85/287.93 c 202s | 9 | 657668 | 7506 | 64838 0 | 2 | 3 295.04/295.11 c 209s | 9 | 731157 | 7606 | 64838 0 | 2 | 3 302.94/303.06 c 217s | 9 | 749079 | 7706 | 64838 0 | 2 | 3 318.04/318.16 c 232s | 9 | 761998 | 7806 | 64838 0 | 2 | 3 337.13/337.26 c 251s | 9 | 769437 | 7906 | 64838 0 | 2 | 3 339.63/339.73 c 253s | 9 | 771592 | 8106 | 64838 0 | 2 | 3 342.64/342.74 c 256s | 9 | 775380 | 8406 | 64838 0 | 2 | 3 345.53/345.68 c 259s | 9 | 780898 | 8706 | 64838 0 | 2 | 3 348.53/348.64 c 262s | 9 | 786299 | 9006 | 64838 0 | 2 | 3 351.53/351.67 c 265s | 9 | 790040 | 9306 | 64838 0 | 2 | 3 354.73/354.89 c 269s | 9 | 792250 | 9506 | 64838 0 | 2 | 3 360.13/360.29 c 274s | 9 | 792693 | 9606 | 64838 0 | 2 | 3 363.93/364.06 c 278s | 9 | 792947 | 9706 | 64838 0 | 2 | 3 366.34/366.41 c 280s | 9 | 794441 | 9806 | 64838 0 | 2 | 3 370.03/370.13 c 284s | 9 | 795183 | 9906 | 64838 0 | 2 | 3 372.34/372.40 c 286s | 9 | 800091 | 10106 | 64838 0 | 2 | 3 375.04/375.19 c 289s | 9 | 803381 | 10406 | 64838 0 | 2 | 3 377.24/377.38 c 291s | 9 | 809025 | 10706 | 71322 0 | 2 | 3 379.73/379.84 c 294s | 9 | 816744 | 11006 | 71322 0 | 2 | 3 383.63/383.75 c 297s | 9 | 818406 | 11306 | 71322 0 | 2 | 3 384.63/384.78 c 298s | 10 | 819641 | 11361 | 71322 0 | 2 | 3 389.02/389.10 c 303s | 10 | 873643 | 11461 | 71322 0 | 2 | 3 391.42/391.54 c 305s | 10 | 879000 | 11661 | 71322 0 | 2 | 3 393.92/394.03 c 308s | 10 | 886609 | 11761 | 71322 0 | 2 | 3 398.13/398.29 c 312s | 10 | 889548 | 11861 | 71322 0 | 2 | 3 401.62/401.70 c 315s | 10 | 891312 | 11961 | 71322 0 | 2 | 3 403.82/403.94 c 318s | 10 | 891597 | 12061 | 71322 0 | 2 | 3 407.04/407.15 c 321s | 10 | 895712 | 12261 | 71322 0 | 2 | 3 410.43/410.57 c 324s | 10 | 897665 | 12461 | 71322 0 | 2 | 3 413.53/413.68 c 327s | 10 | 898318 | 12561 | 71322 0 | 2 | 3 417.23/417.37 c 331s | 10 | 898856 | 12661 | 71322 0 | 2 | 3 421.63/421.73 c 335s | 10 | 900224 | 12761 | 71322 0 | 2 | 3 425.63/425.78 c 339s | 10 | 900809 | 12861 | 71322 0 | 2 | 3 431.62/431.74 c 345s | 10 | 901058 | 12961 | 71322 0 | 2 | 3 434.62/434.76 c 348s | 10 | 901683 | 13061 | 71322 0 | 2 | 3 439.42/439.56 c 353s | 10 | 902840 | 13161 | 71322 0 | 2 | 3 442.82/442.97 c 357s | 10 | 905132 | 13361 | 71322 0 | 2 | 3 446.62/446.79 c 360s | 10 | 906473 | 13561 | 71322 0 | 2 | 3 449.61/449.78 c 363s | 10 | 907425 | 13761 | 71322 0 | 2 | 3 452.82/452.95 c 367s | 10 | 908296 | 13961 | 71322 0 | 2 | 3 455.52/455.60 c 369s | 10 | 913059 | 14161 | 71322 0 | 2 | 3 458.62/458.73 c 372s | 10 | 915065 | 14361 | 71322 0 | 2 | 3 461.52/461.65 c 375s | 10 | 916000 | 14461 | 71322 0 | 2 | 3 466.43/466.51 c 380s | 10 | 916305 | 14561 | 71322 0 | 2 | 3 471.42/471.55 c 385s | 10 | 916596 | 14661 | 71322 0 | 2 | 3 474.62/474.77 c 388s | 10 | 916753 | 14761 | 71322 0 | 2 | 3 478.12/478.20 c 392s | 10 | 916966 | 14861 | 71322 0 | 2 | 3 483.01/483.18 c 397s | 10 | 918348 | 15061 | 71322 0 | 2 | 3 486.81/486.96 c 401s | 10 | 918739 | 15161 | 71322 0 | 2 | 3 490.01/490.14 c 404s | 10 | 919200 | 15261 | 71322 0 | 2 | 3 496.51/496.67 c 410s | 10 | 919848 | 15361 | 71322 0 | 2 | 3 505.11/505.24 c 419s | 10 | 920445 | 15461 | 71322 0 | 2 | 3 511.91/512.07 c 426s | 10 | 920699 | 15561 | 71322 0 | 2 | 3 522.91/523.08 c 437s | 10 | 921157 | 15661 | 71322 0 | 2 | 3 534.41/534.56 c 448s | 10 | 921462 | 15761 | 71322 0 | 2 | 3 540.51/540.61 c 454s | 10 | 922039 | 15861 | 71322 0 | 2 | 3 546.31/546.45 c 460s | 10 | 922261 | 15961 | 71322 0 | 2 | 3 555.00/555.20 c 469s | 10 | 922437 | 16061 | 71322 0 | 2 | 3 562.50/562.65 c 476s | 10 | 923248 | 16161 | 71322 0 | 2 | 3 569.00/569.11 c 483s | 10 | 923488 | 16261 | 71322 0 | 2 | 3 580.50/580.66 c 494s | 10 | 927532 | 16361 | 71322 0 | 2 | 3 612.09/612.25 c 526s | 10 | 927673 | 16461 | 71322 0 | 2 | 3 622.79/622.96 c 537s | 10 | 928020 | 16561 | 71322 0 | 2 | 3 626.90/627.07 c 541s | 10 | 928271 | 16661 | 71322 0 | 2 | 3 632.99/633.14 c 547s | 10 | 928562 | 16761 | 71322 0 | 2 | 3 644.39/644.50 c 558s | 10 | 929221 | 16861 | 71322 0 | 2 | 3 673.78/673.93 c 588s | 10 | 929895 | 16961 | 71322 0 | 2 | 3 720.87/721.07 c 635s | 10 | 931104 | 17061 | 71322 0 | 2 | 3 723.07/723.29 c 637s | 11 | 938099 | 17144 | 71322 0 | 2 | 3 728.18/728.38 c 642s | 11 | 990286 | 17244 | 71322 0 | 2 | 3 732.27/732.42 c 646s | 11 | 1001129 | 17344 | 71322 0 | 2 | 3 743.17/743.32 c 657s | 11 | 1010696 | 17444 | 71322 0 | 2 | 3 747.28/747.45 c 661s | 11 | 1018078 | 17644 | 71322 0 | 2 | 3 754.17/754.38 c 668s | 11 | 1026036 | 17744 | 71322 0 | 2 | 3 758.98/759.11 c 673s | 11 | 1029507 | 17844 | 71322 0 | 2 | 3 762.77/762.96 c 677s | 11 | 1030038 | 17944 | 71322 0 | 2 | 3 765.17/765.30 c 679s | 11 | 1030889 | 18044 | 71322 0 | 2 | 3 767.57/767.75 c 681s | 11 | 1031990 | 18144 | 71322 0 | 2 | 3 770.67/770.86 c 685s | 11 | 1033096 | 18244 | 71322 0 | 2 | 3 774.57/774.77 c 688s | 11 | 1035402 | 18344 | 71322 0 | 2 | 3 777.97/778.13 c 692s | 11 | 1036291 | 18444 | 71322 0 | 2 | 3 780.37/780.59 c 694s | 11 | 1036893 | 18544 | 71322 0 | 2 | 3 783.47/783.62 c 697s | 11 | 1045039 | 18744 | 71322 0 | 2 | 3 785.57/785.71 c 699s | 11 | 1046548 | 18944 | 71322 0 | 2 | 3 788.27/788.44 c 702s | 11 | 1049274 | 19044 | 71322 0 | 2 | 3 790.57/790.78 c 704s | 11 | 1050146 | 19144 | 71322 0 | 2 | 3 792.97/793.13 c 707s | 11 | 1051979 | 19244 | 78455 0 | 2 | 3 796.86/797.05 c 711s | 11 | 1052950 | 19444 | 78455 0 | 2 | 3 799.57/799.73 c 713s | 11 | 1053434 | 19544 | 78455 0 | 2 | 3 802.46/802.68 c 716s | 11 | 1054544 | 19644 | 78455 0 | 2 | 3 805.95/806.14 c 720s | 11 | 1055796 | 19744 | 78455 0 | 2 | 3 808.66/808.82 c 722s | 11 | 1056062 | 19844 | 78455 0 | 2 | 3 811.85/812.05 c 726s | 11 | 1056564 | 19944 | 78455 0 | 2 | 3 817.85/818.01 c 732s | 11 | 1057104 | 20044 | 78455 0 | 2 | 3 824.05/824.27 c 738s | 11 | 1057499 | 20144 | 78455 0 | 2 | 3 831.04/831.25 c 745s | 11 | 1058157 | 20244 | 78455 0 | 2 | 3 838.94/839.13 c 753s | 11 | 1058986 | 20344 | 78455 0 | 2 | 3 849.44/849.66 c 763s | 11 | 1059232 | 20444 | 78455 0 | 2 | 3 859.34/859.50 c 773s | 11 | 1059430 | 20544 | 78455 0 | 2 | 3 869.63/869.81 c 783s | 11 | 1059739 | 20644 | 78455 0 | 2 | 3 876.93/877.16 c 791s | 11 | 1060691 | 20744 | 78455 0 | 2 | 3 882.74/882.97 c 797s | 11 | 1060965 | 20844 | 78455 0 | 2 | 3 888.74/888.91 c 803s | 11 | 1064806 | 20944 | 78455 0 | 2 | 3 890.73/890.96 c 805s | 11 | 1067275 | 21044 | 78455 0 | 2 | 3 894.93/895.14 c 809s | 11 | 1070806 | 21244 | 78455 0 | 2 | 3 898.13/898.37 c 812s | 11 | 1071027 | 21344 | 78455 0 | 2 | 3 901.13/901.37 c 815s | 11 | 1071438 | 21444 | 78455 0 | 2 | 3 903.63/903.86 c 818s | 11 | 1075538 | 21544 | 78455 0 | 2 | 3 906.93/907.15 c 821s | 11 | 1075900 | 21644 | 78455 0 | 2 | 3 910.02/910.27 c 824s | 11 | 1076074 | 21744 | 78455 0 | 2 | 3 912.32/912.50 c 826s | 11 | 1077816 | 21844 | 78455 0 | 2 | 3 915.42/915.63 c 829s | 11 | 1079014 | 21944 | 78455 0 | 2 | 3 918.43/918.64 c 832s | 11 | 1079241 | 22044 | 78455 0 | 2 | 3 921.93/922.18 c 836s | 11 | 1079432 | 22144 | 78455 0 | 2 | 3 926.62/926.89 c 841s | 11 | 1080473 | 22244 | 78455 0 | 2 | 3 930.03/930.27 c 844s | 11 | 1080773 | 22344 | 78455 0 | 2 | 3 934.83/935.10 c 849s | 11 | 1081140 | 22444 | 78455 0 | 2 | 3 940.92/941.14 c 855s | 11 | 1082297 | 22544 | 78455 0 | 2 | 3 945.82/946.01 c 860s | 11 | 1082533 | 22644 | 78455 0 | 2 | 3 953.12/953.33 c 867s | 11 | 1082734 | 22744 | 78455 0 | 2 | 3 955.92/956.19 c 870s | 11 | 1083172 | 22844 | 78455 0 | 2 | 3 958.52/958.78 c 872s | 11 | 1089343 | 23044 | 78455 0 | 2 | 3 961.02/961.28 c 875s | 11 | 1090016 | 23144 | 78455 0 | 2 | 3 964.62/964.84 c 879s | 11 | 1092087 | 23344 | 78455 0 | 2 | 3 968.12/968.31 c 882s | 11 | 1095878 | 23544 | 78455 0 | 2 | 3 973.81/974.01 c 888s | 11 | 1097847 | 23744 | 78455 0 | 2 | 3 980.41/980.60 c 894s | 11 | 1098183 | 23844 | 78455 0 | 2 | 3 984.81/985.07 c 899s | 11 | 1098643 | 23944 | 78455 0 | 2 | 3 989.41/989.67 c 903s | 11 | 1098842 | 24044 | 78455 0 | 2 | 3 992.91/993.11 c 907s | 11 | 1099364 | 24144 | 78455 0 | 2 | 3 998.41/998.64 c 912s | 11 | 1099608 | 24244 | 78455 0 | 2 | 3 1003.50/1003.70 c 917s | 11 | 1100044 | 24344 | 78455 0 | 2 | 3 1007.90/1008.17 c 922s | 11 | 1100233 | 24444 | 78455 0 | 2 | 3 1014.30/1014.57 c 928s | 11 | 1100725 | 24544 | 78455 0 | 2 | 3 1023.70/1023.90 c 938s | 11 | 1101391 | 24644 | 78455 0 | 2 | 3 1026.80/1027.01 c 941s | 11 | 1102662 | 24744 | 78455 0 | 2 | 3 1031.90/1032.12 c 946s | 11 | 1102926 | 24844 | 78455 0 | 2 | 3 1034.80/1035.03 c 949s | 11 | 1103328 | 24944 | 78455 0 | 2 | 3 1039.99/1040.28 c 954s | 11 | 1103632 | 25044 | 78455 0 | 2 | 3 1046.01/1046.26 c 960s | 11 | 1103882 | 25144 | 78455 0 | 2 | 3 1055.60/1055.80 c 969s | 11 | 1104576 | 25244 | 78455 0 | 2 | 3 1058.29/1058.59 c 972s | 11 | 1105045 | 25344 | 78455 0 | 2 | 3 1063.99/1064.21 c 978s | 11 | 1105208 | 25444 | 78455 0 | 2 | 3 1070.99/1071.29 c 985s | 11 | 1105975 | 25544 | 78455 0 | 2 | 3 1075.50/1075.76 c 989s | 11 | 1107298 | 25644 | 78455 0 | 2 | 3 1083.09/1083.30 c 997s | 11 | 1108557 | 25744 | 78455 0 | 2 | 3 1089.29/1089.54 c 1003s | 12 | 1109014 | 25819 | 78455 0 | 2 | 3 1100.79/1101.05 c 1015s | 12 | 1161376 | 25919 | 78455 0 | 2 | 3 1106.79/1107.04 c 1021s | 12 | 1162880 | 26019 | 78455 0 | 2 | 3 1109.08/1109.37 c 1023s | 12 | 1166909 | 26219 | 78455 0 | 2 | 3 1111.89/1112.11 c 1026s | 12 | 1174249 | 26419 | 78455 0 | 2 | 3 1114.38/1114.63 c 1028s | 12 | 1175256 | 26519 | 78455 0 | 2 | 3 1117.39/1117.68 c 1031s | 12 | 1179421 | 26719 | 78455 0 | 2 | 3 1120.08/1120.35 c 1034s | 12 | 1180525 | 26919 | 78455 0 | 2 | 3 1123.48/1123.71 c 1037s | 12 | 1181119 | 27019 | 78455 0 | 2 | 3 1127.08/1127.32 c 1041s | 12 | 1181797 | 27119 | 78455 0 | 2 | 3 1130.48/1130.76 c 1044s | 12 | 1182013 | 27219 | 78455 0 | 2 | 3 1136.58/1136.89 c 1051s | 12 | 1182321 | 27319 | 78455 0 | 2 | 3 1143.58/1143.88 c 1058s | 12 | 1182451 | 27419 | 78455 0 | 2 | 3 1147.67/1147.91 c 1062s | 12 | 1183381 | 27519 | 78455 0 | 2 | 3 1154.97/1155.27 c 1069s | 12 | 1185697 | 27719 | 78455 0 | 2 | 3 1161.38/1161.69 c 1075s | 12 | 1186030 | 27819 | 78455 0 | 2 | 3 1169.18/1169.46 c 1083s | 12 | 1186483 | 27919 | 78455 0 | 2 | 3 1172.57/1172.89 c 1087s | 12 | 1187063 | 28019 | 78455 0 | 2 | 3 1179.67/1179.97 c 1094s | 12 | 1187589 | 28119 | 78455 0 | 2 | 3 1191.27/1191.55 c 1105s | 12 | 1187836 | 28219 | 78455 0 | 2 | 3 1197.47/1197.77 c 1111s | 12 | 1188597 | 28319 | 78455 0 | 2 | 3 1205.07/1205.31 c 1119s | 12 | 1189511 | 28419 | 78455 0 | 2 | 3 1212.87/1213.19 c 1127s | 12 | 1189881 | 28519 | 78455 0 | 2 | 3 1221.37/1221.60 c 1135s | 12 | 1190771 | 28619 | 78455 0 | 2 | 3 1236.18/1236.44 c 1150s | 12 | 1191285 | 28719 | 78455 0 | 2 | 3 1263.56/1263.83 c 1178s | 12 | 1192210 | 28819 | 78455 0 | 2 | 3 1279.16/1279.46 c 1193s | 12 | 1192359 | 28919 | 78455 0 | 2 | 3 1285.26/1285.58 c 1199s | 12 | 1192919 | 29019 | 78455 0 | 2 | 3 1294.66/1294.94 c 1209s | 12 | 1193564 | 29119 | 78455 0 | 2 | 3 1304.85/1305.18 c 1219s | 12 | 1193985 | 29219 | 78455 0 | 2 | 3 1314.45/1314.72 c 1228s | 12 | 1194230 | 29319 | 78455 0 | 2 | 3 1339.94/1340.28 c 1254s | 12 | 1194470 | 29419 | 78455 0 | 2 | 3 1350.55/1350.88 c 1265s | 12 | 1195349 | 29519 | 78455 0 | 2 | 3 1361.44/1361.72 c 1275s | 12 | 1195969 | 29619 | 78455 0 | 2 | 3 1375.04/1375.38 c 1289s | 12 | 1197148 | 29719 | 78455 0 | 2 | 3 1387.34/1387.69 c 1301s | 12 | 1197803 | 29819 | 78455 0 | 2 | 3 1396.93/1397.26 c 1311s | 12 | 1198033 | 29919 | 78455 0 | 2 | 3 1404.73/1405.07 c 1319s | 12 | 1198547 | 30019 | 78455 0 | 2 | 3 1411.14/1411.44 c 1325s | 12 | 1199216 | 30119 | 78455 0 | 2 | 3 1424.03/1424.35 c 1338s | 12 | 1199580 | 30219 | 78455 0 | 2 | 3 1438.12/1438.48 c 1352s | 12 | 1199753 | 30319 | 78455 0 | 2 | 3 1452.52/1452.85 c 1367s | 12 | 1199905 | 30419 | 78455 0 | 2 | 3 1460.02/1460.33 c 1374s | 12 | 1200735 | 30519 | 78455 0 | 2 | 3 1463.62/1463.96 c 1378s | 12 | 1205894 | 30719 | 78455 0 | 2 | 3 1466.72/1467.04 c 1381s | 12 | 1206515 | 30819 | 78455 0 | 2 | 3 1471.62/1471.97 c 1386s | 12 | 1208470 | 31019 | 78455 0 | 2 | 3 1476.71/1477.08 c 1391s | 12 | 1213720 | 31219 | 78455 0 | 2 | 3 1479.22/1479.59 c 1393s | 12 | 1215214 | 31319 | 78455 0 | 2 | 3 1481.42/1481.75 c 1395s | 12 | 1215367 | 31419 | 78455 0 | 2 | 3 1487.12/1487.42 c 1401s | 12 | 1215999 | 31619 | 78455 0 | 2 | 3 1490.82/1491.11 c 1405s | 12 | 1218000 | 31719 | 78455 0 | 2 | 3 1493.81/1494.14 c 1408s | 12 | 1218239 | 31819 | 78455 0 | 2 | 3 1497.61/1497.96 c 1412s | 12 | 1218953 | 31919 | 78455 0 | 2 | 3 1502.01/1502.32 c 1416s | 12 | 1221433 | 32019 | 78455 0 | 2 | 3 1508.11/1508.45 c 1422s | 12 | 1222822 | 32119 | 78455 0 | 2 | 3 1513.41/1513.72 c 1427s | 12 | 1222976 | 32219 | 86301 0 | 2 | 3 1520.21/1520.50 c 1434s | 12 | 1225559 | 32319 | 86301 0 | 2 | 3 1535.70/1536.07 c 1450s | 12 | 1228882 | 32419 | 86301 0 | 2 | 3 1541.11/1541.41 c 1455s | 12 | 1233128 | 32519 | 86301 0 | 2 | 3 1546.41/1546.78 c 1460s | 12 | 1233649 | 32619 | 86301 0 | 2 | 3 1553.31/1553.62 c 1467s | 12 | 1234106 | 32719 | 86301 0 | 2 | 3 1558.70/1559.03 c 1473s | 12 | 1234584 | 32819 | 86301 0 | 2 | 3 1563.91/1564.23 c 1478s | 12 | 1234803 | 32919 | 86301 0 | 2 | 3 1568.70/1569.07 c 1483s | 12 | 1235078 | 33019 | 86301 0 | 2 | 3 1576.11/1576.49 c 1490s | 12 | 1235315 | 33119 | 86301 0 | 2 | 3 1579.31/1579.69 c 1493s | 12 | 1235955 | 33219 | 86301 0 | 2 | 3 1584.50/1584.86 c 1499s | 12 | 1236125 | 33319 | 86301 0 | 2 | 3 1593.20/1593.59 c 1507s | 12 | 1236386 | 33419 | 86301 0 | 2 | 3 1600.60/1600.98 c 1515s | 12 | 1236728 | 33519 | 86301 0 | 2 | 3 1610.30/1610.64 c 1524s | 12 | 1236871 | 33619 | 86301 0 | 2 | 3 1619.79/1620.14 c 1534s | 12 | 1237049 | 33719 | 86301 0 | 2 | 3 1630.19/1630.59 c 1544s | 12 | 1237504 | 33819 | 86301 0 | 2 | 3 1641.09/1641.40 c 1555s | 12 | 1237694 | 33919 | 86301 0 | 2 | 3 1650.18/1650.59 c 1564s | 12 | 1238522 | 34019 | 86301 0 | 2 | 3 1655.38/1655.72 c 1569s | 12 | 1240256 | 34119 | 86301 0 | 2 | 3 1662.09/1662.40 c 1576s | 12 | 1241509 | 34219 | 86301 0 | 2 | 3 1670.49/1670.88 c 1585s | 12 | 1242920 | 34319 | 86301 0 | 2 | 3 1682.87/1683.27 c 1597s | 12 | 1244568 | 34419 | 86301 0 | 2 | 3 1698.08/1698.45 c 1612s | 12 | 1244721 | 34519 | 86301 0 | 2 | 3 1714.16/1714.53 c 1628s | 12 | 1244836 | 34619 | 86301 0 | 2 | 3 1723.56/1723.97 c 1638s | 12 | 1245223 | 34719 | 86301 0 | 2 | 3 1734.26/1734.62 c 1648s | 12 | 1245449 | 34819 | 86301 0 | 2 | 3 1744.15/1744.51 c 1658s | 12 | 1245647 | 34919 | 86301 0 | 2 | 3 1765.05/1765.43 c 1679s | 12 | 1246760 | 35019 | 86301 0 | 2 | 3 1787.35/1787.70 c 1701s | 12 | 1246951 | 35119 | 86301 0 | 2 | 3
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-4099789-1466207943/watcher-4099789-1466207943 -o /tmp/evaluation-result-4099789-1466207943/solver-4099789-1466207943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099789-1466207943.opb pid=32246 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.20 2.19 1.90 3/179 32249 /proc/meminfo: memFree=29635760/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 2720 0 0 0 0 0 0 0 20 0 4 0 22840833 745992192 2569 33554432000 4194304 16246674 140737408201072 140737408200496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 182639 2579 441 2943 0 179533 0 [pid=32249/tid=32250] ppid=32246 vsize=745916 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 763817984 2640 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=751036 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 769060864 2658 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=755132 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22840833 773255168 2675 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.20 2.19 1.90 3/179 32249 /proc/meminfo: memFree=29635760/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 29771 0 0 0 5 3 0 0 20 0 4 0 22840833 1333334016 29559 33554432000 4194304 16246674 140737408201072 140737408200384 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 325521 29574 799 2943 0 322415 0 [pid=32249/tid=32250] ppid=32246 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1333334016 29584 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1333334016 29595 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1333334016 29606 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200521 s] /proc/loadavg: 2.20 2.19 1.90 3/179 32249 /proc/meminfo: memFree=29635760/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 43527 0 0 0 13 6 0 0 20 0 4 0 22840833 1344868352 43825 33554432000 4194304 16246674 140737408201072 140737408200384 8055408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 328337 43844 800 2943 0 325231 0 [pid=32249/tid=32250] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 43854 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 43866 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 43878 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300403 s] /proc/loadavg: 2.20 2.19 1.90 3/179 32249 /proc/meminfo: memFree=29635760/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 54992 0 0 0 21 8 0 0 20 0 4 0 22840833 1344868352 55290 33554432000 4194304 16246674 140737408201072 140737408200384 7889456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 328337 55290 800 2943 0 325231 0 [pid=32249/tid=32250] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 55290 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 55290 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 55290 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.7004 s] /proc/loadavg: 2.20 2.19 1.90 3/179 32249 /proc/meminfo: memFree=29635760/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 69178 0 0 0 59 10 0 0 20 0 4 0 22840833 1344868352 69476 33554432000 4194304 16246674 140737408201072 140737408198912 4206864 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 328337 69476 802 2943 0 325231 0 [pid=32249/tid=32250] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 69476 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 69476 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1344868352 69476 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50036 s] /proc/loadavg: 2.20 2.19 1.90 2/174 32284 /proc/meminfo: memFree=30422032/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1340996 CPUtime=1.49 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 76131 0 0 0 138 11 0 0 20 0 4 0 22840833 1373179904 76429 33554432000 4194304 16246674 140737408201072 140737408200248 5893673 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 335249 76429 836 2943 0 332143 0 [pid=32249/tid=32250] ppid=32246 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1373179904 76429 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1373179904 76429 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1373179904 76429 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1340996 [startup+3.10042 s] /proc/loadavg: 2.20 2.19 1.90 3/183 32302 /proc/meminfo: memFree=30179420/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1340996 CPUtime=3.09 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 89003 0 0 0 296 13 0 0 20 0 4 0 22840833 1373179904 89301 33554432000 4194304 16246674 140737408201072 140737408200248 5668092 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 335249 89301 873 2943 0 332143 0 [pid=32249/tid=32250] ppid=32246 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1373179904 89301 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1373179904 89301 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1373179904 89301 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1340996 [startup+6.30041 s] /proc/loadavg: 2.18 2.19 1.90 3/183 32302 /proc/meminfo: memFree=29568252/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1345092 CPUtime=6.29 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 97414 0 0 0 615 14 0 0 20 0 4 0 22840833 1377374208 97712 33554432000 4194304 16246674 140737408201072 140737408182976 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 336273 97712 899 2943 0 333167 0 [pid=32249/tid=32250] ppid=32246 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1377374208 97712 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1377374208 97712 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1377374208 97712 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1345092 [startup+12.7004 s] /proc/loadavg: 2.16 2.19 1.90 3/183 32302 /proc/meminfo: memFree=28814512/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1347140 CPUtime=12.69 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 277488 0 0 0 1233 36 0 0 20 0 4 0 22840833 1379471360 277786 33554432000 4194304 16246674 140737408201072 140737408200248 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 336785 277786 912 2943 0 333679 0 [pid=32249/tid=32250] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277786 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277786 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277786 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1347140 [startup+25.5005 s] /proc/loadavg: 2.13 2.18 1.90 4/183 32302 /proc/meminfo: memFree=28523432/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1347140 CPUtime=25.49 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 277492 0 0 0 2512 37 0 0 20 0 4 0 22840833 1379471360 277790 33554432000 4194304 16246674 140737408201072 140737408200248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 336785 277790 916 2943 0 333679 0 [pid=32249/tid=32250] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277790 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277790 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277790 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1347140 [startup+51.1005 s] /proc/loadavg: 2.23 2.19 1.91 3/183 32302 /proc/meminfo: memFree=28523068/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1347140 CPUtime=51.08 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 277492 0 0 0 5070 38 0 0 20 0 4 0 22840833 1379471360 277790 33554432000 4194304 16246674 140737408201072 140737408200248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 336785 277790 916 2943 0 333679 0 [pid=32249/tid=32250] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277790 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277790 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277790 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1347140 [startup+102.3 s] /proc/loadavg: 2.19 2.19 1.92 3/184 32306 /proc/meminfo: memFree=28522824/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=1347140 CPUtime=102.28 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 277498 0 0 0 10186 42 0 0 20 0 4 0 22840833 1379471360 277796 33554432000 4194304 16246674 140737408201072 140737408182976 6843025 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 336785 277796 922 2943 0 333679 0 [pid=32249/tid=32250] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277796 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277796 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 1379471360 277796 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1347140 ################ # More data... # ################ /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2182680576 473927 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 2131524 [startup+1302.3 s] /proc/loadavg: 2.31 2.23 2.11 3/184 32359 /proc/meminfo: memFree=27674032/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2187844 CPUtime=1302.06 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 487530 0 0 0 130031 175 0 0 20 0 4 0 22840833 2240352256 488013 33554432000 4194304 16246674 140737408201072 140737408200248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 546961 488013 923 2943 0 543855 0 [pid=32249/tid=32250] ppid=32246 vsize=2187844 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 2240352256 488013 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2187844 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 2240352256 488013 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2187844 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2240352256 488013 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 2187844 [startup+1362.3 s] /proc/loadavg: 2.26 2.23 2.12 4/183 32360 /proc/meminfo: memFree=27603128/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2257476 CPUtime=1362.04 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 505125 0 0 0 136017 187 0 0 20 0 4 0 22840833 2311655424 505602 33554432000 4194304 16246674 140737408201072 140737408200248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 564369 505602 923 2943 0 561263 0 [pid=32249/tid=32250] ppid=32246 vsize=2257476 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 2311655424 505602 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2257476 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 2311655424 505602 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2257476 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2311655424 505602 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 2257476 [startup+1422.3 s] /proc/loadavg: 2.28 2.24 2.12 3/183 32362 /proc/meminfo: memFree=27501032/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2359876 CPUtime=1422.03 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 530617 0 0 0 142001 202 0 0 20 0 4 0 22840833 2416513024 531086 33554432000 4194304 16246674 140737408201072 140737408200248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 589969 531086 923 2943 0 586863 0 [pid=32249/tid=32250] ppid=32246 vsize=2359876 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 2416513024 531086 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2359876 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 2416513024 531086 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2359876 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2416513024 531086 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 2359876 [startup+1482.3 s] /proc/loadavg: 2.21 2.22 2.12 3/183 32363 /proc/meminfo: memFree=27412100/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2447940 CPUtime=1482.02 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 552753 0 0 0 147985 217 0 0 20 0 4 0 22840833 2506690560 553221 33554432000 4194304 16246674 140737408201072 140737408200248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 611985 553221 923 2943 0 608879 0 [pid=32249/tid=32250] ppid=32246 vsize=2447940 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 2506690560 553221 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2447940 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 2506690560 553221 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2447940 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2506690560 553221 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 2447940 [startup+1542.31 s] /proc/loadavg: 2.13 2.19 2.11 3/183 32364 /proc/meminfo: memFree=27315160/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2544196 CPUtime=1542.01 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 576853 0 0 0 153963 238 0 0 20 0 4 0 22840833 2605256704 577317 33554432000 4194304 16246674 140737408201072 140737408200248 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 636049 577317 923 2943 0 632943 0 [pid=32249/tid=32250] ppid=32246 vsize=2544196 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 2605256704 577317 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2544196 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 2605256704 577317 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2544196 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2605256704 577317 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 2544196 [startup+1602.3 s] /proc/loadavg: 2.13 2.18 2.11 3/183 32365 /proc/meminfo: memFree=27195176/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2665028 CPUtime=1601.99 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 606859 0 0 0 159943 256 0 0 20 0 4 0 22840833 2728988672 607319 33554432000 4194304 16246674 140737408201072 140737408200248 6021672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 666257 607319 924 2943 0 663151 0 [pid=32249/tid=32250] ppid=32246 vsize=2665028 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 2728988672 607319 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2665028 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 2728988672 607319 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2665028 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2728988672 607319 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 2665028 [startup+1662.3 s] /proc/loadavg: 2.15 2.18 2.11 3/183 32366 /proc/meminfo: memFree=27079372/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2779716 CPUtime=1661.99 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 635717 0 0 0 165926 273 0 0 20 0 4 0 22840833 2846429184 636175 33554432000 4194304 16246674 140737408201072 140737408200168 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 694929 636175 924 2943 0 691823 0 [pid=32249/tid=32250] ppid=32246 vsize=2779716 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 2846429184 636175 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2779716 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 2846429184 636175 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2779716 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2846429184 636175 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 2779716 [startup+1722.3 s] /proc/loadavg: 2.11 2.16 2.11 3/183 32368 /proc/meminfo: memFree=26996580/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2862660 CPUtime=1721.96 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 656502 0 0 0 171905 291 0 0 20 0 4 0 22840833 2931363840 656934 33554432000 4194304 16246674 140737408201072 140737408200168 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 715665 656934 924 2943 0 712559 0 [pid=32249/tid=32250] ppid=32246 vsize=2862660 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 2931363840 656934 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2862660 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 2931363840 656934 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2862660 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 2931363840 656934 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 2862660 [startup+1782.3 s] /proc/loadavg: 2.18 2.17 2.11 3/183 32369 /proc/meminfo: memFree=26912572/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2946628 CPUtime=1781.95 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 677249 0 0 0 177887 308 0 0 20 0 4 0 22840833 3017347072 677679 33554432000 4194304 16246674 140737408201072 140737408200248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 736657 677679 924 2943 0 733551 0 [pid=32249/tid=32250] ppid=32246 vsize=2946628 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 3017347072 677679 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2946628 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 3017347072 677679 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2946628 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 3017347072 677679 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 2946628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.27 2.19 2.12 4/183 32369 /proc/meminfo: memFree=26887136/32872528 swapFree=1200228/1314692 [pid=32249] ppid=32246 vsize=2972228 CPUtime=1800.05 cores=0,2,4,6 /proc/32249/stat : 32249 (toysat) R 32246 32249 31224 0 -1 4202496 683665 0 0 0 179692 313 0 0 20 0 4 0 22840833 3043561472 684095 33554432000 4194304 16246674 140737408201072 140737408200248 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/32249/statm: 743057 684095 924 2943 0 739951 0 [pid=32249/tid=32250] ppid=32246 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32250/stat : 32250 (toysat) S 32246 32249 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22840833 3043561472 684095 33554432000 4194304 16246674 140737408201072 140256562097392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=32249/tid=32251] ppid=32246 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32251/stat : 32251 (toysat) S 32246 32249 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22840833 3043561472 684095 33554432000 4194304 16246674 140737408201072 140256551607536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=32249/tid=32252] ppid=32246 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/32249/task/32252/stat : 32252 (toysat) S 32246 32249 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22840833 3043561472 684095 33554432000 4194304 16246674 140737408201072 140256541134000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2972228 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 32249 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.47 CPU time (s): 1800.12 CPU user time (s): 1796.93 CPU system time (s): 3.19251 CPU usage (%): 99.9807 Max. virtual memory (cumulated for all children) (KiB): 2972228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.93 system time used= 3.19251 maximum resident set size= 2736380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 683665 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= 139 involuntary context switches= 1833 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.55231 second user time and 6.93595 second system time The end
Begin job on node131 at 2016-06-18 01:59:03 IDJOB=4099789 IDBENCH=1522 IDSOLVER=2542 FILE ID=node131/4099789-1466207943 RUNJOBID= node131-1466206062-31240 PBS_JOBID= 19918146 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099789-1466207943/watcher-4099789-1466207943 -o /tmp/evaluation-result-4099789-1466207943/solver-4099789-1466207943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099789-1466207943.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 62188545cf171da3270e2dece04174fd RANDOM SEED=118575223 node131.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.752 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.50 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.752 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.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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.56 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.752 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.752 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.56 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.752 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.57 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.752 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: 29636404 kB Buffers: 40168 kB Cached: 102132 kB SwapCached: 1500 kB Active: 1157428 kB Inactive: 60008 kB Active(anon): 1074584 kB Inactive(anon): 2640 kB Active(file): 82844 kB Inactive(file): 57368 kB Unevictable: 1314692 kB Mlocked: 1200228 kB SwapTotal: 67108856 kB SwapFree: 67099820 kB Dirty: 20208 kB Writeback: 0 kB AnonPages: 2472508 kB Mapped: 10324 kB Shmem: 0 kB Slab: 570000 kB SReclaimable: 14180 kB SUnreclaim: 555820 kB KernelStack: 1520 kB PageTables: 9100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2532100 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1267712 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= 71668 MiB End job on node131 at 2016-06-18 02:29:04