Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir09_area_opers.opb |
| MD5SUM | 23ab85bb903b24d53f7c52c70411f8cf |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 34 |
| Best CPU time to get the best result obtained on this benchmark | 0.909861 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 34 |
| Optimality of the best value was proved | YES |
| Number of variables | 25134 |
| Total number of constraints | 59372 |
| Number of constraints which are clauses | 59372 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 254 |
| Number of terms in the objective function | 12324 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 12324 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 12324 |
| Number of bits of the biggest sum of numbers | 14 |
| 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-07T00:52:12+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-4079805-1465253532.opb"] 0.00/0.01 c use --random-gen="947449441 2241518714 249824792 545028084 158250966 2106374261 779516694 2712866911 2552912396 237733726 3242622371 1547773854 1023595729 3692972959 933934730 719954815 2716446463 1536656083 1626484726 4084232518 652822714 2318608503 963649835 4162549548 4154116186 496658910 1215702565 1289263024 712931627 597551737 1293069742 2789424489 433217426 4005744909 903141376 188608044 377873661 3430186934 2048024015 2846514269 3586155741 1887579261 4082772343 1896567250 1393782682 1182616503 1836781108 3564828342 3597760885 2934713081 3662872260 2508240984 174172031 1385380217 35068629 1610127992 3713241696 1906825348 3484858493 3302744669 2453324687 1886315135 1448938758 1055932275 3943358782 1873745361 3855639345 2451106689 1661271985 2794348813 727408772 3319106292 3414832573 1115148720 1414500549 3343001564 3841199575 2909311553 3098639856 1295082266 2027545581 3965486691 2777681126 2640274037 3052517081 530220835 492240538 1064825525 184363997 3030897402 1088839519 3772923880 310315509 3952874025 3935067583 803019755 778934283 3115740319 2287956560 4204282395 1235814630 745458647 147049033 412240283 3381788794 3837933651 3038064678 3274257582 3343187259 3039647814 1340247770 3468327257 2474002938 198236070 1070476671 2893470034 3111770327 4021401571 2658381990 754592959 903230078 679835025 1428061252 2423745841 4221019914 3510301571 1025220347 691252596 2477065672 1071035655 1916963426 3857897553 1925888835 2695434796 324774115 3181079279 137784681 1265369954 795794673 2386596441 3331616301 378793413 3744555936 2543245049 1749215272 1769832838 2934583613 1062836489 1369164370 1240111961 2826162849 793765909 4018223071 1180715482 2969828105 377055360 661175413 3455625181 3473711668 3536803681 2691267045 3348093179 1760851966 2202105934 3777267430 1906512908 4230407476 158893084 3334400672 3823476526 3755470294 3797634140 184133055 2723443372 3910475467 2005326751 3973554332 2843796761 1472907467 486590385 1355746820 123540241 2818606017 2632280122 906680659 500162116 1902864849 3398936233 1872043439 2497694678 1363589987 2489559881 3381362360 381779648 2361760183 3575017836 3868393910 3987648966 810736953 1224989450 1576529516 2168554951 755323265 3297184944 3988798058 1467361634 1996257133 1294496535 959971736 2338877192 3694515757 1303282718 1662557967 3882217348 1800208714 2070140451 3702648694 3256119999 2303222682 3185790184 444608804 674609483 3132311916 1187867990 26330649 1362455520 3837215828 429830931 2555610538 2503178329 4187518885 3944500810 1462169309 2009918865 1104876479 3592958136 910438769 2271663818 121305927 3744171373 3957689828 879000743 1104817109 582918719 1013068978 1645445538 3566405082 564842319 4007903924 809229921 322941158 1873840693 1554422851 1892025719 3295309310 3374509937 255 362436" option to reproduce the execution 0.29/0.39 c #vars 25134 0.29/0.39 c #constraints 59372 1.10/1.17 c BCD2: Hardening is enabled. 1.10/1.17 c BCD2: BiasedSearch is enabled. 1.10/1.17 c Solving starts ... 1.10/1.17 c ============================[ Search Statistics ]============================ 1.10/1.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.17 c | | | | Limit GC | Var | Constra 1.10/1.17 c ============================================================================= 1.29/1.30 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 0 1.29/1.39 c 0.1s | 0 | 12326 | 0 | 28162 0 | 3 | 2783 1.29/1.39 c #cpu_time = 0.079s 1.29/1.39 c #wall_clock_time = 0.079s 1.29/1.39 c #decision = 12326 1.29/1.39 c #random_decision = 62 1.29/1.39 c #conflict = 0 1.29/1.39 c #restart = 0 1.29/1.40 o 12324 1.49/1.55 c BCD2: updating upper bound: 12324 -> 12323 1.49/1.58 c BCD2: 0 <= obj <= 12323 1.49/1.58 c BCD2: #cores=0, #unrelaxed=12324, #relaxed=0, #hardened=0 1.49/1.58 c BCD2: #sat=1 #unsat=1 bias=1/2 1.49/1.58 c Solving starts ... 1.49/1.58 c ============================[ Search Statistics ]============================ 1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.58 c | | | | Limit GC | Var | Constra 1.49/1.58 c ============================================================================= 1.49/1.58 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.59/1.61 c 0.0s | 0 | 4 | 0 | 28162 0 | 3 | 2783 1.59/1.61 c #cpu_time = 0.029s 1.59/1.61 c #wall_clock_time = 0.029s 1.59/1.61 c #decision = 4 1.59/1.61 c #random_decision = 0 1.59/1.61 c #conflict = 0 1.59/1.61 c #restart = 0 1.59/1.61 c BCD2: found a new core of size 3: cost of the new core is >=1 1.59/1.61 c lower bound updated to 1 1.59/1.62 c BCD2: 1 <= obj <= 12323 1.59/1.62 c BCD2: #cores=1, #unrelaxed=12321, #relaxed=3, #hardened=0 1.59/1.62 c BCD2: #sat=1 #unsat=2 bias=2/3 1.59/1.62 c Solving starts ... 1.59/1.62 c ============================[ Search Statistics ]============================ 1.59/1.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.62 c | | | | Limit GC | Var | Constra 1.59/1.62 c ============================================================================= 1.59/1.62 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.59/1.64 c 0.0s | 0 | 5 | 0 | 28162 0 | 3 | 2783 1.59/1.64 c #cpu_time = 0.022s 1.59/1.64 c #wall_clock_time = 0.022s 1.59/1.64 c #decision = 5 1.59/1.64 c #random_decision = 0 1.59/1.64 c #conflict = 0 1.59/1.64 c #restart = 0 1.59/1.64 c BCD2: found a new core of size 3: cost of the new core is >=1 1.59/1.64 c lower bound updated to 2 1.59/1.65 c BCD2: 2 <= obj <= 12323 1.59/1.65 c BCD2: #cores=2, #unrelaxed=12318, #relaxed=6, #hardened=0 1.59/1.65 c BCD2: #sat=1 #unsat=3 bias=3/4 1.59/1.65 c Solving starts ... 1.59/1.65 c ============================[ Search Statistics ]============================ 1.59/1.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.65 c | | | | Limit GC | Var | Constra 1.59/1.65 c ============================================================================= 1.59/1.65 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.59/1.67 c 0.0s | 0 | 11 | 0 | 28162 0 | 3 | 2783 1.59/1.67 c #cpu_time = 0.021s 1.59/1.67 c #wall_clock_time = 0.021s 1.59/1.67 c #decision = 11 1.59/1.67 c #random_decision = 0 1.59/1.67 c #conflict = 0 1.59/1.67 c #restart = 0 1.59/1.67 c BCD2: found a new core of size 9: cost of the new core is >=1 1.59/1.67 c lower bound updated to 3 1.59/1.67 c BCD2: 3 <= obj <= 12323 1.59/1.67 c BCD2: #cores=3, #unrelaxed=12309, #relaxed=15, #hardened=0 1.59/1.67 c BCD2: #sat=1 #unsat=4 bias=4/5 1.59/1.67 c Solving starts ... 1.59/1.67 c ============================[ Search Statistics ]============================ 1.59/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.67 c | | | | Limit GC | Var | Constra 1.59/1.67 c ============================================================================= 1.59/1.68 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.59/1.69 c 0.0s | 0 | 5 | 0 | 28162 0 | 3 | 2783 1.59/1.69 c #cpu_time = 0.017s 1.59/1.69 c #wall_clock_time = 0.017s 1.59/1.69 c #decision = 5 1.59/1.69 c #random_decision = 0 1.59/1.69 c #conflict = 0 1.59/1.69 c #restart = 0 1.59/1.69 c BCD2: found a new core of size 1: cost of the new core is >=1 1.59/1.69 c lower bound updated to 4 1.69/1.70 c BCD2: 4 <= obj <= 12323 1.69/1.70 c BCD2: #cores=4, #unrelaxed=12308, #relaxed=16, #hardened=0 1.69/1.70 c BCD2: #sat=1 #unsat=5 bias=5/6 1.69/1.70 c Solving starts ... 1.69/1.70 c ============================[ Search Statistics ]============================ 1.69/1.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.70 c | | | | Limit GC | Var | Constra 1.69/1.70 c ============================================================================= 1.69/1.70 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.69/1.73 c 0.0s | 0 | 26 | 0 | 28162 0 | 3 | 2783 1.69/1.73 c #cpu_time = 0.020s 1.69/1.73 c #wall_clock_time = 0.020s 1.69/1.73 c #decision = 26 1.69/1.73 c #random_decision = 0 1.69/1.73 c #conflict = 0 1.69/1.73 c #restart = 0 1.69/1.73 c BCD2: found a new core of size 11: cost of the new core is >=1 1.69/1.73 c lower bound updated to 5 1.69/1.73 c BCD2: 5 <= obj <= 12323 1.69/1.73 c BCD2: #cores=5, #unrelaxed=12297, #relaxed=27, #hardened=0 1.69/1.73 c BCD2: #sat=1 #unsat=6 bias=6/7 1.69/1.73 c Solving starts ... 1.69/1.73 c ============================[ Search Statistics ]============================ 1.69/1.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.73 c | | | | Limit GC | Var | Constra 1.69/1.73 c ============================================================================= 1.69/1.73 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.69/1.76 c 0.0s | 0 | 51 | 0 | 28162 0 | 3 | 2783 1.69/1.76 c #cpu_time = 0.026s 1.69/1.76 c #wall_clock_time = 0.026s 1.69/1.76 c #decision = 51 1.69/1.76 c #random_decision = 0 1.69/1.76 c #conflict = 0 1.69/1.76 c #restart = 0 1.69/1.76 c BCD2: found a new core of size 9: cost of the new core is >=1 1.69/1.76 c lower bound updated to 6 1.69/1.77 c BCD2: 6 <= obj <= 12323 1.69/1.77 c BCD2: #cores=6, #unrelaxed=12288, #relaxed=36, #hardened=0 1.69/1.77 c BCD2: #sat=1 #unsat=7 bias=7/8 1.69/1.77 c Solving starts ... 1.69/1.77 c ============================[ Search Statistics ]============================ 1.69/1.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.77 c | | | | Limit GC | Var | Constra 1.69/1.77 c ============================================================================= 1.69/1.77 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.69/1.79 c 0.0s | 0 | 106 | 0 | 28162 0 | 3 | 2783 1.69/1.79 c #cpu_time = 0.021s 1.69/1.79 c #wall_clock_time = 0.021s 1.69/1.79 c #decision = 106 1.69/1.79 c #random_decision = 0 1.69/1.79 c #conflict = 0 1.69/1.79 c #restart = 0 1.69/1.79 c BCD2: found a new core of size 32: cost of the new core is >=1 1.69/1.79 c lower bound updated to 7 1.79/1.80 c BCD2: 7 <= obj <= 12323 1.79/1.80 c BCD2: #cores=7, #unrelaxed=12256, #relaxed=68, #hardened=0 1.79/1.80 c BCD2: #sat=1 #unsat=8 bias=8/9 1.79/1.80 c Solving starts ... 1.79/1.80 c ============================[ Search Statistics ]============================ 1.79/1.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.80 c | | | | Limit GC | Var | Constra 1.79/1.80 c ============================================================================= 1.79/1.80 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.79/1.82 c 0.0s | 0 | 83 | 0 | 28162 0 | 3 | 2783 1.79/1.82 c #cpu_time = 0.018s 1.79/1.82 c #wall_clock_time = 0.018s 1.79/1.82 c #decision = 83 1.79/1.82 c #random_decision = 0 1.79/1.82 c #conflict = 0 1.79/1.82 c #restart = 0 1.79/1.82 c BCD2: found a new core of size 9: cost of the new core is >=1 1.79/1.82 c lower bound updated to 8 1.79/1.83 c BCD2: 8 <= obj <= 12323 1.79/1.83 c BCD2: #cores=8, #unrelaxed=12247, #relaxed=77, #hardened=0 1.79/1.83 c BCD2: #sat=1 #unsat=9 bias=9/10 1.79/1.83 c Solving starts ... 1.79/1.83 c ============================[ Search Statistics ]============================ 1.79/1.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.83 c | | | | Limit GC | Var | Constra 1.79/1.83 c ============================================================================= 1.79/1.83 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.79/1.85 c 0.0s | 0 | 90 | 0 | 28162 0 | 3 | 2783 1.79/1.85 c #cpu_time = 0.021s 1.79/1.85 c #wall_clock_time = 0.021s 1.79/1.85 c #decision = 90 1.79/1.85 c #random_decision = 0 1.79/1.85 c #conflict = 0 1.79/1.85 c #restart = 0 1.79/1.85 c BCD2: found a new core of size 27: cost of the new core is >=1 1.79/1.85 c lower bound updated to 9 1.79/1.86 c BCD2: 9 <= obj <= 12323 1.79/1.86 c BCD2: #cores=9, #unrelaxed=12220, #relaxed=104, #hardened=0 1.79/1.86 c BCD2: #sat=1 #unsat=10 bias=10/11 1.79/1.86 c Solving starts ... 1.79/1.86 c ============================[ Search Statistics ]============================ 1.79/1.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.86 c | | | | Limit GC | Var | Constra 1.79/1.86 c ============================================================================= 1.79/1.86 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.79/1.88 c 0.0s | 0 | 189 | 0 | 28162 0 | 3 | 2783 1.79/1.88 c #cpu_time = 0.023s 1.79/1.88 c #wall_clock_time = 0.023s 1.79/1.88 c #decision = 189 1.79/1.88 c #random_decision = 0 1.79/1.88 c #conflict = 0 1.79/1.88 c #restart = 0 1.79/1.88 c BCD2: found a new core of size 8: cost of the new core is >=1 1.79/1.88 c lower bound updated to 10 1.79/1.89 c BCD2: 10 <= obj <= 12323 1.79/1.89 c BCD2: #cores=10, #unrelaxed=12212, #relaxed=112, #hardened=0 1.79/1.89 c BCD2: #sat=1 #unsat=11 bias=11/12 1.79/1.89 c Solving starts ... 1.79/1.89 c ============================[ Search Statistics ]============================ 1.79/1.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.89 c | | | | Limit GC | Var | Constra 1.79/1.89 c ============================================================================= 1.79/1.89 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.89/1.91 c 0.0s | 0 | 241 | 0 | 28162 0 | 3 | 2783 1.89/1.91 c #cpu_time = 0.021s 1.89/1.91 c #wall_clock_time = 0.021s 1.89/1.91 c #decision = 241 1.89/1.91 c #random_decision = 0 1.89/1.91 c #conflict = 0 1.89/1.91 c #restart = 0 1.89/1.91 c BCD2: found a new core of size 127: cost of the new core is >=1 1.89/1.91 c lower bound updated to 11 1.89/1.92 c BCD2: 11 <= obj <= 12323 1.89/1.92 c BCD2: #cores=11, #unrelaxed=12085, #relaxed=239, #hardened=0 1.89/1.92 c BCD2: #sat=1 #unsat=12 bias=12/13 1.89/1.92 c Solving starts ... 1.89/1.92 c ============================[ Search Statistics ]============================ 1.89/1.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.92 c | | | | Limit GC | Var | Constra 1.89/1.92 c ============================================================================= 1.89/1.92 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.89/1.95 c 0.0s | 0 | 127 | 0 | 28162 0 | 3 | 2783 1.89/1.95 c #cpu_time = 0.024s 1.89/1.95 c #wall_clock_time = 0.024s 1.89/1.95 c #decision = 127 1.89/1.95 c #random_decision = 0 1.89/1.95 c #conflict = 0 1.89/1.95 c #restart = 0 1.89/1.95 c BCD2: found a new core of size 9: cost of the new core is >=1 1.89/1.95 c lower bound updated to 12 1.89/1.95 c BCD2: 12 <= obj <= 12323 1.89/1.95 c BCD2: #cores=12, #unrelaxed=12076, #relaxed=248, #hardened=0 1.89/1.95 c BCD2: #sat=1 #unsat=13 bias=13/14 1.89/1.95 c Solving starts ... 1.89/1.95 c ============================[ Search Statistics ]============================ 1.89/1.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.95 c | | | | Limit GC | Var | Constra 1.89/1.95 c ============================================================================= 1.89/1.95 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.89/1.98 c 0.0s | 0 | 452 | 0 | 28162 0 | 3 | 2783 1.89/1.98 c #cpu_time = 0.023s 1.89/1.98 c #wall_clock_time = 0.024s 1.89/1.98 c #decision = 452 1.89/1.98 c #random_decision = 0 1.89/1.98 c #conflict = 0 1.89/1.98 c #restart = 0 1.89/1.98 c BCD2: found a new core of size 27: cost of the new core is >=1 1.89/1.98 c lower bound updated to 13 1.89/1.98 c BCD2: 13 <= obj <= 12323 1.89/1.98 c BCD2: #cores=13, #unrelaxed=12049, #relaxed=275, #hardened=0 1.89/1.98 c BCD2: #sat=1 #unsat=14 bias=14/15 1.89/1.98 c Solving starts ... 1.89/1.98 c ============================[ Search Statistics ]============================ 1.89/1.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.98 c | | | | Limit GC | Var | Constra 1.89/1.98 c ============================================================================= 1.89/1.99 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.99/2.01 c 0.0s | 0 | 527 | 0 | 28162 0 | 3 | 2783 1.99/2.01 c #cpu_time = 0.020s 1.99/2.01 c #wall_clock_time = 0.020s 1.99/2.01 c #decision = 527 1.99/2.01 c #random_decision = 0 1.99/2.01 c #conflict = 0 1.99/2.01 c #restart = 0 1.99/2.01 c BCD2: found a new core of size 39: cost of the new core is >=1 1.99/2.01 c lower bound updated to 14 1.99/2.02 c BCD2: 14 <= obj <= 12323 1.99/2.02 c BCD2: #cores=14, #unrelaxed=12010, #relaxed=314, #hardened=0 1.99/2.02 c BCD2: #sat=1 #unsat=15 bias=15/16 1.99/2.02 c Solving starts ... 1.99/2.02 c ============================[ Search Statistics ]============================ 1.99/2.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.02 c | | | | Limit GC | Var | Constra 1.99/2.02 c ============================================================================= 1.99/2.02 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.99/2.04 c 0.0s | 0 | 572 | 0 | 28162 0 | 3 | 2783 1.99/2.04 c #cpu_time = 0.023s 1.99/2.04 c #wall_clock_time = 0.023s 1.99/2.04 c #decision = 572 1.99/2.04 c #random_decision = 0 1.99/2.04 c #conflict = 0 1.99/2.04 c #restart = 0 1.99/2.04 c BCD2: found a new core of size 27: cost of the new core is >=1 1.99/2.04 c lower bound updated to 15 1.99/2.05 c BCD2: 15 <= obj <= 12323 1.99/2.05 c BCD2: #cores=15, #unrelaxed=11983, #relaxed=341, #hardened=0 1.99/2.05 c BCD2: #sat=1 #unsat=16 bias=16/17 1.99/2.05 c Solving starts ... 1.99/2.05 c ============================[ Search Statistics ]============================ 1.99/2.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.05 c | | | | Limit GC | Var | Constra 1.99/2.05 c ============================================================================= 1.99/2.05 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 1.99/2.07 c 0.0s | 0 | 972 | 0 | 28162 0 | 3 | 2783 1.99/2.07 c #cpu_time = 0.023s 1.99/2.07 c #wall_clock_time = 0.023s 1.99/2.07 c #decision = 972 1.99/2.07 c #random_decision = 0 1.99/2.07 c #conflict = 0 1.99/2.07 c #restart = 0 1.99/2.07 c BCD2: found a new core of size 26: cost of the new core is >=1 1.99/2.07 c lower bound updated to 16 1.99/2.08 c BCD2: 16 <= obj <= 12323 1.99/2.08 c BCD2: #cores=16, #unrelaxed=11957, #relaxed=367, #hardened=0 1.99/2.08 c BCD2: #sat=1 #unsat=17 bias=17/18 1.99/2.08 c Solving starts ... 1.99/2.08 c ============================[ Search Statistics ]============================ 1.99/2.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.08 c | | | | Limit GC | Var | Constra 1.99/2.08 c ============================================================================= 1.99/2.09 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.09/2.11 c 0.0s | 0 | 1082 | 0 | 28162 0 | 3 | 2783 2.09/2.11 c #cpu_time = 0.023s 2.09/2.11 c #wall_clock_time = 0.023s 2.09/2.11 c #decision = 1082 2.09/2.11 c #random_decision = 0 2.09/2.11 c #conflict = 0 2.09/2.11 c #restart = 0 2.09/2.11 c BCD2: found a new core of size 115: cost of the new core is >=1 2.09/2.11 c lower bound updated to 17 2.09/2.12 c BCD2: 17 <= obj <= 12323 2.09/2.12 c BCD2: #cores=17, #unrelaxed=11842, #relaxed=482, #hardened=0 2.09/2.12 c BCD2: #sat=1 #unsat=18 bias=18/19 2.09/2.12 c Solving starts ... 2.09/2.12 c ============================[ Search Statistics ]============================ 2.09/2.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.12 c | | | | Limit GC | Var | Constra 2.09/2.12 c ============================================================================= 2.09/2.12 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.09/2.15 c 0.0s | 0 | 1013 | 0 | 28162 0 | 3 | 2783 2.09/2.15 c #cpu_time = 0.027s 2.09/2.15 c #wall_clock_time = 0.027s 2.09/2.15 c #decision = 1013 2.09/2.15 c #random_decision = 0 2.09/2.15 c #conflict = 0 2.09/2.15 c #restart = 0 2.09/2.15 c BCD2: found a new core of size 99: cost of the new core is >=1 2.09/2.15 c lower bound updated to 18 2.09/2.16 c BCD2: 18 <= obj <= 12323 2.09/2.16 c BCD2: #cores=18, #unrelaxed=11743, #relaxed=581, #hardened=0 2.09/2.16 c BCD2: #sat=1 #unsat=19 bias=19/20 2.09/2.16 c Solving starts ... 2.09/2.16 c ============================[ Search Statistics ]============================ 2.09/2.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.16 c | | | | Limit GC | Var | Constra 2.09/2.16 c ============================================================================= 2.09/2.16 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.09/2.18 c 0.0s | 0 | 2116 | 0 | 28162 0 | 3 | 2783 2.09/2.18 c #cpu_time = 0.027s 2.09/2.18 c #wall_clock_time = 0.027s 2.09/2.18 c #decision = 2116 2.09/2.18 c #random_decision = 0 2.09/2.18 c #conflict = 0 2.09/2.18 c #restart = 0 2.09/2.18 c BCD2: found a new core of size 9: cost of the new core is >=1 2.09/2.18 c lower bound updated to 19 2.09/2.19 c BCD2: 19 <= obj <= 12323 2.09/2.19 c BCD2: #cores=19, #unrelaxed=11734, #relaxed=590, #hardened=0 2.09/2.19 c BCD2: #sat=1 #unsat=20 bias=20/21 2.09/2.19 c Solving starts ... 2.09/2.19 c ============================[ Search Statistics ]============================ 2.09/2.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.19 c | | | | Limit GC | Var | Constra 2.09/2.19 c ============================================================================= 2.09/2.20 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.19/2.23 c 0.0s | 0 | 2549 | 0 | 28162 0 | 3 | 2783 2.19/2.23 c #cpu_time = 0.027s 2.19/2.23 c #wall_clock_time = 0.027s 2.19/2.23 c #decision = 2549 2.19/2.23 c #random_decision = 0 2.19/2.23 c #conflict = 0 2.19/2.23 c #restart = 0 2.19/2.23 c BCD2: found a new core of size 386: cost of the new core is >=1 2.19/2.23 c lower bound updated to 20 2.19/2.24 c BCD2: 20 <= obj <= 12323 2.19/2.24 c BCD2: #cores=20, #unrelaxed=11348, #relaxed=976, #hardened=0 2.19/2.24 c BCD2: #sat=1 #unsat=21 bias=21/22 2.19/2.24 c Solving starts ... 2.19/2.24 c ============================[ Search Statistics ]============================ 2.19/2.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.19/2.24 c | | | | Limit GC | Var | Constra 2.19/2.24 c ============================================================================= 2.19/2.24 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.19/2.27 c 0.0s | 0 | 2563 | 0 | 28162 0 | 3 | 2783 2.19/2.27 c #cpu_time = 0.029s 2.19/2.27 c #wall_clock_time = 0.029s 2.19/2.27 c #decision = 2563 2.19/2.27 c #random_decision = 0 2.19/2.27 c #conflict = 0 2.19/2.27 c #restart = 0 2.19/2.27 c BCD2: found a new core of size 113: cost of the new core is >=1 2.19/2.27 c lower bound updated to 21 2.19/2.28 c BCD2: 21 <= obj <= 12323 2.19/2.28 c BCD2: #cores=21, #unrelaxed=11235, #relaxed=1089, #hardened=0 2.19/2.28 c BCD2: #sat=1 #unsat=22 bias=22/23 2.19/2.28 c Solving starts ... 2.19/2.28 c ============================[ Search Statistics ]============================ 2.19/2.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.19/2.28 c | | | | Limit GC | Var | Constra 2.19/2.28 c ============================================================================= 2.19/2.28 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.29/2.32 c 0.0s | 0 | 2518 | 0 | 28162 0 | 3 | 2783 2.29/2.32 c #cpu_time = 0.031s 2.29/2.32 c #wall_clock_time = 0.031s 2.29/2.32 c #decision = 2518 2.29/2.32 c #random_decision = 0 2.29/2.32 c #conflict = 0 2.29/2.32 c #restart = 0 2.29/2.32 c BCD2: found a new core of size 121: cost of the new core is >=1 2.29/2.32 c lower bound updated to 22 2.29/2.32 c BCD2: 22 <= obj <= 12323 2.29/2.32 c BCD2: #cores=22, #unrelaxed=11114, #relaxed=1210, #hardened=0 2.29/2.32 c BCD2: #sat=1 #unsat=23 bias=23/24 2.29/2.32 c Solving starts ... 2.29/2.32 c ============================[ Search Statistics ]============================ 2.29/2.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.29/2.32 c | | | | Limit GC | Var | Constra 2.29/2.32 c ============================================================================= 2.29/2.32 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.29/2.36 c 0.0s | 0 | 5007 | 0 | 28162 0 | 3 | 2783 2.29/2.36 c #cpu_time = 0.034s 2.29/2.36 c #wall_clock_time = 0.034s 2.29/2.36 c #decision = 5007 2.29/2.36 c #random_decision = 0 2.29/2.36 c #conflict = 0 2.29/2.36 c #restart = 0 2.29/2.36 c BCD2: found a new core of size 296: cost of the new core is >=1 2.29/2.36 c lower bound updated to 23 2.29/2.38 c BCD2: 23 <= obj <= 12323 2.29/2.38 c BCD2: #cores=23, #unrelaxed=10818, #relaxed=1506, #hardened=0 2.29/2.38 c BCD2: #sat=1 #unsat=24 bias=24/25 2.29/2.38 c Solving starts ... 2.29/2.38 c ============================[ Search Statistics ]============================ 2.29/2.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.29/2.38 c | | | | Limit GC | Var | Constra 2.29/2.38 c ============================================================================= 2.29/2.38 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.39/2.42 c 0.0s | 0 | 5108 | 0 | 28162 0 | 3 | 2783 2.39/2.42 c #cpu_time = 0.037s 2.39/2.42 c #wall_clock_time = 0.038s 2.39/2.42 c #decision = 5108 2.39/2.42 c #random_decision = 0 2.39/2.42 c #conflict = 0 2.39/2.42 c #restart = 0 2.39/2.42 c BCD2: found a new core of size 3: cost of the new core is >=1 2.39/2.42 c lower bound updated to 24 2.39/2.43 c BCD2: 24 <= obj <= 12323 2.39/2.43 c BCD2: #cores=24, #unrelaxed=10815, #relaxed=1509, #hardened=0 2.39/2.43 c BCD2: #sat=1 #unsat=25 bias=25/26 2.39/2.43 c Solving starts ... 2.39/2.43 c ============================[ Search Statistics ]============================ 2.39/2.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.43 c | | | | Limit GC | Var | Constra 2.39/2.43 c ============================================================================= 2.39/2.43 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.39/2.47 c 0.0s | 0 | 5597 | 0 | 28162 0 | 3 | 2783 2.39/2.47 c #cpu_time = 0.035s 2.39/2.47 c #wall_clock_time = 0.035s 2.39/2.47 c #decision = 5597 2.39/2.47 c #random_decision = 0 2.39/2.47 c #conflict = 0 2.39/2.47 c #restart = 0 2.39/2.47 c BCD2: found a new core of size 39: cost of the new core is >=1 2.39/2.47 c lower bound updated to 25 2.39/2.48 c BCD2: 25 <= obj <= 12323 2.39/2.48 c BCD2: #cores=25, #unrelaxed=10776, #relaxed=1548, #hardened=0 2.39/2.48 c BCD2: #sat=1 #unsat=26 bias=26/27 2.39/2.49 c Solving starts ... 2.39/2.49 c ============================[ Search Statistics ]============================ 2.39/2.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.49 c | | | | Limit GC | Var | Constra 2.39/2.49 c ============================================================================= 2.39/2.49 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.49/2.52 c 0.0s | 0 | 5996 | 0 | 28162 0 | 3 | 2783 2.49/2.52 c #cpu_time = 0.033s 2.49/2.52 c #wall_clock_time = 0.033s 2.49/2.52 c #decision = 5996 2.49/2.52 c #random_decision = 0 2.49/2.52 c #conflict = 0 2.49/2.52 c #restart = 0 2.49/2.52 c BCD2: found a new core of size 416: cost of the new core is >=1 2.49/2.52 c lower bound updated to 26 2.49/2.54 c BCD2: 26 <= obj <= 12323 2.49/2.54 c BCD2: #cores=26, #unrelaxed=10360, #relaxed=1964, #hardened=0 2.49/2.54 c BCD2: #sat=1 #unsat=27 bias=27/28 2.49/2.54 c Solving starts ... 2.49/2.54 c ============================[ Search Statistics ]============================ 2.49/2.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.54 c | | | | Limit GC | Var | Constra 2.49/2.54 c ============================================================================= 2.49/2.54 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.49/2.58 c 0.0s | 0 | 6449 | 0 | 28162 0 | 3 | 2783 2.49/2.58 c #cpu_time = 0.036s 2.49/2.58 c #wall_clock_time = 0.036s 2.49/2.58 c #decision = 6449 2.49/2.58 c #random_decision = 0 2.49/2.58 c #conflict = 0 2.49/2.58 c #restart = 0 2.49/2.58 c BCD2: found a new core of size 429: cost of the new core is >=1 2.49/2.58 c lower bound updated to 27 2.59/2.67 c BCD2: 27 <= obj <= 12323 2.59/2.67 c BCD2: #cores=27, #unrelaxed=9931, #relaxed=2393, #hardened=0 2.59/2.67 c BCD2: #sat=1 #unsat=28 bias=28/29 2.59/2.67 c Solving starts ... 2.59/2.67 c ============================[ Search Statistics ]============================ 2.59/2.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.67 c | | | | Limit GC | Var | Constra 2.59/2.67 c ============================================================================= 2.59/2.67 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.69/2.73 c 0.1s | 0 | 8553 | 0 | 28162 0 | 3 | 2783 2.69/2.73 c #cpu_time = 0.059s 2.69/2.73 c #wall_clock_time = 0.059s 2.69/2.73 c #decision = 8553 2.69/2.73 c #random_decision = 0 2.69/2.73 c #conflict = 0 2.69/2.73 c #restart = 0 2.69/2.74 c BCD2: found a new core of size 4207: cost of the new core is >=1 2.69/2.74 c lower bound updated to 28 2.69/2.76 c BCD2: 28 <= obj <= 12323 2.69/2.76 c BCD2: #cores=28, #unrelaxed=5724, #relaxed=6600, #hardened=0 2.69/2.76 c BCD2: #sat=1 #unsat=29 bias=29/30 2.69/2.78 c Solving starts ... 2.69/2.78 c ============================[ Search Statistics ]============================ 2.69/2.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.78 c | | | | Limit GC | Var | Constra 2.69/2.78 c ============================================================================= 2.69/2.78 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.79/2.83 c 0.0s | 0 | 5751 | 0 | 28162 0 | 3 | 2783 2.79/2.83 c #cpu_time = 0.042s 2.79/2.83 c #wall_clock_time = 0.042s 2.79/2.83 c #decision = 5751 2.79/2.83 c #random_decision = 0 2.79/2.83 c #conflict = 0 2.79/2.83 c #restart = 0 2.79/2.83 c BCD2: found a new core of size 1160: cost of the new core is >=1 2.79/2.83 c lower bound updated to 29 2.79/2.84 c BCD2: 29 <= obj <= 12323 2.79/2.84 c BCD2: #cores=29, #unrelaxed=4564, #relaxed=7760, #hardened=0 2.79/2.84 c BCD2: #sat=1 #unsat=30 bias=30/31 2.79/2.86 c Solving starts ... 2.79/2.86 c ============================[ Search Statistics ]============================ 2.79/2.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.79/2.86 c | | | | Limit GC | Var | Constra 2.79/2.86 c ============================================================================= 2.79/2.87 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2783 2.89/2.96 c 0.1s | 0 | 11761 | 0 | 28162 0 | 3 | 2783 2.89/2.96 c #cpu_time = 0.073s 2.89/2.96 c #wall_clock_time = 0.074s 2.89/2.96 c #decision = 11761 2.89/2.96 c #random_decision = 13 2.89/2.96 c #conflict = 0 2.89/2.96 c #restart = 0 2.89/2.96 o 62 2.89/2.98 c BCD2: updating upper bound: 12323 -> 61 2.99/3.03 c BCD2: 29 <= obj <= 61 2.99/3.03 c BCD2: #cores=29, #unrelaxed=4564, #relaxed=7760, #hardened=0 2.99/3.03 c BCD2: #sat=2 #unsat=30 bias=30/32 2.99/3.07 c Solving starts ... 2.99/3.07 c ============================[ Search Statistics ]============================ 2.99/3.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.07 c | | | | Limit GC | Var | Constra 2.99/3.07 c ============================================================================= 2.99/3.07 c 0.0s | 0 | 0 | 0 | 28162 0 | 3 | 2784 3.39/3.46 c 0.4s | 1 | 16261 | 100 | 28162 0 | 3 | 2784 3.69/3.70 c 0.6s | 1 | 35465 | 139 | 30979 0 | 3 | 2784 3.69/3.70 c #cpu_time = 0.608s 3.69/3.70 c #wall_clock_time = 0.610s 3.69/3.70 c #decision = 35465 3.69/3.70 c #random_decision = 12 3.69/3.70 c #conflict = 139 3.69/3.74 c #restart = 1 3.69/3.74 o 44 3.69/3.74 c BCD2: updating upper bound: 61 -> 43 3.69/3.77 c BCD2: 29 <= obj <= 43 3.69/3.77 c BCD2: #cores=29, #unrelaxed=4564, #relaxed=7760, #hardened=0 3.69/3.77 c BCD2: #sat=3 #unsat=30 bias=30/33 3.69/3.77 c Solving starts ... 3.69/3.77 c ============================[ Search Statistics ]============================ 3.69/3.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.77 c | | | | Limit GC | Var | Constra 3.69/3.77 c ============================================================================= 3.69/3.78 c 0.0s | 0 | 0 | 0 | 30979 0 | 3 | 2785 3.88/3.90 c 0.1s | 0 | 20801 | 28 | 30979 0 | 3 | 2785 3.88/3.90 c #cpu_time = 0.120s 3.88/3.90 c #wall_clock_time = 0.120s 3.88/3.90 c #decision = 20801 3.88/3.90 c #random_decision = 0 3.88/3.90 c #conflict = 28 3.88/3.90 c #restart = 0 3.88/3.90 c BCD2: relaxing 28 and merging with 5 cores into a new core of size 187: cost of the new core is >=6 3.88/3.90 c lower bound updated to 30 3.88/3.90 c BCD2: 30 <= obj <= 43 3.88/3.90 c BCD2: #cores=25, #unrelaxed=4536, #relaxed=7788, #hardened=0 3.88/3.90 c BCD2: #sat=3 #unsat=31 bias=31/34 3.88/3.91 c Solving starts ... 3.88/3.91 c ============================[ Search Statistics ]============================ 3.88/3.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.88/3.91 c | | | | Limit GC | Var | Constra 3.88/3.91 c ============================================================================= 3.88/3.91 c 0.0s | 0 | 0 | 0 | 30979 0 | 23 | 2785 4.18/4.22 c 0.3s | 1 | 4820 | 100 | 34077 0 | 23 | 2820 5.08/5.11 c 1.2s | 2 | 10467 | 250 | 34077 0 | 23 | 2820 6.28/6.36 c 2.4s | 3 | 16599 | 475 | 37485 0 | 23 | 2820 6.99/7.05 c 3.1s | 3 | 21684 | 550 | 37485 0 | 23 | 2820 6.99/7.05 c #cpu_time = 3.109s 6.99/7.05 c #wall_clock_time = 3.117s 6.99/7.05 c #decision = 21684 6.99/7.05 c #random_decision = 6 6.99/7.05 c #conflict = 550 6.99/7.05 c #restart = 3 6.99/7.05 o 37 6.99/7.06 c BCD2: updating upper bound: 43 -> 36 7.09/7.11 c BCD2: 30 <= obj <= 36 7.09/7.11 c BCD2: #cores=25, #unrelaxed=4536, #relaxed=7788, #hardened=0 7.09/7.11 c BCD2: #sat=4 #unsat=31 bias=31/35 7.09/7.11 c Solving starts ... 7.09/7.11 c ============================[ Search Statistics ]============================ 7.09/7.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.11 c | | | | Limit GC | Var | Constra 7.09/7.11 c ============================================================================= 7.09/7.11 c 0.0s | 0 | 0 | 0 | 37485 0 | 23 | 2821 7.29/7.39 c 0.3s | 1 | 7695 | 100 | 41234 0 | 23 | 2821 7.49/7.54 c 0.4s | 2 | 12758 | 250 | 41234 0 | 23 | 2821 7.70/7.77 c 0.7s | 3 | 18114 | 475 | 41234 0 | 23 | 2821 8.09/8.14 c 1.0s | 4 | 25549 | 813 | 45358 0 | 23 | 2821 8.59/8.69 c 1.6s | 5 | 38926 | 1320 | 45358 0 | 23 | 2821 9.48/9.58 c 2.5s | 6 | 51641 | 2081 | 49894 0 | 23 | 2821 10.59/10.62 c 3.5s | 7 | 65113 | 3223 | 54884 0 | 23 | 2821 10.89/10.94 c 3.8s | 7 | 73989 | 3506 | 54884 0 | 23 | 2821 10.89/10.94 c #cpu_time = 3.814s 10.89/10.94 c #wall_clock_time = 3.824s 10.89/10.94 c #decision = 73989 10.89/10.94 c #random_decision = 78 10.89/10.94 c #conflict = 3506 10.89/10.94 c #restart = 7 10.89/10.94 c BCD2: relaxing 689 and merging with 20 cores into a new core of size 8411: cost of the new core is >=26 10.89/10.94 c lower bound updated to 31 10.89/10.98 c BCD2: 31 <= obj <= 36 10.89/10.98 c BCD2: #cores=6, #unrelaxed=3847, #relaxed=8477, #hardened=0 10.89/10.98 c BCD2: #sat=4 #unsat=32 bias=32/36 10.99/11.01 c Solving starts ... 10.99/11.01 c ============================[ Search Statistics ]============================ 10.99/11.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.99/11.01 c | | | | Limit GC | Var | Constra 10.99/11.01 c ============================================================================= 10.99/11.01 c 0.0s | 0 | 0 | 0 | 54884 0 | 89 | 2821 11.69/11.72 c 0.7s | 1 | 4964 | 100 | 54884 0 | 89 | 2933 12.49/12.58 c 1.6s | 2 | 10185 | 250 | 54884 0 | 89 | 2933 13.79/13.84 c 2.8s | 3 | 15442 | 475 | 54884 0 | 89 | 2933 16.39/16.49 c 5.5s | 3 | 25227 | 775 | 60373 0 | 89 | 2933 16.88/16.95 c 5.9s | 4 | 26761 | 813 | 60373 0 | 89 | 2933 19.39/19.40 c 8.4s | 4 | 35323 | 1113 | 60373 0 | 89 | 2933 20.79/20.87 c 9.9s | 5 | 39736 | 1320 | 60373 0 | 89 | 2933 22.99/23.06 c 12.0s | 5 | 46484 | 1620 | 60373 0 | 89 | 2933 25.59/25.66 c 14.6s | 5 | 51099 | 1920 | 60373 0 | 89 | 2933 26.89/26.99 c 16.0s | 6 | 54827 | 2081 | 60373 0 | 89 | 2933 29.29/29.35 c 18.3s | 6 | 63164 | 2381 | 60373 0 | 89 | 2933 31.39/31.44 c 20.4s | 6 | 65569 | 2681 | 60373 0 | 89 | 2933 33.69/33.78 c 22.8s | 6 | 68178 | 2981 | 60373 0 | 89 | 2933 36.09/36.14 c 25.1s | 7 | 70188 | 3223 | 60373 0 | 89 | 2933 38.50/38.59 c 27.6s | 7 | 78939 | 3523 | 66411 0 | 89 | 2933 41.39/41.42 c 30.4s | 7 | 81960 | 3823 | 66411 0 | 89 | 2933 43.69/43.71 c 32.7s | 7 | 83145 | 4223 | 66411 0 | 89 | 2933 46.29/46.37 c 35.4s | 7 | 91283 | 4523 | 66411 0 | 89 | 2933 48.69/48.71 c 37.7s | 7 | 94304 | 4823 | 66411 0 | 89 | 2933 49.59/49.61 c 38.6s | 8 | 95339 | 4936 | 66411 0 | 89 | 2933 52.39/52.40 c 41.4s | 8 | 104165 | 5236 | 66411 0 | 89 | 2933 54.38/54.42 c 43.4s | 8 | 105831 | 5436 | 66411 0 | 89 | 2933 56.78/56.88 c 45.9s | 8 | 114718 | 5636 | 66411 0 | 89 | 2933 59.49/59.54 c 48.5s | 8 | 118469 | 5936 | 66411 0 | 89 | 2933 61.78/61.89 c 50.9s | 8 | 123270 | 6136 | 66411 0 | 89 | 2933 64.28/64.34 c 53.3s | 8 | 129555 | 6336 | 66411 0 | 89 | 2933 67.58/67.61 c 56.6s | 8 | 136786 | 6636 | 66411 0 | 89 | 2933 69.78/69.80 c 58.8s | 8 | 139872 | 6836 | 66411 0 | 89 | 2933 72.78/72.82 c 61.8s | 8 | 145683 | 7136 | 73053 0 | 89 | 2933 75.18/75.23 c 64.2s | 8 | 149132 | 7336 | 73053 0 | 89 | 2933 76.78/76.82 c 65.8s | 9 | 152447 | 7506 | 73053 0 | 89 | 2933 79.48/79.57 c 68.6s | 9 | 162280 | 7706 | 73053 0 | 89 | 2933 81.58/81.60 c 70.6s | 9 | 164336 | 7906 | 73053 0 | 89 | 2933 83.78/83.89 c 72.9s | 9 | 171091 | 8106 | 73053 0 | 89 | 2933 85.89/85.97 c 75.0s | 9 | 172641 | 8306 | 73053 0 | 89 | 2933 87.99/88.02 c 77.0s | 9 | 174277 | 8506 | 73053 0 | 89 | 2933 91.08/91.16 c 80.1s | 9 | 181203 | 8806 | 73053 0 | 89 | 2933 94.18/94.23 c 83.2s | 9 | 185828 | 9106 | 73053 0 | 89 | 2933 96.28/96.38 c 85.4s | 9 | 188138 | 9306 | 73053 0 | 89 | 2933 98.48/98.57 c 87.6s | 9 | 190363 | 9506 | 73053 0 | 89 | 2933 100.58/100.64 c 89.6s | 9 | 192791 | 9706 | 73053 0 | 89 | 2933 103.08/103.17 c 92.2s | 9 | 194478 | 9906 | 73053 0 | 89 | 2933 105.18/105.22 c 94.2s | 9 | 197736 | 10106 | 73053 0 | 89 | 2933 107.38/107.43 c 96.4s | 9 | 199857 | 10306 | 73053 0 | 89 | 2933 109.78/109.80 c 98.8s | 9 | 203576 | 10506 | 73053 0 | 89 | 2933 112.77/112.84 c 101s | 9 | 205407 | 10806 | 73053 0 | 89 | 2933 115.48/115.55 c 104s | 9 | 208937 | 11006 | 73053 0 | 89 | 2933 117.47/117.59 c 106s | 9 | 211855 | 11206 | 73053 0 | 89 | 2933 119.07/119.13 c 108s | 10 | 212236 | 11361 | 73053 0 | 89 | 2933 121.17/121.20 c 110s | 10 | 218370 | 11561 | 73053 0 | 89 | 2933 123.47/123.54 c 112s | 10 | 218948 | 11761 | 73053 0 | 89 | 2933 125.48/125.59 c 114s | 10 | 224176 | 11961 | 73053 0 | 89 | 2933 128.57/128.60 c 117s | 10 | 228773 | 12261 | 73053 0 | 89 | 2933 130.88/131.00 c 119s | 10 | 231973 | 12461 | 73053 0 | 89 | 2933 133.57/133.62 c 122s | 10 | 234594 | 12761 | 73053 0 | 89 | 2933 136.17/136.28 c 125s | 10 | 238814 | 12961 | 80359 0 | 89 | 2933 139.27/139.34 c 128s | 10 | 243326 | 13261 | 80359 0 | 89 | 2933 142.37/142.46 c 131s | 10 | 247716 | 13561 | 80359 0 | 89 | 2933 144.57/144.61 c 133s | 10 | 250442 | 13761 | 80359 0 | 89 | 2933 146.57/146.64 c 135s | 10 | 252414 | 13961 | 80359 0 | 89 | 2933 148.67/148.80 c 137s | 10 | 255113 | 14161 | 80359 0 | 89 | 2933 151.77/151.82 c 140s | 10 | 257470 | 14461 | 80359 0 | 89 | 2933 154.07/154.15 c 143s | 10 | 260147 | 14661 | 80359 0 | 89 | 2933 156.07/156.18 c 145s | 10 | 261259 | 14861 | 80359 0 | 89 | 2933 158.37/158.49 c 147s | 10 | 263441 | 15061 | 80359 0 | 89 | 2933 160.67/160.77 c 149s | 10 | 264121 | 15261 | 80359 0 | 89 | 2933 163.07/163.18 c 152s | 10 | 266581 | 15461 | 80359 0 | 89 | 2933 165.27/165.31 c 154s | 10 | 267820 | 15661 | 80359 0 | 89 | 2933 167.37/167.45 c 156s | 10 | 269533 | 15861 | 80359 0 | 89 | 2933 169.37/169.46 c 158s | 10 | 272328 | 16061 | 80359 0 | 89 | 2933 171.57/171.69 c 160s | 10 | 273829 | 16261 | 80359 0 | 89 | 2933 173.96/174.01 c 163s | 10 | 276626 | 16461 | 80359 0 | 89 | 2933 177.17/177.25 c 166s | 10 | 279306 | 16761 | 80359 0 | 89 | 2933 179.27/179.36 c 168s | 10 | 280522 | 16961 | 80359 0 | 89 | 2933 180.76/180.85 c 169s | 11 | 281471 | 17144 | 80359 0 | 89 | 2933 183.26/183.36 c 172s | 11 | 286911 | 17444 | 80359 0 | 89 | 2933 185.66/185.80 c 174s | 11 | 287618 | 17744 | 80359 0 | 89 | 2933 188.36/188.49 c 177s | 11 | 289110 | 18044 | 80359 0 | 89 | 2933 191.06/191.12 c 180s | 11 | 291125 | 18244 | 80359 0 | 89 | 2933 193.67/193.79 c 182s | 11 | 292385 | 18544 | 80359 0 | 89 | 2933 195.96/196.02 c 185s | 11 | 297618 | 18744 | 80359 0 | 89 | 2933 198.36/198.49 c 187s | 11 | 307091 | 18944 | 80359 0 | 89 | 2933 201.27/201.34 c 190s | 11 | 308955 | 19244 | 80359 0 | 89 | 2933 203.47/203.53 c 192s | 11 | 309833 | 19444 | 80359 0 | 89 | 2933 206.06/206.10 c 195s | 11 | 314251 | 19644 | 80359 0 | 89 | 2933 208.66/208.70 c 197s | 11 | 319395 | 19844 | 80359 0 | 89 | 2933 211.76/211.85 c 200s | 11 | 321802 | 20144 | 80359 0 | 89 | 2933 214.16/214.23 c 203s | 11 | 323625 | 20344 | 80359 0 | 89 | 2933 216.26/216.39 c 205s | 11 | 326985 | 20544 | 80359 0 | 89 | 2933 218.96/219.06 c 208s | 11 | 329758 | 20844 | 80359 0 | 89 | 2933 221.96/222.02 c 211s | 11 | 333969 | 21144 | 80359 0 | 89 | 2933 224.06/224.18 c 213s | 11 | 338659 | 21344 | 80359 0 | 89 | 2933 227.26/227.30 c 216s | 11 | 346945 | 21544 | 88395 0 | 89 | 2933 230.36/230.47 c 219s | 11 | 353250 | 21844 | 88395 0 | 89 | 2933 232.55/232.69 c 221s | 11 | 357223 | 22044 | 88395 0 | 89 | 2933 234.95/235.06 c 224s | 11 | 361011 | 22244 | 88395 0 | 89 | 2933 237.35/237.47 c 226s | 11 | 363290 | 22444 | 88395 0 | 89 | 2933 239.86/239.92 c 228s | 11 | 367829 | 22644 | 88395 0 | 89 | 2933 242.35/242.49 c 231s | 11 | 371698 | 22844 | 88395 0 | 89 | 2933 244.65/244.78 c 233s | 11 | 374563 | 23044 | 88395 0 | 89 | 2933 247.35/247.40 c 236s | 11 | 379970 | 23244 | 88395 0 | 89 | 2933 249.66/249.71 c 238s | 11 | 383042 | 23444 | 88395 0 | 89 | 2933 251.86/251.96 c 240s | 11 | 387193 | 23644 | 88395 0 | 89 | 2933 254.55/254.62 c 243s | 11 | 392668 | 23844 | 88395 0 | 89 | 2933 256.75/256.89 c 245s | 11 | 395541 | 24044 | 88395 0 | 89 | 2933 259.15/259.22 c 248s | 11 | 399599 | 24244 | 88395 0 | 89 | 2933 261.45/261.55 c 250s | 11 | 402312 | 24444 | 88395 0 | 89 | 2933 263.75/263.83 c 252s | 11 | 405598 | 24644 | 88395 0 | 89 | 2933 266.45/266.55 c 255s | 11 | 411295 | 24844 | 88395 0 | 89 | 2933 269.15/269.21 c 258s | 11 | 415514 | 25044 | 88395 0 | 89 | 2933 272.25/272.38 c 261s | 11 | 418184 | 25344 | 88395 0 | 89 | 2933 274.75/274.84 c 263s | 11 | 419556 | 25544 | 88395 0 | 89 | 2933 277.35/277.44 c 266s | 11 | 422032 | 25744 | 88395 0 | 89 | 2933 278.15/278.23 c 267s | 12 | 423043 | 25819 | 88395 0 | 89 | 2933 281.05/281.13 c 270s | 12 | 430221 | 26019 | 88395 0 | 89 | 2933 283.15/283.21 c 272s | 12 | 430874 | 26219 | 88395 0 | 89 | 2933 285.65/285.76 c 274s | 12 | 433703 | 26419 | 88395 0 | 89 | 2933 288.05/288.15 c 277s | 12 | 436149 | 26619 | 88395 0 | 89 | 2933 290.14/290.27 c 279s | 12 | 437931 | 26819 | 88395 0 | 89 | 2933 292.65/292.77 c 281s | 12 | 442106 | 27019 | 88395 0 | 89 | 2933 295.54/295.67 c 284s | 12 | 443247 | 27319 | 88395 0 | 89 | 2933 298.05/298.14 c 287s | 12 | 444766 | 27519 | 88395 0 | 89 | 2933 300.44/300.51 c 289s | 12 | 446037 | 27719 | 88395 0 | 89 | 2933 302.74/302.86 c 291s | 12 | 447101 | 27919 | 88395 0 | 89 | 2933 305.54/305.63 c 294s | 12 | 449939 | 28119 | 88395 0 | 89 | 2933 307.95/308.07 c 297s | 12 | 450561 | 28319 | 88395 0 | 89 | 2933 310.15/310.27 c 299s | 12 | 453671 | 28519 | 88395 0 | 89 | 2933 312.54/312.60 c 301s | 12 | 455092 | 28719 | 88395 0 | 89 | 2933 315.44/315.58 c 304s | 12 | 457875 | 29019 | 88395 0 | 89 | 2933 317.95/318.08 c 307s | 12 | 459490 | 29219 | 88395 0 | 89 | 2933 320.64/320.72 c 309s | 12 | 463187 | 29519 | 88395 0 | 89 | 2933 322.64/322.73 c 311s | 12 | 465395 | 29719 | 88395 0 | 89 | 2933 324.64/324.74 c 313s | 12 | 468537 | 29919 | 88395 0 | 89 | 2933 327.24/327.36 c 316s | 12 | 473658 | 30219 | 88395 0 | 89 | 2933 330.05/330.19 c 319s | 12 | 477627 | 30519 | 88395 0 | 89 | 2933 332.74/332.80 c 321s | 12 | 482277 | 30819 | 88395 0 | 89 | 2933 334.94/335.07 c 324s | 12 | 486009 | 31119 | 88395 0 | 89 | 2933 337.44/337.55 c 326s | 12 | 488526 | 31319 | 88395 0 | 89 | 2933 340.24/340.35 c 329s | 12 | 497650 | 31519 | 88395 0 | 89 | 2933 343.04/343.12 c 332s | 12 | 500591 | 31819 | 88395 0 | 89 | 2933 345.54/345.68 c 334s | 12 | 506689 | 32019 | 88395 0 | 89 | 2933 347.74/347.89 c 336s | 12 | 508554 | 32219 | 88395 0 | 89 | 2933 350.74/350.85 c 339s | 12 | 515646 | 32419 | 88395 0 | 89 | 2933 352.74/352.88 c 341s | 12 | 518327 | 32619 | 88395 0 | 89 | 2933 355.34/355.45 c 344s | 12 | 524621 | 32819 | 88395 0 | 89 | 2933 357.93/358.00 c 346s | 12 | 526396 | 33019 | 88395 0 | 89 | 2933 361.33/361.40 c 350s | 12 | 533846 | 33319 | 88395 0 | 89 | 2933 364.04/364.15 c 353s | 12 | 537267 | 33619 | 88395 0 | 89 | 2933 366.43/366.50 c 355s | 12 | 541449 | 33819 | 88395 0 | 89 | 2933 369.33/369.48 c 358s | 12 | 547519 | 34019 | 88395 0 | 89 | 2933 371.84/371.94 c 360s | 12 | 551385 | 34219 | 88395 0 | 89 | 2933 374.13/374.28 c 363s | 12 | 555684 | 34419 | 97235 0 | 89 | 2933 376.24/376.39 c 365s | 12 | 556107 | 34619 | 97235 0 | 89 | 2933 378.63/378.78 c 367s | 12 | 561342 | 34819 | 97235 0 | 89 | 2933 381.13/381.30 c 370s | 12 | 562717 | 35019 | 97235 0 | 89 | 2933 383.43/383.53 c 372s | 12 | 568353 | 35219 | 97235 0 | 89 | 2933 385.63/385.72 c 374s | 12 | 569679 | 35419 | 97235 0 | 89 | 2933 388.13/388.21 c 377s | 12 | 571720 | 35619 | 97235 0 | 89 | 2933 390.33/390.45 c 379s | 12 | 574165 | 35819 | 97235 0 | 89 | 2933 393.33/393.41 c 382s | 12 | 579088 | 36019 | 97235 0 | 89 | 2933 395.43/395.57 c 384s | 12 | 582290 | 36219 | 97235 0 | 89 | 2933 398.63/398.76 c 387s | 12 | 584399 | 36519 | 97235 0 | 89 | 2933 400.93/401.08 c 390s | 12 | 588735 | 36719 | 97235 0 | 89 | 2933 403.32/403.41 c 392s | 12 | 589614 | 36919 | 97235 0 | 89 | 2933 405.62/405.77 c 394s | 12 | 592981 | 37119 | 97235 0 | 89 | 2933 408.22/408.39 c 397s | 12 | 596951 | 37319 | 97235 0 | 89 | 2933 410.72/410.81 c 399s | 12 | 598592 | 37519 | 97235 0 | 89 | 2933 413.32/413.48 c 402s | 12 | 599020 | 37719 | 97235 0 | 89 | 2933 416.12/416.24 c 405s | 12 | 604456 | 37919 | 97235 0 | 89 | 2933 418.32/418.44 c 407s | 12 | 605891 | 38119 | 97235 0 | 89 | 2933 420.62/420.71 c 409s | 12 | 607270 | 38319 | 97235 0 | 89 | 2933 423.02/423.16 c 412s | 12 | 608613 | 38519 | 97235 0 | 89 | 2933 426.32/426.44 c 415s | 12 | 613777 | 38819 | 97235 0 | 89 | 2933 426.42/426.51 c 415s | 13 | 613914 | 38832 | 97235 0 | 89 | 2933 428.93/429.01 c 418s | 13 | 620787 | 39032 | 97235 0 | 89 | 2933 431.02/431.10 c 420s | 13 | 624142 | 39232 | 97235 0 | 89 | 2933 433.12/433.28 c 422s | 13 | 627136 | 39432 | 97235 0 | 89 | 2933 435.53/435.68 c 424s | 13 | 629596 | 39632 | 97235 0 | 89 | 2933 437.92/438.00 c 426s | 13 | 632612 | 39832 | 97235 0 | 89 | 2933 441.13/441.26 c 430s | 13 | 642849 | 40032 | 97235 0 | 89 | 2933 443.72/443.82 c 432s | 13 | 644807 | 40232 | 97235 0 | 89 | 2933 446.42/446.55 c 435s | 13 | 647786 | 40432 | 97235 0 | 89 | 2933 448.42/448.59 c 437s | 13 | 649213 | 40632 | 97235 0 | 89 | 2933 450.52/450.61 c 439s | 13 | 650770 | 40832 | 97235 0 | 89 | 2933 452.62/452.77 c 441s | 13 | 653314 | 41132 | 97235 0 | 89 | 2933 454.82/454.99 c 443s | 13 | 657682 | 41332 | 97235 0 | 89 | 2933 456.92/457.01 c 445s | 13 | 659735 | 41532 | 97235 0 | 89 | 2933 459.12/459.29 c 448s | 13 | 661392 | 41732 | 97235 0 | 89 | 2933 462.22/462.38 c 451s | 13 | 663349 | 42032 | 97235 0 | 89 | 2933 465.02/465.11 c 454s | 13 | 672019 | 42232 | 97235 0 | 89 | 2933 467.32/467.44 c 456s | 13 | 677344 | 42432 | 97235 0 | 89 | 2933 469.51/469.67 c 458s | 13 | 679148 | 42632 | 97235 0 | 89 | 2933 471.61/471.70 c 460s | 13 | 683066 | 42832 | 97235 0 | 89 | 2933 474.12/474.25 c 463s | 13 | 688454 | 43032 | 97235 0 | 89 | 2933 476.22/476.32 c 465s | 13 | 690757 | 43232 | 97235 0 | 89 | 2933 479.11/479.20 c 468s | 13 | 697745 | 43432 | 97235 0 | 89 | 2933 481.21/481.34 c 470s | 13 | 700245 | 43632 | 97235 0 | 89 | 2933 483.92/484.08 c 473s | 13 | 708930 | 43832 | 97235 0 | 89 | 2933 486.61/486.80 c 475s | 13 | 711107 | 44132 | 97235 0 | 89 | 2933 489.91/490.03 c 479s | 13 | 716044 | 44432 | 97235 0 | 89 | 2933 492.21/492.32 c 481s | 13 | 718075 | 44632 | 97235 0 | 89 | 2933 494.51/494.65 c 483s | 13 | 721581 | 44832 | 97235 0 | 89 | 2933 497.01/497.10 c 486s | 13 | 724793 | 45032 | 97235 0 | 89 | 2933 499.32/499.45 c 488s | 13 | 726621 | 45232 | 97235 0 | 89 | 2933 501.91/502.09 c 491s | 13 | 732061 | 45432 | 97235 0 | 89 | 2933 504.41/504.59 c 493s | 13 | 734687 | 45632 | 97235 0 | 89 | 2933 506.91/507.07 c 496s | 13 | 738865 | 45832 | 97235 0 | 89 | 2933 509.32/509.43 c 498s | 13 | 743004 | 46032 | 97235 0 | 89 | 2933 511.52/511.67 c 500s | 13 | 745411 | 46232 | 97235 0 | 89 | 2933 513.91/514.09 c 503s | 13 | 750321 | 46432 | 97235 0 | 89 | 2933 517.01/517.14 c 506s | 13 | 752684 | 46732 | 97235 0 | 89 | 2933 519.41/519.50 c 508s | 13 | 754895 | 46932 | 97235 0 | 89 | 2933 521.61/521.79 c 510s | 13 | 757551 | 47132 | 97235 0 | 89 | 2933 523.91/524.09 c 513s | 13 | 759083 | 47332 | 97235 0 | 89 | 2933 526.21/526.38 c 515s | 13 | 761848 | 47532 | 97235 0 | 89 | 2933 528.41/528.57 c 517s | 13 | 762552 | 47732 | 97235 0 | 89 | 2933 531.21/531.38 c 520s | 13 | 766901 | 47932 | 97235 0 | 89 | 2933 533.41/533.59 c 522s | 13 | 767984 | 48132 | 97235 0 | 89 | 2933 535.90/536.04 c 525s | 13 | 771353 | 48332 | 97235 0 | 89 | 2933 538.00/538.11 c 527s | 13 | 772157 | 48532 | 97235 0 | 89 | 2933 540.30/540.45 c 529s | 13 | 774778 | 48732 | 97235 0 | 89 | 2933 542.60/542.73 c 531s | 13 | 776440 | 48932 | 97235 0 | 89 | 2933 545.80/545.90 c 534s | 13 | 782727 | 49132 | 97235 0 | 89 | 2933 548.91/549.09 c 538s | 13 | 785620 | 49432 | 97235 0 | 89 | 2933 551.30/551.41 c 540s | 13 | 788284 | 49632 | 97235 0 | 89 | 2933 553.40/553.56 c 542s | 13 | 790236 | 49832 | 97235 0 | 89 | 2933 555.60/555.78 c 544s | 13 | 791892 | 50032 | 97235 0 | 89 | 2933 558.30/558.41 c 547s | 13 | 794870 | 50232 | 97235 0 | 89 | 2933 560.70/560.87 c 549s | 13 | 795410 | 50432 | 97235 0 | 89 | 2933 562.80/562.91 c 551s | 13 | 797223 | 50632 | 97235 0 | 89 | 2933 565.60/565.77 c 554s | 13 | 798438 | 50932 | 97235 0 | 89 | 2933 568.20/568.36 c 557s | 13 | 799838 | 51132 | 97235 0 | 89 | 2933 570.60/570.70 c 559s | 13 | 803211 | 51332 | 97235 0 | 89 | 2933 572.80/572.96 c 561s | 13 | 804538 | 51532 | 97235 0 | 89 | 2933 575.10/575.29 c 564s | 13 | 807481 | 51732 | 97235 0 | 89 | 2933 577.80/577.95 c 566s | 13 | 810292 | 51932 | 97235 0 | 89 | 2933 580.70/580.89 c 569s | 13 | 820841 | 52132 | 97235 0 | 89 | 2933 582.80/582.94 c 571s | 13 | 822487 | 52332 | 97235 0 | 89 | 2933 586.10/586.27 c 575s | 13 | 831352 | 52632 | 97235 0 | 89 | 2933 588.30/588.42 c 577s | 13 | 833306 | 52832 | 97235 0 | 89 | 2933 590.30/590.43 c 579s | 13 | 835449 | 53032 | 97235 0 | 89 | 2933 592.70/592.85 c 581s | 13 | 840220 | 53232 | 97235 0 | 89 | 2933 595.00/595.18 c 584s | 13 | 842667 | 53432 | 97235 0 | 89 | 2933 597.20/597.35 c 586s | 13 | 843662 | 53632 | 97235 0 | 89 | 2933 599.89/600.01 c 588s | 13 | 850182 | 53832 | 106959 0 | 89 | 2933 602.49/602.67 c 591s | 13 | 851704 | 54032 | 106959 0 | 89 | 2933 605.09/605.20 c 594s | 13 | 858919 | 54232 | 106959 0 | 89 | 2933 607.29/607.42 c 596s | 13 | 862674 | 54432 | 106959 0 | 89 | 2933 609.49/609.63 c 598s | 13 | 863575 | 54632 | 106959 0 | 89 | 2933 611.89/612.08 c 601s | 13 | 868084 | 54832 | 106959 0 | 89 | 2933 614.29/614.47 c 603s | 13 | 869148 | 55032 | 106959 0 | 89 | 2933 617.19/617.33 c 606s | 13 | 873391 | 55232 | 106959 0 | 89 | 2933 619.69/619.89 c 608s | 13 | 875791 | 55432 | 106959 0 | 89 | 2933 622.50/622.65 c 611s | 13 | 880303 | 55632 | 106959 0 | 89 | 2933 624.49/624.69 c 613s | 13 | 880858 | 55832 | 106959 0 | 89 | 2933 627.09/627.28 c 616s | 13 | 885248 | 56032 | 106959 0 | 89 | 2933 629.39/629.56 c 618s | 13 | 886745 | 56232 | 106959 0 | 89 | 2933 631.69/631.84 c 620s | 13 | 887417 | 56432 | 106959 0 | 89 | 2933 634.09/634.22 c 623s | 13 | 890130 | 56632 | 106959 0 | 89 | 2933 636.09/636.24 c 625s | 13 | 891098 | 56832 | 106959 0 | 89 | 2933 638.29/638.41 c 627s | 13 | 891753 | 57032 | 106959 0 | 89 | 2933 640.39/640.58 c 629s | 13 | 893350 | 57232 | 106959 0 | 89 | 2933 642.49/642.69 c 631s | 13 | 894297 | 57432 | 106959 0 | 89 | 2933 644.79/644.98 c 633s | 13 | 895857 | 57632 | 106959 0 | 89 | 2933 647.39/647.51 c 636s | 13 | 900248 | 57832 | 106959 0 | 89 | 2933 650.29/650.43 c 639s | 13 | 906693 | 58032 | 106959 0 | 89 | 2933 652.49/652.69 c 641s | 13 | 907509 | 58232 | 106959 0 | 89 | 2933 653.99/654.10 c 643s | 14 | 909944 | 58352 | 106959 0 | 89 | 2933 656.49/656.68 c 645s | 14 | 915122 | 58552 | 106959 0 | 89 | 2933 658.98/659.15 c 648s | 14 | 916017 | 58752 | 106959 0 | 89 | 2933 661.48/661.65 c 650s | 14 | 919161 | 58952 | 106959 0 | 89 | 2933 664.08/664.27 c 653s | 14 | 921662 | 59152 | 106959 0 | 89 | 2933 666.49/666.61 c 655s | 14 | 923472 | 59352 | 106959 0 | 89 | 2933 668.88/669.09 c 658s | 14 | 928746 | 59552 | 106959 0 | 89 | 2933 670.89/671.10 c 660s | 14 | 929472 | 59752 | 106959 0 | 89 | 2933 672.98/673.11 c 662s | 14 | 930409 | 59952 | 106959 0 | 89 | 2933 675.58/675.72 c 664s | 14 | 932182 | 60152 | 106959 0 | 89 | 2933 677.88/678.02 c 667s | 14 | 934020 | 60352 | 106959 0 | 89 | 2933 679.98/680.15 c 669s | 14 | 938146 | 60552 | 106959 0 | 89 | 2933 682.48/682.62 c 671s | 14 | 939053 | 60752 | 106959 0 | 89 | 2933 685.19/685.30 c 674s | 14 | 943262 | 60952 | 106959 0 | 89 | 2933 687.68/687.82 c 676s | 14 | 947209 | 61152 | 106959 0 | 89 | 2933 690.18/690.31 c 679s | 14 | 948018 | 61352 | 106959 0 | 89 | 2933 692.48/692.60 c 681s | 14 | 949520 | 61552 | 106959 0 | 89 | 2933 694.58/694.79 c 683s | 14 | 951214 | 61752 | 106959 0 | 89 | 2933 697.29/697.44 c 686s | 14 | 953735 | 61952 | 106959 0 | 89 | 2933 699.98/700.19 c 689s | 14 | 955698 | 62152 | 106959 0 | 89 | 2933 702.28/702.45 c 691s | 14 | 956925 | 62352 | 106959 0 | 89 | 2933 704.68/704.80 c 693s | 14 | 958781 | 62552 | 106959 0 | 89 | 2933 707.38/707.57 c 696s | 14 | 959267 | 62752 | 106959 0 | 89 | 2933 709.68/709.81 c 698s | 14 | 960882 | 62952 | 106959 0 | 89 | 2933 712.98/713.10 c 702s | 14 | 965214 | 63252 | 106959 0 | 89 | 2933 715.28/715.47 c 704s | 14 | 968493 | 63452 | 106959 0 | 89 | 2933 718.08/718.28 c 707s | 14 | 973482 | 63652 | 106959 0 | 89 | 2933 720.28/720.45 c 709s | 14 | 975908 | 63852 | 106959 0 | 89 | 2933 723.08/723.23 c 712s | 14 | 980064 | 64052 | 106959 0 | 89 | 2933 725.47/725.62 c 714s | 14 | 984812 | 64252 | 106959 0 | 89 | 2933 728.97/729.14 c 718s | 14 | 990963 | 64452 | 106959 0 | 89 | 2933 732.37/732.51 c 721s | 14 | 998160 | 64752 | 106959 0 | 89 | 2933 735.07/735.22 c 724s | 14 | 1002368 | 64952 | 106959 0 | 89 | 2933 738.08/738.20 c 727s | 14 | 1009843 | 65152 | 106959 0 | 89 | 2933 740.37/740.50 c 729s | 14 | 1012065 | 65352 | 106959 0 | 89 | 2933 742.48/742.67 c 731s | 14 | 1014030 | 65552 | 106959 0 | 89 | 2933 745.37/745.50 c 734s | 14 | 1019801 | 65752 | 106959 0 | 89 | 2933 747.88/748.01 c 736s | 14 | 1021963 | 65952 | 106959 0 | 89 | 2933 750.87/751.01 c 740s | 14 | 1027690 | 66152 | 106959 0 | 89 | 2933 753.38/753.56 c 742s | 14 | 1028328 | 66352 | 106959 0 | 89 | 2933 756.68/756.82 c 745s | 14 | 1033795 | 66652 | 106959 0 | 89 | 2933 759.47/759.68 c 748s | 14 | 1036521 | 66852 | 106959 0 | 89 | 2933 761.97/762.17 c 751s | 14 | 1042325 | 67052 | 106959 0 | 89 | 2933 764.67/764.85 c 753s | 14 | 1043865 | 67252 | 106959 0 | 89 | 2933 767.37/767.51 c 756s | 14 | 1048827 | 67452 | 106959 0 | 89 | 2933 770.27/770.48 c 759s | 14 | 1051529 | 67652 | 106959 0 | 89 | 2933 772.57/772.76 c 761s | 14 | 1052927 | 67852 | 106959 0 | 89 | 2933 775.47/775.62 c 764s | 14 | 1056609 | 68052 | 106959 0 | 89 | 2933 777.77/777.91 c 766s | 14 | 1058654 | 68252 | 106959 0 | 89 | 2933 780.77/780.96 c 769s | 14 | 1062478 | 68452 | 106959 0 | 89 | 2933 783.27/783.42 c 772s | 14 | 1065439 | 68652 | 106959 0 | 89 | 2933 786.27/786.43 c 775s | 14 | 1067094 | 68852 | 106959 0 | 89 | 2933 789.06/789.22 c 778s | 14 | 1073224 | 69052 | 106959 0 | 89 | 2933 791.66/791.81 c 780s | 14 | 1074457 | 69252 | 106959 0 | 89 | 2933 794.17/794.31 c 783s | 14 | 1076685 | 69452 | 106959 0 | 89 | 2933 796.96/797.14 c 786s | 14 | 1079856 | 69652 | 106959 0 | 89 | 2933 799.67/799.84 c 788s | 14 | 1081954 | 69852 | 106959 0 | 89 | 2933 802.46/802.64 c 791s | 14 | 1085412 | 70052 | 106959 0 | 89 | 2933 805.07/805.22 c 794s | 14 | 1086644 | 70252 | 106959 0 | 89 | 2933 807.86/808.08 c 797s | 14 | 1090303 | 70452 | 106959 0 | 89 | 2933 810.26/810.41 c 799s | 14 | 1091547 | 70652 | 106959 0 | 89 | 2933 813.06/813.27 c 802s | 14 | 1093987 | 70852 | 106959 0 | 89 | 2933 815.86/816.07 c 805s | 14 | 1097050 | 71052 | 106959 0 | 89 | 2933 818.86/819.02 c 808s | 14 | 1100285 | 71252 | 106959 0 | 89 | 2933 821.26/821.48 c 810s | 14 | 1101462 | 71452 | 106959 0 | 89 | 2933 824.66/824.88 c 813s | 14 | 1105152 | 71652 | 106959 0 | 89 | 2933 827.56/827.72 c 816s | 14 | 1107757 | 71852 | 106959 0 | 89 | 2933 830.25/830.49 c 819s | 14 | 1108546 | 72052 | 106959 0 | 89 | 2933 833.15/833.33 c 822s | 14 | 1109161 | 72252 | 106959 0 | 89 | 2933 836.15/836.31 c 825s | 14 | 1111023 | 72452 | 106959 0 | 89 | 2933 838.75/838.92 c 827s | 14 | 1112028 | 72652 | 106959 0 | 89 | 2933 841.95/842.17 c 831s | 14 | 1117855 | 72852 | 106959 0 | 89 | 2933 844.85/845.01 c 834s | 14 | 1121063 | 73052 | 106959 0 | 89 | 2933 848.06/848.26 c 837s | 14 | 1124262 | 73252 | 106959 0 | 89 | 2933 850.95/851.16 c 840s | 14 | 1128116 | 73452 | 106959 0 | 89 | 2933 853.65/853.87 c 842s | 14 | 1128887 | 73652 | 106959 0 | 89 | 2933 856.75/856.93 c 845s | 14 | 1132997 | 73852 | 106959 0 | 89 | 2933 859.35/859.53 c 848s | 14 | 1134444 | 74052 | 106959 0 | 89 | 2933 862.55/862.73 c 851s | 14 | 1137489 | 74252 | 106959 0 | 89 | 2933 865.45/865.67 c 854s | 14 | 1137982 | 74452 | 106959 0 | 89 | 2933 868.64/868.85 c 857s | 14 | 1142853 | 74652 | 106959 0 | 89 | 2933 871.24/871.44 c 860s | 14 | 1144830 | 74852 | 106959 0 | 89 | 2933 874.45/874.67 c 863s | 14 | 1146747 | 75052 | 106959 0 | 89 | 2933 877.75/877.98 c 866s | 14 | 1147905 | 75252 | 106959 0 | 89 | 2933 880.54/880.75 c 869s | 14 | 1149402 | 75452 | 106959 0 | 89 | 2933 883.04/883.22 c 872s | 14 | 1152729 | 75652 | 106959 0 | 89 | 2933 885.84/886.08 c 875s | 14 | 1157243 | 75852 | 106959 0 | 89 | 2933 888.44/888.62 c 877s | 14 | 1160754 | 76052 | 106959 0 | 89 | 2933 891.64/891.87 c 880s | 14 | 1164758 | 76252 | 106959 0 | 89 | 2933 894.24/894.42 c 883s | 14 | 1169685 | 76452 | 106959 0 | 89 | 2933 896.73/896.99 c 885s | 14 | 1173508 | 76652 | 106959 0 | 89 | 2933 899.64/899.83 c 888s | 14 | 1177747 | 76852 | 106959 0 | 89 | 2933 902.33/902.57 c 891s | 14 | 1180441 | 77052 | 106959 0 | 89 | 2933 905.24/905.44 c 894s | 14 | 1183522 | 77252 | 106959 0 | 89 | 2933 908.03/908.22 c 897s | 14 | 1185134 | 77452 | 106959 0 | 89 | 2933 911.03/911.25 c 900s | 14 | 1188509 | 77652 | 106959 0 | 89 | 2933 914.04/914.24 c 903s | 14 | 1192678 | 77852 | 106959 0 | 89 | 2933 917.03/917.26 c 906s | 14 | 1195322 | 78052 | 106959 0 | 89 | 2933 919.64/919.87 c 908s | 14 | 1198975 | 78252 | 106959 0 | 89 | 2933 922.93/923.19 c 912s | 14 | 1203141 | 78452 | 106959 0 | 89 | 2933 925.63/925.86 c 914s | 14 | 1205600 | 78652 | 106959 0 | 89 | 2933 928.24/928.47 c 917s | 14 | 1209218 | 78852 | 106959 0 | 89 | 2933 931.13/931.33 c 920s | 14 | 1214278 | 79052 | 106959 0 | 89 | 2933 934.03/934.24 c 923s | 14 | 1218347 | 79252 | 106959 0 | 89 | 2933 936.73/936.95 c 925s | 14 | 1221182 | 79452 | 106959 0 | 89 | 2933 940.13/940.34 c 929s | 14 | 1225897 | 79652 | 106959 0 | 89 | 2933 942.63/942.89 c 931s | 14 | 1229106 | 79852 | 106959 0 | 89 | 2933 945.53/945.78 c 934s | 14 | 1231871 | 80052 | 106959 0 | 89 | 2933 948.42/948.64 c 937s | 14 | 1235476 | 80252 | 106959 0 | 89 | 2933 951.33/951.54 c 940s | 14 | 1238707 | 80452 | 106959 0 | 89 | 2933 954.02/954.23 c 943s | 14 | 1240769 | 80652 | 106959 0 | 89 | 2933 956.52/956.79 c 945s | 14 | 1242240 | 80852 | 106959 0 | 89 | 2933 959.52/959.71 c 948s | 14 | 1244063 | 81052 | 106959 0 | 89 | 2933 962.02/962.29 c 951s | 14 | 1244945 | 81252 | 106959 0 | 89 | 2933 965.32/965.50 c 954s | 14 | 1246044 | 81452 | 106959 0 | 89 | 2933 968.52/968.73 c 957s | 14 | 1248045 | 81652 | 106959 0 | 89 | 2933 970.62/970.82 c 959s | 14 | 1249024 | 81752 | 106959 0 | 89 | 2933 972.82/973.00 c 961s | 14 | 1249830 | 81852 | 106959 0 | 89 | 2933 976.62/976.88 c 965s | 14 | 1250826 | 82052 | 106959 0 | 89 | 2933 979.71/979.96 c 968s | 14 | 1252396 | 82252 | 106959 0 | 89 | 2933 983.22/983.41 c 972s | 14 | 1256333 | 82452 | 106959 0 | 89 | 2933 986.01/986.28 c 975s | 14 | 1260079 | 82652 | 106959 0 | 89 | 2933 988.91/989.15 c 978s | 14 | 1262987 | 82852 | 117655 0 | 89 | 2933 991.71/991.90 c 980s | 14 | 1263961 | 83052 | 117655 0 | 89 | 2933 995.21/995.41 c 984s | 14 | 1267572 | 83252 | 117655 0 | 89 | 2933 998.21/998.43 c 987s | 14 | 1270392 | 83452 | 117655 0 | 89 | 2933 1001.61/1001.87 c 990s | 14 | 1272332 | 83652 | 117655 0 | 89 | 2933 1005.01/1005.23 c 994s | 14 | 1275776 | 83852 | 117655 0 | 89 | 2933 1007.60/1007.82 c 996s | 14 | 1278868 | 84052 | 117655 0 | 89 | 2933 1010.71/1010.91 c 999s | 14 | 1284802 | 84252 | 117655 0 | 89 | 2933 1013.50/1013.76 c 1002s | 14 | 1289944 | 84452 | 117655 0 | 89 | 2933 1016.20/1016.45 c 1005s | 14 | 1292892 | 84652 | 117655 0 | 89 | 2933 1019.30/1019.58 c 1008s | 14 | 1298831 | 84852 | 117655 0 | 89 | 2933 1022.20/1022.42 c 1011s | 14 | 1300021 | 85052 | 117655 0 | 89 | 2933 1025.10/1025.37 c 1014s | 14 | 1306391 | 85252 | 117655 0 | 89 | 2933 1028.30/1028.57 c 1017s | 14 | 1308606 | 85452 | 117655 0 | 89 | 2933 1030.60/1030.82 c 1019s | 14 | 1312021 | 85652 | 117655 0 | 89 | 2933 1033.39/1033.69 c 1022s | 14 | 1313574 | 85852 | 117655 0 | 89 | 2933 1036.29/1036.58 c 1025s | 14 | 1318259 | 86052 | 117655 0 | 89 | 2933 1039.40/1039.63 c 1028s | 14 | 1322192 | 86252 | 117655 0 | 89 | 2933 1042.49/1042.73 c 1031s | 14 | 1325995 | 86452 | 117655 0 | 89 | 2933 1044.99/1045.23 c 1034s | 14 | 1329712 | 86652 | 117655 0 | 89 | 2933 1048.09/1048.32 c 1037s | 14 | 1332993 | 86852 | 117655 0 | 89 | 2933 1050.69/1050.99 c 1039s | 14 | 1335116 | 87052 | 117655 0 | 89 | 2933 1053.69/1053.94 c 1042s | 14 | 1340069 | 87252 | 117655 0 | 89 | 2933 1056.39/1056.63 c 1045s | 14 | 1341056 | 87452 | 117655 0 | 89 | 2933 1058.69/1058.96 c 1047s | 15 | 1346224 | 87632 | 117655 0 | 89 | 2933 1061.69/1061.91 c 1050s | 15 | 1351056 | 87832 | 117655 0 | 89 | 2933 1063.89/1064.18 c 1053s | 15 | 1352906 | 88032 | 117655 0 | 89 | 2933 1065.99/1066.29 c 1055s | 15 | 1353969 | 88232 | 117655 0 | 89 | 2933 1068.58/1068.80 c 1057s | 15 | 1356634 | 88432 | 117655 0 | 89 | 2933 1071.48/1071.75 c 1060s | 15 | 1359287 | 88632 | 117655 0 | 89 | 2933 1073.88/1074.13 c 1063s | 15 | 1360554 | 88832 | 117655 0 | 89 | 2933 1077.18/1077.47 c 1066s | 15 | 1364705 | 89132 | 117655 0 | 89 | 2933 1079.28/1079.57 c 1068s | 15 | 1366021 | 89332 | 117655 0 | 89 | 2933 1082.18/1082.49 c 1071s | 15 | 1367477 | 89532 | 117655 0 | 89 | 2933 1084.98/1085.23 c 1074s | 15 | 1369138 | 89732 | 117655 0 | 89 | 2933 1088.28/1088.59 c 1077s | 15 | 1372519 | 89932 | 117655 0 | 89 | 2933 1090.88/1091.12 c 1080s | 15 | 1374949 | 90132 | 117655 0 | 89 | 2933 1093.18/1093.50 c 1082s | 15 | 1376052 | 90332 | 117655 0 | 89 | 2933 1095.87/1096.16 c 1085s | 15 | 1376620 | 90532 | 117655 0 | 89 | 2933 1098.97/1099.21 c 1088s | 15 | 1380363 | 90732 | 117655 0 | 89 | 2933 1101.87/1102.12 c 1091s | 15 | 1381445 | 90932 | 117655 0 | 89 | 2933 1106.17/1106.49 c 1095s | 15 | 1388033 | 91032 | 117655 0 | 89 | 2933 1109.07/1109.39 c 1098s | 15 | 1389805 | 91232 | 117655 0 | 89 | 2933 1112.27/1112.53 c 1101s | 15 | 1395580 | 91432 | 117655 0 | 89 | 2933 1115.07/1115.30 c 1104s | 15 | 1399988 | 91632 | 117655 0 | 89 | 2933 1117.57/1117.88 c 1106s | 15 | 1403478 | 91832 | 117655 0 | 89 | 2933 1120.37/1120.67 c 1109s | 15 | 1405018 | 92032 | 117655 0 | 89 | 2933 1123.67/1123.97 c 1112s | 15 | 1407111 | 92232 | 117655 0 | 89 | 2933 1127.16/1127.40 c 1116s | 15 | 1411212 | 92432 | 117655 0 | 89 | 2933 1129.96/1130.26 c 1119s | 15 | 1415877 | 92632 | 117655 0 | 89 | 2933 1133.06/1133.39 c 1122s | 15 | 1416806 | 92832 | 117655 0 | 89 | 2933 1136.26/1136.54 c 1125s | 15 | 1422642 | 93032 | 117655 0 | 89 | 2933 1139.16/1139.47 c 1128s | 15 | 1424779 | 93232 | 117655 0 | 89 | 2933 1142.26/1142.53 c 1131s | 15 | 1425817 | 93432 | 117655 0 | 89 | 2933 1145.16/1145.44 c 1134s | 15 | 1430254 | 93632 | 117655 0 | 89 | 2933 1148.26/1148.54 c 1137s | 15 | 1431958 | 93832 | 117655 0 | 89 | 2933 1151.46/1151.75 c 1140s | 15 | 1436236 | 94032 | 117655 0 | 89 | 2933 1154.36/1154.62 c 1143s | 15 | 1438714 | 94232 | 117655 0 | 89 | 2933 1157.75/1158.03 c 1147s | 15 | 1442067 | 94432 | 117655 0 | 89 | 2933 1161.05/1161.39 c 1150s | 15 | 1445085 | 94632 | 117655 0 | 89 | 2933 1164.35/1164.68 c 1153s | 15 | 1446024 | 94832 | 117655 0 | 89 | 2933 1167.45/1167.79 c 1156s | 15 | 1448400 | 95032 | 117655 0 | 89 | 2933 1170.65/1170.92 c 1159s | 15 | 1450297 | 95232 | 117655 0 | 89 | 2933 1173.95/1174.29 c 1163s | 15 | 1452112 | 95432 | 117655 0 | 89 | 2933 1177.35/1177.62 c 1166s | 15 | 1454176 | 95632 | 117655 0 | 89 | 2933 1180.65/1180.91 c 1169s | 15 | 1455422 | 95832 | 117655 0 | 89 | 2933 1183.85/1184.10 c 1173s | 15 | 1457587 | 96032 | 117655 0 | 89 | 2933 1186.75/1187.09 c 1176s | 15 | 1458801 | 96232 | 117655 0 | 89 | 2933 1190.25/1190.56 c 1179s | 15 | 1459971 | 96432 | 117655 0 | 89 | 2933 1192.25/1192.59 c 1181s | 15 | 1460351 | 96532 | 117655 0 | 89 | 2933 1194.35/1194.66 c 1183s | 15 | 1462273 | 96632 | 117655 0 | 89 | 2933 1196.74/1197.02 c 1186s | 15 | 1466557 | 96832 | 117655 0 | 89 | 2933 1198.94/1199.21 c 1188s | 15 | 1469708 | 97032 | 117655 0 | 89 | 2933 1201.05/1201.39 c 1190s | 15 | 1472874 | 97232 | 117655 0 | 89 | 2933 1203.34/1203.63 c 1192s | 15 | 1474309 | 97432 | 117655 0 | 89 | 2933 1205.74/1206.09 c 1195s | 15 | 1478222 | 97632 | 117655 0 | 89 | 2933 1208.04/1208.31 c 1197s | 15 | 1481210 | 97832 | 117655 0 | 89 | 2933 1210.14/1210.40 c 1199s | 15 | 1484211 | 98032 | 117655 0 | 89 | 2933 1213.34/1213.61 c 1202s | 15 | 1486620 | 98232 | 117655 0 | 89 | 2933 1216.04/1216.35 c 1205s | 15 | 1489761 | 98432 | 117655 0 | 89 | 2933 1218.64/1218.95 c 1207s | 15 | 1494481 | 98632 | 117655 0 | 89 | 2933 1220.74/1221.06 c 1210s | 15 | 1497759 | 98832 | 117655 0 | 89 | 2933 1223.74/1224.02 c 1213s | 15 | 1502106 | 99132 | 117655 0 | 89 | 2933 1226.54/1226.83 c 1215s | 15 | 1506332 | 99432 | 117655 0 | 89 | 2933 1228.54/1228.87 c 1217s | 15 | 1509591 | 99632 | 117655 0 | 89 | 2933 1230.74/1231.05 c 1220s | 15 | 1510599 | 99832 | 117655 0 | 89 | 2933 1234.33/1234.65 c 1223s | 15 | 1518190 | 100032 | 117655 0 | 89 | 2933 1237.13/1237.49 c 1226s | 15 | 1523258 | 100232 | 117655 0 | 89 | 2933 1240.03/1240.34 c 1229s | 15 | 1528660 | 100432 | 117655 0 | 89 | 2933 1243.03/1243.37 c 1232s | 15 | 1531927 | 100632 | 117655 0 | 89 | 2933 1246.03/1246.39 c 1235s | 15 | 1532604 | 100832 | 117655 0 | 89 | 2933 1248.72/1249.08 c 1238s | 15 | 1535274 | 101032 | 117655 0 | 89 | 2933 1252.02/1252.34 c 1241s | 15 | 1538648 | 101232 | 117655 0 | 89 | 2933 1255.42/1255.73 c 1244s | 15 | 1543062 | 101432 | 117655 0 | 89 | 2933 1259.01/1259.39 c 1248s | 15 | 1546760 | 101632 | 117655 0 | 89 | 2933 1262.31/1262.67 c 1251s | 15 | 1550361 | 101832 | 117655 0 | 89 | 2933 1265.92/1266.27 c 1255s | 15 | 1552517 | 102032 | 117655 0 | 89 | 2933 1269.21/1269.56 c 1258s | 15 | 1555558 | 102232 | 117655 0 | 89 | 2933 1272.90/1273.30 c 1262s | 15 | 1558003 | 102432 | 117655 0 | 89 | 2933 1276.50/1276.82 c 1265s | 15 | 1561524 | 102632 | 117655 0 | 89 | 2933 1280.21/1280.54 c 1269s | 15 | 1567092 | 102832 | 117655 0 | 89 | 2933 1283.10/1283.42 c 1272s | 15 | 1568878 | 103032 | 117655 0 | 89 | 2933 1286.30/1286.65 c 1275s | 15 | 1574390 | 103232 | 117655 0 | 89 | 2933 1289.60/1289.97 c 1278s | 15 | 1576382 | 103432 | 117655 0 | 89 | 2933 1292.99/1293.36 c 1282s | 15 | 1577121 | 103632 | 117655 0 | 89 | 2933 1296.49/1296.89 c 1285s | 15 | 1580049 | 103832 | 117655 0 | 89 | 2933 1298.69/1299.01 c 1288s | 15 | 1581126 | 103932 | 117655 0 | 89 | 2933 1302.10/1302.48 c 1291s | 15 | 1583652 | 104132 | 117655 0 | 89 | 2933 1305.79/1306.14 c 1295s | 15 | 1587090 | 104332 | 117655 0 | 89 | 2933 1309.49/1309.83 c 1298s | 15 | 1587789 | 104532 | 117655 0 | 89 | 2933 1313.29/1313.64 c 1302s | 15 | 1593045 | 104732 | 117655 0 | 89 | 2933 1316.69/1317.03 c 1306s | 15 | 1594062 | 104932 | 117655 0 | 89 | 2933 1319.79/1320.18 c 1309s | 15 | 1598925 | 105132 | 117655 0 | 89 | 2933 1323.49/1323.89 c 1312s | 15 | 1600160 | 105332 | 117655 0 | 89 | 2933 1327.39/1327.79 c 1316s | 15 | 1602861 | 105532 | 117655 0 | 89 | 2933 1331.28/1331.64 c 1320s | 15 | 1603674 | 105732 | 117655 0 | 89 | 2933 1334.58/1334.98 c 1323s | 15 | 1606857 | 105932 | 117655 0 | 89 | 2933 1337.39/1337.72 c 1326s | 15 | 1610560 | 106132 | 117655 0 | 89 | 2933 1340.18/1340.52 c 1329s | 15 | 1612564 | 106332 | 117655 0 | 89 | 2933 1342.98/1343.36 c 1332s | 15 | 1614769 | 106532 | 117655 0 | 89 | 2933 1345.58/1345.95 c 1334s | 15 | 1615836 | 106732 | 117655 0 | 89 | 2933 1348.68/1349.01 c 1337s | 15 | 1618192 | 106932 | 117655 0 | 89 | 2933 1351.58/1351.94 c 1340s | 15 | 1620265 | 107132 | 117655 0 | 89 | 2933 1354.98/1355.30 c 1344s | 15 | 1622025 | 107332 | 117655 0 | 89 | 2933 1358.28/1358.61 c 1347s | 15 | 1623916 | 107532 | 117655 0 | 89 | 2933 1361.48/1361.81 c 1350s | 15 | 1627859 | 107732 | 117655 0 | 89 | 2933 1364.67/1365.01 c 1354s | 15 | 1631096 | 107932 | 117655 0 | 89 | 2933 1367.17/1367.50 c 1356s | 15 | 1633432 | 108132 | 117655 0 | 89 | 2933 1370.28/1370.64 c 1359s | 15 | 1635873 | 108332 | 117655 0 | 89 | 2933 1373.47/1373.84 c 1362s | 15 | 1638654 | 108532 | 117655 0 | 89 | 2933 1376.67/1377.01 c 1366s | 15 | 1644030 | 108732 | 117655 0 | 89 | 2933 1378.67/1379.02 c 1368s | 15 | 1649220 | 108832 | 117655 0 | 89 | 2933 1381.77/1382.19 c 1371s | 15 | 1652967 | 109032 | 117655 0 | 89 | 2933 1384.97/1385.34 c 1374s | 15 | 1656836 | 109232 | 117655 0 | 89 | 2933 1388.56/1388.98 c 1377s | 15 | 1661715 | 109432 | 117655 0 | 89 | 2933 1391.76/1392.16 c 1381s | 15 | 1666179 | 109632 | 117655 0 | 89 | 2933 1393.86/1394.25 c 1383s | 15 | 1668538 | 109732 | 117655 0 | 89 | 2933 1396.96/1397.33 c 1386s | 15 | 1671653 | 109932 | 117655 0 | 89 | 2933 1400.66/1401.05 c 1390s | 15 | 1677257 | 110132 | 117655 0 | 89 | 2933 1404.16/1404.57 c 1393s | 15 | 1679611 | 110332 | 117655 0 | 89 | 2933 1407.56/1407.96 c 1396s | 15 | 1684440 | 110532 | 117655 0 | 89 | 2933 1410.96/1411.36 c 1400s | 15 | 1685680 | 110732 | 117655 0 | 89 | 2933 1414.76/1415.19 c 1404s | 15 | 1692539 | 110932 | 117655 0 | 89 | 2933 1416.86/1417.21 c 1406s | 15 | 1694842 | 111032 | 117655 0 | 89 | 2933 1418.86/1419.29 c 1408s | 15 | 1695040 | 111132 | 117655 0 | 89 | 2933 1422.15/1422.56 c 1411s | 15 | 1697714 | 111332 | 117655 0 | 89 | 2933 1425.65/1426.04 c 1415s | 15 | 1698928 | 111532 | 117655 0 | 89 | 2933 1429.15/1429.51 c 1418s | 15 | 1699728 | 111732 | 117655 0 | 89 | 2933 1432.96/1433.34 c 1422s | 15 | 1706810 | 111932 | 117655 0 | 89 | 2933 1435.85/1436.24 c 1425s | 15 | 1707596 | 112132 | 117655 0 | 89 | 2933 1438.95/1439.36 c 1428s | 15 | 1709878 | 112332 | 117655 0 | 89 | 2933 1442.25/1442.61 c 1431s | 15 | 1712417 | 112532 | 117655 0 | 89 | 2933 1445.35/1445.73 c 1434s | 15 | 1717715 | 112732 | 117655 0 | 89 | 2933 1448.64/1449.03 c 1438s | 15 | 1721036 | 112932 | 117655 0 | 89 | 2933 1452.34/1452.73 c 1441s | 15 | 1723684 | 113132 | 117655 0 | 89 | 2933 1455.84/1456.24 c 1445s | 15 | 1724543 | 113332 | 117655 0 | 89 | 2933 1459.64/1460.03 c 1449s | 15 | 1730571 | 113532 | 117655 0 | 89 | 2933 1462.94/1463.37 c 1452s | 15 | 1731417 | 113732 | 117655 0 | 89 | 2933 1465.95/1466.34 c 1455s | 15 | 1732289 | 113932 | 117655 0 | 89 | 2933 1468.15/1468.52 c 1457s | 15 | 1734257 | 114032 | 117655 0 | 89 | 2933 1471.74/1472.18 c 1461s | 15 | 1737121 | 114232 | 117655 0 | 89 | 2933 1475.14/1475.54 c 1464s | 15 | 1739848 | 114432 | 117655 0 | 89 | 2933 1478.84/1479.26 c 1468s | 15 | 1741433 | 114632 | 117655 0 | 89 | 2933 1482.54/1482.95 c 1471s | 15 | 1741877 | 114832 | 117655 0 | 89 | 2933 1486.34/1486.76 c 1475s | 15 | 1745792 | 115032 | 117655 0 | 89 | 2933 1488.44/1488.83 c 1477s | 15 | 1746488 | 115132 | 117655 0 | 89 | 2933 1492.34/1492.80 c 1481s | 15 | 1749289 | 115332 | 117655 0 | 89 | 2933 1496.34/1496.77 c 1485s | 15 | 1749938 | 115532 | 117655 0 | 89 | 2933 1498.44/1498.80 c 1487s | 15 | 1750871 | 115632 | 117655 0 | 89 | 2933 1500.53/1500.92 c 1489s | 15 | 1754678 | 115732 | 117655 0 | 89 | 2933 1504.03/1504.43 c 1493s | 15 | 1756376 | 115932 | 117655 0 | 89 | 2933 1507.43/1507.82 c 1496s | 15 | 1757518 | 116132 | 117655 0 | 89 | 2933 1511.63/1512.02 c 1501s | 15 | 1761016 | 116332 | 117655 0 | 89 | 2933 1515.44/1515.83 c 1504s | 15 | 1762380 | 116532 | 117655 0 | 89 | 2933 1517.43/1517.87 c 1506s | 15 | 1764839 | 116632 | 117655 0 | 89 | 2933 1521.43/1521.85 c 1510s | 15 | 1765897 | 116832 | 117655 0 | 89 | 2933 1524.03/1524.49 c 1513s | 15 | 1767443 | 117032 | 117655 0 | 89 | 2933 1526.63/1527.07 c 1516s | 15 | 1768745 | 117232 | 117655 0 | 89 | 2933 1529.33/1529.79 c 1518s | 15 | 1770049 | 117432 | 117655 0 | 89 | 2933 1532.33/1532.77 c 1521s | 15 | 1770811 | 117632 | 117655 0 | 89 | 2933 1535.83/1536.29 c 1525s | 15 | 1772942 | 117832 | 117655 0 | 89 | 2933 1538.93/1539.37 c 1528s | 15 | 1777109 | 118032 | 117655 0 | 89 | 2933 1541.73/1542.12 c 1531s | 15 | 1779543 | 118232 | 117655 0 | 89 | 2933 1544.53/1544.94 c 1533s | 15 | 1782186 | 118432 | 117655 0 | 89 | 2933 1547.33/1547.80 c 1536s | 15 | 1783966 | 118632 | 117655 0 | 89 | 2933 1550.53/1550.99 c 1539s | 15 | 1787461 | 118832 | 117655 0 | 89 | 2933 1553.43/1553.80 c 1542s | 15 | 1790521 | 119032 | 117655 0 | 89 | 2933 1557.33/1557.78 c 1546s | 15 | 1794011 | 119232 | 117655 0 | 89 | 2933 1559.72/1560.19 c 1549s | 15 | 1799913 | 119332 | 117655 0 | 89 | 2933 1563.02/1563.46 c 1552s | 15 | 1805377 | 119532 | 117655 0 | 89 | 2933 1566.22/1566.61 c 1555s | 15 | 1812648 | 119732 | 117655 0 | 89 | 2933 1569.12/1569.55 c 1558s | 15 | 1813787 | 119932 | 117655 0 | 89 | 2933 1572.42/1572.88 c 1561s | 15 | 1815694 | 120132 | 117655 0 | 89 | 2933 1575.82/1576.24 c 1565s | 15 | 1821575 | 120332 | 117655 0 | 89 | 2933 1579.42/1579.85 c 1568s | 15 | 1822956 | 120532 | 117655 0 | 89 | 2933 1582.72/1583.14 c 1572s | 15 | 1827656 | 120732 | 117655 0 | 89 | 2933 1584.92/1585.33 c 1574s | 15 | 1831466 | 120832 | 117655 0 | 89 | 2933 1588.52/1588.93 c 1577s | 15 | 1833460 | 121032 | 117655 0 | 89 | 2933 1592.12/1592.50 c 1581s | 15 | 1837167 | 121232 | 117655 0 | 89 | 2933 1595.83/1596.27 c 1585s | 15 | 1840692 | 121432 | 117655 0 | 89 | 2933 1599.42/1599.82 c 1588s | 15 | 1842446 | 121632 | 117655 0 | 89 | 2933 1602.92/1603.35 c 1592s | 15 | 1847424 | 121832 | 117655 0 | 89 | 2933 1606.02/1606.48 c 1595s | 15 | 1850587 | 122032 | 117655 0 | 89 | 2933 1608.12/1608.50 c 1597s | 15 | 1852447 | 122132 | 117655 0 | 89 | 2933 1610.22/1610.63 c 1599s | 15 | 1853377 | 122232 | 117655 0 | 89 | 2933 1613.61/1614.08 c 1603s | 15 | 1857853 | 122432 | 117655 0 | 89 | 2933 1616.01/1616.45 c 1605s | 15 | 1860608 | 122532 | 117655 0 | 89 | 2933 1619.81/1620.22 c 1609s | 15 | 1863577 | 122732 | 117655 0 | 89 | 2933 1623.61/1624.00 c 1612s | 15 | 1867507 | 122932 | 117655 0 | 89 | 2933 1627.01/1627.45 c 1616s | 15 | 1868497 | 123132 | 117655 0 | 89 | 2933 1630.61/1631.05 c 1620s | 15 | 1872478 | 123332 | 117655 0 | 89 | 2933 1634.01/1634.48 c 1623s | 15 | 1875530 | 123532 | 117655 0 | 89 | 2933 1637.62/1638.09 c 1627s | 15 | 1878558 | 123732 | 117655 0 | 89 | 2933 1641.31/1641.79 c 1630s | 15 | 1881882 | 123932 | 117655 0 | 89 | 2933 1644.91/1645.32 c 1634s | 15 | 1884025 | 124132 | 117655 0 | 89 | 2933 1649.01/1649.44 c 1638s | 15 | 1886071 | 124332 | 117655 0 | 89 | 2933 1652.91/1653.40 c 1642s | 15 | 1888153 | 124532 | 117655 0 | 89 | 2933 1656.71/1657.12 c 1646s | 15 | 1889632 | 124732 | 117655 0 | 89 | 2933 1659.91/1660.33 c 1649s | 15 | 1890442 | 124932 | 117655 0 | 89 | 2933 1662.71/1663.17 c 1652s | 15 | 1891082 | 125132 | 117655 0 | 89 | 2933 1666.91/1667.31 c 1656s | 15 | 1893382 | 125332 | 117655 0 | 89 | 2933 1670.51/1670.99 c 1659s | 15 | 1898949 | 125532 | 117655 0 | 89 | 2933 1673.41/1673.80 c 1662s | 15 | 1899252 | 125632 | 117655 1 | 89 | 2933 1676.61/1677.01 c 1665s | 15 | 1900578 | 125832 | 117655 1 | 89 | 2933 1679.91/1680.30 c 1669s | 15 | 1901491 | 126032 | 117655 1 | 89 | 2933 1682.11/1682.57 c 1671s | 15 | 1902542 | 126232 | 117655 1 | 89 | 2933 1686.02/1686.48 c 1675s | 15 | 1905126 | 126432 | 129421 1 | 89 | 2933 1688.51/1688.92 c 1677s | 15 | 1907955 | 126632 | 129421 1 | 89 | 2933 1690.81/1691.21 c 1680s | 15 | 1909133 | 126832 | 129421 1 | 89 | 2933 1693.01/1693.45 c 1682s | 15 | 1910911 | 127032 | 129421 1 | 89 | 2933 1695.71/1696.16 c 1685s | 15 | 1913268 | 127232 | 129421 1 | 89 | 2933 1698.41/1698.81 c 1687s | 15 | 1914792 | 127432 | 129421 1 | 89 | 2933 1702.31/1702.77 c 1691s | 15 | 1924084 | 127632 | 129421 1 | 89 | 2933 1705.21/1705.69 c 1694s | 15 | 1929367 | 127832 | 129421 1 | 89 | 2933 1708.81/1709.26 c 1698s | 15 | 1931329 | 128032 | 129421 1 | 89 | 2933 1711.90/1712.32 c 1701s | 15 | 1934023 | 128232 | 129421 1 | 89 | 2933 1714.70/1715.17 c 1704s | 15 | 1940761 | 128432 | 129421 1 | 89 | 2933 1717.50/1717.95 c 1706s | 15 | 1941631 | 128632 | 129421 1 | 89 | 2933 1720.40/1720.86 c 1709s | 15 | 1944407 | 128832 | 129421 1 | 89 | 2933 1723.70/1724.12 c 1713s | 15 | 1945844 | 129032 | 129421 1 | 89 | 2933 1727.00/1727.41 c 1716s | 15 | 1950441 | 129232 | 129421 1 | 89 | 2933 1730.20/1730.65 c 1719s | 15 | 1951759 | 129432 | 129421 1 | 89 | 2933 1733.40/1733.84 c 1722s | 15 | 1955547 | 129632 | 129421 1 | 89 | 2933 1735.41/1735.87 c 1724s | 15 | 1959216 | 129732 | 129421 1 | 89 | 2933 1738.81/1739.29 c 1728s | 15 | 1963934 | 129932 | 129421 1 | 89 | 2933 1742.40/1742.89 c 1731s | 15 | 1967584 | 130132 | 129421 1 | 89 | 2933 1745.90/1746.39 c 1735s | 15 | 1968689 | 130332 | 129421 1 | 89 | 2933 1749.20/1749.67 c 1738s | 15 | 1969549 | 130532 | 129421 1 | 89 | 2933 1751.90/1752.34 c 1741s | 15 | 1971905 | 130732 | 129421 1 | 89 | 2933 1754.80/1755.27 c 1744s | 15 | 1974151 | 130932 | 129421 1 | 89 | 2933 1757.40/1757.85 c 1746s | 15 | 1977896 | 131132 | 129421 1 | 89 | 2933 1759.40/1759.86 c 1748s | 15 | 1979725 | 131332 | 129421 1 | 89 | 2933 1761.60/1762.02 c 1751s | 15 | 1981074 | 131532 | 129421 1 | 89 | 2933 1761.80/1762.27 c 1751s | 16 | 1981107 | 131552 | 129421 1 | 89 | 2933 1768.30/1768.72 c 1757s | 16 | 1987934 | 131752 | 129421 1 | 89 | 2933 1770.40/1770.81 c 1759s | 16 | 1989898 | 131952 | 129421 1 | 89 | 2933 1773.10/1773.58 c 1762s | 16 | 1992400 | 132152 | 129421 1 | 89 | 2933 1775.30/1775.78 c 1764s | 16 | 1998049 | 132252 | 129421 1 | 89 | 2933 1777.50/1777.97 c 1766s | 16 | 1999832 | 132352 | 129421 1 | 89 | 2933 1780.60/1781.01 c 1770s | 16 | 2004932 | 132552 | 129421 1 | 89 | 2933 1784.10/1784.52 c 1773s | 16 | 2009316 | 132752 | 129421 1 | 89 | 2933 1786.80/1787.24 c 1776s | 16 | 2012163 | 132952 | 129421 1 | 89 | 2933 1789.80/1790.30 c 1779s | 16 | 2016513 | 133152 | 129421 1 | 89 | 2933 1792.50/1792.95 c 1781s | 16 | 2019926 | 133352 | 129421 1 | 89 | 2933 1796.00/1796.42 c 1785s | 16 | 2024184 | 133552 | 129421 1 | 89 | 2933 1798.59/1799.04 c 1788s | 16 | 2026038 | 133752 | 129421 1 | 89 | 2933
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-4079805-1465253532/watcher-4079805-1465253532 -o /tmp/evaluation-result-4079805-1465253532/solver-4079805-1465253532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079805-1465253532.opb pid=2503 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.21 2.18 3/179 2506 /proc/meminfo: memFree=29193124/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=758204 CPUtime=0 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 2837 0 0 0 0 0 0 0 20 0 4 0 107286398 776400896 3197 33554432000 4194304 16246674 140733810898352 140733810897776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 190319 3206 441 2943 0 187213 0 [pid=2506/tid=2507] ppid=2503 vsize=804284 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 823586816 3376 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=809404 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 828829696 3394 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=812476 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107286398 831975424 3406 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100159 s] /proc/loadavg: 2.18 2.21 2.18 3/179 2506 /proc/meminfo: memFree=29193124/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 27849 0 0 0 5 4 0 0 20 0 4 0 107286398 1333334016 28147 33554432000 4194304 16246674 140733810898352 140733810897664 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 325521 28166 799 2943 0 322415 0 [pid=2506/tid=2507] ppid=2503 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1333334016 28177 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1333334016 28188 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1333334016 28199 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200558 s] /proc/loadavg: 2.18 2.21 2.18 3/179 2506 /proc/meminfo: memFree=29193124/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 45556 0 0 0 13 6 0 0 20 0 4 0 107286398 1344868352 46365 33554432000 4194304 16246674 140733810898352 140733810897664 7376992 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 328337 46365 800 2943 0 325231 0 [pid=2506/tid=2507] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 46365 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 46365 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 46365 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.30049 s] /proc/loadavg: 2.18 2.21 2.18 3/179 2506 /proc/meminfo: memFree=29193124/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 62967 0 0 0 21 8 0 0 20 0 4 0 107286398 1344868352 63776 33554432000 4194304 16246674 140733810898352 140733810897664 8058524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 328337 63776 800 2943 0 325231 0 [pid=2506/tid=2507] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 63776 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 63776 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 63776 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.70037 s] /proc/loadavg: 2.18 2.21 2.18 3/179 2506 /proc/meminfo: memFree=29193124/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 86967 0 0 0 58 11 0 0 20 0 4 0 107286398 1344868352 87776 33554432000 4194304 16246674 140733810898352 140733810897664 13954914 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 328337 87785 833 2943 0 325231 0 [pid=2506/tid=2507] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 87790 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 87796 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1344868352 87802 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.17 2.21 2.18 3/183 2510 /proc/meminfo: memFree=28552992/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=1.49 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 180938 0 0 0 124 25 0 0 20 0 4 0 107286398 1378422784 181747 33554432000 4194304 16246674 140733810898352 140733810880256 4208632 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 181747 877 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181747 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181747 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181747 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1346116 [startup+3.10043 s] /proc/loadavg: 2.17 2.21 2.18 3/183 2510 /proc/meminfo: memFree=28466556/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=3.09 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 180966 0 0 0 284 25 0 0 20 0 4 0 107286398 1378422784 181775 33554432000 4194304 16246674 140733810898352 140733810880256 5991592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 181775 903 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181775 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181775 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181775 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1346116 [startup+6.30042 s] /proc/loadavg: 2.17 2.21 2.18 3/183 2510 /proc/meminfo: memFree=28466972/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=6.28 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 180974 0 0 0 603 25 0 0 20 0 4 0 107286398 1378422784 181783 33554432000 4194304 16246674 140733810898352 140733810880256 5674772 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 181783 910 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181783 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181783 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 181783 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1346116 [startup+12.7004 s] /proc/loadavg: 2.22 2.22 2.18 3/182 2510 /proc/meminfo: memFree=28183788/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=12.69 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 251875 0 0 0 1234 35 0 0 20 0 4 0 107286398 1378422784 252684 33554432000 4194304 16246674 140733810898352 140733810880256 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 252684 913 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 252684 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 252684 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 252684 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1346116 [startup+25.5005 s] /proc/loadavg: 2.19 2.21 2.18 3/183 2511 /proc/meminfo: memFree=28082936/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=25.49 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277231 0 0 0 2510 39 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140733810880256 5674968 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278040 913 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1346116 [startup+51.1005 s] /proc/loadavg: 2.23 2.22 2.18 4/183 2511 /proc/meminfo: memFree=28082812/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=51.09 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277231 0 0 0 5070 39 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140733810880256 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278040 913 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1346116 [startup+102.301 s] /proc/loadavg: 2.24 2.22 2.18 3/183 2512 /proc/meminfo: memFree=28083156/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=102.28 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277231 0 0 0 10189 39 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140733810880256 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278040 913 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278040 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1346116 ################ # More data... # ################ /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1346116 [startup+1362.3 s] /proc/loadavg: 2.21 2.24 2.20 3/183 2615 /proc/meminfo: memFree=28090248/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=1361.97 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277443 0 0 0 136157 40 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140733810880256 5712207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278042 915 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1346116 [startup+1422.3 s] /proc/loadavg: 2.37 2.27 2.21 3/183 2616 /proc/meminfo: memFree=28090048/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=1421.96 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277456 0 0 0 142156 40 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140733810880256 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278042 915 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1346116 [startup+1482.3 s] /proc/loadavg: 2.45 2.31 2.23 3/183 2617 /proc/meminfo: memFree=28090548/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=1481.94 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277471 0 0 0 148154 40 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140733810880256 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278042 915 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1346116 [startup+1542.31 s] /proc/loadavg: 2.39 2.31 2.23 3/183 2619 /proc/meminfo: memFree=28090288/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=1541.93 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277471 0 0 0 154153 40 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140733810880256 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278042 915 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1346116 [startup+1602.3 s] /proc/loadavg: 2.30 2.30 2.23 4/183 2620 /proc/meminfo: memFree=28089948/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=1601.92 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277471 0 0 0 160152 40 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140733810880256 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278042 915 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1346116 [startup+1662.3 s] /proc/loadavg: 2.27 2.29 2.23 3/183 2621 /proc/meminfo: memFree=28089848/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1346116 CPUtime=1661.91 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 277471 0 0 0 166151 40 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140733810880256 6023130 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 336529 278042 915 2943 0 333423 0 [pid=2506/tid=2507] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1378422784 278042 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1346116 [startup+1722.3 s] /proc/loadavg: 2.22 2.27 2.22 3/184 2625 /proc/meminfo: memFree=28061160/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1374788 CPUtime=1721.9 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 284639 0 0 0 172148 42 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140733810880256 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 343697 285210 915 2943 0 340591 0 [pid=2506/tid=2507] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1374788 [startup+1782.3 s] /proc/loadavg: 2.32 2.29 2.23 4/183 2626 /proc/meminfo: memFree=28060568/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1374788 CPUtime=1781.9 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 284639 0 0 0 178147 43 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140733810880256 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 343697 285210 915 2943 0 340591 0 [pid=2506/tid=2507] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1374788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.40 2.31 2.24 3/183 2627 /proc/meminfo: memFree=28061272/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1374788 CPUtime=1800.09 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 284639 0 0 0 179966 43 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140733810880256 13774449 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 343697 285210 915 2943 0 340591 0 [pid=2506/tid=2507] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1374788 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 2506 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.40 2.31 2.24 3/183 2627 /proc/meminfo: memFree=28061272/32872528 swapFree=17892/1720544 [pid=2506] ppid=2503 vsize=1374788 CPUtime=1800.09 cores=1,3,5,7 /proc/2506/stat : 2506 (toysat) R 2503 2506 31655 0 -1 4202496 284639 0 0 0 179966 43 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140733810880256 13774449 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2506/statm: 343697 285210 915 2943 0 340591 0 [pid=2506/tid=2507] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2507/stat : 2507 (toysat) S 2503 2506 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366789455088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2506/tid=2508] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2508/stat : 2508 (toysat) S 2503 2506 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366778965232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2506/tid=2509] ppid=2503 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/2506/task/2509/stat : 2509 (toysat) S 2503 2506 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107286398 1407782912 285210 33554432000 4194304 16246674 140733810898352 140366768491696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1374788 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.67 CPU system time (s): 0.430934 CPU usage (%): 99.9774 Max. virtual memory (cumulated for all children) (KiB): 1374788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.430934 maximum resident set size= 1140840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284639 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= 253 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53631 second user time and 7.00193 second system time The end
Begin job on node117 at 2016-06-07 00:52:12 IDJOB=4079805 IDBENCH=25041 IDSOLVER=2542 FILE ID=node117/4079805-1465253532 RUNJOBID= node117-1465227498-31672 PBS_JOBID= 19843241 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir09_area_opers.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079805-1465253532/watcher-4079805-1465253532 -o /tmp/evaluation-result-4079805-1465253532/solver-4079805-1465253532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079805-1465253532.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 23ab85bb903b24d53f7c52c70411f8cf RANDOM SEED=1628757208 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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 : 2667.088 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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: 29193404 kB Buffers: 9888 kB Cached: 78716 kB SwapCached: 55888 kB Active: 1172232 kB Inactive: 82104 kB Active(anon): 1112236 kB Inactive(anon): 56024 kB Active(file): 59996 kB Inactive(file): 26080 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67043784 kB Dirty: 18308 kB Writeback: 0 kB AnonPages: 2831892 kB Mapped: 10116 kB Shmem: 0 kB Slab: 567628 kB SReclaimable: 11564 kB SUnreclaim: 556064 kB KernelStack: 1448 kB PageTables: 9572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2977236 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2809856 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node117 at 2016-06-07 01:22:13