| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.15 | 1800.47 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb |
| MD5SUM | 53486a3b6175c61d0a6ff165dfe1a2e1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 660 |
| Best CPU time to get the best result obtained on this benchmark | 113.085 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 660 |
| 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 | 13 |
| Number of bits for the biggest coefficient in the objective function | 4 |
| Sum of the numbers in the objective function | 561660 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 13 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 561660 |
| 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-18T06:35:27+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-4101585-1466224526.opb"] 0.00/0.01 c use --random-gen="2880297417 2152396745 267513698 1581622976 708082864 1128471468 4271621164 709009317 3566007868 2980196012 1599979681 2400638727 998165252 3140136257 4156626835 1478990977 1207981 3400975462 2750945991 2228184781 1074719615 3173580490 4158105657 732310200 2284864346 2850456745 3528924910 1618042832 3410403651 2025815066 2757212539 3863514046 1410688448 3882719697 2380384539 2149295398 2962911710 3589773101 2627036789 2633140404 3730614489 705326156 305428397 2423360065 3849166501 2004711174 2020895907 3923771588 3772707419 1631178524 1607945316 3660616444 4250047962 3602803855 3257224640 3097189398 2478782664 3167423264 2807670572 2398080956 1058381162 2804257026 41952186 2667431360 2199838185 2968486672 2939050229 2612923831 1740316988 556596899 1338672593 3094622095 3931571245 3995671437 2456618929 540506654 1799476177 2424305376 2377050756 17213323 1848787270 2922760257 4163143873 2122600746 3091968295 3060369140 4264140274 1592660707 1765610944 4222661863 1860750655 722926225 1845636735 2755938530 3241581537 2934897039 3747936787 1380113150 2396760601 557647095 2974465542 1210590986 3482320203 230324793 200111931 3400896772 112420790 1467238482 84946175 359451306 2779439415 370596781 2925941468 751158592 4086306959 1542002775 1980988174 2980849038 2406863813 618685823 4145493368 328924383 3536468131 806897765 3850301188 150188303 2926408991 3133539079 3324788401 3656650741 192813151 372106290 480984001 558271834 3951399525 1652494280 1494905875 1565876447 4001583510 3917929556 600115526 1895655897 1088247416 583551831 2126753071 3596145696 1069258588 735002835 632349012 2558178846 2173837193 1848013702 4188540882 1728721859 1890190803 1046043067 401606444 2369876394 4123289585 675538520 634339296 560053266 2604931531 405429460 2310856946 2982771454 3831584080 2583607444 1241069496 1509314709 598382326 305083117 1514688809 930621141 1773620165 3628064596 478361983 1024999419 3702613181 1500698908 3685122244 3370768109 916481122 353033260 470422998 346112363 3651792189 2851933576 955961885 2197805350 2702441464 513219612 4099867359 2496514066 1133384249 2986376646 3380350269 3612607938 2532871375 1115499662 1125110440 2488533062 1103969696 2785892591 2296400373 2207793675 1132296366 2109441996 1911321715 3988852202 652445536 4177369947 410753715 3325960406 3764813179 1383472115 3340933110 886984958 1752539462 1099639410 2205070583 2447889434 553276944 309607411 1491466849 3452028783 151616463 2697776863 3703026847 2897362610 3894528640 4197975577 1575824928 3562114256 1151138226 1808075599 49789074 648966434 3454627364 307619560 68606032 2439546796 3723038507 131858102 3100523031 2437080823 1843441869 1937285919 3203722406 1857517620 1102547967 2771289648 3947453098 3075554167 1017578739 2042230883 255 362436" option to reproduce the execution 0.59/0.66 c #vars 73885 0.59/0.66 c #constraints 551 2.89/2.90 c BCD2: Hardening is enabled. 2.89/2.90 c BCD2: BiasedSearch is enabled. 2.89/2.90 c Solving starts ... 2.89/2.90 c ============================[ Search Statistics ]============================ 2.89/2.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.10 c | | | | Limit GC | Var | Constra 3.09/3.10 c ============================================================================= 3.09/3.10 c 0.0s | 0 | 0 | 0 | 24995 0 | 0 | 0 3.69/3.73 c 0.8s | 1 | 9538 | 100 | 24995 0 | 0 | 0 5.29/5.34 c 2.4s | 2 | 34632 | 250 | 27495 0 | 0 | 0 7.39/7.41 c 4.5s | 3 | 60889 | 475 | 30245 0 | 0 | 0 10.39/10.41 c 7.5s | 3 | 90059 | 758 | 33270 0 | 0 | 0 10.39/10.41 c #cpu_time = 7.403s 10.39/10.41 c #wall_clock_time = 7.422s 10.39/10.41 c #decision = 90059 10.39/10.41 c #random_decision = 197 10.39/10.41 c #conflict = 758 10.39/10.41 c #restart = 3 10.39/10.41 o 1567 10.49/10.56 c BCD2: updating upper bound: 561660 -> 1566 11.18/11.25 c BCD2: 0 <= obj <= 1566 11.18/11.26 c BCD2: #cores=0, #unrelaxed=73885, #relaxed=0, #hardened=0 11.18/11.26 c BCD2: #sat=1 #unsat=1 bias=1/2 11.18/11.27 c Solving starts ... 11.18/11.27 c ============================[ Search Statistics ]============================ 11.18/11.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.18/11.27 c | | | | Limit GC | Var | Constra 11.18/11.27 c ============================================================================= 11.18/11.27 c 0.0s | 0 | 0 | 0 | 33270 0 | 0 | 0 11.58/11.64 c 0.4s | 0 | 73594 | 0 | 33270 0 | 0 | 0 11.58/11.64 c #cpu_time = 0.358s 11.58/11.64 c #wall_clock_time = 0.359s 11.58/11.64 c #decision = 73594 11.58/11.64 c #random_decision = 0 11.58/11.64 c #conflict = 0 11.58/11.64 c #restart = 0 11.58/11.65 c BCD2: found a new core of size 3318: cost of the new core is >=3 11.58/11.65 c lower bound updated to 3 11.58/11.69 c BCD2: 3 <= obj <= 1566 11.58/11.69 c BCD2: #cores=1, #unrelaxed=70567, #relaxed=3318, #hardened=0 11.58/11.69 c BCD2: #sat=1 #unsat=2 bias=2/3 11.68/11.71 c Solving starts ... 11.68/11.71 c ============================[ Search Statistics ]============================ 11.68/11.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.68/11.71 c | | | | Limit GC | Var | Constra 11.68/11.71 c ============================================================================= 11.68/11.72 c 0.0s | 0 | 0 | 0 | 33270 0 | 0 | 0 11.98/12.07 c 0.3s | 0 | 70305 | 0 | 33270 0 | 0 | 0 11.98/12.07 c #cpu_time = 0.324s 11.98/12.07 c #wall_clock_time = 0.325s 11.98/12.07 c #decision = 70305 11.98/12.07 c #random_decision = 0 11.98/12.07 c #conflict = 0 11.98/12.07 c #restart = 0 11.98/12.08 c BCD2: found a new core of size 11223: cost of the new core is >=3 11.98/12.09 c lower bound updated to 6 12.09/12.17 c BCD2: 6 <= obj <= 1566 12.09/12.17 c BCD2: #cores=2, #unrelaxed=59344, #relaxed=14541, #hardened=0 12.09/12.17 c BCD2: #sat=1 #unsat=3 bias=3/4 12.19/12.26 c Solving starts ... 12.19/12.26 c ============================[ Search Statistics ]============================ 12.19/12.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.19/12.26 c | | | | Limit GC | Var | Constra 12.19/12.26 c ============================================================================= 12.19/12.26 c 0.0s | 0 | 0 | 0 | 33270 0 | 0 | 0 12.58/12.69 c 0.4s | 0 | 60280 | 42 | 33270 0 | 0 | 0 12.58/12.69 c #cpu_time = 0.405s 12.58/12.69 c #wall_clock_time = 0.406s 12.58/12.69 c #decision = 60280 12.58/12.69 c #random_decision = 1 12.58/12.69 c #conflict = 42 12.58/12.69 c #restart = 0 12.58/12.69 c BCD2: found a new core of size 2311: cost of the new core is >=3 12.58/12.69 c lower bound updated to 9 12.68/12.74 c BCD2: 9 <= obj <= 1566 12.68/12.74 c BCD2: #cores=3, #unrelaxed=57033, #relaxed=16852, #hardened=0 12.68/12.74 c BCD2: #sat=1 #unsat=4 bias=4/5 12.78/12.84 c Solving starts ... 12.78/12.84 c ============================[ Search Statistics ]============================ 12.78/12.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.78/12.84 c | | | | Limit GC | Var | Constra 12.78/12.84 c ============================================================================= 12.78/12.85 c 0.0s | 0 | 0 | 0 | 33270 0 | 0 | 0 14.59/14.60 c 1.8s | 1 | 61063 | 100 | 36597 0 | 0 | 0 16.89/16.96 c 4.1s | 1 | 119401 | 200 | 36597 0 | 0 | 0 17.19/17.29 c 4.4s | 2 | 119784 | 250 | 36597 0 | 0 | 0 20.18/20.27 c 7.4s | 2 | 182416 | 450 | 36597 0 | 0 | 0 20.68/20.72 c 7.9s | 3 | 182469 | 475 | 36597 0 | 0 | 0 22.88/22.90 c 10.1s | 3 | 241627 | 675 | 40257 0 | 0 | 0 24.29/24.39 c 11.5s | 4 | 242389 | 813 | 40257 0 | 0 | 0 26.49/26.51 c 13.7s | 4 | 303698 | 1013 | 40257 0 | 0 | 0 29.39/29.43 c 16.6s | 4 | 308265 | 1313 | 44283 0 | 0 | 0 29.39/29.49 c 16.6s | 5 | 308373 | 1320 | 44283 0 | 0 | 0 32.49/32.55 c 19.7s | 5 | 367590 | 1520 | 44283 0 | 0 | 0 35.19/35.24 c 22.4s | 5 | 373015 | 1720 | 44283 0 | 0 | 0 39.49/39.58 c 26.7s | 5 | 376464 | 1820 | 44283 0 | 0 | 0 43.59/43.64 c 30.8s | 5 | 378548 | 2020 | 44283 0 | 0 | 0 44.58/44.64 c 31.8s | 6 | 379687 | 2081 | 44283 0 | 0 | 0 48.08/48.19 c 35.3s | 6 | 439477 | 2281 | 44283 0 | 0 | 0 51.08/51.17 c 38.3s | 6 | 441530 | 2581 | 48712 0 | 0 | 0 53.78/53.84 c 41.0s | 6 | 447453 | 2881 | 48712 0 | 0 | 0 56.58/56.66 c 43.8s | 6 | 454171 | 3081 | 48712 0 | 0 | 0 58.68/58.78 c 45.9s | 6 | 454738 | 3181 | 48712 0 | 0 | 0 59.28/59.37 c 46.5s | 7 | 455082 | 3223 | 48712 0 | 0 | 0 62.58/62.67 c 49.8s | 7 | 512918 | 3323 | 48712 0 | 0 | 0 65.28/65.37 c 52.5s | 7 | 516193 | 3423 | 48712 0 | 0 | 0 68.19/68.25 c 55.4s | 7 | 521543 | 3723 | 48712 0 | 0 | 0 70.98/71.04 c 58.2s | 7 | 523416 | 3923 | 48712 0 | 0 | 0 73.18/73.26 c 60.4s | 7 | 525086 | 4223 | 53584 0 | 0 | 0 76.18/76.20 c 63.4s | 7 | 526099 | 4523 | 53584 0 | 0 | 0 78.28/78.33 c 65.5s | 7 | 527124 | 4723 | 53584 0 | 0 | 0 80.28/80.33 c 67.5s | 8 | 528965 | 4936 | 53584 0 | 0 | 0 82.37/82.44 c 69.6s | 8 | 587166 | 5036 | 53584 0 | 0 | 0 85.17/85.25 c 72.4s | 8 | 587900 | 5136 | 53584 0 | 0 | 0 87.78/87.88 c 75.0s | 8 | 588203 | 5236 | 53584 0 | 0 | 0 89.18/89.26 c 76.4s | 8 | 590448 | 5418 | 53584 0 | 0 | 0 89.18/89.26 c #cpu_time = 76.197s 89.18/89.26 c #wall_clock_time = 76.391s 89.18/89.26 c #decision = 590448 89.18/89.26 c #random_decision = 66 89.18/89.26 c #conflict = 5418 89.18/89.26 c #restart = 8 89.18/89.27 c BCD2: found a new core of size 3711: cost of the new core is >=3 89.18/89.27 c lower bound updated to 12 89.28/89.32 c BCD2: 12 <= obj <= 1566 89.28/89.32 c BCD2: #cores=4, #unrelaxed=53322, #relaxed=20563, #hardened=0 89.28/89.32 c BCD2: #sat=1 #unsat=5 bias=5/6 89.37/89.47 c Solving starts ... 89.37/89.47 c ============================[ Search Statistics ]============================ 89.37/89.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 89.37/89.47 c | | | | Limit GC | Var | Constra 89.37/89.47 c ============================================================================= 89.37/89.47 c 0.0s | 0 | 0 | 0 | 53584 0 | 0 | 0 91.28/91.33 c 1.9s | 1 | 55938 | 100 | 53584 0 | 0 | 0 93.78/93.89 c 4.4s | 2 | 119684 | 250 | 53584 0 | 0 | 0 97.88/97.97 c 8.5s | 2 | 180041 | 350 | 53584 0 | 0 | 0 99.98/100.08 c 10.6s | 2 | 181064 | 450 | 53584 0 | 0 | 0 100.48/100.52 c 11.0s | 3 | 181107 | 475 | 53584 0 | 0 | 0 103.27/103.37 c 13.9s | 3 | 235470 | 575 | 53584 0 | 0 | 0 106.27/106.32 c 16.8s | 3 | 237506 | 775 | 53584 0 | 0 | 0 106.97/107.06 c 17.6s | 4 | 237844 | 813 | 53584 0 | 0 | 0 109.67/109.73 c 20.3s | 4 | 301574 | 1013 | 53584 0 | 0 | 0 111.77/111.83 c 22.4s | 4 | 309559 | 1213 | 53584 0 | 0 | 0 112.57/112.69 c 23.2s | 5 | 310258 | 1320 | 58943 0 | 0 | 0 114.97/115.04 c 25.6s | 5 | 366407 | 1520 | 58943 0 | 0 | 0 117.27/117.36 c 27.9s | 5 | 368521 | 1820 | 58943 0 | 0 | 0 120.27/120.39 c 30.9s | 5 | 369844 | 2020 | 58943 0 | 0 | 0 121.77/121.89 c 32.4s | 6 | 370387 | 2081 | 58943 0 | 0 | 0 124.17/124.21 c 34.7s | 6 | 426371 | 2281 | 58943 0 | 0 | 0 126.37/126.50 c 37.0s | 6 | 432516 | 2556 | 58943 0 | 0 | 0 126.37/126.50 c #cpu_time = 36.908s 126.37/126.50 c #wall_clock_time = 37.003s 126.37/126.50 c #decision = 432516 126.37/126.50 c #random_decision = 51 126.37/126.50 c #conflict = 2556 126.37/126.50 c #restart = 6 126.48/126.51 c BCD2: found a new core of size 6462: cost of the new core is >=3 126.48/126.51 c lower bound updated to 15 126.48/126.58 c BCD2: 15 <= obj <= 1566 126.48/126.58 c BCD2: #cores=5, #unrelaxed=46860, #relaxed=27025, #hardened=0 126.48/126.58 c BCD2: #sat=1 #unsat=6 bias=6/7 126.67/126.74 c Solving starts ... 126.67/126.74 c ============================[ Search Statistics ]============================ 126.67/126.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 126.67/126.74 c | | | | Limit GC | Var | Constra 126.67/126.74 c ============================================================================= 126.67/126.74 c 0.0s | 0 | 0 | 0 | 58943 0 | 0 | 0 128.87/128.91 c 2.2s | 0 | 54211 | 100 | 58943 0 | 0 | 0 128.87/128.94 c 2.2s | 1 | 54211 | 100 | 58943 0 | 0 | 0 130.98/131.04 c 4.3s | 1 | 106397 | 200 | 58943 0 | 0 | 0 131.27/131.32 c 4.6s | 2 | 107612 | 250 | 58943 0 | 0 | 0 133.47/133.51 c 6.8s | 2 | 163431 | 350 | 58943 0 | 0 | 0 134.67/134.78 c 8.0s | 3 | 167210 | 475 | 58943 0 | 0 | 0 136.87/136.96 c 10.2s | 3 | 225325 | 575 | 58943 0 | 0 | 0 139.27/139.38 c 12.6s | 4 | 228672 | 813 | 58943 0 | 0 | 0 141.57/141.63 c 14.9s | 4 | 276752 | 913 | 58943 0 | 0 | 0 144.87/144.99 c 18.2s | 4 | 279986 | 1113 | 58943 0 | 0 | 0 147.67/147.75 c 21.0s | 4 | 282256 | 1213 | 58943 0 | 0 | 0 151.67/151.79 c 25.0s | 4 | 283825 | 1313 | 58943 0 | 0 | 0 151.97/152.06 c 25.3s | 5 | 283837 | 1320 | 58943 0 | 0 | 0 154.07/154.16 c 27.4s | 5 | 333971 | 1420 | 58943 0 | 0 | 0 156.66/156.78 c 30.0s | 5 | 339466 | 1620 | 58943 0 | 0 | 0 159.17/159.22 c 32.5s | 5 | 349449 | 1820 | 58943 0 | 0 | 0 163.16/163.20 c 36.5s | 5 | 351321 | 2020 | 58943 0 | 0 | 0 164.26/164.32 c 37.6s | 6 | 351605 | 2081 | 58943 0 | 0 | 0 166.87/166.97 c 40.2s | 6 | 408212 | 2181 | 58943 0 | 0 | 0 171.96/172.09 c 45.3s | 6 | 413824 | 2381 | 58943 0 | 0 | 0 174.16/174.29 c 47.5s | 6 | 415194 | 2481 | 58943 0 | 0 | 0 176.67/176.74 c 50.0s | 6 | 418371 | 2681 | 64838 0 | 0 | 0 179.27/179.31 c 52.6s | 6 | 430846 | 2981 | 64838 0 | 0 | 0 182.26/182.35 c 55.6s | 6 | 432264 | 3181 | 64838 0 | 0 | 0 182.86/182.96 c 56.2s | 7 | 432514 | 3223 | 64838 0 | 0 | 0 185.76/185.83 c 59.1s | 7 | 481996 | 3323 | 64838 0 | 0 | 0 188.46/188.57 c 61.8s | 7 | 484506 | 3623 | 64838 0 | 0 | 0 191.16/191.20 c 64.5s | 7 | 486922 | 3923 | 64838 0 | 0 | 0 193.46/193.60 c 66.9s | 7 | 488860 | 4123 | 64838 0 | 0 | 0 195.76/195.85 c 69.1s | 7 | 491253 | 4323 | 64838 0 | 0 | 0 198.45/198.58 c 71.8s | 7 | 495986 | 4623 | 64838 0 | 0 | 0 201.06/201.12 c 74.4s | 7 | 502137 | 4923 | 64838 0 | 0 | 0 201.27/201.35 c 74.6s | 8 | 502155 | 4936 | 64838 0 | 0 | 0 204.57/204.68 c 77.9s | 8 | 552201 | 5036 | 64838 0 | 0 | 0 206.96/207.04 c 80.3s | 8 | 561666 | 5336 | 64838 0 | 0 | 0 210.06/210.13 c 83.4s | 8 | 565053 | 5636 | 64838 0 | 0 | 0 212.85/212.90 c 86.2s | 8 | 572212 | 5836 | 64838 0 | 0 | 0 215.67/215.76 c 89.0s | 8 | 577007 | 6136 | 64838 0 | 0 | 0 217.86/217.97 c 91.2s | 8 | 578403 | 6336 | 64838 0 | 0 | 0 220.85/220.93 c 94.2s | 8 | 584980 | 6536 | 64838 0 | 0 | 0 222.85/222.94 c 96.2s | 8 | 586526 | 6736 | 64838 0 | 0 | 0 226.05/226.16 c 99.4s | 8 | 589749 | 7036 | 64838 0 | 0 | 0 228.36/228.48 c 101s | 8 | 590413 | 7136 | 64838 0 | 0 | 0 231.35/231.48 c 104s | 8 | 590915 | 7236 | 64838 0 | 0 | 0 234.85/234.96 c 108s | 8 | 592154 | 7336 | 64838 0 | 0 | 0 238.05/238.15 c 111s | 8 | 593001 | 7436 | 64838 0 | 0 | 0 239.56/239.68 c 112s | 9 | 593422 | 7506 | 64838 0 | 0 | 0 242.85/242.93 c 116s | 9 | 645869 | 7606 | 64838 0 | 0 | 0 245.26/245.36 c 118s | 9 | 653084 | 7806 | 64838 0 | 0 | 0 248.05/248.15 c 121s | 9 | 653407 | 7906 | 64838 0 | 0 | 0 250.55/250.69 c 123s | 9 | 653820 | 8006 | 64838 0 | 0 | 0 254.65/254.74 c 127s | 9 | 655615 | 8206 | 64838 0 | 0 | 0 256.95/257.09 c 130s | 9 | 655873 | 8306 | 71322 0 | 0 | 0 259.05/259.15 c 132s | 9 | 657170 | 8406 | 71322 0 | 0 | 0 262.35/262.41 c 135s | 9 | 658471 | 8506 | 71322 0 | 0 | 0 264.75/264.86 c 138s | 9 | 661430 | 8806 | 71322 0 | 0 | 0 267.45/267.50 c 140s | 9 | 665875 | 9106 | 71322 0 | 0 | 0 269.85/269.97 c 143s | 9 | 672205 | 9406 | 71322 0 | 0 | 0 272.54/272.65 c 145s | 9 | 678593 | 9706 | 71322 0 | 0 | 0 275.14/275.22 c 148s | 9 | 683206 | 10106 | 71322 0 | 0 | 0 277.34/277.40 c 150s | 9 | 685965 | 10306 | 71322 0 | 0 | 0 279.45/279.55 c 152s | 9 | 687148 | 10506 | 71322 0 | 0 | 0 282.15/282.24 c 155s | 9 | 688704 | 10806 | 71322 0 | 0 | 0 286.05/286.18 c 159s | 9 | 689206 | 11006 | 71322 0 | 0 | 0 289.74/289.82 c 163s | 9 | 689640 | 11106 | 71322 0 | 0 | 0 295.24/295.32 c 168s | 9 | 690360 | 11306 | 71322 0 | 0 | 0 296.74/296.85 c 170s | 10 | 690588 | 11361 | 71322 0 | 0 | 0 300.84/300.99 c 174s | 10 | 740569 | 11461 | 71322 0 | 0 | 0 302.94/303.04 c 176s | 10 | 744009 | 11661 | 71322 0 | 0 | 0 305.94/306.00 c 179s | 10 | 747003 | 11861 | 71322 0 | 0 | 0 310.15/310.29 c 183s | 10 | 749477 | 12061 | 71322 0 | 0 | 0 312.74/312.82 c 186s | 10 | 752136 | 12261 | 71322 0 | 0 | 0 314.94/315.03 c 188s | 10 | 754092 | 12461 | 71322 0 | 0 | 0 316.94/317.07 c 190s | 10 | 756586 | 12661 | 71322 0 | 0 | 0 319.74/319.84 c 193s | 10 | 757806 | 12861 | 71322 0 | 0 | 0 322.04/322.16 c 195s | 10 | 760075 | 13061 | 71322 0 | 0 | 0 324.84/324.93 c 198s | 10 | 763526 | 13361 | 71322 0 | 0 | 0 327.34/327.47 c 200s | 10 | 770784 | 13661 | 71322 0 | 0 | 0 329.94/330.02 c 203s | 10 | 771105 | 13761 | 71322 0 | 0 | 0 332.53/332.60 c 205s | 10 | 771322 | 13861 | 71322 0 | 0 | 0 335.74/335.86 c 209s | 10 | 771793 | 13961 | 71322 0 | 0 | 0 342.53/342.60 c 215s | 10 | 772221 | 14061 | 71322 0 | 0 | 0 347.24/347.31 c 220s | 10 | 772773 | 14161 | 71322 0 | 0 | 0 349.93/350.07 c 223s | 10 | 776279 | 14361 | 71322 0 | 0 | 0 352.33/352.47 c 225s | 10 | 781058 | 14661 | 71322 0 | 0 | 0 355.24/355.38 c 228s | 10 | 785399 | 14961 | 71322 0 | 0 | 0 357.93/358.09 c 231s | 10 | 787986 | 15261 | 71322 0 | 0 | 0 360.84/360.94 c 234s | 10 | 790475 | 15561 | 71322 0 | 0 | 0 362.83/362.97 c 236s | 10 | 790667 | 15661 | 71322 0 | 0 | 0 365.93/366.03 c 239s | 10 | 798843 | 15961 | 71322 0 | 0 | 0 368.44/368.50 c 241s | 10 | 800041 | 16161 | 71322 0 | 0 | 0 371.63/371.77 c 245s | 10 | 804036 | 16361 | 71322 0 | 0 | 0 374.13/374.22 c 247s | 10 | 804500 | 16461 | 71322 0 | 0 | 0 377.03/377.18 c 250s | 10 | 808032 | 16761 | 71322 0 | 0 | 0 379.33/379.49 c 252s | 10 | 811053 | 16961 | 78455 0 | 0 | 0 381.54/381.63 c 254s | 11 | 811909 | 17144 | 78455 0 | 0 | 0 386.33/386.40 c 259s | 11 | 863322 | 17244 | 78455 0 | 0 | 0 388.53/388.68 c 261s | 11 | 869444 | 17644 | 78455 0 | 0 | 0 391.64/391.77 c 265s | 11 | 870321 | 17844 | 78455 0 | 0 | 0 395.13/395.29 c 268s | 11 | 870842 | 18044 | 78455 0 | 0 | 0 398.33/398.40 c 271s | 11 | 874208 | 18344 | 78455 0 | 0 | 0 400.82/400.97 c 274s | 11 | 879038 | 18444 | 78455 0 | 0 | 0 403.64/403.77 c 277s | 11 | 881754 | 18644 | 78455 0 | 0 | 0 405.93/406.01 c 279s | 11 | 884135 | 18844 | 78455 0 | 0 | 0 409.92/410.07 c 283s | 11 | 884696 | 19044 | 78455 0 | 0 | 0 415.03/415.14 c 288s | 11 | 886194 | 19244 | 78455 0 | 0 | 0 417.33/417.43 c 290s | 11 | 887611 | 19444 | 78455 0 | 0 | 0 419.62/419.78 c 293s | 11 | 892618 | 19744 | 78455 0 | 0 | 0 422.22/422.34 c 295s | 11 | 893543 | 19944 | 78455 0 | 0 | 0 426.13/426.24 c 299s | 11 | 894988 | 20144 | 78455 0 | 0 | 0 429.22/429.37 c 302s | 11 | 896536 | 20244 | 78455 0 | 0 | 0 436.52/436.63 c 309s | 11 | 901118 | 20344 | 78455 0 | 0 | 0 439.43/439.54 c 312s | 11 | 905201 | 20444 | 78455 0 | 0 | 0 441.92/442.02 c 315s | 11 | 905586 | 20544 | 78455 0 | 0 | 0 444.43/444.51 c 317s | 11 | 906601 | 20644 | 78455 0 | 0 | 0 446.82/446.96 c 320s | 11 | 906986 | 20744 | 78455 0 | 0 | 0 450.02/450.13 c 323s | 11 | 908587 | 20844 | 78455 0 | 0 | 0 457.82/457.91 c 331s | 11 | 909315 | 20944 | 78455 0 | 0 | 0 483.01/483.13 c 356s | 11 | 909623 | 21044 | 78455 0 | 0 | 0 488.21/488.32 c 361s | 11 | 911138 | 21144 | 78455 0 | 0 | 0 491.51/491.70 c 364s | 11 | 912085 | 21244 | 78455 0 | 0 | 0 497.12/497.23 c 370s | 11 | 916749 | 21344 | 78455 0 | 0 | 0 500.52/500.65 c 373s | 11 | 917787 | 21444 | 78455 0 | 0 | 0 503.91/504.04 c 377s | 11 | 918330 | 21544 | 78455 0 | 0 | 0 509.32/509.49 c 382s | 11 | 923761 | 21644 | 78455 0 | 0 | 0 520.42/520.57 c 393s | 11 | 929926 | 21744 | 78455 0 | 0 | 0 522.91/523.04 c 396s | 11 | 933263 | 21944 | 78455 0 | 0 | 0 525.61/525.76 c 399s | 11 | 934347 | 22144 | 78455 0 | 0 | 0 528.11/528.25 c 401s | 11 | 935342 | 22344 | 78455 0 | 0 | 0 531.21/531.33 c 404s | 11 | 937459 | 22544 | 78455 0 | 0 | 0 534.11/534.23 c 407s | 11 | 937719 | 22644 | 78455 0 | 0 | 0 536.81/536.96 c 410s | 11 | 938672 | 22744 | 78455 0 | 0 | 0 540.61/540.75 c 414s | 11 | 946834 | 22944 | 78455 0 | 0 | 0 545.21/545.34 c 418s | 11 | 947802 | 23044 | 78455 0 | 0 | 0 548.91/549.04 c 422s | 11 | 948438 | 23144 | 78455 0 | 0 | 0 552.70/552.82 c 426s | 11 | 948767 | 23244 | 78455 0 | 0 | 0 557.71/557.84 c 431s | 11 | 949543 | 23344 | 78455 0 | 0 | 0 560.71/560.85 c 434s | 11 | 953271 | 23544 | 78455 0 | 0 | 0 568.01/568.14 c 441s | 11 | 958321 | 23744 | 78455 0 | 0 | 0 574.90/575.08 c 448s | 11 | 960391 | 23844 | 78455 0 | 0 | 0 577.30/577.42 c 450s | 11 | 962618 | 23944 | 78455 0 | 0 | 0 583.50/583.67 c 456s | 11 | 972022 | 24044 | 78455 0 | 0 | 0 590.50/590.61 c 463s | 11 | 976539 | 24144 | 78455 0 | 0 | 0 594.90/595.07 c 468s | 11 | 977142 | 24244 | 78455 0 | 0 | 0 598.49/598.63 c 471s | 11 | 977813 | 24344 | 78455 0 | 0 | 0 603.10/603.23 c 476s | 11 | 981710 | 24444 | 78455 0 | 0 | 0 608.09/608.23 c 481s | 11 | 982336 | 24544 | 78455 0 | 0 | 0 613.20/613.31 c 486s | 11 | 983401 | 24644 | 78455 0 | 0 | 0 620.19/620.37 c 493s | 11 | 987590 | 24744 | 78455 0 | 0 | 0 629.20/629.36 c 502s | 11 | 989217 | 24844 | 78455 0 | 0 | 0 636.69/636.80 c 510s | 11 | 992242 | 24944 | 78455 0 | 0 | 0 639.49/639.65 c 512s | 11 | 993121 | 25044 | 78455 0 | 0 | 0 642.69/642.87 c 516s | 11 | 993725 | 25144 | 78455 0 | 0 | 0 645.99/646.17 c 519s | 11 | 993980 | 25244 | 78455 0 | 0 | 0 649.19/649.35 c 522s | 11 | 998170 | 25344 | 78455 0 | 0 | 0 652.39/652.52 c 525s | 11 | 1000777 | 25444 | 78455 0 | 0 | 0 657.80/657.91 c 531s | 11 | 1003492 | 25544 | 78455 0 | 0 | 0 666.69/666.83 c 540s | 11 | 1004256 | 25644 | 78455 0 | 0 | 0 673.68/673.84 c 547s | 11 | 1005087 | 25744 | 78455 0 | 0 | 0 680.19/680.39 c 553s | 12 | 1006345 | 25819 | 78455 0 | 0 | 0 689.29/689.48 c 562s | 12 | 1055961 | 25919 | 78455 0 | 0 | 0 696.19/696.33 c 569s | 12 | 1057866 | 26119 | 78455 0 | 0 | 0 703.89/704.02 c 577s | 12 | 1059015 | 26219 | 78455 0 | 0 | 0 710.08/710.28 c 583s | 12 | 1059740 | 26319 | 78455 0 | 0 | 0 712.88/713.08 c 586s | 12 | 1060116 | 26419 | 78455 0 | 0 | 0 716.88/717.07 c 590s | 12 | 1060613 | 26619 | 78455 0 | 0 | 0 721.07/721.29 c 594s | 12 | 1061140 | 26719 | 78455 0 | 0 | 0 723.69/723.90 c 597s | 12 | 1061511 | 26819 | 78455 0 | 0 | 0 726.68/726.85 c 600s | 12 | 1061711 | 26919 | 78455 0 | 0 | 0 729.88/730.05 c 603s | 12 | 1062268 | 27019 | 78455 0 | 0 | 0 733.18/733.32 c 606s | 12 | 1063528 | 27119 | 78455 0 | 0 | 0 738.58/738.78 c 612s | 12 | 1063928 | 27219 | 78455 0 | 0 | 0 753.48/753.69 c 626s | 12 | 1064095 | 27319 | 78455 0 | 0 | 0 756.07/756.26 c 629s | 12 | 1064962 | 27419 | 78455 0 | 0 | 0 759.37/759.58 c 632s | 12 | 1069552 | 27619 | 78455 0 | 0 | 0 763.16/763.39 c 636s | 12 | 1070312 | 27719 | 78455 0 | 0 | 0 768.66/768.89 c 642s | 12 | 1071140 | 27819 | 78455 0 | 0 | 0 771.56/771.70 c 644s | 12 | 1071435 | 27919 | 78455 0 | 0 | 0 776.26/776.44 c 649s | 12 | 1071806 | 28019 | 78455 0 | 0 | 0 779.46/779.69 c 652s | 12 | 1072235 | 28119 | 78455 0 | 0 | 0 784.17/784.32 c 657s | 12 | 1075737 | 28319 | 78455 0 | 0 | 0 788.76/788.93 c 662s | 12 | 1076445 | 28419 | 78455 0 | 0 | 0 794.46/794.66 c 667s | 12 | 1076650 | 28519 | 78455 0 | 0 | 0 797.06/797.29 c 670s | 12 | 1079013 | 28619 | 78455 0 | 0 | 0 801.26/801.45 c 674s | 12 | 1083900 | 28719 | 78455 0 | 0 | 0 803.46/803.64 c 676s | 12 | 1085379 | 28819 | 78455 0 | 0 | 0 808.36/808.51 c 681s | 12 | 1086845 | 29019 | 78455 0 | 0 | 0 815.96/816.19 c 689s | 12 | 1087227 | 29119 | 78455 0 | 0 | 0 824.86/825.08 c 698s | 12 | 1087419 | 29219 | 78455 0 | 0 | 0 830.66/830.87 c 704s | 12 | 1087580 | 29319 | 78455 0 | 0 | 0 838.05/838.29 c 711s | 12 | 1093524 | 29419 | 78455 0 | 0 | 0 845.36/845.57 c 718s | 12 | 1094403 | 29519 | 78455 0 | 0 | 0 850.55/850.73 c 723s | 12 | 1094661 | 29619 | 78455 0 | 0 | 0 854.45/854.60 c 727s | 12 | 1095123 | 29719 | 78455 0 | 0 | 0 857.55/857.79 c 731s | 12 | 1095563 | 29819 | 86301 0 | 0 | 0 859.95/860.13 c 733s | 12 | 1095901 | 29919 | 86301 0 | 0 | 0 865.75/865.98 c 739s | 12 | 1096298 | 30019 | 86301 0 | 0 | 0 870.24/870.43 c 743s | 12 | 1096829 | 30119 | 86301 0 | 0 | 0 879.04/879.21 c 752s | 12 | 1097089 | 30219 | 86301 0 | 0 | 0 883.04/883.22 c 756s | 12 | 1097859 | 30319 | 86301 0 | 0 | 0 886.24/886.43 c 759s | 12 | 1098536 | 30419 | 86301 0 | 0 | 0 890.53/890.77 c 764s | 12 | 1104092 | 30519 | 86301 0 | 0 | 0 895.43/895.61 c 768s | 12 | 1107140 | 30619 | 86301 0 | 0 | 0 898.93/899.14 c 772s | 12 | 1108304 | 30719 | 86301 0 | 0 | 0 902.43/902.69 c 775s | 12 | 1108706 | 30819 | 86301 0 | 0 | 0 907.44/907.68 c 780s | 12 | 1109424 | 30919 | 86301 0 | 0 | 0 913.23/913.44 c 786s | 12 | 1111513 | 31019 | 86301 0 | 0 | 0 917.63/917.87 c 791s | 12 | 1111814 | 31119 | 86301 0 | 0 | 0 924.03/924.30 c 797s | 12 | 1112644 | 31219 | 86301 0 | 0 | 0 931.93/932.12 c 805s | 12 | 1113592 | 31319 | 86301 0 | 0 | 0 938.33/938.57 c 811s | 12 | 1114565 | 31419 | 86301 0 | 0 | 0 943.53/943.73 c 816s | 12 | 1117298 | 31519 | 86301 0 | 0 | 0 951.03/951.29 c 824s | 12 | 1117710 | 31619 | 86301 0 | 0 | 0 958.72/958.90 c 832s | 12 | 1118934 | 31719 | 86301 0 | 0 | 0 965.53/965.72 c 838s | 12 | 1120361 | 31819 | 86301 0 | 0 | 0 974.32/974.52 c 847s | 12 | 1121266 | 31919 | 86301 0 | 0 | 0 983.42/983.67 c 856s | 12 | 1124175 | 32019 | 86301 0 | 0 | 0 987.12/987.30 c 860s | 12 | 1125723 | 32119 | 86301 0 | 0 | 0 994.23/994.42 c 867s | 12 | 1126134 | 32219 | 86301 0 | 0 | 0 1004.32/1004.59 c 877s | 12 | 1126402 | 32319 | 86301 0 | 0 | 0 1018.01/1018.29 c 891s | 12 | 1126698 | 32419 | 86301 0 | 0 | 0 1023.81/1024.02 c 897s | 12 | 1128348 | 32519 | 86301 0 | 0 | 0 1035.71/1035.91 c 909s | 12 | 1129035 | 32619 | 86301 0 | 0 | 0 1048.31/1048.58 c 921s | 12 | 1130215 | 32719 | 86301 0 | 0 | 0 1065.61/1065.82 c 939s | 12 | 1131078 | 32819 | 86301 0 | 0 | 0 1073.30/1073.58 c 946s | 12 | 1134515 | 32919 | 86301 0 | 0 | 0 1094.10/1094.34 c 967s | 12 | 1135091 | 33019 | 86301 0 | 0 | 0 1125.49/1125.73 c 998s | 12 | 1135211 | 33119 | 86301 0 | 0 | 0 1133.79/1134.05 c 1007s | 12 | 1136424 | 33219 | 86301 0 | 0 | 0 1151.69/1151.99 c 1025s | 12 | 1136920 | 33319 | 86301 0 | 0 | 0 1168.58/1168.84 c 1042s | 12 | 1137327 | 33419 | 86301 0 | 0 | 0 1175.39/1175.67 c 1048s | 12 | 1142598 | 33519 | 86301 0 | 0 | 0 1182.29/1182.52 c 1055s | 12 | 1143193 | 33619 | 86301 0 | 0 | 0 1190.59/1190.81 c 1064s | 12 | 1145491 | 33719 | 86301 0 | 0 | 0 1203.48/1203.76 c 1077s | 12 | 1145707 | 33819 | 86301 0 | 0 | 0 1216.68/1216.97 c 1090s | 12 | 1146441 | 33919 | 86301 0 | 0 | 0 1226.48/1226.76 c 1100s | 12 | 1147837 | 34019 | 86301 0 | 0 | 0 1238.88/1239.18 c 1112s | 12 | 1148301 | 34119 | 86301 0 | 0 | 0 1247.77/1248.05 c 1121s | 12 | 1149071 | 34219 | 86301 0 | 0 | 0 1259.28/1259.54 c 1132s | 12 | 1149498 | 34319 | 86301 0 | 0 | 0 1270.97/1271.28 c 1144s | 12 | 1150035 | 34419 | 86301 0 | 0 | 0 1287.37/1287.61 c 1160s | 12 | 1150612 | 34519 | 86301 0 | 0 | 0 1310.76/1311.06 c 1184s | 12 | 1150833 | 34619 | 86301 0 | 0 | 0 1324.16/1324.43 c 1197s | 12 | 1151173 | 34719 | 86301 0 | 0 | 0 1344.35/1344.68 c 1217s | 12 | 1151368 | 34819 | 86301 0 | 0 | 0 1359.15/1359.45 c 1232s | 12 | 1153100 | 34919 | 86301 0 | 0 | 0 1398.34/1398.63 c 1271s | 12 | 1154035 | 35019 | 86301 0 | 0 | 0 1459.03/1459.38 c 1332s | 12 | 1154299 | 35119 | 86301 0 | 0 | 0 1480.63/1480.92 c 1354s | 12 | 1154817 | 35219 | 86301 0 | 0 | 0 1525.12/1525.45 c 1398s | 12 | 1155149 | 35319 | 86301 0 | 0 | 0 1566.12/1566.48 c 1439s | 12 | 1155321 | 35419 | 86301 0 | 0 | 0 1578.81/1579.16 c 1452s | 12 | 1155596 | 35519 | 86301 0 | 0 | 0 1586.01/1586.35 c 1459s | 12 | 1156148 | 35619 | 86301 0 | 0 | 0 1592.41/1592.75 c 1466s | 12 | 1156746 | 35719 | 86301 0 | 0 | 0 1601.51/1601.90 c 1475s | 12 | 1157717 | 35819 | 86301 0 | 0 | 0 1608.60/1608.94 c 1482s | 12 | 1158371 | 35919 | 86301 0 | 0 | 0 1632.10/1632.44 c 1505s | 12 | 1158698 | 36019 | 86301 0 | 0 | 0 1659.70/1660.06 c 1533s | 12 | 1160511 | 36119 | 86301 0 | 0 | 0 1676.69/1677.01 c 1550s | 12 | 1161475 | 36219 | 86301 0 | 0 | 0 1682.39/1682.74 c 1555s | 12 | 1163669 | 36319 | 86301 0 | 0 | 0 1694.68/1695.00 c 1568s | 12 | 1165302 | 36519 | 86301 0 | 0 | 0 1715.08/1715.48 c 1588s | 12 | 1165551 | 36619 | 86301 0 | 0 | 0 1739.48/1739.88 c 1613s | 12 | 1165967 | 36719 | 86301 0 | 0 | 0 1755.39/1755.71 c 1628s | 12 | 1167360 | 36819 | 86301 0 | 0 | 0 1766.98/1767.35 c 1640s | 12 | 1168149 | 36919 | 86301 0 | 0 | 0 1791.07/1791.48 c 1664s | 12 | 1168821 | 37019 | 86301 0 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101585-1466224526/watcher-4101585-1466224526 -o /tmp/evaluation-result-4101585-1466224526/solver-4101585-1466224526 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101585-1466224526.opb pid=17738 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.01 2.08 2.09 3/179 17741 /proc/meminfo: memFree=29403460/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=670140 CPUtime=0 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 2491 0 0 0 0 0 0 0 20 0 4 0 24499297 686223360 3362 33554432000 4194304 16246674 140735600673392 140735600672816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 168303 3371 441 2943 0 165197 0 [pid=17741/tid=17742] ppid=17738 vsize=688572 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 705097728 3432 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=692668 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 709292032 3449 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=696764 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 713486336 3466 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100162 s] /proc/loadavg: 2.01 2.08 2.09 3/179 17741 /proc/meminfo: memFree=29403460/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1301060 CPUtime=0.08 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 28970 0 0 0 5 3 0 0 20 0 4 0 24499297 1332285440 29779 33554432000 4194304 16246674 140735600673392 140735600672704 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 325265 29794 799 2943 0 322159 0 [pid=17741/tid=17742] ppid=17738 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1332285440 29805 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1332285440 29816 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1332285440 29827 33554432000 4194304 16246674 140735600673392 140693263609008 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) 1301060 [startup+0.200611 s] /proc/loadavg: 2.01 2.08 2.09 3/179 17741 /proc/meminfo: memFree=29403460/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 46352 0 0 0 13 6 0 0 20 0 4 0 24499297 1345916928 47672 33554432000 4194304 16246674 140735600673392 140735600672704 8058853 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 328593 47672 800 2943 0 325487 0 [pid=17741/tid=17742] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 47672 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 47672 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 47672 33554432000 4194304 16246674 140735600673392 140693263609008 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) 1314372 [startup+0.300547 s] /proc/loadavg: 2.01 2.08 2.09 3/179 17741 /proc/meminfo: memFree=29403460/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 60202 0 0 0 21 8 0 0 20 0 4 0 24499297 1345916928 61522 33554432000 4194304 16246674 140735600673392 140735600672704 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 328593 61522 800 2943 0 325487 0 [pid=17741/tid=17742] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 61522 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 61522 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 61522 33554432000 4194304 16246674 140735600673392 140693263609008 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) 1314372 [startup+0.70043 s] /proc/loadavg: 2.01 2.08 2.09 3/179 17741 /proc/meminfo: memFree=29403460/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 65372 0 0 0 60 9 0 0 20 0 4 0 24499297 1345916928 66692 33554432000 4194304 16246674 140735600673392 140735600672704 4206877 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 328593 66692 807 2943 0 325487 0 [pid=17741/tid=17742] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 66692 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 66692 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1345916928 66692 33554432000 4194304 16246674 140735600673392 140693263609008 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) 1314372 [startup+1.50041 s] /proc/loadavg: 2.01 2.08 2.09 3/183 17745 /proc/meminfo: memFree=29111216/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1340996 CPUtime=1.49 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 72065 0 0 0 139 10 0 0 20 0 4 0 24499297 1373179904 73385 33554432000 4194304 16246674 140735600673392 140735600672704 13965943 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 335249 73385 836 2943 0 332143 0 [pid=17741/tid=17742] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 73385 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 73385 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 73385 33554432000 4194304 16246674 140735600673392 140693263609008 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.1004 s] /proc/loadavg: 2.01 2.08 2.09 4/183 17745 /proc/meminfo: memFree=29110868/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1340996 CPUtime=3.09 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 89000 0 0 0 297 12 0 0 20 0 4 0 24499297 1373179904 90320 33554432000 4194304 16246674 140735600673392 140735600655232 5668092 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 335249 90320 873 2943 0 332143 0 [pid=17741/tid=17742] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 90320 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 90320 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 90320 33554432000 4194304 16246674 140735600673392 140693263609008 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.30043 s] /proc/loadavg: 2.01 2.08 2.09 3/183 17745 /proc/meminfo: memFree=28994568/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1340996 CPUtime=6.29 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 101074 0 0 0 615 14 0 0 20 0 4 0 24499297 1373179904 102394 33554432000 4194304 16246674 140735600673392 140735600655296 5546233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 335249 102394 888 2943 0 332143 0 [pid=17741/tid=17742] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 102394 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 102394 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1373179904 102394 33554432000 4194304 16246674 140735600673392 140693263609008 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) 1340996 [startup+12.7004 s] /proc/loadavg: 2.01 2.08 2.09 3/183 17745 /proc/meminfo: memFree=28840468/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1347140 CPUtime=12.68 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 139763 0 0 0 1248 20 0 0 20 0 4 0 24499297 1379471360 141083 33554432000 4194304 16246674 140735600673392 140735600656384 12478221 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 336785 141083 912 2943 0 333679 0 [pid=17741/tid=17742] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 141083 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 141083 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 141083 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1347140 [startup+25.5005 s] /proc/loadavg: 2.00 2.07 2.09 3/183 17745 /proc/meminfo: memFree=28835852/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1347140 CPUtime=25.48 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 141053 0 0 0 2527 21 0 0 20 0 4 0 24499297 1379471360 142373 33554432000 4194304 16246674 140735600673392 140735600655296 12483391 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 336785 142373 916 2943 0 333679 0 [pid=17741/tid=17742] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 142373 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 142373 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 142373 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1347140 [startup+51.1004 s] /proc/loadavg: 2.00 2.07 2.09 3/183 17745 /proc/meminfo: memFree=28796148/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1347140 CPUtime=51.08 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 156170 0 0 0 5083 25 0 0 20 0 4 0 24499297 1379471360 157490 33554432000 4194304 16246674 140735600673392 140735600671232 5545776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 336785 157490 916 2943 0 333679 0 [pid=17741/tid=17742] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 157490 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 157490 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 157490 33554432000 4194304 16246674 140735600673392 140693263609008 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.301 s] /proc/loadavg: 2.16 2.10 2.10 4/183 17747 /proc/meminfo: memFree=28668780/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=1347140 CPUtime=102.28 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 182933 0 0 0 10196 32 0 0 20 0 4 0 24499297 1379471360 184253 33554432000 4194304 16246674 140735600673392 140735600655296 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 336785 184253 918 2943 0 333679 0 [pid=17741/tid=17742] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 184253 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 184253 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 1379471360 184253 33554432000 4194304 16246674 140735600673392 140693263609008 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/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 2775126016 619382 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 2710084 [startup+1302.3 s] /proc/loadavg: 2.24 2.14 2.10 3/183 17778 /proc/meminfo: memFree=26828512/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=2764356 CPUtime=1302.07 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 631824 0 0 0 129917 290 0 0 20 0 4 0 24499297 2830700544 633101 33554432000 4194304 16246674 140735600673392 140735600672488 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 691089 633101 921 2943 0 687983 0 [pid=17741/tid=17742] ppid=17738 vsize=2764356 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 2830700544 633101 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=2764356 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 2830700544 633101 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=2764356 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 2830700544 633101 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 2764356 [startup+1362.3 s] /proc/loadavg: 2.13 2.12 2.09 3/183 17779 /proc/meminfo: memFree=26795584/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=2798148 CPUtime=1362.05 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 640099 0 0 0 135900 305 0 0 20 0 4 0 24499297 2865303552 641372 33554432000 4194304 16246674 140735600673392 140735600672488 12483222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 699537 641372 921 2943 0 696431 0 [pid=17741/tid=17742] ppid=17738 vsize=2798148 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 2865303552 641372 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=2798148 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 2865303552 641372 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=2798148 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 2865303552 641372 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 2798148 [startup+1422.3 s] /proc/loadavg: 2.25 2.16 2.10 4/183 17780 /proc/meminfo: memFree=26770044/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=2822724 CPUtime=1422.05 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 646443 0 0 0 141885 320 0 0 20 0 4 0 24499297 2890469376 647712 33554432000 4194304 16246674 140735600673392 140735600672488 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 705681 647712 921 2943 0 702575 0 [pid=17741/tid=17742] ppid=17738 vsize=2822724 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 2890469376 647712 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=2822724 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 2890469376 647712 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=2822724 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 2890469376 647712 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 2822724 [startup+1482.3 s] /proc/loadavg: 2.16 2.14 2.10 3/184 17833 /proc/meminfo: memFree=27568980/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=2843204 CPUtime=1482.03 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 651564 0 0 0 147868 335 0 0 20 0 4 0 24499297 2911440896 652824 33554432000 4194304 16246674 140735600673392 140735600655296 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 710801 652824 921 2943 0 707695 0 [pid=17741/tid=17742] ppid=17738 vsize=2843204 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 2911440896 652824 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=2843204 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 2911440896 652824 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=2843204 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 2911440896 652824 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 2843204 [startup+1542.31 s] /proc/loadavg: 2.06 2.11 2.09 3/184 17857 /proc/meminfo: memFree=27536000/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=2875972 CPUtime=1542.03 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 659768 0 0 0 153855 348 0 0 20 0 4 0 24499297 2944995328 661024 33554432000 4194304 16246674 140735600673392 140735600672568 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 718993 661024 921 2943 0 715887 0 [pid=17741/tid=17742] ppid=17738 vsize=2875972 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 2944995328 661024 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=2875972 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 2944995328 661024 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=2875972 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 2944995328 661024 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 2875972 [startup+1602.3 s] /proc/loadavg: 2.06 2.11 2.09 3/183 17859 /proc/meminfo: memFree=27502772/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=2910788 CPUtime=1602 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 668344 0 0 0 159836 364 0 0 20 0 4 0 24499297 2980646912 669596 33554432000 4194304 16246674 140735600673392 140735600655296 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 727697 669596 921 2943 0 724591 0 [pid=17741/tid=17742] ppid=17738 vsize=2910788 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 2980646912 669596 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=2910788 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 2980646912 669596 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=2910788 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 2980646912 669596 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 2910788 [startup+1662.3 s] /proc/loadavg: 2.27 2.16 2.10 3/183 17860 /proc/meminfo: memFree=27447580/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=2952772 CPUtime=1661.99 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 678977 0 0 0 165819 380 0 0 20 0 4 0 24499297 3023638528 680224 33554432000 4194304 16246674 140735600673392 140735600672568 4220495 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 738193 680224 921 2943 0 735087 0 [pid=17741/tid=17742] ppid=17738 vsize=2952772 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 3023638528 680224 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=2952772 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 3023638528 680224 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=2952772 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 3023638528 680224 33554432000 4194304 16246674 140735600673392 140693263609008 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) 2952772 [startup+1722.3 s] /proc/loadavg: 2.18 2.14 2.10 3/183 17861 /proc/meminfo: memFree=27318752/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=3011140 CPUtime=1721.98 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 693347 0 0 0 171800 398 0 0 20 0 4 0 24499297 3083407360 694592 33554432000 4194304 16246674 140735600673392 140735600671232 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 752785 694592 921 2943 0 749679 0 [pid=17741/tid=17742] ppid=17738 vsize=3011140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 3083407360 694592 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=3011140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 3083407360 694592 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=3011140 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 3083407360 694592 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 3011140 [startup+1782.3 s] /proc/loadavg: 2.14 2.14 2.10 3/183 17862 /proc/meminfo: memFree=27189524/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=3055172 CPUtime=1781.97 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 704340 0 0 0 177781 416 0 0 20 0 4 0 24499297 3128496128 705585 33554432000 4194304 16246674 140735600673392 140735600672360 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 763793 705585 921 2943 0 760687 0 [pid=17741/tid=17742] ppid=17738 vsize=3055172 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 3128496128 705585 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=3055172 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 3128496128 705585 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=3055172 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 3128496128 705585 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 3055172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.18 2.15 2.10 3/183 17862 /proc/meminfo: memFree=27182204/32872528 swapFree=1191052/1305516 [pid=17741] ppid=17738 vsize=3063364 CPUtime=1800.07 cores=0,2,4,6 /proc/17741/stat : 17741 (toysat) R 17738 17741 14522 0 -1 4202496 706433 0 0 0 179587 420 0 0 20 0 4 0 24499297 3136884736 707678 33554432000 4194304 16246674 140735600673392 140735600672568 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17741/statm: 765841 707678 921 2943 0 762735 0 [pid=17741/tid=17742] ppid=17738 vsize=3063364 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24499297 3136884736 707678 33554432000 4194304 16246674 140735600673392 140693393616112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17741/tid=17743] ppid=17738 vsize=3063364 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24499297 3136884736 707678 33554432000 4194304 16246674 140735600673392 140693383126256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17741/tid=17744] ppid=17738 vsize=3063364 CPUtime=0 cores=0,2,4,6 /proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24499297 3136884736 707678 33554432000 4194304 16246674 140735600673392 140693263609008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 3063364 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 17741 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.15 CPU user time (s): 1795.88 CPU system time (s): 4.26835 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 3063364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.88 system time used= 4.26835 maximum resident set size= 2830712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 706433 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= 105 involuntary context switches= 1863 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.82196 second user time and 9.02663 second system time The end
Begin job on node127 at 2016-06-18 06:35:27 IDJOB=4101585 IDBENCH=1769 IDSOLVER=2542 FILE ID=node127/4101585-1466224526 RUNJOBID= node127-1466206072-14538 PBS_JOBID= 19918150 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/MIPLIB/miplib2003/normalized-reduced-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-4101585-1466224526/watcher-4101585-1466224526 -o /tmp/evaluation-result-4101585-1466224526/solver-4101585-1466224526 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101585-1466224526.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 53486a3b6175c61d0a6ff165dfe1a2e1 RANDOM SEED=1123188799 node127.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.769 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.53 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.769 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.769 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.56 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.769 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.769 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.769 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: 29404260 kB Buffers: 116524 kB Cached: 136888 kB SwapCached: 528 kB Active: 1272000 kB Inactive: 152116 kB Active(anon): 1171816 kB Inactive(anon): 864 kB Active(file): 100184 kB Inactive(file): 151252 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 20252 kB Writeback: 0 kB AnonPages: 2475188 kB Mapped: 10716 kB Shmem: 0 kB Slab: 603516 kB SReclaimable: 47476 kB SUnreclaim: 556040 kB KernelStack: 1456 kB PageTables: 8728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2620492 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node127 at 2016-06-18 07:05:27