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.03 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_1.opb |
| MD5SUM | 08f3a00099e19d384504c40fc611777e |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 67 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 63 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 23 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6318 |
| Sum of products size (including duplicates) | 12636 |
| Number of different products | 6318 |
| Sum of products size | 12636 |
0.00/0.00 c 2016-06-18T20:25:19+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-4106595-1466274319.opb"] 0.00/0.01 c use --random-gen="1446387551 2124421469 3037475498 946057120 3171178336 997282980 3602130043 1133059469 3607425275 1307771154 1927178673 4123181438 1234193398 2174529003 1258351468 1388404612 3673384581 606815293 4149001897 1590706699 3235211928 1536798599 1594124683 1892023280 3473850420 508125591 1020160599 2604148211 1969192401 3235072538 3835544725 601557717 3908782781 1415711922 2287544721 2166864867 1582985990 3186444771 1098036516 3480944036 1015178510 1844350870 2125391878 3621860637 2153307865 3932478485 186095190 1521782541 2502874326 2808252503 3189389670 950211959 2489771473 1966414602 5920440 2677268137 2351528797 3363623891 3500304950 3641989713 1552784470 677062291 3128219081 150644157 2392265151 3321432729 3197238559 743374930 3083390176 516143572 2655841412 4291747537 569163653 4227355128 1881230448 1559129102 2032159735 3898261841 1380921853 1125851589 2245384519 211594023 2025527903 2668919515 1164356581 3156442408 3696519826 4141372168 3884417194 3162688410 2759497456 1616117253 3101021708 1971444710 3524228309 1973201409 2514558339 2273650520 1277290354 3224475896 1174995274 2250670289 2111955733 909882539 1945416269 3069709752 7121086 3338247790 3127255450 1476436682 2677348996 4113539919 207856118 3197305675 2259729264 985976970 3585047188 1244677443 159904555 4180662722 1618849430 1219609905 1132346886 3033983214 2477540347 2399201761 403027649 3805692733 3337356686 3660452944 2864716275 1797782170 825101755 3238100819 828592812 987039534 291192387 3399731513 3881990199 2333709132 1769177967 2614756082 1479392686 852555789 3730619691 1719902919 3679175820 3766919400 682659603 4206540270 2698853533 2897437287 1207499005 3817574163 826273454 1128017667 1782474234 1361543539 541125523 4180123688 2368031608 2048490651 622496074 1862348101 734629094 91797218 3468014133 1677330326 1489719521 2263280481 3089684407 843742595 732749306 1555762940 4135429832 2969376173 2027489356 2234831661 1255756675 1240116682 1086796946 1881410238 1025967921 956030027 2557654883 3257086177 4270394002 308853168 3327933365 3705668232 4010066124 319924915 3830210946 4284927456 51620584 9745610 3455387022 3250422232 3006726436 1600830884 1091515844 3077371622 2672429528 1830085649 2817133786 3582525517 534032481 3351109346 4260179756 3754477319 1107120283 1819122708 3682623586 3464026287 890293069 80728677 3701926373 1162822811 3055697088 2834835983 2379554361 241535913 1847487406 4172088292 534244645 3283648832 3243125646 4044619129 601495806 3308874038 1684799876 3780922116 2068393740 2281615901 3697960238 1590282006 2643198372 1962967455 3760445053 1979678436 3554039376 89569455 1140118580 1193030529 1152063722 3077943598 2073900213 1855779730 2417126493 1544620185 3708017528 1021110547 2248266726 4106220005 3961895843 2128104861 255 362436" option to reproduce the execution 0.00/0.04 c #vars 500 0.00/0.04 c #constraints 500 0.09/0.15 c BCD2: Hardening is enabled. 0.09/0.15 c BCD2: BiasedSearch is enabled. 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 1123 | 0 | 6651 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.022s 0.09/0.18 c #wall_clock_time = 0.022s 0.09/0.18 c #decision = 1123 0.09/0.18 c #random_decision = 2 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 o 395 0.09/0.18 c BCD2: updating upper bound: 500 -> 394 0.09/0.18 c BCD2: 0 <= obj <= 394 0.09/0.18 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.19/0.20 c 0.0s | 0 | 285 | 0 | 6651 0 | 0 | 0 0.19/0.20 c #cpu_time = 0.014s 0.19/0.20 c #wall_clock_time = 0.014s 0.19/0.20 c #decision = 285 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.20 c lower bound updated to 1 0.19/0.20 c BCD2: 1 <= obj <= 394 0.19/0.20 c BCD2: #cores=1, #unrelaxed=489, #relaxed=11, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 321 | 0 | 6651 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.012s 0.19/0.23 c #wall_clock_time = 0.012s 0.19/0.23 c #decision = 321 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 14: cost of the new core is >=1 0.19/0.23 c lower bound updated to 2 0.19/0.23 c BCD2: 2 <= obj <= 394 0.19/0.23 c BCD2: #cores=2, #unrelaxed=475, #relaxed=25, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 342 | 0 | 6651 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.013s 0.19/0.25 c #wall_clock_time = 0.013s 0.19/0.25 c #decision = 342 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 14: cost of the new core is >=1 0.19/0.25 c lower bound updated to 3 0.19/0.25 c BCD2: 3 <= obj <= 394 0.19/0.25 c BCD2: #cores=3, #unrelaxed=461, #relaxed=39, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.19/0.26 c 0.0s | 0 | 344 | 0 | 6651 0 | 0 | 0 0.19/0.26 c #cpu_time = 0.013s 0.19/0.26 c #wall_clock_time = 0.013s 0.19/0.26 c #decision = 344 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.26 c lower bound updated to 4 0.19/0.26 c BCD2: 4 <= obj <= 394 0.19/0.26 c BCD2: #cores=4, #unrelaxed=450, #relaxed=50, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.19/0.28 c 0.0s | 0 | 344 | 0 | 6651 0 | 0 | 0 0.19/0.28 c #cpu_time = 0.013s 0.19/0.28 c #wall_clock_time = 0.013s 0.19/0.28 c #decision = 344 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 14: cost of the new core is >=1 0.19/0.28 c lower bound updated to 5 0.19/0.28 c BCD2: 5 <= obj <= 394 0.19/0.28 c BCD2: #cores=5, #unrelaxed=436, #relaxed=64, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.19/0.29 c 0.0s | 0 | 353 | 0 | 6651 0 | 0 | 0 0.19/0.29 c #cpu_time = 0.013s 0.19/0.29 c #wall_clock_time = 0.013s 0.19/0.29 c #decision = 353 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.29 c lower bound updated to 6 0.19/0.29 c BCD2: 6 <= obj <= 394 0.19/0.29 c BCD2: #cores=6, #unrelaxed=425, #relaxed=75, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.29/0.31 c 0.0s | 0 | 348 | 0 | 6651 0 | 0 | 0 0.29/0.31 c #cpu_time = 0.013s 0.29/0.31 c #wall_clock_time = 0.013s 0.29/0.31 c #decision = 348 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 13: cost of the new core is >=1 0.29/0.31 c lower bound updated to 7 0.29/0.31 c BCD2: 7 <= obj <= 394 0.29/0.31 c BCD2: #cores=7, #unrelaxed=412, #relaxed=88, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=8 bias=8/9 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.29/0.32 c 0.0s | 0 | 341 | 0 | 6651 0 | 0 | 0 0.29/0.32 c #cpu_time = 0.012s 0.29/0.32 c #wall_clock_time = 0.012s 0.29/0.32 c #decision = 341 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.32 c lower bound updated to 8 0.29/0.32 c BCD2: 8 <= obj <= 394 0.29/0.32 c BCD2: #cores=8, #unrelaxed=401, #relaxed=99, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.29/0.33 c 0.0s | 0 | 347 | 0 | 6651 0 | 0 | 0 0.29/0.33 c #cpu_time = 0.010s 0.29/0.33 c #wall_clock_time = 0.011s 0.29/0.33 c #decision = 347 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.33 c lower bound updated to 9 0.29/0.33 c BCD2: 9 <= obj <= 394 0.29/0.33 c BCD2: #cores=9, #unrelaxed=390, #relaxed=110, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.29/0.36 c 0.0s | 0 | 349 | 0 | 6651 0 | 0 | 0 0.29/0.36 c #cpu_time = 0.010s 0.29/0.36 c #wall_clock_time = 0.010s 0.29/0.36 c #decision = 349 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.36 c lower bound updated to 10 0.29/0.36 c BCD2: 10 <= obj <= 394 0.29/0.36 c BCD2: #cores=10, #unrelaxed=379, #relaxed=121, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=11 bias=11/12 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.29/0.38 c 0.0s | 0 | 355 | 0 | 6651 0 | 0 | 0 0.29/0.38 c #cpu_time = 0.010s 0.29/0.38 c #wall_clock_time = 0.010s 0.29/0.38 c #decision = 355 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.38 c lower bound updated to 11 0.29/0.38 c BCD2: 11 <= obj <= 394 0.29/0.38 c BCD2: #cores=11, #unrelaxed=368, #relaxed=132, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=12 bias=12/13 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.29/0.39 c 0.0s | 0 | 346 | 0 | 6651 0 | 0 | 0 0.29/0.39 c #cpu_time = 0.010s 0.29/0.39 c #wall_clock_time = 0.010s 0.29/0.39 c #decision = 346 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 13: cost of the new core is >=1 0.29/0.39 c lower bound updated to 12 0.29/0.39 c BCD2: 12 <= obj <= 394 0.29/0.39 c BCD2: #cores=12, #unrelaxed=355, #relaxed=145, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=13 bias=13/14 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.39/0.40 c 0.0s | 0 | 336 | 0 | 6651 0 | 0 | 0 0.39/0.40 c #cpu_time = 0.009s 0.39/0.40 c #wall_clock_time = 0.010s 0.39/0.40 c #decision = 336 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 0 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 12: cost of the new core is >=1 0.39/0.40 c lower bound updated to 13 0.39/0.40 c BCD2: 13 <= obj <= 394 0.39/0.40 c BCD2: #cores=13, #unrelaxed=343, #relaxed=157, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=14 bias=14/15 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.39/0.41 c 0.0s | 0 | 327 | 0 | 6651 0 | 0 | 0 0.39/0.41 c #cpu_time = 0.009s 0.39/0.41 c #wall_clock_time = 0.009s 0.39/0.41 c #decision = 327 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 11: cost of the new core is >=1 0.39/0.41 c lower bound updated to 14 0.39/0.41 c BCD2: 14 <= obj <= 394 0.39/0.41 c BCD2: #cores=14, #unrelaxed=332, #relaxed=168, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=15 bias=15/16 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 338 | 0 | 6651 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.010s 0.39/0.42 c #wall_clock_time = 0.010s 0.39/0.42 c #decision = 338 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 11: cost of the new core is >=1 0.39/0.42 c lower bound updated to 15 0.39/0.42 c BCD2: 15 <= obj <= 394 0.39/0.42 c BCD2: #cores=15, #unrelaxed=321, #relaxed=179, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=16 bias=16/17 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.39/0.43 c 0.0s | 0 | 329 | 0 | 6651 0 | 0 | 0 0.39/0.43 c #cpu_time = 0.009s 0.39/0.43 c #wall_clock_time = 0.010s 0.39/0.43 c #decision = 329 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 12: cost of the new core is >=1 0.39/0.43 c lower bound updated to 16 0.39/0.43 c BCD2: 16 <= obj <= 394 0.39/0.43 c BCD2: #cores=16, #unrelaxed=309, #relaxed=191, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=17 bias=17/18 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 0 0.39/0.45 c 0.0s | 0 | 1384 | 0 | 6651 0 | 0 | 0 0.39/0.45 c #cpu_time = 0.015s 0.39/0.45 c #wall_clock_time = 0.015s 0.39/0.45 c #decision = 1384 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 o 112 0.39/0.45 c BCD2: updating upper bound: 394 -> 111 0.39/0.45 c BCD2: 16 <= obj <= 111 0.39/0.45 c BCD2: #cores=16, #unrelaxed=309, #relaxed=191, #hardened=0 0.39/0.45 c BCD2: #sat=2 #unsat=17 bias=17/19 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 1 0.39/0.48 c 0.0s | 0 | 1139 | 1 | 6651 0 | 0 | 1 0.39/0.48 c #cpu_time = 0.015s 0.39/0.48 c #wall_clock_time = 0.015s 0.39/0.48 c #decision = 1139 0.39/0.48 c #random_decision = 5 0.39/0.48 c #conflict = 1 0.39/0.48 c #restart = 0 0.39/0.48 o 96 0.39/0.48 c BCD2: updating upper bound: 111 -> 95 0.39/0.48 c BCD2: 16 <= obj <= 95 0.39/0.48 c BCD2: #cores=16, #unrelaxed=309, #relaxed=191, #hardened=0 0.39/0.48 c BCD2: #sat=3 #unsat=17 bias=17/20 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 6651 0 | 0 | 2 0.49/0.56 c 0.1s | 1 | 751 | 100 | 7317 0 | 0 | 2 0.59/0.67 c 0.2s | 2 | 1381 | 250 | 7317 0 | 0 | 2 0.68/0.78 c 0.3s | 2 | 2585 | 341 | 8049 0 | 0 | 2 0.68/0.78 c #cpu_time = 0.291s 0.68/0.78 c #wall_clock_time = 0.292s 0.68/0.78 c #decision = 2585 0.68/0.78 c #random_decision = 1 0.68/0.78 c #conflict = 341 0.68/0.78 c #restart = 2 0.68/0.78 o 78 0.68/0.78 c BCD2: updating upper bound: 95 -> 77 0.68/0.78 c BCD2: 16 <= obj <= 77 0.68/0.78 c BCD2: #cores=16, #unrelaxed=309, #relaxed=191, #hardened=0 0.68/0.78 c BCD2: #sat=4 #unsat=17 bias=17/21 0.68/0.78 c Solving starts ... 0.68/0.78 c ============================[ Search Statistics ]============================ 0.68/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.78 c | | | | Limit GC | Var | Constra 0.68/0.78 c ============================================================================= 0.68/0.78 c 0.0s | 0 | 0 | 0 | 8049 0 | 0 | 3 0.78/0.89 c 0.1s | 1 | 491 | 100 | 8049 0 | 0 | 3 0.89/0.99 c 0.2s | 2 | 1099 | 250 | 8854 0 | 0 | 3 1.19/1.24 c 0.5s | 3 | 1787 | 475 | 9740 0 | 0 | 3 1.58/1.60 c 0.8s | 4 | 2576 | 813 | 9740 0 | 0 | 3 2.08/2.18 c 1.4s | 5 | 3522 | 1320 | 10714 0 | 0 | 3 3.18/3.20 c 2.4s | 6 | 4803 | 2081 | 11786 0 | 0 | 3 4.98/5.09 c 4.3s | 7 | 6620 | 3223 | 12965 0 | 0 | 3 7.08/7.17 c 6.4s | 7 | 8470 | 4423 | 12965 0 | 0 | 3 8.18/8.25 c 7.5s | 8 | 9062 | 4936 | 14262 0 | 0 | 3 10.29/10.30 c 9.5s | 8 | 10905 | 6136 | 14262 0 | 0 | 3 12.39/12.48 c 11.7s | 8 | 12341 | 7236 | 15689 0 | 0 | 3 13.09/13.10 c 12.3s | 9 | 12677 | 7506 | 15689 0 | 0 | 3 15.08/15.17 c 14.4s | 9 | 14148 | 8406 | 15689 0 | 0 | 3 17.28/17.34 c 16.6s | 9 | 15365 | 9406 | 15689 0 | 0 | 3 19.48/19.58 c 18.8s | 9 | 16439 | 10306 | 15689 0 | 0 | 3 21.68/21.73 c 20.9s | 9 | 17558 | 11206 | 17258 0 | 0 | 3 22.09/22.13 c 21.4s | 10 | 17735 | 11361 | 17258 0 | 0 | 3 24.19/24.21 c 23.4s | 10 | 19138 | 12161 | 17258 0 | 0 | 3 26.39/26.44 c 25.7s | 10 | 20077 | 12961 | 17258 0 | 0 | 3 28.59/28.65 c 27.9s | 10 | 20924 | 13661 | 17258 0 | 0 | 3 30.98/31.01 c 30.2s | 10 | 21733 | 14361 | 17258 0 | 0 | 3 32.99/33.04 c 32.3s | 10 | 22546 | 15061 | 17258 0 | 0 | 3 35.08/35.10 c 34.3s | 10 | 23348 | 15761 | 17258 0 | 0 | 3 37.28/37.40 c 36.6s | 10 | 24308 | 16561 | 17258 0 | 0 | 3 39.29/39.31 c 38.5s | 11 | 25014 | 17144 | 18984 0 | 0 | 3 41.48/41.51 c 40.7s | 11 | 26090 | 17744 | 18984 0 | 0 | 3 43.48/43.54 c 42.8s | 11 | 26898 | 18444 | 18984 0 | 0 | 3 45.48/45.55 c 44.8s | 11 | 27657 | 19044 | 18984 0 | 0 | 3 47.58/47.62 c 46.8s | 11 | 28383 | 19644 | 18984 0 | 0 | 3 49.77/49.82 c 49.0s | 11 | 29266 | 20344 | 18984 0 | 0 | 3 51.78/51.88 c 51.1s | 11 | 30102 | 21044 | 18984 0 | 0 | 3 53.99/54.08 c 53.3s | 11 | 30813 | 21644 | 18984 0 | 0 | 3 56.28/56.33 c 55.5s | 11 | 31674 | 22344 | 18984 0 | 0 | 3 58.29/58.33 c 57.6s | 11 | 32562 | 23044 | 18984 0 | 0 | 3 60.38/60.44 c 59.7s | 11 | 33194 | 23544 | 18984 1 | 0 | 3 62.98/63.04 c 62.3s | 11 | 34150 | 24344 | 18984 1 | 0 | 3 65.17/65.26 c 64.5s | 11 | 34945 | 25044 | 18984 1 | 0 | 3 67.37/67.41 c 66.6s | 11 | 35799 | 25744 | 20883 1 | 0 | 3 67.57/67.64 c 66.9s | 12 | 35891 | 25819 | 20883 1 | 0 | 3 69.87/69.99 c 69.2s | 12 | 36993 | 26419 | 20883 1 | 0 | 3 71.97/72.06 c 71.3s | 12 | 37729 | 27019 | 20883 1 | 0 | 3 74.07/74.11 c 73.3s | 12 | 38461 | 27619 | 20883 1 | 0 | 3 76.27/76.39 c 75.6s | 12 | 39166 | 28219 | 20883 1 | 0 | 3 78.67/78.70 c 77.9s | 12 | 39913 | 28819 | 20883 1 | 0 | 3 80.87/80.92 c 80.1s | 12 | 40647 | 29419 | 20883 1 | 0 | 3 82.87/82.92 c 82.1s | 12 | 41252 | 29919 | 20883 1 | 0 | 3 84.88/84.95 c 84.2s | 12 | 41893 | 30419 | 20883 1 | 0 | 3 87.08/87.14 c 86.4s | 12 | 42612 | 31019 | 20883 1 | 0 | 3 89.38/89.45 c 88.7s | 12 | 43359 | 31619 | 20883 1 | 0 | 3 91.57/91.62 c 90.8s | 12 | 43979 | 32119 | 20883 1 | 0 | 3 93.87/93.96 c 93.2s | 12 | 44746 | 32719 | 20883 1 | 0 | 3 96.47/96.50 c 95.7s | 12 | 45451 | 33319 | 20883 1 | 0 | 3 98.87/98.95 c 98.2s | 12 | 46170 | 33919 | 20883 1 | 0 | 3 101.07/101.11 c 100s | 12 | 46779 | 34419 | 20883 1 | 0 | 3 103.17/103.27 c 102s | 12 | 47406 | 34919 | 20883 1 | 0 | 3 105.47/105.51 c 104s | 12 | 48011 | 35419 | 20883 1 | 0 | 3 107.47/107.52 c 106s | 12 | 48733 | 36019 | 20883 1 | 0 | 3 109.77/109.89 c 109s | 12 | 49302 | 36519 | 20883 1 | 0 | 3 112.17/112.29 c 111s | 12 | 49904 | 37019 | 20883 1 | 0 | 3 114.38/114.44 c 113s | 12 | 50319 | 37319 | 20883 2 | 0 | 3 116.58/116.67 c 115s | 12 | 51044 | 37919 | 20883 2 | 0 | 3 118.97/119.02 c 118s | 12 | 51744 | 38519 | 22972 2 | 0 | 3 120.17/120.23 c 119s | 13 | 52141 | 38832 | 22972 2 | 0 | 3 122.17/122.29 c 121s | 13 | 53128 | 39332 | 22972 2 | 0 | 3 124.47/124.56 c 123s | 13 | 54127 | 40132 | 22972 2 | 0 | 3 126.66/126.71 c 125s | 13 | 54949 | 40832 | 22972 2 | 0 | 3 128.86/128.99 c 128s | 13 | 55784 | 41532 | 22972 2 | 0 | 3 130.97/131.09 c 130s | 13 | 56645 | 42232 | 22972 2 | 0 | 3 133.07/133.19 c 132s | 13 | 57359 | 42832 | 22972 2 | 0 | 3 135.38/135.45 c 134s | 13 | 57914 | 43332 | 22972 2 | 0 | 3 137.48/137.52 c 136s | 13 | 58639 | 43932 | 22972 2 | 0 | 3 139.47/139.57 c 138s | 13 | 59345 | 44532 | 22972 2 | 0 | 3 141.57/141.61 c 140s | 13 | 60031 | 45132 | 22972 2 | 0 | 3 143.57/143.66 c 142s | 13 | 60611 | 45632 | 22972 2 | 0 | 3 145.76/145.82 c 145s | 13 | 61363 | 46232 | 22972 2 | 0 | 3 147.86/147.93 c 147s | 13 | 62128 | 46832 | 22972 2 | 0 | 3 150.16/150.22 c 149s | 13 | 62856 | 47432 | 22972 2 | 0 | 3 152.27/152.36 c 151s | 13 | 63461 | 47932 | 22972 2 | 0 | 3 154.67/154.71 c 153s | 13 | 64220 | 48532 | 22972 2 | 0 | 3 156.67/156.77 c 155s | 13 | 64851 | 49032 | 22972 2 | 0 | 3 159.06/159.10 c 158s | 13 | 65611 | 49632 | 22972 2 | 0 | 3 161.26/161.32 c 160s | 13 | 66237 | 50132 | 22972 2 | 0 | 3 163.46/163.52 c 162s | 13 | 66993 | 50732 | 22972 2 | 0 | 3 165.56/165.65 c 164s | 13 | 67731 | 51332 | 22972 2 | 0 | 3 168.46/168.51 c 167s | 13 | 68344 | 51832 | 22972 3 | 0 | 3 170.57/170.66 c 169s | 13 | 68998 | 52332 | 22972 3 | 0 | 3 172.96/173.05 c 172s | 13 | 69602 | 52832 | 22972 3 | 0 | 3 175.06/175.20 c 174s | 13 | 70346 | 53432 | 22972 3 | 0 | 3 177.36/177.40 c 176s | 13 | 71243 | 54132 | 22972 3 | 0 | 3 179.56/179.66 c 178s | 13 | 71992 | 54732 | 22972 3 | 0 | 3 181.76/181.85 c 181s | 13 | 72758 | 55332 | 22972 3 | 0 | 3 183.86/183.91 c 183s | 13 | 73375 | 55832 | 22972 3 | 0 | 3 186.06/186.11 c 185s | 13 | 74085 | 56432 | 22972 3 | 0 | 3 188.06/188.16 c 187s | 13 | 74701 | 56932 | 22972 3 | 0 | 3 190.36/190.41 c 189s | 13 | 75394 | 57532 | 22972 3 | 0 | 3 192.65/192.75 c 191s | 13 | 76103 | 58132 | 25270 3 | 0 | 3 193.45/193.54 c 192s | 14 | 76365 | 58352 | 25270 3 | 0 | 3 195.55/195.67 c 194s | 14 | 77324 | 58852 | 25270 3 | 0 | 3 197.65/197.77 c 196s | 14 | 78061 | 59452 | 25270 3 | 0 | 3 199.95/200.05 c 199s | 14 | 78873 | 60152 | 25270 3 | 0 | 3 201.95/202.08 c 201s | 14 | 79585 | 60752 | 25270 3 | 0 | 3 204.25/204.31 c 203s | 14 | 80299 | 61352 | 25270 3 | 0 | 3 206.65/206.71 c 205s | 14 | 81040 | 61952 | 25270 3 | 0 | 3 208.85/208.95 c 208s | 14 | 81787 | 62552 | 25270 3 | 0 | 3 211.06/211.14 c 210s | 14 | 82486 | 63152 | 25270 3 | 0 | 3 213.36/213.47 c 212s | 14 | 83277 | 63752 | 25270 3 | 0 | 3 215.46/215.56 c 214s | 14 | 84016 | 64352 | 25270 3 | 0 | 3 217.86/217.95 c 217s | 14 | 84730 | 64952 | 25270 3 | 0 | 3 219.96/220.04 c 219s | 14 | 85359 | 65452 | 25270 3 | 0 | 3 222.16/222.22 c 221s | 14 | 86082 | 66052 | 25270 3 | 0 | 3 224.25/224.30 c 223s | 14 | 86696 | 66552 | 25270 3 | 0 | 3 226.35/226.45 c 225s | 14 | 87314 | 67052 | 25270 3 | 0 | 3 228.55/228.66 c 227s | 14 | 87890 | 67552 | 25270 3 | 0 | 3 231.85/231.95 c 231s | 14 | 88374 | 67952 | 25270 4 | 0 | 3 233.95/234.01 c 233s | 14 | 88998 | 68452 | 25270 4 | 0 | 3 235.95/236.08 c 235s | 14 | 89581 | 68952 | 25270 4 | 0 | 3 238.05/238.19 c 237s | 14 | 90274 | 69552 | 25270 4 | 0 | 3 240.25/240.36 c 239s | 14 | 91145 | 70252 | 25270 4 | 0 | 3 242.65/242.72 c 241s | 14 | 91987 | 70952 | 25270 4 | 0 | 3 244.65/244.73 c 243s | 14 | 92574 | 71452 | 25270 4 | 0 | 3 246.95/247.01 c 246s | 14 | 93280 | 72052 | 25270 4 | 0 | 3 249.05/249.18 c 248s | 14 | 94001 | 72652 | 25270 4 | 0 | 3 251.15/251.28 c 250s | 14 | 94593 | 73152 | 25270 4 | 0 | 3 253.35/253.49 c 252s | 14 | 95217 | 73652 | 25270 4 | 0 | 3 255.45/255.59 c 254s | 14 | 95800 | 74152 | 25270 4 | 0 | 3 257.55/257.67 c 256s | 14 | 96433 | 74652 | 25270 4 | 0 | 3 259.85/259.96 c 259s | 14 | 97024 | 75152 | 25270 4 | 0 | 3 262.34/262.43 c 261s | 14 | 97591 | 75652 | 25270 4 | 0 | 3 264.44/264.53 c 263s | 14 | 98045 | 76052 | 25270 4 | 0 | 3 266.74/266.90 c 266s | 14 | 98641 | 76552 | 25270 4 | 0 | 3 269.14/269.22 c 268s | 14 | 99255 | 77052 | 25270 4 | 0 | 3 271.44/271.53 c 270s | 14 | 99829 | 77552 | 25270 4 | 0 | 3 273.65/273.79 c 273s | 14 | 100410 | 78052 | 25270 4 | 0 | 3 276.06/276.19 c 275s | 14 | 101013 | 78552 | 25270 4 | 0 | 3 278.45/278.53 c 277s | 14 | 101604 | 79052 | 25270 4 | 0 | 3 280.65/280.79 c 280s | 14 | 102213 | 79552 | 25270 4 | 0 | 3 282.94/283.01 c 282s | 14 | 102798 | 80052 | 25270 4 | 0 | 3 285.34/285.46 c 284s | 14 | 103411 | 80552 | 25270 4 | 0 | 3 287.64/287.72 c 286s | 14 | 103959 | 81052 | 25270 4 | 0 | 3 289.74/289.81 c 289s | 14 | 104569 | 81552 | 25270 4 | 0 | 3 291.84/291.97 c 291s | 14 | 105213 | 82052 | 25270 4 | 0 | 3 294.04/294.10 c 293s | 14 | 105836 | 82552 | 25270 4 | 0 | 3 296.04/296.14 c 295s | 14 | 106077 | 82752 | 25270 5 | 0 | 3 298.64/298.78 c 297s | 14 | 106803 | 83352 | 25270 5 | 0 | 3 300.84/300.94 c 300s | 14 | 107535 | 83952 | 25270 5 | 0 | 3 303.04/303.15 c 302s | 14 | 108238 | 84552 | 25270 5 | 0 | 3 305.34/305.48 c 304s | 14 | 108976 | 85152 | 25270 5 | 0 | 3 307.54/307.60 c 306s | 14 | 109578 | 85652 | 25270 5 | 0 | 3 309.54/309.61 c 308s | 14 | 110225 | 86152 | 25270 5 | 0 | 3 311.64/311.70 c 310s | 14 | 110819 | 86652 | 25270 5 | 0 | 3 313.64/313.74 c 312s | 14 | 111419 | 87152 | 27798 5 | 0 | 3 315.33/315.44 c 314s | 15 | 112007 | 87632 | 27798 5 | 0 | 3 317.53/317.62 c 316s | 15 | 112831 | 88032 | 27798 5 | 0 | 3 319.83/319.99 c 319s | 15 | 113534 | 88632 | 27798 5 | 0 | 3 322.04/322.19 c 321s | 15 | 114146 | 89132 | 27798 5 | 0 | 3 324.24/324.31 c 323s | 15 | 114736 | 89632 | 27798 5 | 0 | 3 326.44/326.57 c 325s | 15 | 115341 | 90132 | 27798 5 | 0 | 3 328.85/328.93 c 328s | 15 | 115921 | 90632 | 27798 5 | 0 | 3 331.14/331.25 c 330s | 15 | 116500 | 91132 | 27798 5 | 0 | 3 333.44/333.53 c 332s | 15 | 117229 | 91732 | 27798 5 | 0 | 3 335.54/335.60 c 334s | 15 | 117702 | 92132 | 27798 5 | 0 | 3 337.53/337.61 c 336s | 15 | 118191 | 92532 | 27798 5 | 0 | 3 339.63/339.72 c 338s | 15 | 118671 | 92932 | 27798 5 | 0 | 3 342.04/342.16 c 341s | 15 | 119286 | 93432 | 27798 5 | 0 | 3 344.24/344.33 c 343s | 15 | 119770 | 93832 | 27798 5 | 0 | 3 346.54/346.62 c 345s | 15 | 120392 | 94332 | 27798 5 | 0 | 3 348.54/348.66 c 347s | 15 | 121032 | 94832 | 27798 5 | 0 | 3 350.73/350.80 c 350s | 15 | 121812 | 95432 | 27798 5 | 0 | 3 352.73/352.86 c 352s | 15 | 122395 | 95932 | 27798 5 | 0 | 3 354.83/354.91 c 354s | 15 | 122990 | 96432 | 27798 5 | 0 | 3 357.13/357.21 c 356s | 15 | 123603 | 96932 | 27798 5 | 0 | 3 359.33/359.44 c 358s | 15 | 124196 | 97432 | 27798 5 | 0 | 3 361.43/361.58 c 360s | 15 | 124823 | 97932 | 27798 5 | 0 | 3 363.83/363.93 c 363s | 15 | 125403 | 98432 | 27798 5 | 0 | 3 365.93/366.08 c 365s | 15 | 125973 | 98932 | 27798 5 | 0 | 3 368.23/368.35 c 367s | 15 | 126590 | 99432 | 27798 5 | 0 | 3 370.52/370.62 c 369s | 15 | 127198 | 99932 | 27798 5 | 0 | 3 374.43/374.52 c 373s | 15 | 127690 | 100332 | 27798 6 | 0 | 3 376.43/376.56 c 375s | 15 | 128279 | 100832 | 27798 6 | 0 | 3 378.73/378.82 c 378s | 15 | 128983 | 101432 | 27798 6 | 0 | 3 381.03/381.19 c 380s | 15 | 129709 | 102032 | 27798 6 | 0 | 3 383.23/383.38 c 382s | 15 | 130290 | 102532 | 27798 6 | 0 | 3 385.53/385.67 c 384s | 15 | 130960 | 103132 | 27798 6 | 0 | 3 387.83/387.92 c 387s | 15 | 131564 | 103632 | 27798 6 | 0 | 3 390.13/390.29 c 389s | 15 | 132153 | 104132 | 27798 6 | 0 | 3 392.32/392.49 c 391s | 15 | 132863 | 104732 | 27798 6 | 0 | 3 394.62/394.75 c 393s | 15 | 133727 | 105432 | 27798 6 | 0 | 3 396.62/396.79 c 396s | 15 | 134324 | 105932 | 27798 6 | 0 | 3 398.72/398.89 c 398s | 15 | 134950 | 106432 | 27798 6 | 0 | 3 400.92/401.01 c 400s | 15 | 135597 | 106932 | 27798 6 | 0 | 3 403.12/403.24 c 402s | 15 | 136220 | 107432 | 27798 6 | 0 | 3 405.33/405.42 c 404s | 15 | 136845 | 107932 | 27798 6 | 0 | 3 407.43/407.51 c 406s | 15 | 137457 | 108432 | 27798 6 | 0 | 3 409.53/409.68 c 408s | 15 | 138072 | 108932 | 27798 6 | 0 | 3 411.93/412.00 c 411s | 15 | 138684 | 109432 | 27798 6 | 0 | 3 414.13/414.29 c 413s | 15 | 139298 | 109932 | 27798 6 | 0 | 3 416.32/416.49 c 415s | 15 | 139911 | 110432 | 27798 6 | 0 | 3 418.62/418.75 c 417s | 15 | 140611 | 111032 | 27798 6 | 0 | 3 420.92/421.05 c 420s | 15 | 141175 | 111532 | 27798 6 | 0 | 3 423.12/423.20 c 422s | 15 | 141785 | 112032 | 27798 6 | 0 | 3 425.32/425.42 c 424s | 15 | 142373 | 112532 | 27798 6 | 0 | 3 427.32/427.49 c 426s | 15 | 142825 | 112909 | 27798 6 | 0 | 3 427.32/427.49 c #cpu_time = 425.610s 427.32/427.49 c #wall_clock_time = 426.700s 427.32/427.49 c #decision = 142825 427.32/427.49 c #random_decision = 289 427.32/427.49 c #conflict = 112909 427.32/427.49 c #restart = 15 427.32/427.49 c BCD2: relaxing 309 and merging with 16 cores into a new core of size 500: cost of the new core is >=17 427.32/427.49 c lower bound updated to 17 427.32/427.49 c BCD2: 17 <= obj <= 77 427.32/427.49 c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0 427.32/427.49 c BCD2: #sat=4 #unsat=18 bias=18/22 427.32/427.49 c Solving starts ... 427.32/427.49 c ============================[ Search Statistics ]============================ 427.32/427.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 427.32/427.49 c | | | | Limit GC | Var | Constra 427.32/427.49 c ============================================================================= 427.32/427.49 c 0.0s | 0 | 0 | 0 | 27798 0 | 73 | 3 430.42/430.58 c 3.1s | 0 | 1258 | 100 | 27798 0 | 73 | 133 430.42/430.58 c 3.1s | 1 | 1258 | 100 | 27798 0 | 73 | 133 431.72/431.84 c 4.3s | 2 | 2578 | 250 | 27798 0 | 73 | 133 432.92/433.08 c 5.6s | 3 | 3769 | 475 | 27798 0 | 73 | 133 435.22/435.31 c 7.8s | 3 | 5641 | 775 | 27798 0 | 73 | 133 435.32/435.49 c 8.0s | 4 | 5819 | 813 | 27798 0 | 73 | 133 437.82/437.95 c 10.5s | 4 | 8339 | 1313 | 27798 0 | 73 | 133 437.82/437.99 c 10.5s | 5 | 8341 | 1320 | 27798 0 | 73 | 133 440.32/440.47 c 13.0s | 5 | 11268 | 1820 | 27798 0 | 73 | 133 441.52/441.69 c 14.2s | 6 | 12383 | 2081 | 27798 0 | 73 | 133 443.62/443.70 c 16.2s | 6 | 14786 | 2481 | 27798 0 | 73 | 133 445.92/446.09 c 18.6s | 6 | 16742 | 2981 | 27798 0 | 73 | 133 447.12/447.23 c 19.7s | 7 | 18344 | 3223 | 27798 0 | 73 | 133 449.62/449.73 c 22.2s | 7 | 20738 | 3723 | 27798 0 | 73 | 133 451.62/451.73 c 24.2s | 7 | 22199 | 4123 | 27798 0 | 73 | 133 453.62/453.74 c 26.2s | 7 | 24431 | 4523 | 27798 0 | 73 | 133 455.61/455.76 c 28.3s | 7 | 26065 | 4923 | 27798 0 | 73 | 133 455.71/455.83 c 28.3s | 8 | 26094 | 4936 | 27798 0 | 73 | 133 457.71/457.89 c 30.4s | 8 | 28703 | 5336 | 27798 0 | 73 | 133 460.21/460.30 c 32.8s | 8 | 30727 | 5836 | 27798 0 | 73 | 133 462.51/462.65 c 35.2s | 8 | 32445 | 6336 | 27798 0 | 73 | 133 464.91/465.09 c 37.6s | 8 | 34419 | 6836 | 27798 0 | 73 | 133 467.42/467.58 c 40.1s | 8 | 36035 | 7336 | 27798 0 | 73 | 133 468.31/468.40 c 40.9s | 9 | 36701 | 7506 | 27798 0 | 73 | 133 470.61/470.75 c 43.3s | 9 | 38232 | 8006 | 27798 0 | 73 | 133 472.81/472.95 c 45.5s | 9 | 40036 | 8406 | 27798 0 | 73 | 133 475.01/475.13 c 47.6s | 9 | 41777 | 8806 | 27798 0 | 73 | 133 477.21/477.36 c 49.9s | 9 | 43450 | 9206 | 27798 0 | 73 | 133 479.41/479.54 c 52.1s | 9 | 44729 | 9606 | 27798 0 | 73 | 133 481.61/481.76 c 54.3s | 9 | 46355 | 10006 | 27798 0 | 73 | 133 483.81/483.94 c 56.5s | 9 | 48219 | 10406 | 27798 0 | 73 | 133 485.91/486.06 c 58.6s | 9 | 50034 | 10806 | 27798 0 | 73 | 133 488.01/488.16 c 60.7s | 9 | 51619 | 11206 | 27798 0 | 73 | 133 488.91/489.05 c 61.6s | 10 | 52066 | 11361 | 27798 0 | 73 | 133 491.11/491.29 c 63.8s | 10 | 53645 | 11761 | 27798 0 | 73 | 133 493.21/493.37 c 65.9s | 10 | 55341 | 12161 | 27798 0 | 73 | 133 495.31/495.45 c 68.0s | 10 | 56716 | 12561 | 27798 0 | 73 | 133 497.31/497.46 c 70.0s | 10 | 58129 | 12961 | 27798 0 | 73 | 133 499.51/499.66 c 72.2s | 10 | 59816 | 13361 | 27798 0 | 73 | 133 501.61/501.73 c 74.2s | 10 | 61904 | 13761 | 27798 0 | 73 | 133 503.71/503.89 c 76.4s | 10 | 64234 | 14161 | 27798 0 | 73 | 133 505.91/506.04 c 78.6s | 10 | 65958 | 14561 | 27798 0 | 73 | 133 508.00/508.15 c 80.7s | 10 | 67363 | 14961 | 27798 0 | 73 | 133 510.50/510.64 c 83.1s | 10 | 69240 | 15461 | 27798 0 | 73 | 133 512.61/512.79 c 85.3s | 10 | 70836 | 15861 | 27798 0 | 73 | 133 514.81/514.96 c 87.5s | 10 | 72481 | 16261 | 27798 0 | 73 | 133 517.01/517.19 c 89.7s | 10 | 73939 | 16661 | 27798 0 | 73 | 133 519.40/519.52 c 92.0s | 10 | 75846 | 17061 | 27798 0 | 73 | 133 519.90/520.03 c 92.5s | 11 | 76208 | 17144 | 27798 0 | 73 | 133 522.41/522.54 c 95.1s | 11 | 77985 | 17544 | 30578 0 | 73 | 133 524.80/524.93 c 97.4s | 11 | 79821 | 17944 | 30578 0 | 73 | 133 527.10/527.20 c 99.7s | 11 | 81671 | 18344 | 30578 0 | 73 | 133 529.20/529.32 c 101s | 11 | 83069 | 18744 | 30578 0 | 73 | 133 531.50/531.66 c 104s | 11 | 84660 | 19144 | 30578 0 | 73 | 133 533.70/533.85 c 106s | 11 | 86055 | 19544 | 30578 0 | 73 | 133 536.00/536.11 c 108s | 11 | 87346 | 19944 | 30578 0 | 73 | 133 538.20/538.33 c 110s | 11 | 89025 | 20344 | 30578 0 | 73 | 133 540.30/540.41 c 112s | 11 | 90872 | 20744 | 30578 0 | 73 | 133 542.51/542.61 c 115s | 11 | 92311 | 21144 | 30578 0 | 73 | 133 544.81/544.95 c 117s | 11 | 94307 | 21544 | 30578 0 | 73 | 133 547.21/547.32 c 119s | 11 | 96141 | 21944 | 30578 0 | 73 | 133 549.71/549.81 c 122s | 11 | 97851 | 22344 | 30578 0 | 73 | 133 552.11/552.22 c 124s | 11 | 99418 | 22744 | 30578 0 | 73 | 133 554.51/554.64 c 127s | 11 | 101074 | 23144 | 30578 0 | 73 | 133 556.81/556.95 c 129s | 11 | 103207 | 23544 | 30578 0 | 73 | 133 559.21/559.36 c 131s | 11 | 105024 | 23944 | 30578 0 | 73 | 133 561.50/561.66 c 134s | 11 | 106504 | 24344 | 30578 0 | 73 | 133 563.70/563.88 c 136s | 11 | 107636 | 24744 | 30578 0 | 73 | 133 566.00/566.16 c 138s | 11 | 109105 | 25144 | 30578 0 | 73 | 133 568.40/568.54 c 141s | 11 | 110510 | 25544 | 30578 0 | 73 | 133 569.90/570.05 c 142s | 12 | 111115 | 25819 | 30578 0 | 73 | 133 572.10/572.21 c 144s | 12 | 112623 | 26119 | 30578 0 | 73 | 133 574.70/574.83 c 147s | 12 | 114905 | 26519 | 30578 0 | 73 | 133 577.30/577.44 c 149s | 12 | 117124 | 26919 | 30578 0 | 73 | 133 579.40/579.54 c 152s | 12 | 118633 | 27219 | 30578 0 | 73 | 133 582.00/582.14 c 154s | 12 | 120505 | 27619 | 30578 0 | 73 | 133 584.70/584.87 c 157s | 12 | 121883 | 28019 | 30578 0 | 73 | 133 586.70/586.89 c 159s | 12 | 123372 | 28319 | 30578 0 | 73 | 133 589.20/589.36 c 161s | 12 | 125119 | 28719 | 30578 0 | 73 | 133 591.60/591.70 c 164s | 12 | 126201 | 29119 | 30578 0 | 73 | 133 594.20/594.36 c 166s | 12 | 128042 | 29519 | 30578 0 | 73 | 133 596.80/596.91 c 169s | 12 | 129986 | 29919 | 30578 0 | 73 | 133 599.41/599.55 c 172s | 12 | 131376 | 30319 | 30578 0 | 73 | 133 601.90/602.07 c 174s | 12 | 133231 | 30719 | 30578 0 | 73 | 133 603.91/604.09 c 176s | 12 | 134345 | 31019 | 30578 0 | 73 | 133 606.00/606.19 c 178s | 12 | 135405 | 31319 | 30578 0 | 73 | 133 608.70/608.80 c 181s | 12 | 136846 | 31719 | 30578 1 | 73 | 133 610.70/610.89 c 183s | 12 | 138338 | 32019 | 30578 1 | 73 | 133 613.20/613.30 c 185s | 12 | 140105 | 32419 | 30578 1 | 73 | 133 615.60/615.75 c 188s | 12 | 142001 | 32819 | 30578 1 | 73 | 133 617.90/618.08 c 190s | 12 | 143809 | 33219 | 30578 1 | 73 | 133 620.19/620.35 c 192s | 12 | 145284 | 33619 | 30578 1 | 73 | 133 622.39/622.51 c 195s | 12 | 147105 | 34019 | 30578 1 | 73 | 133 624.59/624.80 c 197s | 12 | 148433 | 34419 | 30578 1 | 73 | 133 626.90/627.06 c 199s | 12 | 149920 | 34819 | 30578 1 | 73 | 133 629.10/629.21 c 201s | 12 | 151319 | 35219 | 30578 1 | 73 | 133 631.19/631.35 c 203s | 12 | 152813 | 35619 | 30578 1 | 73 | 133 633.60/633.78 c 206s | 12 | 154480 | 36019 | 30578 1 | 73 | 133 636.09/636.26 c 208s | 12 | 156144 | 36419 | 30578 1 | 73 | 133 638.49/638.64 c 211s | 12 | 158168 | 36819 | 30578 1 | 73 | 133 640.79/640.99 c 213s | 12 | 159721 | 37219 | 30578 1 | 73 | 133 643.19/643.38 c 215s | 12 | 161252 | 37619 | 30578 1 | 73 | 133 645.59/645.72 c 218s | 12 | 162961 | 38019 | 30578 1 | 73 | 133 647.89/648.02 c 220s | 12 | 164594 | 38419 | 30578 1 | 73 | 133 649.99/650.18 c 222s | 12 | 165778 | 38819 | 30578 1 | 73 | 133 650.09/650.25 c 222s | 13 | 165802 | 38832 | 30578 1 | 73 | 133 652.39/652.58 c 225s | 13 | 167453 | 39232 | 30578 1 | 73 | 133 654.79/654.96 c 227s | 13 | 168928 | 39632 | 30578 1 | 73 | 133 656.99/657.19 c 229s | 13 | 170204 | 40032 | 30578 1 | 73 | 133 659.19/659.35 c 231s | 13 | 171636 | 40332 | 30578 1 | 73 | 133 661.69/661.85 c 234s | 13 | 173213 | 40732 | 30578 1 | 73 | 133 664.39/664.56 c 237s | 13 | 174773 | 41132 | 30578 1 | 73 | 133 666.49/666.65 c 239s | 13 | 175974 | 41432 | 30578 1 | 73 | 133 668.58/668.70 c 241s | 13 | 177214 | 41732 | 30578 1 | 73 | 133 670.58/670.70 c 243s | 13 | 178375 | 42032 | 30578 1 | 73 | 133 672.98/673.18 c 245s | 13 | 180052 | 42432 | 30578 1 | 73 | 133 675.48/675.69 c 248s | 13 | 181418 | 42832 | 30578 1 | 73 | 133 678.18/678.30 c 250s | 13 | 183262 | 43232 | 30578 1 | 73 | 133 680.68/680.88 c 253s | 13 | 184650 | 43632 | 30578 1 | 73 | 133 683.28/683.40 c 255s | 13 | 185904 | 44032 | 30578 1 | 73 | 133 685.68/685.80 c 258s | 13 | 187456 | 44432 | 30578 1 | 73 | 133 688.08/688.29 c 260s | 13 | 188936 | 44832 | 30578 1 | 73 | 133 690.69/690.80 c 263s | 13 | 190317 | 45232 | 30578 1 | 73 | 133 693.18/693.31 c 265s | 13 | 192070 | 45632 | 30578 1 | 73 | 133 695.58/695.73 c 268s | 13 | 193457 | 46032 | 30578 1 | 73 | 133 697.98/698.12 c 270s | 13 | 195297 | 46432 | 30578 1 | 73 | 133 699.98/700.14 c 272s | 13 | 196697 | 46732 | 30578 1 | 73 | 133 702.18/702.34 c 274s | 13 | 197826 | 47032 | 30578 1 | 73 | 133 704.18/704.35 c 276s | 13 | 199210 | 47332 | 30578 1 | 73 | 133 706.38/706.52 c 279s | 13 | 200463 | 47632 | 30578 2 | 73 | 133 708.58/708.79 c 281s | 13 | 201913 | 48032 | 30578 2 | 73 | 133 711.08/711.20 c 283s | 13 | 203639 | 48432 | 30578 2 | 73 | 133 713.28/713.48 c 285s | 13 | 205363 | 48832 | 30578 2 | 73 | 133 715.78/715.93 c 288s | 13 | 206925 | 49232 | 30578 2 | 73 | 133 718.07/718.20 c 290s | 13 | 208240 | 49632 | 30578 2 | 73 | 133 720.27/720.48 c 292s | 13 | 209989 | 50032 | 30578 2 | 73 | 133 722.47/722.69 c 295s | 13 | 211386 | 50432 | 30578 2 | 73 | 133 724.78/724.94 c 297s | 13 | 212847 | 50832 | 30578 2 | 73 | 133 727.37/727.50 c 300s | 13 | 215696 | 51232 | 30578 2 | 73 | 133 729.37/729.54 c 302s | 13 | 216905 | 51532 | 30578 2 | 73 | 133 731.87/732.10 c 304s | 13 | 219141 | 51932 | 30578 2 | 73 | 133 734.47/734.70 c 307s | 13 | 220471 | 52332 | 30578 2 | 73 | 133 737.07/737.27 c 309s | 13 | 222568 | 52732 | 30578 2 | 73 | 133 739.67/739.80 c 312s | 13 | 224141 | 53132 | 30578 2 | 73 | 133 742.17/742.33 c 314s | 13 | 225805 | 53532 | 30578 2 | 73 | 133 744.58/744.77 c 317s | 13 | 227160 | 53932 | 30578 2 | 73 | 133 747.07/747.21 c 319s | 13 | 228911 | 54332 | 30578 2 | 73 | 133 749.57/749.73 c 322s | 13 | 230821 | 54732 | 30578 2 | 73 | 133 752.17/752.35 c 324s | 13 | 232579 | 55132 | 30578 2 | 73 | 133 754.77/754.96 c 327s | 13 | 233984 | 55532 | 30578 2 | 73 | 133 757.27/757.40 c 329s | 13 | 235873 | 55932 | 30578 2 | 73 | 133 759.67/759.85 c 332s | 13 | 237701 | 56332 | 30578 2 | 73 | 133 761.97/762.12 c 334s | 13 | 239068 | 56732 | 30578 2 | 73 | 133 764.27/764.41 c 336s | 13 | 240557 | 57132 | 30578 2 | 73 | 133 766.57/766.79 c 339s | 13 | 242080 | 57532 | 30578 2 | 73 | 133 768.87/769.05 c 341s | 13 | 243533 | 57932 | 30578 2 | 73 | 133 771.27/771.49 c 344s | 13 | 245296 | 58332 | 30578 2 | 73 | 133 771.47/771.63 c 344s | 14 | 245322 | 58352 | 30578 2 | 73 | 133 773.97/774.14 c 346s | 14 | 247457 | 58752 | 30578 2 | 73 | 133 776.47/776.68 c 349s | 14 | 249028 | 59152 | 30578 2 | 73 | 133 778.86/779.07 c 351s | 14 | 250839 | 59552 | 30578 2 | 73 | 133 781.26/781.50 c 354s | 14 | 253003 | 59952 | 30578 2 | 73 | 133 783.76/783.98 c 356s | 14 | 254720 | 60352 | 30578 2 | 73 | 133 786.26/786.45 c 358s | 14 | 256453 | 60752 | 30578 2 | 73 | 133 788.57/788.77 c 361s | 14 | 257882 | 61152 | 30578 2 | 73 | 133 791.06/791.26 c 363s | 14 | 259690 | 61552 | 30578 2 | 73 | 133 793.46/793.61 c 366s | 14 | 261415 | 61952 | 30578 2 | 73 | 133 795.76/795.96 c 368s | 14 | 262806 | 62352 | 30578 2 | 73 | 133 797.96/798.18 c 370s | 14 | 263961 | 62752 | 30578 2 | 73 | 133 800.26/800.45 c 372s | 14 | 265063 | 63152 | 30578 2 | 73 | 133 802.36/802.53 c 375s | 14 | 266326 | 63452 | 30578 3 | 73 | 133 804.46/804.62 c 377s | 14 | 267551 | 63752 | 30578 3 | 73 | 133 806.66/806.81 c 379s | 14 | 268969 | 64152 | 30578 3 | 73 | 133 808.86/809.04 c 381s | 14 | 270239 | 64552 | 30578 3 | 73 | 133 811.26/811.47 c 383s | 14 | 272354 | 64952 | 30578 3 | 73 | 133 813.76/813.93 c 386s | 14 | 274195 | 65352 | 30578 3 | 73 | 133 816.26/816.47 c 388s | 14 | 276320 | 65752 | 30578 3 | 73 | 133 818.76/818.96 c 391s | 14 | 277574 | 66152 | 30578 3 | 73 | 133 820.76/820.99 c 393s | 14 | 278821 | 66452 | 30578 3 | 73 | 133 822.86/823.00 c 395s | 14 | 280121 | 66752 | 30578 3 | 73 | 133 825.46/825.61 c 398s | 14 | 281486 | 67152 | 30578 3 | 73 | 133 827.96/828.16 c 400s | 14 | 283317 | 67552 | 30578 3 | 73 | 133 830.46/830.63 c 403s | 14 | 284872 | 67952 | 30578 3 | 73 | 133 833.05/833.22 c 405s | 14 | 286418 | 68352 | 30578 3 | 73 | 133 835.65/835.80 c 408s | 14 | 288208 | 68752 | 30578 3 | 73 | 133 838.25/838.44 c 410s | 14 | 290183 | 69152 | 30578 3 | 73 | 133 840.75/840.91 c 413s | 14 | 292315 | 69552 | 30578 3 | 73 | 133 843.26/843.46 c 415s | 14 | 293653 | 69952 | 30578 3 | 73 | 133 845.66/845.89 c 418s | 14 | 295671 | 70352 | 30578 3 | 73 | 133 848.07/848.26 c 420s | 14 | 297077 | 70752 | 30578 3 | 73 | 133 850.46/850.67 c 423s | 14 | 298676 | 71152 | 30578 3 | 73 | 133 852.86/853.04 c 425s | 14 | 300389 | 71552 | 30578 3 | 73 | 133 855.06/855.29 c 427s | 14 | 302082 | 71952 | 30578 3 | 73 | 133 857.36/857.59 c 430s | 14 | 303589 | 72352 | 30578 3 | 73 | 133 859.76/859.91 c 432s | 14 | 305067 | 72752 | 30578 3 | 73 | 133 862.06/862.22 c 434s | 14 | 306274 | 73152 | 30578 3 | 73 | 133 864.36/864.51 c 437s | 14 | 307755 | 73552 | 30578 3 | 73 | 133 866.56/866.77 c 439s | 14 | 309385 | 73952 | 30578 3 | 73 | 133 868.56/868.79 c 441s | 14 | 310811 | 74252 | 30578 3 | 73 | 133 871.06/871.27 c 443s | 14 | 312796 | 74652 | 30578 3 | 73 | 133 873.66/873.80 c 446s | 14 | 314356 | 75052 | 30578 3 | 73 | 133 876.16/876.36 c 448s | 14 | 315964 | 75452 | 30578 3 | 73 | 133 878.76/878.91 c 451s | 14 | 317933 | 75852 | 30578 3 | 73 | 133 881.26/881.46 c 453s | 14 | 319864 | 76252 | 30578 3 | 73 | 133 883.66/883.84 c 456s | 14 | 321227 | 76652 | 30578 3 | 73 | 133 886.05/886.28 c 458s | 14 | 322802 | 77052 | 30578 3 | 73 | 133 888.55/888.75 c 461s | 14 | 324022 | 77452 | 30578 3 | 73 | 133 891.15/891.33 c 463s | 14 | 325857 | 77852 | 30578 3 | 73 | 133 893.65/893.80 c 466s | 14 | 327674 | 78252 | 30578 3 | 73 | 133 896.05/896.23 c 468s | 14 | 328893 | 78652 | 30578 3 | 73 | 133 898.45/898.65 c 471s | 14 | 330248 | 79052 | 30578 3 | 73 | 133 900.55/900.72 c 473s | 14 | 331567 | 79352 | 30578 3 | 73 | 133 902.55/902.79 c 475s | 14 | 332793 | 79652 | 30578 4 | 73 | 133 905.05/905.26 c 477s | 14 | 334457 | 80052 | 30578 4 | 73 | 133 907.65/907.85 c 480s | 14 | 336055 | 80452 | 30578 4 | 73 | 133 910.25/910.49 c 483s | 14 | 337895 | 80852 | 30578 4 | 73 | 133 912.65/912.85 c 485s | 14 | 339541 | 81252 | 30578 4 | 73 | 133 914.95/915.18 c 487s | 14 | 341129 | 81652 | 30578 4 | 73 | 133 917.25/917.49 c 490s | 14 | 342638 | 82052 | 30578 4 | 73 | 133 919.55/919.79 c 492s | 14 | 343987 | 82452 | 30578 4 | 73 | 133 921.85/922.08 c 494s | 14 | 345976 | 82852 | 33636 4 | 73 | 133 924.34/924.52 c 497s | 14 | 347386 | 83252 | 33636 4 | 73 | 133 926.64/926.80 c 499s | 14 | 349287 | 83652 | 33636 4 | 73 | 133 928.84/929.08 c 501s | 14 | 351211 | 84052 | 33636 4 | 73 | 133 931.04/931.26 c 503s | 14 | 353125 | 84452 | 33636 4 | 73 | 133 933.44/933.60 c 506s | 14 | 355362 | 84852 | 33636 4 | 73 | 133 935.64/935.80 c 508s | 14 | 356814 | 85252 | 33636 4 | 73 | 133 937.84/938.06 c 510s | 14 | 358847 | 85652 | 33636 4 | 73 | 133 940.04/940.21 c 512s | 14 | 360619 | 86052 | 33636 4 | 73 | 133 942.24/942.41 c 514s | 14 | 362271 | 86452 | 33636 4 | 73 | 133 944.33/944.56 c 517s | 14 | 363678 | 86852 | 33636 4 | 73 | 133 946.43/946.60 c 519s | 14 | 365035 | 87252 | 33636 4 | 73 | 133 948.83/949.00 c 521s | 15 | 366422 | 87632 | 33636 4 | 73 | 133 951.03/951.23 c 523s | 15 | 367782 | 87932 | 33636 4 | 73 | 133 953.12/953.30 c 525s | 15 | 368575 | 88232 | 33636 4 | 73 | 133 955.12/955.31 c 527s | 15 | 369860 | 88532 | 33636 4 | 73 | 133 957.52/957.79 c 530s | 15 | 371581 | 88932 | 33636 4 | 73 | 133 960.13/960.38 c 532s | 15 | 373443 | 89332 | 33636 4 | 73 | 133 962.61/962.89 c 535s | 15 | 375232 | 89732 | 33636 4 | 73 | 133 965.11/965.38 c 537s | 15 | 377089 | 90132 | 33636 4 | 73 | 133 967.51/967.78 c 540s | 15 | 378981 | 90532 | 33636 4 | 73 | 133 969.81/970.05 c 542s | 15 | 380681 | 90932 | 33636 4 | 73 | 133 972.01/972.29 c 544s | 15 | 382220 | 91332 | 33636 4 | 73 | 133 974.41/974.63 c 547s | 15 | 383864 | 91732 | 33636 4 | 73 | 133 976.71/976.97 c 549s | 15 | 385635 | 92132 | 33636 4 | 73 | 133 978.91/979.18 c 551s | 15 | 386951 | 92532 | 33636 4 | 73 | 133 981.30/981.50 c 554s | 15 | 388407 | 92932 | 33636 4 | 73 | 133 983.60/983.85 c 556s | 15 | 390053 | 93332 | 33636 4 | 73 | 133 985.90/986.12 c 558s | 15 | 391560 | 93732 | 33636 4 | 73 | 133 988.10/988.35 c 560s | 15 | 392938 | 94132 | 33636 4 | 73 | 133 990.40/990.69 c 563s | 15 | 394528 | 94532 | 33636 4 | 73 | 133 992.89/993.14 c 565s | 15 | 396039 | 94932 | 33636 4 | 73 | 133 995.19/995.46 c 567s | 15 | 397715 | 95332 | 33636 4 | 73 | 133 997.60/997.85 c 570s | 15 | 399883 | 95732 | 33636 4 | 73 | 133 999.80/1000.08 c 572s | 15 | 401547 | 96132 | 33636 4 | 73 | 133 1002.09/1002.33 c 574s | 15 | 402993 | 96532 | 33636 4 | 73 | 133 1004.38/1004.60 c 577s | 15 | 404864 | 96932 | 33636 4 | 73 | 133 1006.48/1006.79 c 579s | 15 | 405976 | 97332 | 33636 4 | 73 | 133 1008.78/1009.07 c 581s | 15 | 407633 | 97732 | 33636 4 | 73 | 133 1010.98/1011.23 c 583s | 15 | 409264 | 98132 | 33636 4 | 73 | 133 1013.38/1013.60 c 586s | 15 | 410498 | 98532 | 33636 5 | 73 | 133 1015.68/1015.99 c 588s | 15 | 411835 | 98932 | 33636 5 | 73 | 133 1017.98/1018.24 c 590s | 15 | 414014 | 99332 | 33636 5 | 73 | 133 1020.18/1020.47 c 592s | 15 | 415608 | 99732 | 33636 5 | 73 | 133 1022.48/1022.71 c 595s | 15 | 417586 | 100132 | 33636 5 | 73 | 133 1024.68/1024.95 c 597s | 15 | 418972 | 100532 | 33636 5 | 73 | 133 1027.07/1027.33 c 599s | 15 | 420661 | 100932 | 33636 5 | 73 | 133 1029.38/1029.67 c 602s | 15 | 422299 | 101332 | 33636 5 | 73 | 133 1031.68/1031.97 c 604s | 15 | 424075 | 101732 | 33636 5 | 73 | 133 1033.97/1034.24 c 606s | 15 | 425796 | 102132 | 33636 5 | 73 | 133 1036.17/1036.45 c 608s | 15 | 427352 | 102532 | 33636 5 | 73 | 133 1038.37/1038.65 c 611s | 15 | 429066 | 102932 | 33636 5 | 73 | 133 1040.67/1040.90 c 613s | 15 | 430582 | 103332 | 33636 5 | 73 | 133 1042.86/1043.12 c 615s | 15 | 432319 | 103732 | 33636 5 | 73 | 133 1045.06/1045.37 c 617s | 15 | 434641 | 104132 | 33636 5 | 73 | 133 1047.26/1047.59 c 620s | 15 | 436197 | 104532 | 33636 5 | 73 | 133 1049.46/1049.73 c 622s | 15 | 437692 | 104932 | 33636 5 | 73 | 133 1051.56/1051.83 c 624s | 15 | 439216 | 105332 | 33636 5 | 73 | 133 1053.66/1053.96 c 626s | 15 | 441151 | 105732 | 33636 5 | 73 | 133 1055.96/1056.20 c 628s | 15 | 442874 | 106132 | 33636 5 | 73 | 133 1058.06/1058.31 c 630s | 15 | 444975 | 106532 | 33636 5 | 73 | 133 1060.16/1060.42 c 632s | 15 | 447006 | 106932 | 33636 5 | 73 | 133 1062.26/1062.59 c 635s | 15 | 448539 | 107332 | 33636 5 | 73 | 133 1064.46/1064.74 c 637s | 15 | 450153 | 107732 | 33636 5 | 73 | 133 1066.55/1066.88 c 639s | 15 | 451490 | 108132 | 33636 5 | 73 | 133 1068.85/1069.18 c 641s | 15 | 453374 | 108532 | 33636 5 | 73 | 133 1071.16/1071.41 c 643s | 15 | 455060 | 108932 | 33636 5 | 73 | 133 1073.36/1073.61 c 646s | 15 | 456673 | 109332 | 33636 5 | 73 | 133 1075.56/1075.87 c 648s | 15 | 458694 | 109732 | 33636 5 | 73 | 133 1077.65/1077.91 c 650s | 15 | 460586 | 110132 | 33636 5 | 73 | 133 1079.85/1080.10 c 652s | 15 | 462373 | 110532 | 33636 5 | 73 | 133 1082.05/1082.34 c 654s | 15 | 463866 | 110932 | 33636 5 | 73 | 133 1084.36/1084.68 c 657s | 15 | 465704 | 111332 | 33636 5 | 73 | 133 1086.66/1086.92 c 659s | 15 | 467663 | 111732 | 33636 5 | 73 | 133 1088.86/1089.17 c 661s | 15 | 469484 | 112132 | 33636 5 | 73 | 133 1091.15/1091.45 c 663s | 15 | 470963 | 112532 | 33636 5 | 73 | 133 1093.45/1093.71 c 666s | 15 | 472670 | 112932 | 33636 5 | 73 | 133 1095.65/1095.91 c 668s | 15 | 474031 | 113332 | 33636 5 | 73 | 133 1097.76/1098.09 c 670s | 15 | 475408 | 113732 | 33636 5 | 73 | 133 1099.86/1100.19 c 672s | 15 | 476870 | 114132 | 33636 5 | 73 | 133 1102.15/1102.41 c 674s | 15 | 478134 | 114532 | 33636 5 | 73 | 133 1104.26/1104.58 c 677s | 15 | 480092 | 114932 | 33636 5 | 73 | 133 1106.46/1106.72 c 679s | 15 | 481960 | 115332 | 33636 5 | 73 | 133 1108.66/1108.92 c 681s | 15 | 483370 | 115732 | 33636 5 | 73 | 133 1111.05/1111.33 c 683s | 15 | 484982 | 116132 | 33636 6 | 73 | 133 1113.15/1113.47 c 685s | 15 | 486312 | 116532 | 33636 6 | 73 | 133 1115.35/1115.67 c 688s | 15 | 487717 | 116932 | 33636 6 | 73 | 133 1117.36/1117.70 c 690s | 15 | 489417 | 117332 | 33636 6 | 73 | 133 1119.45/1119.71 c 692s | 15 | 491093 | 117732 | 33636 6 | 73 | 133 1121.85/1122.16 c 694s | 15 | 492958 | 118232 | 33636 6 | 73 | 133 1124.35/1124.64 c 697s | 15 | 495138 | 118732 | 33636 6 | 73 | 133 1126.45/1126.75 c 699s | 15 | 496508 | 119132 | 33636 6 | 73 | 133 1128.55/1128.86 c 701s | 15 | 498039 | 119532 | 33636 6 | 73 | 133 1130.65/1130.94 c 703s | 15 | 499388 | 119932 | 33636 6 | 73 | 133 1132.75/1133.09 c 705s | 15 | 500798 | 120332 | 33636 6 | 73 | 133 1134.95/1135.23 c 707s | 15 | 502015 | 120732 | 33636 6 | 73 | 133 1137.04/1137.40 c 709s | 15 | 503379 | 121132 | 33636 6 | 73 | 133 1139.24/1139.53 c 712s | 15 | 505031 | 121532 | 33636 6 | 73 | 133 1141.24/1141.58 c 714s | 15 | 506322 | 121932 | 33636 6 | 73 | 133 1143.44/1143.75 c 716s | 15 | 507831 | 122332 | 33636 6 | 73 | 133 1145.74/1146.06 c 718s | 15 | 509090 | 122732 | 33636 6 | 73 | 133 1147.74/1148.08 c 720s | 15 | 510491 | 123132 | 33636 6 | 73 | 133 1150.04/1150.31 c 722s | 15 | 511962 | 123532 | 33636 6 | 73 | 133 1152.24/1152.52 c 725s | 15 | 513444 | 123932 | 33636 6 | 73 | 133 1154.44/1154.71 c 727s | 15 | 514663 | 124332 | 33636 6 | 73 | 133 1156.54/1156.90 c 729s | 15 | 515898 | 124732 | 33636 6 | 73 | 133 1158.74/1159.09 c 731s | 15 | 517176 | 125132 | 33636 6 | 73 | 133 1161.04/1161.35 c 733s | 15 | 518481 | 125532 | 33636 6 | 73 | 133 1163.23/1163.55 c 736s | 15 | 519949 | 125932 | 33636 6 | 73 | 133 1165.43/1165.70 c 738s | 15 | 521079 | 126332 | 33636 6 | 73 | 133 1167.63/1167.92 c 740s | 15 | 522275 | 126732 | 33636 6 | 73 | 133 1169.73/1170.03 c 742s | 15 | 523506 | 127132 | 33636 6 | 73 | 133 1171.83/1172.11 c 744s | 15 | 525138 | 127532 | 33636 6 | 73 | 133 1174.13/1174.46 c 746s | 15 | 526726 | 127932 | 33636 6 | 73 | 133 1176.63/1176.96 c 749s | 15 | 528218 | 128332 | 33636 6 | 73 | 133 1179.04/1179.33 c 751s | 15 | 530340 | 128732 | 33636 6 | 73 | 133 1181.53/1181.81 c 754s | 15 | 532276 | 129232 | 33636 6 | 73 | 133 1183.93/1184.28 c 756s | 15 | 533993 | 129732 | 33636 6 | 73 | 133 1186.23/1186.52 c 759s | 15 | 535047 | 130132 | 33636 6 | 73 | 133 1190.03/1190.30 c 762s | 15 | 536590 | 130532 | 33636 6 | 73 | 133 1192.32/1192.61 c 765s | 15 | 538288 | 130932 | 33636 6 | 73 | 133 1194.82/1195.12 c 767s | 15 | 540095 | 131332 | 33636 6 | 73 | 133 1196.02/1196.37 c 768s | 16 | 541377 | 131552 | 33636 6 | 73 | 133 1198.42/1198.76 c 771s | 16 | 543010 | 131952 | 33636 6 | 73 | 133 1200.62/1200.98 c 773s | 16 | 544953 | 132352 | 33636 6 | 73 | 133 1202.82/1203.14 c 775s | 16 | 546476 | 132752 | 33636 6 | 73 | 133 1205.02/1205.39 c 777s | 16 | 548221 | 133152 | 33636 6 | 73 | 133 1207.41/1207.73 c 780s | 16 | 549965 | 133552 | 33636 7 | 73 | 133 1209.82/1210.17 c 782s | 16 | 551711 | 133952 | 33636 7 | 73 | 133 1211.92/1212.25 c 784s | 16 | 553359 | 134352 | 33636 7 | 73 | 133 1214.01/1214.39 c 786s | 16 | 554679 | 134752 | 33636 7 | 73 | 133 1216.21/1216.54 c 789s | 16 | 556066 | 135152 | 33636 7 | 73 | 133 1218.31/1218.63 c 791s | 16 | 557683 | 135552 | 33636 7 | 73 | 133 1220.51/1220.85 c 793s | 16 | 559576 | 135952 | 33636 7 | 73 | 133 1222.71/1223.02 c 795s | 16 | 561318 | 136352 | 33636 7 | 73 | 133 1224.91/1225.24 c 797s | 16 | 562873 | 136752 | 33636 7 | 73 | 133 1227.11/1227.42 c 799s | 16 | 564367 | 137152 | 33636 7 | 73 | 133 1229.31/1229.67 c 802s | 16 | 566207 | 137552 | 33636 7 | 73 | 133 1231.51/1231.83 c 804s | 16 | 568239 | 137952 | 33636 7 | 73 | 133 1233.71/1234.08 c 806s | 16 | 569894 | 138352 | 33636 7 | 73 | 133 1236.01/1236.32 c 808s | 16 | 571766 | 138752 | 33636 7 | 73 | 133 1238.22/1238.56 c 811s | 16 | 573320 | 139152 | 33636 7 | 73 | 133 1240.42/1240.72 c 813s | 16 | 574936 | 139552 | 33636 7 | 73 | 133 1242.52/1242.83 c 815s | 16 | 576621 | 139952 | 33636 7 | 73 | 133 1244.61/1244.95 c 817s | 16 | 578207 | 140352 | 33636 7 | 73 | 133 1246.71/1247.07 c 819s | 16 | 580031 | 140752 | 33636 7 | 73 | 133 1249.01/1249.36 c 821s | 16 | 581412 | 141152 | 33636 7 | 73 | 133 1251.21/1251.50 c 824s | 16 | 582949 | 141452 | 33636 7 | 73 | 133 1253.21/1253.58 c 826s | 16 | 585198 | 141852 | 33636 7 | 73 | 133 1255.71/1256.06 c 828s | 16 | 587281 | 142352 | 33636 7 | 73 | 133 1257.71/1258.09 c 830s | 16 | 588873 | 142752 | 33636 7 | 73 | 133 1259.91/1260.26 c 832s | 16 | 590671 | 143152 | 33636 7 | 73 | 133 1262.11/1262.48 c 834s | 16 | 592317 | 143552 | 33636 7 | 73 | 133 1264.60/1264.97 c 837s | 16 | 594273 | 143952 | 33636 7 | 73 | 133 1267.10/1267.45 c 839s | 16 | 596115 | 144352 | 33636 7 | 73 | 133 1269.40/1269.71 c 842s | 16 | 597460 | 144752 | 33636 7 | 73 | 133 1271.70/1272.08 c 844s | 16 | 599358 | 145152 | 33636 7 | 73 | 133 1274.10/1274.46 c 846s | 16 | 601019 | 145552 | 33636 7 | 73 | 133 1276.40/1276.70 c 849s | 16 | 602769 | 145952 | 33636 7 | 73 | 133 1278.70/1279.03 c 851s | 16 | 604274 | 146352 | 33636 7 | 73 | 133 1281.10/1281.49 c 853s | 16 | 605953 | 146752 | 33636 7 | 73 | 133 1283.29/1283.69 c 856s | 16 | 607668 | 147152 | 33636 7 | 73 | 133 1285.89/1286.26 c 858s | 16 | 609851 | 147652 | 33636 7 | 73 | 133 1288.39/1288.75 c 861s | 16 | 611675 | 148052 | 33636 7 | 73 | 133 1290.99/1291.35 c 863s | 16 | 613581 | 148452 | 33636 7 | 73 | 133 1292.99/1293.36 c 865s | 16 | 614796 | 148752 | 33636 7 | 73 | 133 1295.09/1295.47 c 867s | 16 | 616147 | 149052 | 33636 7 | 73 | 133 1297.59/1297.90 c 870s | 16 | 618063 | 149452 | 33636 7 | 73 | 133 1300.09/1300.41 c 872s | 16 | 619674 | 149852 | 33636 7 | 73 | 133 1302.68/1303.04 c 875s | 16 | 621801 | 150252 | 33636 7 | 73 | 133 1305.18/1305.51 c 878s | 16 | 623497 | 150652 | 33636 7 | 73 | 133 1307.69/1308.03 c 880s | 16 | 625402 | 151052 | 33636 8 | 73 | 133 1309.89/1310.27 c 882s | 16 | 627206 | 151452 | 33636 8 | 73 | 133 1312.09/1312.42 c 884s | 16 | 628538 | 151852 | 33636 8 | 73 | 133 1314.18/1314.59 c 887s | 16 | 629954 | 152252 | 33636 8 | 73 | 133 1316.27/1316.69 c 889s | 16 | 631601 | 152652 | 33636 8 | 73 | 133 1318.58/1318.92 c 891s | 16 | 632918 | 153052 | 33636 8 | 73 | 133 1320.78/1321.18 c 893s | 16 | 634799 | 153452 | 33636 8 | 73 | 133 1323.08/1323.42 c 895s | 16 | 636457 | 153852 | 33636 8 | 73 | 133 1325.18/1325.60 c 898s | 16 | 638460 | 154252 | 33636 8 | 73 | 133 1327.38/1327.80 c 900s | 16 | 640269 | 154652 | 33636 8 | 73 | 133 1329.58/1329.92 c 902s | 16 | 641884 | 155052 | 33636 8 | 73 | 133 1331.67/1332.04 c 904s | 16 | 643598 | 155452 | 33636 8 | 73 | 133 1333.76/1334.15 c 906s | 16 | 645230 | 155852 | 33636 8 | 73 | 133 1335.86/1336.25 c 908s | 16 | 646620 | 156252 | 33636 8 | 73 | 133 1337.96/1338.30 c 910s | 16 | 647749 | 156652 | 33636 8 | 73 | 133 1340.16/1340.50 c 913s | 16 | 649122 | 157052 | 33636 8 | 73 | 133 1342.16/1342.58 c 915s | 16 | 650266 | 157452 | 33636 8 | 73 | 133 1344.46/1344.83 c 917s | 16 | 651882 | 157852 | 33636 8 | 73 | 133 1346.76/1347.19 c 919s | 16 | 654018 | 158252 | 33636 8 | 73 | 133 1349.06/1349.43 c 921s | 16 | 655651 | 158652 | 33636 8 | 73 | 133 1351.36/1351.77 c 924s | 16 | 657371 | 159052 | 33636 8 | 73 | 133 1353.65/1354.06 c 926s | 16 | 659464 | 159452 | 33636 8 | 73 | 133 1355.85/1356.27 c 928s | 16 | 660588 | 159852 | 33636 8 | 73 | 133 1358.05/1358.50 c 931s | 16 | 662484 | 160252 | 33636 8 | 73 | 133 1360.46/1360.83 c 933s | 16 | 664115 | 160652 | 33636 8 | 73 | 133 1362.65/1363.06 c 935s | 16 | 665686 | 161052 | 33636 8 | 73 | 133 1364.75/1365.17 c 937s | 16 | 667078 | 161452 | 33636 8 | 73 | 133 1366.95/1367.37 c 939s | 16 | 668658 | 161852 | 33636 8 | 73 | 133 1369.05/1369.46 c 941s | 16 | 669957 | 162252 | 33636 8 | 73 | 133 1371.35/1371.75 c 944s | 16 | 671917 | 162652 | 33636 8 | 73 | 133 1373.65/1374.00 c 946s | 16 | 674026 | 163052 | 33636 8 | 73 | 133 1375.85/1376.24 c 948s | 16 | 675795 | 163452 | 33636 8 | 73 | 133 1378.05/1378.48 c 950s | 16 | 677391 | 163852 | 33636 8 | 73 | 133 1380.34/1380.77 c 953s | 16 | 679493 | 164252 | 33636 8 | 73 | 133 1382.64/1383.05 c 955s | 16 | 681734 | 164652 | 33636 8 | 73 | 133 1384.84/1385.28 c 957s | 16 | 683289 | 165052 | 33636 8 | 73 | 133 1387.04/1387.46 c 959s | 16 | 684840 | 165452 | 33636 8 | 73 | 133 1389.34/1389.74 c 962s | 16 | 686935 | 165852 | 33636 8 | 73 | 133 1391.54/1391.94 c 964s | 16 | 688824 | 166252 | 33636 8 | 73 | 133 1393.74/1394.11 c 966s | 16 | 690404 | 166652 | 33636 8 | 73 | 133 1395.84/1396.21 c 968s | 16 | 692302 | 167052 | 33636 8 | 73 | 133 1398.03/1398.41 c 970s | 16 | 694428 | 167452 | 33636 8 | 73 | 133 1400.23/1400.62 c 973s | 16 | 695858 | 167852 | 33636 8 | 73 | 133 1402.63/1403.07 c 975s | 16 | 697282 | 168252 | 33636 9 | 73 | 133 1404.73/1405.11 c 977s | 16 | 699031 | 168652 | 33636 9 | 73 | 133 1407.13/1407.56 c 980s | 16 | 701485 | 169152 | 33636 9 | 73 | 133 1409.63/1410.06 c 982s | 16 | 703207 | 169652 | 33636 9 | 73 | 133 1412.03/1412.42 c 984s | 16 | 704920 | 170152 | 33636 9 | 73 | 133 1414.42/1414.85 c 987s | 16 | 707277 | 170652 | 33636 9 | 73 | 133 1416.92/1417.31 c 989s | 16 | 709265 | 171152 | 33636 9 | 73 | 133 1418.92/1419.35 c 991s | 16 | 711166 | 171552 | 33636 9 | 73 | 133 1421.42/1421.85 c 994s | 16 | 713248 | 172052 | 33636 9 | 73 | 133 1423.52/1423.95 c 996s | 16 | 714739 | 172452 | 33636 9 | 73 | 133 1425.62/1426.03 c 998s | 16 | 716426 | 172852 | 33636 9 | 73 | 133 1427.62/1428.09 c 1000s | 16 | 718224 | 173252 | 33636 9 | 73 | 133 1429.72/1430.11 c 1002s | 16 | 719329 | 173652 | 33636 9 | 73 | 133 1431.71/1432.19 c 1004s | 16 | 720722 | 174052 | 33636 9 | 73 | 133 1433.91/1434.31 c 1006s | 16 | 722239 | 174452 | 33636 9 | 73 | 133 1435.91/1436.32 c 1008s | 16 | 723996 | 174852 | 33636 9 | 73 | 133 1437.91/1438.38 c 1010s | 16 | 725570 | 175252 | 33636 9 | 73 | 133 1440.11/1440.58 c 1013s | 16 | 727103 | 175652 | 33636 9 | 73 | 133 1442.21/1442.67 c 1015s | 16 | 728867 | 176052 | 33636 9 | 73 | 133 1444.40/1444.84 c 1017s | 16 | 730801 | 176452 | 33636 9 | 73 | 133 1448.32/1448.76 c 1021s | 16 | 732746 | 176852 | 33636 9 | 73 | 133 1450.52/1451.00 c 1023s | 16 | 734501 | 177252 | 33636 9 | 73 | 133 1453.01/1453.41 c 1025s | 16 | 737519 | 177752 | 33636 9 | 73 | 133 1455.40/1455.86 c 1028s | 16 | 739833 | 178252 | 33636 9 | 73 | 133 1457.70/1458.19 c 1030s | 16 | 741407 | 178752 | 33636 9 | 73 | 133 1459.80/1460.28 c 1032s | 16 | 743002 | 179152 | 33636 9 | 73 | 133 1461.90/1462.34 c 1034s | 16 | 744679 | 179552 | 33636 9 | 73 | 133 1463.90/1464.36 c 1036s | 16 | 745994 | 179952 | 33636 9 | 73 | 133 1465.91/1466.36 c 1038s | 16 | 747614 | 180352 | 33636 9 | 73 | 133 1468.30/1468.79 c 1041s | 16 | 749626 | 180852 | 33636 9 | 73 | 133 1470.80/1471.20 c 1043s | 16 | 751182 | 181352 | 37000 9 | 73 | 133 1473.29/1473.74 c 1046s | 16 | 752843 | 181852 | 37000 9 | 73 | 133 1475.69/1476.18 c 1048s | 16 | 754808 | 182352 | 37000 9 | 73 | 133 1477.89/1478.33 c 1050s | 16 | 756521 | 182752 | 37000 9 | 73 | 133 1480.09/1480.55 c 1053s | 16 | 758358 | 183152 | 37000 9 | 73 | 133 1482.29/1482.76 c 1055s | 16 | 759792 | 183552 | 37000 9 | 73 | 133 1484.49/1485.00 c 1057s | 16 | 761437 | 183952 | 37000 9 | 73 | 133 1486.80/1487.20 c 1059s | 16 | 762567 | 184352 | 37000 9 | 73 | 133 1488.89/1489.35 c 1061s | 16 | 764084 | 184752 | 37000 9 | 73 | 133 1490.89/1491.39 c 1063s | 16 | 765769 | 185152 | 37000 9 | 73 | 133 1492.99/1493.44 c 1065s | 16 | 767471 | 185552 | 37000 9 | 73 | 133 1495.08/1495.55 c 1068s | 16 | 769511 | 185952 | 37000 9 | 73 | 133 1497.08/1497.55 c 1070s | 16 | 770777 | 186352 | 37000 9 | 73 | 133 1499.08/1499.57 c 1072s | 16 | 772362 | 186752 | 37000 9 | 73 | 133 1501.48/1501.97 c 1074s | 16 | 773899 | 187252 | 37000 9 | 73 | 133 1503.98/1504.44 c 1076s | 16 | 776001 | 187752 | 37000 9 | 73 | 133 1505.98/1506.48 c 1078s | 16 | 777871 | 188152 | 37000 9 | 73 | 133 1508.18/1508.64 c 1081s | 16 | 779650 | 188552 | 37000 9 | 73 | 133 1510.48/1510.96 c 1083s | 16 | 781261 | 188952 | 37000 10 | 73 | 133 1512.78/1513.22 c 1085s | 16 | 783336 | 189352 | 37000 10 | 73 | 133 1515.18/1515.66 c 1088s | 16 | 785561 | 189852 | 37000 10 | 73 | 133 1517.68/1518.15 c 1090s | 16 | 787911 | 190352 | 37000 10 | 73 | 133 1519.78/1520.26 c 1092s | 16 | 789897 | 190752 | 37000 10 | 73 | 133 1521.88/1522.35 c 1094s | 16 | 791381 | 191152 | 37000 10 | 73 | 133 1524.37/1524.82 c 1097s | 16 | 793401 | 191652 | 37000 10 | 73 | 133 1526.77/1527.28 c 1099s | 16 | 795402 | 192152 | 37000 10 | 73 | 133 1529.27/1529.73 c 1102s | 16 | 797194 | 192652 | 37000 10 | 73 | 133 1531.27/1531.76 c 1104s | 16 | 799218 | 193052 | 37000 10 | 73 | 133 1533.37/1533.82 c 1106s | 16 | 801352 | 193452 | 37000 10 | 73 | 133 1535.77/1536.29 c 1108s | 16 | 803378 | 193952 | 37000 10 | 73 | 133 1538.27/1538.73 c 1111s | 16 | 805419 | 194452 | 37000 10 | 73 | 133 1540.68/1541.18 c 1113s | 16 | 807919 | 194952 | 37000 10 | 73 | 133 1543.17/1543.64 c 1116s | 16 | 809624 | 195452 | 37000 10 | 73 | 133 1545.67/1546.13 c 1118s | 16 | 811376 | 195952 | 37000 10 | 73 | 133 1548.07/1548.55 c 1121s | 16 | 813354 | 196452 | 37000 10 | 73 | 133 1550.47/1550.92 c 1123s | 16 | 815645 | 196952 | 37000 10 | 73 | 133 1552.66/1553.15 c 1125s | 17 | 817479 | 197432 | 37000 10 | 73 | 133 1555.56/1556.03 c 1128s | 17 | 818725 | 197632 | 37000 10 | 73 | 133 1557.86/1558.38 c 1130s | 17 | 820407 | 197932 | 37000 10 | 73 | 133 1560.07/1560.56 c 1133s | 17 | 821915 | 198232 | 37000 10 | 73 | 133 1562.37/1562.87 c 1135s | 17 | 824368 | 198632 | 37000 10 | 73 | 133 1564.66/1565.14 c 1137s | 17 | 826366 | 199032 | 37000 10 | 73 | 133 1566.86/1567.34 c 1139s | 17 | 828088 | 199432 | 37000 10 | 73 | 133 1569.16/1569.61 c 1142s | 17 | 830251 | 199832 | 37000 10 | 73 | 133 1571.26/1571.79 c 1144s | 17 | 831900 | 200232 | 37000 10 | 73 | 133 1573.45/1573.98 c 1146s | 17 | 833228 | 200632 | 37000 10 | 73 | 133 1575.86/1576.32 c 1148s | 17 | 834933 | 201032 | 37000 10 | 73 | 133 1578.06/1578.54 c 1151s | 17 | 836837 | 201432 | 37000 10 | 73 | 133 1580.26/1580.75 c 1153s | 17 | 838636 | 201832 | 37000 10 | 73 | 133 1582.46/1582.93 c 1155s | 17 | 840293 | 202232 | 37000 10 | 73 | 133 1584.55/1585.09 c 1157s | 17 | 841652 | 202632 | 37000 10 | 73 | 133 1586.75/1587.29 c 1159s | 17 | 843530 | 203032 | 37000 10 | 73 | 133 1589.25/1589.76 c 1162s | 17 | 845359 | 203532 | 37000 10 | 73 | 133 1591.75/1592.20 c 1164s | 17 | 847009 | 204032 | 37000 10 | 73 | 133 1593.95/1594.49 c 1166s | 17 | 848570 | 204532 | 37000 10 | 73 | 133 1596.35/1596.89 c 1169s | 17 | 850030 | 205032 | 37000 10 | 73 | 133 1599.65/1600.12 c 1172s | 17 | 851537 | 205432 | 37000 10 | 73 | 133 1601.95/1602.44 c 1174s | 17 | 852740 | 205732 | 37000 10 | 73 | 133 1603.95/1604.47 c 1176s | 17 | 854137 | 206032 | 37000 10 | 73 | 133 1606.35/1606.87 c 1179s | 17 | 855871 | 206432 | 37000 10 | 73 | 133 1608.75/1609.25 c 1181s | 17 | 857975 | 206832 | 37000 10 | 73 | 133 1611.25/1611.73 c 1184s | 17 | 859438 | 207232 | 37000 10 | 73 | 133 1613.85/1614.32 c 1186s | 17 | 861032 | 207632 | 37000 10 | 73 | 133 1616.15/1616.65 c 1189s | 17 | 862233 | 207932 | 37000 11 | 73 | 133 1618.35/1618.85 c 1191s | 17 | 864048 | 208332 | 37000 11 | 73 | 133 1620.84/1621.37 c 1193s | 17 | 865993 | 208832 | 37000 11 | 73 | 133 1623.34/1623.83 c 1196s | 17 | 867924 | 209332 | 37000 11 | 73 | 133 1625.84/1626.36 c 1198s | 17 | 869614 | 209732 | 37000 11 | 73 | 133 1627.94/1628.44 c 1200s | 17 | 871244 | 210132 | 37000 11 | 73 | 133 1630.34/1630.81 c 1203s | 17 | 872981 | 210632 | 37000 11 | 73 | 133 1632.84/1633.32 c 1205s | 17 | 874652 | 211132 | 37000 11 | 73 | 133 1635.04/1635.58 c 1208s | 17 | 876323 | 211532 | 37000 11 | 73 | 133 1637.34/1637.80 c 1210s | 17 | 878356 | 211932 | 37000 11 | 73 | 133 1639.44/1639.94 c 1212s | 17 | 880431 | 212332 | 37000 11 | 73 | 133 1641.54/1642.07 c 1214s | 17 | 882557 | 212732 | 37000 11 | 73 | 133 1643.74/1644.25 c 1216s | 17 | 884323 | 213132 | 37000 11 | 73 | 133 1645.94/1646.43 c 1218s | 17 | 886248 | 213532 | 37000 11 | 73 | 133 1648.04/1648.59 c 1221s | 17 | 887786 | 213932 | 37000 11 | 73 | 133 1650.24/1650.71 c 1223s | 17 | 889269 | 214332 | 37000 11 | 73 | 133 1652.24/1652.79 c 1225s | 17 | 890353 | 214732 | 37000 11 | 73 | 133 1654.54/1655.02 c 1227s | 17 | 891972 | 215132 | 37000 11 | 73 | 133 1656.64/1657.13 c 1229s | 17 | 893398 | 215532 | 37000 11 | 73 | 133 1658.84/1659.33 c 1231s | 17 | 894788 | 215932 | 37000 11 | 73 | 133 1660.84/1661.37 c 1233s | 17 | 896142 | 216332 | 37000 11 | 73 | 133 1663.04/1663.59 c 1236s | 17 | 897464 | 216732 | 37000 11 | 73 | 133 1665.44/1665.95 c 1238s | 17 | 899055 | 217132 | 37000 11 | 73 | 133 1668.04/1668.55 c 1241s | 17 | 900598 | 217532 | 37000 11 | 73 | 133 1670.34/1670.82 c 1243s | 17 | 902517 | 217932 | 37000 11 | 73 | 133 1672.74/1673.21 c 1245s | 17 | 904052 | 218332 | 37000 11 | 73 | 133 1675.04/1675.55 c 1248s | 17 | 905658 | 218732 | 37000 11 | 73 | 133 1677.24/1677.77 c 1250s | 17 | 907138 | 219132 | 37000 11 | 73 | 133 1679.53/1680.04 c 1252s | 17 | 908537 | 219532 | 37000 11 | 73 | 133 1681.83/1682.31 c 1254s | 17 | 909957 | 219932 | 37000 11 | 73 | 133 1684.23/1684.73 c 1257s | 17 | 911419 | 220332 | 37000 11 | 73 | 133 1686.63/1687.10 c 1259s | 17 | 913047 | 220732 | 37000 11 | 73 | 133 1688.83/1689.34 c 1261s | 17 | 914659 | 221132 | 37000 11 | 73 | 133 1691.13/1691.61 c 1264s | 17 | 916367 | 221532 | 37000 11 | 73 | 133 1693.43/1693.95 c 1266s | 17 | 918308 | 221932 | 37000 11 | 73 | 133 1695.63/1696.20 c 1268s | 17 | 920050 | 222332 | 37000 11 | 73 | 133 1697.94/1698.43 c 1270s | 17 | 921887 | 222732 | 37000 11 | 73 | 133 1700.14/1700.67 c 1273s | 17 | 923555 | 223132 | 37000 11 | 73 | 133 1702.34/1702.90 c 1275s | 17 | 925010 | 223532 | 37000 11 | 73 | 133 1704.54/1705.05 c 1277s | 17 | 926510 | 223932 | 37000 11 | 73 | 133 1706.84/1707.31 c 1279s | 17 | 927880 | 224332 | 37000 11 | 73 | 133 1708.94/1709.45 c 1281s | 17 | 929076 | 224732 | 37000 11 | 73 | 133 1711.13/1711.68 c 1284s | 17 | 930632 | 225132 | 37000 11 | 73 | 133 1713.23/1713.77 c 1286s | 17 | 931788 | 225532 | 37000 11 | 73 | 133 1715.53/1716.02 c 1288s | 17 | 933416 | 225932 | 37000 11 | 73 | 133 1717.73/1718.28 c 1290s | 17 | 935230 | 226332 | 37000 11 | 73 | 133 1720.03/1720.52 c 1293s | 17 | 937101 | 226732 | 37000 11 | 73 | 133 1722.03/1722.53 c 1295s | 17 | 938178 | 227032 | 37000 12 | 73 | 133 1724.13/1724.62 c 1297s | 17 | 939460 | 227432 | 37000 12 | 73 | 133 1726.13/1726.65 c 1299s | 17 | 941374 | 227832 | 37000 12 | 73 | 133 1728.63/1729.10 c 1301s | 17 | 943358 | 228332 | 37000 12 | 73 | 133 1730.93/1731.49 c 1304s | 17 | 945661 | 228832 | 37000 12 | 73 | 133 1733.32/1733.87 c 1306s | 17 | 947444 | 229332 | 37000 12 | 73 | 133 1735.72/1736.21 c 1308s | 17 | 948884 | 229832 | 37000 12 | 73 | 133 1737.92/1738.47 c 1310s | 17 | 950428 | 230232 | 37000 12 | 73 | 133 1740.12/1740.61 c 1313s | 17 | 952194 | 230632 | 37000 12 | 73 | 133 1742.22/1742.73 c 1315s | 17 | 953801 | 231032 | 37000 12 | 73 | 133 1744.32/1744.84 c 1317s | 17 | 955482 | 231432 | 37000 12 | 73 | 133 1746.43/1746.97 c 1319s | 17 | 957000 | 231832 | 37000 12 | 73 | 133 1748.53/1749.10 c 1321s | 17 | 958580 | 232232 | 37000 12 | 73 | 133 1750.62/1751.12 c 1323s | 17 | 960004 | 232632 | 37000 12 | 73 | 133 1753.12/1753.64 c 1326s | 17 | 961595 | 233132 | 37000 12 | 73 | 133 1755.13/1755.67 c 1328s | 17 | 963110 | 233532 | 37000 12 | 73 | 133 1757.62/1758.16 c 1330s | 17 | 964755 | 234032 | 37000 12 | 73 | 133 1759.82/1760.39 c 1332s | 17 | 966308 | 234432 | 37000 12 | 73 | 133 1762.02/1762.53 c 1335s | 17 | 967990 | 234832 | 37000 12 | 73 | 133 1764.03/1764.57 c 1337s | 17 | 969502 | 235232 | 37000 12 | 73 | 133 1766.12/1766.66 c 1339s | 17 | 971105 | 235632 | 37000 12 | 73 | 133 1768.22/1768.76 c 1341s | 17 | 972465 | 236032 | 37000 12 | 73 | 133 1770.32/1770.87 c 1343s | 17 | 974015 | 236432 | 37000 12 | 73 | 133 1772.42/1772.93 c 1345s | 17 | 975432 | 236832 | 37000 12 | 73 | 133 1774.42/1774.94 c 1347s | 17 | 976841 | 237232 | 37000 12 | 73 | 133 1776.92/1777.40 c 1349s | 17 | 978521 | 237732 | 37000 12 | 73 | 133 1779.02/1779.52 c 1352s | 17 | 980134 | 238132 | 37000 12 | 73 | 133 1781.22/1781.72 c 1354s | 17 | 981922 | 238532 | 37000 12 | 73 | 133 1783.31/1783.85 c 1356s | 17 | 983681 | 238932 | 37000 12 | 73 | 133 1785.51/1786.03 c 1358s | 17 | 985149 | 239332 | 37000 12 | 73 | 133 1787.51/1788.05 c 1360s | 17 | 986718 | 239732 | 37000 12 | 73 | 133 1789.91/1790.47 c 1362s | 17 | 988546 | 240232 | 37000 12 | 73 | 133 1792.01/1792.51 c 1365s | 17 | 990084 | 240632 | 37000 12 | 73 | 133 1794.01/1794.52 c 1367s | 17 | 991624 | 241032 | 37000 12 | 73 | 133 1796.11/1796.64 c 1369s | 17 | 993442 | 241432 | 37000 12 | 73 | 133 1798.21/1798.78 c 1371s | 17 | 994826 | 241832 | 37000 12 | 73 | 133
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-4106595-1466274319/watcher-4106595-1466274319 -o /tmp/evaluation-result-4106595-1466274319/solver-4106595-1466274319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106595-1466274319.opb pid=10065 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.17 2.17 3/179 10068 /proc/meminfo: memFree=30172992/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=630204 CPUtime=0 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 2334 0 0 0 0 0 0 0 20 0 4 0 29482022 645328896 3205 33554432000 4194304 16246674 140735953463472 140735953462896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10068/statm: 158319 3214 441 2943 0 155213 0 [pid=10068/tid=10069] ppid=10065 vsize=674236 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 690417664 3374 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=678332 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 694611968 3393 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=682428 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29482022 698806272 3408 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100124 s] /proc/loadavg: 2.16 2.17 2.17 3/179 10068 /proc/meminfo: memFree=30172992/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1223236 CPUtime=0.09 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 23348 0 0 0 5 4 0 0 20 0 4 0 29482022 1252593664 24166 33554432000 4194304 16246674 140735953463472 140735953462784 5518385 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10068/statm: 305809 24166 835 2943 0 302703 0 [pid=10068/tid=10069] ppid=10065 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1252593664 24166 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1252593664 24166 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1252593664 24166 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1223236 [startup+0.200533 s] /proc/loadavg: 2.16 2.17 2.17 3/179 10068 /proc/meminfo: memFree=30172992/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1223236 CPUtime=0.19 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 33836 0 0 0 13 6 0 0 20 0 4 0 29482022 1252593664 34655 33554432000 4194304 16246674 140735953463472 140735953445376 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 305809 34659 884 2943 0 302703 0 [pid=10068/tid=10069] ppid=10065 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1252593664 34662 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1252593664 34666 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1252593664 34670 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1223236 [startup+0.300486 s] /proc/loadavg: 2.16 2.17 2.17 3/179 10068 /proc/meminfo: memFree=30172992/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1296964 CPUtime=0.29 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 48330 0 0 0 22 7 0 0 20 0 4 0 29482022 1328091136 49149 33554432000 4194304 16246674 140735953463472 140735953445376 5531437 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 324241 49157 894 2943 0 321135 0 [pid=10068/tid=10069] ppid=10065 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1328091136 49162 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1328091136 49168 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1328091136 49173 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1296964 [startup+0.700409 s] /proc/loadavg: 2.16 2.17 2.17 3/179 10068 /proc/meminfo: memFree=30172992/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1307204 CPUtime=0.68 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 65858 0 0 0 59 9 0 0 20 0 4 0 29482022 1338576896 66676 33554432000 4194304 16246674 140735953463472 140735953445376 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 326801 66682 909 2943 0 323695 0 [pid=10068/tid=10069] ppid=10065 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1338576896 66686 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1338576896 66690 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1338576896 66694 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1307204 [startup+1.50041 s] /proc/loadavg: 2.16 2.17 2.17 3/183 10072 /proc/meminfo: memFree=29594380/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1308228 CPUtime=1.48 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 192265 0 0 0 123 25 0 0 20 0 4 0 29482022 1339625472 193083 33554432000 4194304 16246674 140735953463472 140735953445376 5523288 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 327057 193083 911 2943 0 323951 0 [pid=10068/tid=10069] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193083 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193083 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193083 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1308228 [startup+3.10042 s] /proc/loadavg: 2.16 2.17 2.17 3/183 10072 /proc/meminfo: memFree=29401932/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1308228 CPUtime=3.08 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 192416 0 0 0 283 25 0 0 20 0 4 0 29482022 1339625472 193234 33554432000 4194304 16246674 140735953463472 140735953445376 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 327057 193234 911 2943 0 323951 0 [pid=10068/tid=10069] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193234 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193234 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193234 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1308228 [startup+6.30042 s] /proc/loadavg: 2.14 2.17 2.17 3/183 10072 /proc/meminfo: memFree=29401580/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1308228 CPUtime=6.28 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 192419 0 0 0 603 25 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140735953445376 13954619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 327057 193237 914 2943 0 323951 0 [pid=10068/tid=10069] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.13 2.17 2.17 3/183 10072 /proc/meminfo: memFree=29401596/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 192419 0 0 0 1243 26 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140735953445376 13966160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 327057 193237 914 2943 0 323951 0 [pid=10068/tid=10069] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.10 2.16 2.17 3/183 10072 /proc/meminfo: memFree=29402264/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1308228 CPUtime=25.48 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 192419 0 0 0 2522 26 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140735953445376 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 327057 193237 914 2943 0 323951 0 [pid=10068/tid=10069] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 193237 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.13 2.16 2.17 3/183 10072 /proc/meminfo: memFree=29214804/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1308228 CPUtime=51.07 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 239285 0 0 0 5075 32 0 0 20 0 4 0 29482022 1339625472 240103 33554432000 4194304 16246674 140735953463472 140735953445376 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 327057 240103 916 2943 0 323951 0 [pid=10068/tid=10069] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 240103 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 240103 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1339625472 240103 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1308228 [startup+102.301 s] /proc/loadavg: 2.25 2.18 2.18 3/183 10073 /proc/meminfo: memFree=29109500/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 265537 0 0 0 10190 38 0 0 20 0 4 0 29482022 1354305536 266355 33554432000 4194304 16246674 140735953463472 140735953445376 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 330641 266355 918 2943 0 327535 0 [pid=10068/tid=10069] ppid=10065 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1354305536 266355 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1354305536 266355 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1354305536 266355 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1339972 [startup+1362.3 s] /proc/loadavg: 2.21 2.16 2.17 3/183 10153 /proc/meminfo: memFree=29082000/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1339972 CPUtime=1361.95 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 276407 0 0 0 136141 54 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140735953445376 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 334993 277011 918 2943 0 331887 0 [pid=10068/tid=10069] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1339972 [startup+1422.3 s] /proc/loadavg: 2.20 2.16 2.17 3/183 10154 /proc/meminfo: memFree=29082028/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1339972 CPUtime=1421.93 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 276447 0 0 0 142139 54 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140735953445376 5676803 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 334993 277011 918 2943 0 331887 0 [pid=10068/tid=10069] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1339972 [startup+1482.3 s] /proc/loadavg: 2.26 2.18 2.17 3/182 10155 /proc/meminfo: memFree=29081700/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1339972 CPUtime=1481.89 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 276488 0 0 0 148134 55 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140735953445376 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 334993 277011 918 2943 0 331887 0 [pid=10068/tid=10069] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1372131328 277011 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1339972 [startup+1542.31 s] /proc/loadavg: 2.25 2.19 2.18 3/184 10160 /proc/meminfo: memFree=29074596/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1348164 CPUtime=1541.88 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 278347 0 0 0 154133 55 0 0 20 0 4 0 29482022 1380519936 278832 33554432000 4194304 16246674 140735953463472 140735953445376 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 337041 278832 918 2943 0 333935 0 [pid=10068/tid=10069] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 278832 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 278832 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 278832 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1348164 [startup+1602.3 s] /proc/loadavg: 2.19 2.18 2.18 3/183 10161 /proc/meminfo: memFree=29073976/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1348164 CPUtime=1601.85 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 278602 0 0 0 160129 56 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140735953445376 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 337041 279059 918 2943 0 333935 0 [pid=10068/tid=10069] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1348164 [startup+1662.3 s] /proc/loadavg: 2.19 2.18 2.18 3/183 10162 /proc/meminfo: memFree=29071996/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1348164 CPUtime=1661.84 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 278602 0 0 0 166128 56 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140735953445376 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 337041 279059 918 2943 0 333935 0 [pid=10068/tid=10069] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1348164 [startup+1722.3 s] /proc/loadavg: 2.13 2.16 2.17 3/183 10163 /proc/meminfo: memFree=29071824/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1348164 CPUtime=1721.83 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 278602 0 0 0 172127 56 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140735953445376 12874961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 337041 279059 918 2943 0 333935 0 [pid=10068/tid=10069] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1348164 [startup+1782.3 s] /proc/loadavg: 2.15 2.16 2.17 3/183 10164 /proc/meminfo: memFree=29071992/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1348164 CPUtime=1781.82 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 278602 0 0 0 178126 56 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140735953445376 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 337041 279059 918 2943 0 333935 0 [pid=10068/tid=10069] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1348164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.16 2.17 3/183 10165 /proc/meminfo: memFree=29072084/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1348164 CPUtime=1800.01 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 278602 0 0 0 179945 56 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140735953445376 6020668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 337041 279059 918 2943 0 333935 0 [pid=10068/tid=10069] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1348164 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 10068 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.16 2.17 3/183 10165 /proc/meminfo: memFree=29072084/32872528 swapFree=526336/559040 [pid=10068] ppid=10065 vsize=1348164 CPUtime=1800.01 cores=0,2,4,6 /proc/10068/stat : 10068 (toysat) R 10065 10068 28898 0 -1 4202496 278602 0 0 0 179945 56 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140735953445376 6020668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10068/statm: 337041 279059 918 2943 0 333935 0 [pid=10068/tid=10069] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10069/stat : 10069 (toysat) S 10065 10068 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140658044022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10068/tid=10070] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10070/stat : 10070 (toysat) S 10065 10068 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657964330224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10068/tid=10071] ppid=10065 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/10068/task/10071/stat : 10071 (toysat) S 10065 10068 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29482022 1380519936 279059 33554432000 4194304 16246674 140735953463472 140657953856688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1348164 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.46 CPU system time (s): 0.565913 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1348164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.565913 maximum resident set size= 1116236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278602 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= 376 involuntary context switches= 1995 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.9471 second user time and 7.14791 second system time The end
Begin job on node106 at 2016-06-18 20:25:19 IDJOB=4106595 IDBENCH=48123 IDSOLVER=2542 FILE ID=node106/4106595-1466274319 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106595-1466274319/watcher-4106595-1466274319 -o /tmp/evaluation-result-4106595-1466274319/solver-4106595-1466274319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106595-1466274319.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 08f3a00099e19d384504c40fc611777e RANDOM SEED=996524623 node106.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.073 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.14 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.073 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.073 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.073 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.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.38 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.073 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: 30173900 kB Buffers: 96916 kB Cached: 198472 kB SwapCached: 1736 kB Active: 1195464 kB Inactive: 197380 kB Active(anon): 1095844 kB Inactive(anon): 4000 kB Active(file): 99620 kB Inactive(file): 193380 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16380 kB Writeback: 0 kB AnonPages: 1656064 kB Mapped: 10504 kB Shmem: 0 kB Slab: 612900 kB SReclaimable: 56632 kB SUnreclaim: 556268 kB KernelStack: 1464 kB PageTables: 6976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1797528 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1120256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node106 at 2016-06-18 20:55:20