Trace number 4079460

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT30 420.124 420.189

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM5084bd7d25dcb1d535d550da78b2db16
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark7.58285
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved YES
Number of variables45
Total number of constraints331
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint45
Number of terms in the objective function 45
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 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-06T16:42:21+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-4079460-1465224141.opb"]
0.00/0.01	c use --random-gen="1515025490 4158242239 1588741983 3952958478 687133457 4040000631 4174196341 2024652076 3965414965 3754183085 2470993038 716749251 3180191569 689076 3192591707 2716139720 1628140684 4105092032 1916262646 2199065445 2507662959 3163949452 1122842646 898121729 3527517590 752604463 3868787710 2018033496 4138344766 716434384 2421826447 1414654144 237913538 353936085 1209817471 2949273129 1653299827 2790104770 1819271576 2458563255 232330797 2354826776 964417091 11591929 1025167687 2973904745 1283340379 3447769407 88128365 1330566596 1593941527 955076764 3547053027 1483308896 2926878749 3928785339 3920772638 396278288 1163964403 3916017084 1230339880 4023869770 2525081770 1292793142 2184417687 1119148227 2131301317 3284662460 1479168071 55138922 2791082462 1810426989 1298996802 3683596094 2446061427 2669180173 3687415475 1973375118 658850834 4023106158 4164867231 601081208 776067608 3451440668 2316799261 3883756318 4238857272 2694066710 2896529297 808101140 861900653 1228300363 1294839511 2096630992 487505676 3431892740 3228884033 4237094374 2560031436 275616546 3067104417 2297699754 2266437609 1217240930 3133408872 2836309268 3818243849 3483333748 4145458207 2748324501 3275596017 2080075007 2997791959 871860084 1732074731 3277816209 2375457843 3269948120 1345416688 1389771365 413335197 2999136707 1470515135 2495808979 3221391677 1635311304 313595603 696164125 3653537948 936602397 4183733983 966678157 3941361315 2885684412 1395200830 855820512 1951377734 3225398633 3309872170 470812646 3363880339 1868115358 3643482552 2568948825 1222009581 3864424495 1654393347 2690495888 980291807 1673944729 914719477 863253690 3670901185 2750651541 1169876607 2467601721 2981363919 2512743637 683484218 2281013631 1067060546 754093117 1274561776 4097831727 578397221 4088237331 97845018 1591787573 2104207029 1722123564 1597249255 3797124169 4158508188 669664171 2543460107 458816515 222638777 1896420745 1133305376 1460756679 1001528516 2973467942 1110930516 614229594 2648809835 2194970995 397518074 1813780879 3018452764 2394075126 1463659100 308281405 2728199531 1788037200 214959218 2076770173 3779776446 3822453277 3854226714 3516483127 1337514578 3829592283 2882155535 568358906 22445516 2092249821 2044111067 2237908781 1223540399 2809334156 3450224966 758768797 1335338355 1141684168 3510799002 272653121 2836369288 2386723089 1218675218 785316156 2989786819 3243162561 1808627827 2417308648 2162904252 1623508635 2600205804 1426526628 3321607493 535067705 4198504162 3236947250 1928464127 474166523 769910739 3676102384 1628759025 1691016425 3340365230 3726799173 831288044 3058173524 1531761141 2794979597 1489030610 1352107896 600563051 2233527703 1053305885 3341694366 239675432 1808199329 1108513574 2727642126 2873808741 1109377606 255 362436" option to reproduce the execution
0.00/0.01	c #vars 45
0.00/0.01	c #constraints 331
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       45 |        0 |      125      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 45
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	o 45
0.00/0.02	c BCD2: updating upper bound: 45 -> 44
0.00/0.02	c BCD2: 0 <= obj <= 44
0.00/0.02	c BCD2: #cores=0, #unrelaxed=45, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |        6 |        0 |      125      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 6
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02	c lower bound updated to 1
0.00/0.02	c BCD2: 1 <= obj <= 44
0.00/0.02	c BCD2: #cores=1, #unrelaxed=42, #relaxed=3, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        0 |        1
0.00/0.02	c  0.0s |       0 |        6 |        0 |      125      0 |        0 |        1
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 6
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02	c lower bound updated to 2
0.00/0.02	c BCD2: 2 <= obj <= 44
0.00/0.02	c BCD2: #cores=2, #unrelaxed=39, #relaxed=6, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        0 |        2
0.00/0.02	c  0.0s |       0 |        6 |        0 |      125      0 |        0 |        2
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 6
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02	c lower bound updated to 3
0.00/0.02	c BCD2: 3 <= obj <= 44
0.00/0.02	c BCD2: #cores=3, #unrelaxed=36, #relaxed=9, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        0 |        3
0.00/0.02	c  0.0s |       0 |        6 |        0 |      125      0 |        0 |        3
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 6
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02	c lower bound updated to 4
0.00/0.02	c BCD2: 4 <= obj <= 44
0.00/0.02	c BCD2: #cores=4, #unrelaxed=33, #relaxed=12, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        0 |        4
0.00/0.02	c  0.0s |       0 |       13 |        0 |      125      0 |        0 |        4
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 13
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02	c lower bound updated to 5
0.00/0.02	c BCD2: 5 <= obj <= 44
0.00/0.02	c BCD2: #cores=5, #unrelaxed=30, #relaxed=15, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        0 |        5
0.00/0.02	c  0.0s |       0 |       13 |        0 |      125      0 |        0 |        5
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 13
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02	c lower bound updated to 6
0.00/0.02	c BCD2: 6 <= obj <= 44
0.00/0.02	c BCD2: #cores=6, #unrelaxed=27, #relaxed=18, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        0 |        6
0.00/0.02	c  0.0s |       0 |       13 |        2 |      125      0 |        0 |        6
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 13
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 2
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: relaxing 3 and merging with 4 cores into a new core of size 15: cost of the new core is >=5
0.00/0.02	c lower bound updated to 7
0.00/0.02	c BCD2: 7 <= obj <= 44
0.00/0.02	c BCD2: #cores=3, #unrelaxed=24, #relaxed=21, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        4 |        6
0.00/0.02	c  0.0s |       0 |        7 |        0 |      125      0 |        4 |       10
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 7
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02	c lower bound updated to 8
0.00/0.02	c BCD2: 8 <= obj <= 44
0.00/0.02	c BCD2: #cores=4, #unrelaxed=21, #relaxed=24, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        4 |       11
0.00/0.02	c  0.0s |       0 |        7 |        0 |      125      0 |        4 |       11
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 7
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02	c lower bound updated to 9
0.00/0.02	c BCD2: 9 <= obj <= 44
0.00/0.02	c BCD2: #cores=5, #unrelaxed=18, #relaxed=27, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      125      0 |        4 |       12
0.00/0.03	c  0.0s |       0 |        8 |        1 |      125      0 |        4 |       12
0.00/0.03	c #cpu_time = 0.000s
0.00/0.03	c #wall_clock_time = 0.000s
0.00/0.03	c #decision = 8
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 1
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: relaxing 3 and merging with 3 cores into a new core of size 12: cost of the new core is >=4
0.00/0.03	c lower bound updated to 10
0.00/0.03	c BCD2: 10 <= obj <= 44
0.00/0.03	c BCD2: #cores=3, #unrelaxed=15, #relaxed=30, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      125      0 |        7 |       12
0.00/0.03	c  0.0s |       0 |        9 |        0 |      125      0 |        7 |       15
0.00/0.03	c #cpu_time = 0.000s
0.00/0.03	c #wall_clock_time = 0.000s
0.00/0.03	c #decision = 9
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03	c lower bound updated to 11
0.00/0.03	c BCD2: 11 <= obj <= 44
0.00/0.03	c BCD2: #cores=4, #unrelaxed=12, #relaxed=33, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      125      0 |        7 |       16
0.00/0.03	c  0.0s |       0 |        9 |        0 |      125      0 |        7 |       16
0.00/0.03	c #cpu_time = 0.000s
0.00/0.03	c #wall_clock_time = 0.000s
0.00/0.03	c #decision = 9
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03	c lower bound updated to 12
0.00/0.03	c BCD2: 12 <= obj <= 44
0.00/0.03	c BCD2: #cores=5, #unrelaxed=9, #relaxed=36, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      125      0 |        7 |       17
0.00/0.03	c  0.0s |       0 |        9 |        0 |      125      0 |        7 |       17
0.00/0.03	c #cpu_time = 0.000s
0.00/0.03	c #wall_clock_time = 0.000s
0.00/0.03	c #decision = 9
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03	c lower bound updated to 13
0.00/0.03	c BCD2: 13 <= obj <= 44
0.00/0.03	c BCD2: #cores=6, #unrelaxed=6, #relaxed=39, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      125      0 |        7 |       18
0.00/0.03	c  0.0s |       0 |        9 |        0 |      125      0 |        7 |       18
0.00/0.03	c #cpu_time = 0.000s
0.00/0.03	c #wall_clock_time = 0.000s
0.00/0.03	c #decision = 9
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03	c lower bound updated to 14
0.00/0.03	c BCD2: 14 <= obj <= 44
0.00/0.03	c BCD2: #cores=7, #unrelaxed=3, #relaxed=42, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      125      0 |        7 |       19
0.00/0.03	c  0.0s |       0 |       10 |        1 |      125      0 |        7 |       19
0.00/0.03	c #cpu_time = 0.000s
0.00/0.03	c #wall_clock_time = 0.000s
0.00/0.03	c #decision = 10
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 1
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: relaxing 3 and merging with 3 cores into a new core of size 12: cost of the new core is >=4
0.00/0.03	c lower bound updated to 15
0.00/0.03	c BCD2: 15 <= obj <= 44
0.00/0.03	c BCD2: #cores=5, #unrelaxed=0, #relaxed=45, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      125      0 |       10 |       19
0.00/0.03	c  0.0s |       0 |       26 |        0 |      125      0 |       10 |       22
0.00/0.03	c #cpu_time = 0.000s
0.00/0.03	c #wall_clock_time = 0.000s
0.00/0.03	c #decision = 26
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	o 34
0.00/0.03	c BCD2: updating upper bound: 44 -> 33
0.00/0.03	c BCD2: 15 <= obj <= 33
0.00/0.03	c BCD2: #cores=5, #unrelaxed=0, #relaxed=45, #hardened=0
0.00/0.03	c BCD2: #sat=2 #unsat=16 bias=16/18
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      125      0 |       10 |       23
0.00/0.04	c  0.0s |       1 |      124 |      100 |      138      0 |       10 |       23
0.00/0.04	c  0.0s |       1 |      218 |      180 |      138      1 |       10 |       23
0.00/0.04	c #cpu_time = 0.012s
0.00/0.04	c #wall_clock_time = 0.012s
0.00/0.04	c #decision = 218
0.00/0.04	c #random_decision = 2
0.00/0.04	c #conflict = 180
0.00/0.04	c #restart = 1
0.00/0.04	c BCD2: relaxing 0 and merging with 2 cores into a new core of size 15: cost of the new core is >=6
0.00/0.04	c lower bound updated to 16
0.00/0.04	c BCD2: 16 <= obj <= 33
0.00/0.04	c BCD2: #cores=4, #unrelaxed=0, #relaxed=45, #hardened=0
0.00/0.04	c BCD2: #sat=2 #unsat=17 bias=17/19
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      138      0 |       14 |       23
0.00/0.05	c  0.0s |       1 |      127 |      100 |      152      0 |       14 |       29
0.00/0.07	c  0.0s |       2 |      315 |      250 |      152      1 |       14 |       29
0.00/0.09	c  0.0s |       3 |      626 |      475 |      168      3 |       14 |       29
0.09/0.12	c  0.1s |       4 |     1038 |      813 |      185      6 |       14 |       29
0.09/0.17	c  0.1s |       5 |     1627 |     1320 |      204     11 |       14 |       29
0.19/0.24	c  0.2s |       6 |     2582 |     2081 |      225     17 |       14 |       29
0.29/0.35	c  0.3s |       7 |     3940 |     3223 |      248     26 |       14 |       29
0.49/0.52	c  0.5s |       8 |     5892 |     4936 |      273     38 |       14 |       29
0.59/0.60	c  0.6s |       8 |     6751 |     5662 |      273     43 |       14 |       29
0.59/0.60	c #cpu_time = 0.557s
0.59/0.60	c #wall_clock_time = 0.557s
0.59/0.60	c #decision = 6751
0.59/0.60	c #random_decision = 11
0.59/0.60	c #conflict = 5662
0.59/0.60	c #restart = 8
0.59/0.60	c BCD2: relaxing 0 and merging with 4 cores into a new core of size 45: cost of the new core is >=17
0.59/0.60	c lower bound updated to 17
0.59/0.60	c BCD2: 17 <= obj <= 33
0.59/0.60	c BCD2: #cores=1, #unrelaxed=0, #relaxed=45, #hardened=0
0.59/0.60	c BCD2: #sat=2 #unsat=18 bias=18/20
0.59/0.60	c Solving starts ...
0.59/0.60	c ============================[ Search Statistics ]============================
0.59/0.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.60	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.60	c =============================================================================
0.59/0.60	c  0.0s |       0 |        0 |        0 |      273      0 |       22 |       29
0.59/0.60	c  0.0s |       0 |       30 |        0 |      273      0 |       22 |       41
0.59/0.60	c #cpu_time = 0.001s
0.59/0.60	c #wall_clock_time = 0.001s
0.59/0.60	c #decision = 30
0.59/0.60	c #random_decision = 0
0.59/0.60	c #conflict = 0
0.59/0.60	c #restart = 0
0.59/0.60	o 32
0.59/0.60	c BCD2: updating upper bound: 33 -> 31
0.59/0.60	c BCD2: 17 <= obj <= 31
0.59/0.60	c BCD2: #cores=1, #unrelaxed=0, #relaxed=45, #hardened=0
0.59/0.60	c BCD2: #sat=3 #unsat=18 bias=18/21
0.59/0.60	c Solving starts ...
0.59/0.60	c ============================[ Search Statistics ]============================
0.59/0.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.60	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.60	c =============================================================================
0.59/0.60	c  0.0s |       0 |        0 |        0 |      273      0 |       22 |       43
0.59/0.61	c  0.0s |       1 |      126 |      100 |      273      0 |       22 |       43
0.59/0.63	c  0.0s |       2 |      313 |      250 |      273      0 |       22 |       43
0.59/0.65	c  0.0s |       3 |      580 |      475 |      273      1 |       22 |       43
0.59/0.68	c  0.1s |       4 |      969 |      813 |      273      4 |       22 |       43
0.69/0.74	c  0.1s |       5 |     1533 |     1320 |      273      7 |       22 |       43
0.79/0.81	c  0.2s |       6 |     2360 |     2081 |      301     11 |       22 |       43
0.89/0.93	c  0.3s |       7 |     3634 |     3223 |      301     18 |       22 |       43
1.10/1.10	c  0.5s |       8 |     5451 |     4936 |      301     28 |       22 |       43
1.20/1.29	c  0.7s |       9 |     8175 |     7506 |      332     41 |       22 |       43
1.49/1.57	c  1.0s |      10 |    12247 |    11361 |      366     62 |       22 |       43
1.99/2.02	c  1.4s |      11 |    18306 |    17144 |      366     90 |       22 |       43
2.59/2.66	c  2.1s |      12 |    27343 |    25819 |      403    130 |       22 |       43
3.59/3.64	c  3.0s |      13 |    40976 |    38832 |      444    186 |       22 |       43
5.09/5.15	c  4.5s |      14 |    61287 |    58352 |      489    264 |       22 |       43
7.09/7.15	c  6.5s |      14 |    87961 |    83852 |      538    359 |       22 |       43
7.39/7.45	c  6.9s |      15 |    91902 |    87632 |      538    372 |       22 |       43
9.39/9.46	c  8.9s |      15 |   118193 |   112932 |      538    459 |       22 |       43
10.99/11.01	c 10.4s |      16 |   137420 |   131552 |      592    521 |       22 |       43
12.99/13.01	c 12.4s |      16 |   163161 |   156352 |      592    599 |       22 |       43
14.99/15.02	c 14.4s |      16 |   188103 |   180452 |      592    675 |       22 |       43
16.39/16.41	c 15.8s |      17 |   205722 |   197432 |      652    727 |       22 |       43
18.39/18.42	c 17.8s |      17 |   230259 |   221232 |      652    795 |       22 |       43
20.39/20.42	c 19.8s |      17 |   254799 |   245032 |      652    864 |       22 |       43
22.39/22.43	c 21.8s |      17 |   278814 |   268332 |      652    931 |       22 |       43
24.39/24.43	c 23.8s |      17 |   303130 |   291932 |      718    999 |       22 |       43
24.69/24.78	c 24.2s |      18 |   307644 |   296252 |      718   1010 |       22 |       43
26.69/26.79	c 26.2s |      18 |   331748 |   319652 |      718   1072 |       22 |       43
28.69/28.79	c 28.2s |      18 |   355393 |   342652 |      718   1132 |       22 |       43
30.69/30.80	c 30.2s |      18 |   378799 |   365452 |      718   1193 |       22 |       43
32.79/32.80	c 32.2s |      18 |   401202 |   387352 |      718   1250 |       22 |       43
34.78/34.81	c 34.2s |      18 |   425738 |   411052 |      718   1313 |       22 |       43
36.78/36.81	c 36.2s |      18 |   449859 |   434552 |      718   1375 |       22 |       43
37.58/37.68	c 37.1s |      19 |   460066 |   444482 |      790   1399 |       22 |       43
39.59/39.69	c 39.1s |      19 |   482150 |   466082 |      790   1451 |       22 |       43
41.58/41.69	c 41.1s |      19 |   503615 |   487182 |      790   1502 |       22 |       43
43.68/43.70	c 43.1s |      19 |   525683 |   508682 |      790   1554 |       22 |       43
45.68/45.71	c 45.1s |      19 |   548900 |   531182 |      790   1608 |       22 |       43
47.68/47.71	c 47.1s |      19 |   572796 |   554382 |      790   1664 |       22 |       43
49.68/49.71	c 49.1s |      19 |   595741 |   576782 |      790   1718 |       22 |       43
51.68/51.72	c 51.1s |      19 |   617364 |   597882 |      790   1769 |       22 |       43
53.68/53.72	c 53.1s |      19 |   639460 |   619382 |      790   1821 |       22 |       43
55.68/55.72	c 55.1s |      19 |   661312 |   640682 |      790   1872 |       22 |       43
57.68/57.72	c 57.1s |      19 |   683594 |   662382 |      870   1923 |       22 |       43
58.08/58.11	c 57.5s |      20 |   688180 |   666827 |      870   1933 |       22 |       43
60.08/60.11	c 59.5s |      20 |   710183 |   688227 |      870   1980 |       22 |       43
62.08/62.12	c 61.5s |      20 |   732881 |   710127 |      870   2028 |       22 |       43
64.08/64.13	c 63.5s |      20 |   755593 |   732127 |      870   2076 |       22 |       43
66.09/66.13	c 65.5s |      20 |   778634 |   754527 |      870   2126 |       22 |       43
68.08/68.14	c 67.5s |      20 |   801221 |   776527 |      870   2174 |       22 |       43
70.08/70.14	c 69.5s |      20 |   823316 |   798127 |      870   2221 |       22 |       43
72.08/72.15	c 71.5s |      20 |   844457 |   818727 |      870   2267 |       22 |       43
74.08/74.15	c 73.6s |      20 |   865764 |   839527 |      870   2312 |       22 |       43
76.08/76.16	c 75.6s |      20 |   887363 |   860527 |      870   2358 |       22 |       43
78.08/78.16	c 77.6s |      20 |   909328 |   881827 |      870   2405 |       22 |       43
80.08/80.16	c 79.6s |      20 |   932450 |   904227 |      870   2455 |       22 |       43
82.07/82.16	c 81.6s |      20 |   953600 |   924827 |      870   2500 |       22 |       43
84.07/84.17	c 83.6s |      20 |   974655 |   945427 |      870   2545 |       22 |       43
86.07/86.17	c 85.6s |      20 |   995722 |   966027 |      870   2591 |       22 |       43
88.08/88.18	c 87.6s |      20 |  1017590 |   987227 |      870   2637 |       22 |       43
89.27/89.38	c 88.8s |      21 |  1031178 |  1000345 |      958   2664 |       22 |       43
91.28/91.39	c 90.8s |      21 |  1052558 |  1021145 |      958   2705 |       22 |       43
93.27/93.39	c 92.8s |      21 |  1074668 |  1042545 |      958   2748 |       22 |       43
95.38/95.40	c 94.8s |      21 |  1096839 |  1064045 |      958   2791 |       22 |       43
97.38/97.40	c 96.8s |      21 |  1117910 |  1084545 |      958   2832 |       22 |       43
99.38/99.40	c 98.8s |      21 |  1138587 |  1104645 |      958   2873 |       22 |       43
101.38/101.41	c  100s |      21 |  1160639 |  1125945 |      958   2915 |       22 |       43
103.38/103.41	c  102s |      21 |  1182602 |  1147245 |      958   2958 |       22 |       43
105.38/105.41	c  104s |      21 |  1204132 |  1168245 |      958   3000 |       22 |       43
107.38/107.42	c  106s |      21 |  1226272 |  1189745 |      958   3043 |       22 |       43
109.38/109.43	c  108s |      21 |  1246569 |  1209645 |      958   3083 |       22 |       43
111.37/111.44	c  110s |      21 |  1267065 |  1229645 |      958   3123 |       22 |       43
113.38/113.44	c  112s |      21 |  1289366 |  1251245 |      958   3166 |       22 |       43
115.37/115.45	c  114s |      21 |  1311268 |  1272545 |      958   3209 |       22 |       43
117.37/117.45	c  116s |      21 |  1332601 |  1293345 |      958   3251 |       22 |       43
119.37/119.46	c  118s |      21 |  1354147 |  1314345 |      958   3293 |       22 |       43
121.37/121.46	c  120s |      21 |  1375380 |  1335145 |      958   3335 |       22 |       43
123.37/123.46	c  122s |      21 |  1395854 |  1355145 |      958   3375 |       22 |       43
125.37/125.47	c  124s |      21 |  1416336 |  1375145 |      958   3415 |       22 |       43
127.37/127.48	c  126s |      21 |  1437191 |  1395445 |      958   3456 |       22 |       43
129.37/129.48	c  128s |      21 |  1458281 |  1415945 |      958   3497 |       22 |       43
131.37/131.49	c  130s |      21 |  1480620 |  1437545 |      958   3541 |       22 |       43
133.47/133.50	c  132s |      21 |  1502269 |  1458745 |      958   3583 |       22 |       43
135.47/135.51	c  134s |      21 |  1522142 |  1478145 |      958   3622 |       22 |       43
137.48/137.51	c  136s |      21 |  1542145 |  1497645 |     1054   3659 |       22 |       43
137.77/137.84	c  137s |      22 |  1545202 |  1500622 |     1054   3664 |       22 |       43
139.78/139.84	c  139s |      22 |  1566925 |  1521622 |     1054   3702 |       22 |       43
141.77/141.84	c  141s |      22 |  1588002 |  1542122 |     1054   3740 |       22 |       43
143.77/143.85	c  143s |      22 |  1608723 |  1562322 |     1054   3777 |       22 |       43
145.77/145.85	c  145s |      22 |  1629061 |  1582222 |     1054   3813 |       22 |       43
147.77/147.86	c  147s |      22 |  1649625 |  1602322 |     1054   3850 |       22 |       43
149.77/149.86	c  149s |      22 |  1669327 |  1621522 |     1054   3885 |       22 |       43
151.78/151.86	c  151s |      22 |  1689316 |  1641022 |     1054   3921 |       22 |       43
153.77/153.87	c  153s |      22 |  1709049 |  1660322 |     1054   3956 |       22 |       43
155.77/155.87	c  155s |      22 |  1729944 |  1680622 |     1054   3993 |       22 |       43
157.77/157.87	c  157s |      22 |  1751577 |  1701622 |     1054   4032 |       22 |       43
159.77/159.88	c  159s |      22 |  1773244 |  1722622 |     1054   4070 |       22 |       43
161.78/161.88	c  161s |      22 |  1793745 |  1742622 |     1054   4107 |       22 |       43
163.77/163.88	c  163s |      22 |  1813083 |  1761522 |     1054   4141 |       22 |       43
165.77/165.89	c  165s |      22 |  1834274 |  1782022 |     1054   4179 |       22 |       43
167.77/167.90	c  167s |      22 |  1855293 |  1802522 |     1054   4216 |       22 |       43
169.87/169.90	c  169s |      22 |  1875879 |  1822622 |     1054   4253 |       22 |       43
171.87/171.91	c  171s |      22 |  1896630 |  1842922 |     1054   4290 |       22 |       43
173.87/173.91	c  173s |      22 |  1917515 |  1863322 |     1054   4328 |       22 |       43
175.86/175.92	c  175s |      22 |  1937742 |  1883122 |     1054   4364 |       22 |       43
177.86/177.92	c  177s |      22 |  1957516 |  1902522 |     1054   4399 |       22 |       43
179.86/179.92	c  179s |      22 |  1978384 |  1922822 |     1054   4437 |       22 |       43
181.86/181.93	c  181s |      22 |  1997514 |  1941522 |     1054   4471 |       22 |       43
183.86/183.94	c  183s |      22 |  2016772 |  1960422 |     1054   4505 |       22 |       43
185.87/185.94	c  185s |      22 |  2036383 |  1979622 |     1054   4540 |       22 |       43
187.86/187.94	c  187s |      22 |  2056131 |  1998922 |     1054   4576 |       22 |       43
189.86/189.94	c  189s |      22 |  2075481 |  2017922 |     1054   4610 |       22 |       43
191.86/191.94	c  191s |      22 |  2095554 |  2037522 |     1054   4646 |       22 |       43
193.86/193.94	c  193s |      22 |  2115034 |  2056622 |     1054   4681 |       22 |       43
195.86/195.95	c  195s |      22 |  2134885 |  2076022 |     1054   4717 |       22 |       43
197.86/197.96	c  197s |      22 |  2155939 |  2096522 |     1054   4754 |       22 |       43
199.86/199.96	c  199s |      22 |  2178283 |  2118122 |     1054   4794 |       22 |       43
201.86/201.96	c  201s |      22 |  2199898 |  2139122 |     1054   4833 |       22 |       43
203.86/203.96	c  203s |      22 |  2221596 |  2160322 |     1054   4872 |       22 |       43
205.86/205.96	c  205s |      22 |  2240231 |  2178622 |     1054   4905 |       22 |       43
207.87/207.96	c  207s |      22 |  2259162 |  2197122 |     1054   4939 |       22 |       43
209.86/209.96	c  209s |      22 |  2278560 |  2216022 |     1054   4973 |       22 |       43
211.86/211.98	c  211s |      22 |  2297708 |  2234722 |     1160   5007 |       22 |       43
213.66/213.73	c  213s |      23 |  2314458 |  2251038 |     1160   5034 |       22 |       43
215.67/215.74	c  215s |      23 |  2335506 |  2271338 |     1160   5068 |       22 |       43
217.66/217.75	c  217s |      23 |  2355265 |  2290538 |     1160   5100 |       22 |       43
219.66/219.75	c  219s |      23 |  2375380 |  2310038 |     1160   5132 |       22 |       43
221.66/221.76	c  221s |      23 |  2394316 |  2328538 |     1160   5163 |       22 |       43
223.66/223.76	c  223s |      23 |  2414179 |  2347838 |     1160   5195 |       22 |       43
225.66/225.76	c  225s |      23 |  2434670 |  2367738 |     1160   5228 |       22 |       43
227.66/227.76	c  227s |      23 |  2453814 |  2386438 |     1160   5260 |       22 |       43
229.65/229.77	c  229s |      23 |  2472905 |  2405038 |     1160   5290 |       22 |       43
231.65/231.77	c  231s |      23 |  2492019 |  2423738 |     1160   5322 |       22 |       43
233.65/233.78	c  233s |      23 |  2512577 |  2443638 |     1160   5355 |       22 |       43
235.65/235.79	c  235s |      23 |  2532945 |  2463438 |     1160   5388 |       22 |       43
237.66/237.79	c  237s |      23 |  2553607 |  2483538 |     1160   5421 |       22 |       43
239.65/239.79	c  239s |      23 |  2572455 |  2501938 |     1160   5452 |       22 |       43
241.75/241.80	c  241s |      23 |  2591271 |  2520338 |     1160   5483 |       22 |       43
243.75/243.80	c  243s |      23 |  2610301 |  2538938 |     1160   5514 |       22 |       43
245.75/245.80	c  245s |      23 |  2629368 |  2557538 |     1160   5545 |       22 |       43
247.75/247.81	c  247s |      23 |  2650176 |  2577738 |     1160   5578 |       22 |       43
249.76/249.81	c  249s |      23 |  2670628 |  2597638 |     1160   5612 |       22 |       43
251.75/251.82	c  251s |      23 |  2689687 |  2616238 |     1160   5643 |       22 |       43
253.75/253.82	c  253s |      23 |  2708413 |  2634538 |     1160   5673 |       22 |       43
255.76/255.83	c  255s |      23 |  2727353 |  2653038 |     1160   5704 |       22 |       43
257.76/257.83	c  257s |      23 |  2746077 |  2671338 |     1160   5734 |       22 |       43
259.75/259.84	c  259s |      23 |  2765193 |  2690038 |     1160   5766 |       22 |       43
261.76/261.85	c  261s |      23 |  2784536 |  2708938 |     1160   5797 |       22 |       43
263.75/263.85	c  263s |      23 |  2805652 |  2729338 |     1160   5831 |       22 |       43
265.75/265.86	c  265s |      23 |  2826893 |  2749938 |     1160   5866 |       22 |       43
267.75/267.87	c  267s |      23 |  2847037 |  2769538 |     1160   5899 |       22 |       43
269.75/269.88	c  269s |      23 |  2866197 |  2788238 |     1160   5930 |       22 |       43
271.76/271.88	c  271s |      23 |  2885009 |  2806638 |     1160   5961 |       22 |       43
273.75/273.89	c  273s |      23 |  2904024 |  2825238 |     1160   5992 |       22 |       43
275.75/275.89	c  275s |      23 |  2924068 |  2844638 |     1160   6024 |       22 |       43
277.75/277.89	c  277s |      23 |  2944796 |  2864838 |     1160   6058 |       22 |       43
279.75/279.89	c  279s |      23 |  2965309 |  2884838 |     1160   6091 |       22 |       43
281.85/281.90	c  281s |      23 |  2985702 |  2904738 |     1160   6124 |       22 |       43
283.85/283.91	c  283s |      23 |  3005469 |  2924038 |     1160   6157 |       22 |       43
285.84/285.91	c  285s |      23 |  3026180 |  2944238 |     1160   6190 |       22 |       43
287.84/287.92	c  287s |      23 |  3045277 |  2962938 |     1160   6222 |       22 |       43
289.84/289.93	c  289s |      23 |  3065618 |  2982838 |     1160   6255 |       22 |       43
291.84/291.93	c  291s |      23 |  3086088 |  3002838 |     1160   6288 |       22 |       43
293.84/293.94	c  293s |      23 |  3104197 |  3020538 |     1160   6318 |       22 |       43
295.85/295.94	c  295s |      23 |  3123232 |  3039038 |     1160   6349 |       22 |       43
297.84/297.94	c  297s |      23 |  3141431 |  3056938 |     1160   6378 |       22 |       43
299.84/299.94	c  299s |      23 |  3159778 |  3074938 |     1160   6408 |       22 |       43
301.84/301.95	c  301s |      23 |  3177936 |  3092738 |     1160   6438 |       22 |       43
303.84/303.96	c  303s |      23 |  3197105 |  3111438 |     1160   6469 |       22 |       43
305.85/305.96	c  305s |      23 |  3217668 |  3131338 |     1160   6503 |       22 |       43
307.84/307.96	c  307s |      23 |  3237922 |  3151038 |     1160   6535 |       22 |       43
309.84/309.97	c  309s |      23 |  3258778 |  3171238 |     1160   6569 |       22 |       43
311.85/311.98	c  311s |      23 |  3278943 |  3190938 |     1160   6602 |       22 |       43
313.85/313.98	c  313s |      23 |  3298684 |  3210238 |     1160   6634 |       22 |       43
315.85/315.98	c  315s |      23 |  3318275 |  3229338 |     1160   6666 |       22 |       43
317.85/317.99	c  317s |      23 |  3338881 |  3249438 |     1160   6700 |       22 |       43
319.84/319.99	c  319s |      23 |  3358933 |  3269038 |     1160   6733 |       22 |       43
321.84/321.99	c  321s |      23 |  3379268 |  3288938 |     1160   6766 |       22 |       43
323.94/324.00	c  323s |      23 |  3398806 |  3308138 |     1160   6798 |       22 |       43
325.94/326.00	c  325s |      23 |  3416744 |  3325738 |     1160   6827 |       22 |       43
327.94/328.01	c  327s |      23 |  3434917 |  3343538 |     1160   6857 |       22 |       43
329.95/330.02	c  329s |      23 |  3453054 |  3361238 |     1276   6884 |       22 |       43
331.74/331.82	c  331s |      24 |  3468782 |  3376662 |     1276   6908 |       22 |       43
333.74/333.83	c  333s |      24 |  3486896 |  3394362 |     1276   6934 |       22 |       43
335.74/335.84	c  335s |      24 |  3505107 |  3412162 |     1276   6961 |       22 |       43
337.74/337.84	c  337s |      24 |  3523834 |  3430362 |     1276   6989 |       22 |       43
339.74/339.84	c  339s |      24 |  3543662 |  3449562 |     1276   7018 |       22 |       43
341.74/341.85	c  341s |      24 |  3563687 |  3468962 |     1276   7048 |       22 |       43
343.73/343.85	c  343s |      24 |  3582965 |  3487762 |     1276   7077 |       22 |       43
345.73/345.86	c  345s |      24 |  3602805 |  3507162 |     1276   7106 |       22 |       43
347.73/347.87	c  347s |      24 |  3621607 |  3525562 |     1276   7134 |       22 |       43
349.74/349.87	c  349s |      24 |  3641379 |  3544962 |     1276   7163 |       22 |       43
351.73/351.87	c  351s |      24 |  3659708 |  3562962 |     1276   7191 |       22 |       43
353.74/353.88	c  353s |      24 |  3679257 |  3582162 |     1276   7220 |       22 |       43
355.74/355.88	c  355s |      24 |  3698463 |  3600962 |     1276   7249 |       22 |       43
357.74/357.88	c  357s |      24 |  3717645 |  3619662 |     1276   7277 |       22 |       43
359.75/359.89	c  359s |      24 |  3737312 |  3638962 |     1276   7306 |       22 |       43
361.74/361.89	c  361s |      24 |  3757146 |  3658362 |     1276   7336 |       22 |       43
363.84/363.90	c  363s |      24 |  3775803 |  3676762 |     1276   7364 |       22 |       43
365.84/365.90	c  365s |      24 |  3793917 |  3694562 |     1276   7391 |       22 |       43
367.84/367.90	c  367s |      24 |  3812566 |  3712862 |     1276   7418 |       22 |       43
369.84/369.90	c  369s |      24 |  3833182 |  3732962 |     1276   7449 |       22 |       43
371.74/371.90	c  371s |      24 |  3852595 |  3752062 |     1276   7478 |       22 |       43
372.44/372.55	c  371s |      24 |  3859227 |  3758591 |     1276   7488 |       23 |       45
372.44/372.55	c #cpu_time = 371.957s
372.44/372.55	c #wall_clock_time = 371.942s
372.44/372.55	c #decision = 3859227
372.44/372.55	c #random_decision = 14035
372.44/372.55	c #conflict = 3758591
372.44/372.55	c #restart = 24
372.44/372.55	c BCD2: updating lower bound of a core
372.44/372.55	c lower bound updated to 30
372.44/372.55	c BCD2: 30 <= obj <= 31
372.44/372.55	c BCD2: #cores=1, #unrelaxed=0, #relaxed=45, #hardened=0
372.44/372.55	c BCD2: #sat=3 #unsat=19 bias=19/22
372.44/372.55	c Solving starts ...
372.44/372.55	c ============================[ Search Statistics ]============================
372.44/372.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
372.44/372.55	c       |         |          |          |    Limit     GC | Var      | Constra 
372.44/372.55	c =============================================================================
372.44/372.55	c  0.0s |       0 |        0 |        0 |     1276      0 |       23 |       47
372.44/372.56	c  0.0s |       1 |      128 |      100 |     1276      0 |       23 |       47
372.44/372.57	c  0.0s |       2 |      329 |      250 |     1276      0 |       23 |       47
372.44/372.57	c  0.0s |       2 |      378 |      264 |     1276      0 |       23 |       47
372.44/372.57	c #cpu_time = 0.021s
372.44/372.57	c #wall_clock_time = 0.021s
372.44/372.57	c #decision = 378
372.44/372.57	c #random_decision = 2
372.44/372.57	c #conflict = 264
372.44/372.57	c #restart = 2
372.44/372.57	o 31
372.44/372.57	c BCD2: updating upper bound: 31 -> 30
372.44/372.57	c BCD2: 30 <= obj <= 30
372.44/372.57	c BCD2: #cores=1, #unrelaxed=0, #relaxed=45, #hardened=0
372.44/372.57	c BCD2: #sat=4 #unsat=19 bias=19/23
372.44/372.57	c Solving starts ...
372.44/372.57	c ============================[ Search Statistics ]============================
372.44/372.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
372.44/372.57	c       |         |          |          |    Limit     GC | Var      | Constra 
372.44/372.57	c =============================================================================
372.44/372.57	c  0.0s |       0 |        0 |        0 |     1276      0 |       23 |       49
372.44/372.58	c  0.0s |       1 |      152 |      100 |     1276      0 |       23 |       49
372.44/372.59	c  0.0s |       2 |      346 |      250 |     1276      0 |       23 |       49
372.54/372.60	c  0.0s |       3 |      629 |      475 |     1276      0 |       23 |       49
372.54/372.63	c  0.1s |       4 |     1007 |      813 |     1276      0 |       23 |       49
372.54/372.69	c  0.1s |       5 |     1574 |     1320 |     1276      1 |       23 |       49
372.64/372.76	c  0.2s |       6 |     2437 |     2081 |     1276      2 |       23 |       49
372.74/372.88	c  0.3s |       7 |     3739 |     3223 |     1276      4 |       23 |       49
372.94/373.06	c  0.5s |       8 |     5604 |     4936 |     1276      6 |       23 |       49
373.24/373.33	c  0.8s |       9 |     8377 |     7506 |     1276     10 |       23 |       49
373.64/373.73	c  1.2s |      10 |    12544 |    11361 |     1276     16 |       23 |       49
374.24/374.34	c  1.8s |      11 |    18707 |    17144 |     1276     25 |       23 |       49
375.14/375.24	c  2.7s |      12 |    28052 |    25819 |     1276     38 |       23 |       49
376.53/376.63	c  4.1s |      13 |    42002 |    38832 |     1276     58 |       23 |       49
378.53/378.63	c  6.1s |      13 |    61820 |    57532 |     1276     86 |       23 |       49
378.63/378.72	c  6.2s |      14 |    62685 |    58352 |     1276     87 |       23 |       49
380.64/380.72	c  8.2s |      14 |    82299 |    76952 |     1276    115 |       23 |       49
381.74/381.89	c  9.3s |      15 |    93544 |    87632 |     1276    131 |       23 |       49
383.73/383.90	c 11.3s |      15 |   113331 |   106332 |     1276    160 |       23 |       49
385.83/385.90	c 13.3s |      15 |   132947 |   124932 |     1276    188 |       23 |       49
386.53/386.63	c 14.1s |      16 |   139876 |   131552 |     1276    198 |       23 |       49
388.53/388.64	c 16.1s |      16 |   160148 |   150552 |     1276    226 |       23 |       49
390.53/390.65	c 18.1s |      16 |   179482 |   168852 |     1276    254 |       23 |       49
392.53/392.65	c 20.1s |      16 |   198900 |   187352 |     1276    282 |       23 |       49
393.63/393.75	c 21.2s |      17 |   209634 |   197432 |     1276    297 |       23 |       49
395.63/395.76	c 23.2s |      17 |   229234 |   215932 |     1276    325 |       23 |       49
397.63/397.76	c 25.2s |      17 |   248668 |   234432 |     1276    353 |       23 |       49
399.63/399.77	c 27.2s |      17 |   267295 |   252232 |     1276    380 |       23 |       49
401.63/401.77	c 29.2s |      17 |   286784 |   270732 |     1276    408 |       23 |       49
403.63/403.78	c 31.2s |      17 |   305170 |   288332 |     1276    435 |       23 |       49
404.53/404.67	c 32.1s |      18 |   313535 |   296252 |     1276    447 |       23 |       49
406.53/406.68	c 34.1s |      18 |   333291 |   314952 |     1276    475 |       23 |       49
408.53/408.69	c 36.1s |      18 |   352832 |   333552 |     1276    503 |       23 |       49
410.53/410.69	c 38.1s |      18 |   371677 |   351552 |     1276    530 |       23 |       49
412.54/412.69	c 40.1s |      18 |   390604 |   369552 |     1276    558 |       23 |       49
414.53/414.70	c 42.1s |      18 |   409811 |   387752 |     1276    585 |       23 |       49
416.63/416.70	c 44.1s |      18 |   429081 |   406052 |     1276    613 |       23 |       49
418.63/418.71	c 46.1s |      18 |   447687 |   423852 |     1276    640 |       23 |       49
420.03/420.13	c 47.6s |      18 |   460451 |   436136 |     1276    658 |       23 |       49
420.03/420.13	c #cpu_time = 47.560s
420.03/420.13	c #wall_clock_time = 47.558s
420.03/420.13	c #decision = 460451
420.03/420.13	c #random_decision = 1585
420.03/420.13	c #conflict = 436136
420.03/420.13	c #restart = 18
420.03/420.13	o 30
420.03/420.13	s OPTIMUM FOUND
420.03/420.13	v x1 x2 x3 -x4 x5 -x6 x7 -x8 x9 x10
420.03/420.13	v -x11 x12 -x13 -x14 x15 x16 -x17 -x18 x19 x20
420.03/420.13	v x21 x22 x23 x24 x25 x26 -x27 x28 x29 x30
420.03/420.13	v -x31 -x32 x33 x34 x35 x36 -x37 x38 -x39 -x40
420.03/420.13	v x41 x42 x43 -x44 x45
420.03/420.13	c total CPU time = 420.145s
420.03/420.13	c total wall clock time = 420.128s

Verifier Data 

OK	30

Watcher Data 

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-4079460-1465224141/watcher-4079460-1465224141 -o /tmp/evaluation-result-4079460-1465224141/solver-4079460-1465224141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079460-1465224141.opb 

pid=1425
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: 1.06 1.35 1.73 3/179 1428
/proc/meminfo: memFree=29365084/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=492988 CPUtime=0 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 1794 0 0 0 0 0 0 0 20 0 4 0 104347167 504819712 2665 33554432000 4194304 16246674 140736987667648 140736987667072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 123759 2675 441 2943 0 120653 0
[pid=1428/tid=1429] ppid=1425 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 677834752 3328 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 682029056 3345 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104347168 687271936 3361 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100202 s]
/proc/loadavg: 1.06 1.35 1.73 3/179 1428
/proc/meminfo: memFree=29365084/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 23250 0 0 0 6 3 0 0 20 0 4 0 104347167 1247350784 24108 33554432000 4194304 16246674 140736987667648 140736987650640 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 304529 24117 784 2943 0 301423 0
[pid=1428/tid=1429] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1247350784 24124 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1247350784 24130 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104347168 1247350784 24135 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200499 s]
/proc/loadavg: 1.06 1.35 1.73 3/179 1428
/proc/meminfo: memFree=29365084/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 43795 0 0 0 14 5 0 0 20 0 4 0 104347167 1247350784 44653 33554432000 4194304 16246674 140736987667648 140736987650640 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 304529 44663 784 2943 0 301423 0
[pid=1428/tid=1429] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1247350784 44669 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1247350784 44674 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104347168 1247350784 44678 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 1.06 1.35 1.73 3/179 1428
/proc/meminfo: memFree=29365084/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 64183 0 0 0 22 7 0 0 20 0 4 0 104347167 1247350784 65041 33554432000 4194304 16246674 140736987667648 140736987650640 5523634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 304529 65049 784 2943 0 301423 0
[pid=1428/tid=1429] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1247350784 65056 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1247350784 65062 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104347168 1247350784 65066 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700399 s]
/proc/loadavg: 1.06 1.35 1.73 3/179 1428
/proc/meminfo: memFree=29365084/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 147608 0 0 0 51 18 0 0 20 0 4 0 104347167 1247350784 148466 33554432000 4194304 16246674 140736987667648 140736987650640 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 304529 148474 784 2943 0 301423 0
[pid=1428/tid=1429] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1247350784 148484 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1247350784 148488 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104347168 1247350784 148495 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 1.06 1.35 1.73 3/181 1432
/proc/meminfo: memFree=29178428/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 245632 0 0 0 117 32 0 0 20 0 4 0 104347167 1248399360 246468 33554432000 4194304 16246674 140736987667648 140736987666960 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 304785 246468 844 2943 0 301679 0
[pid=1428/tid=1429] ppid=1425 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1248399360 246468 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1248399360 246468 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1248399360 246468 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 1.14 1.36 1.73 3/183 1481
/proc/meminfo: memFree=28729332/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267428 0 0 0 274 35 0 0 20 0 4 0 104347167 1337528320 268264 33554432000 4194304 16246674 140736987667648 140736987649536 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 326545 268264 844 2943 0 323439 0
[pid=1428/tid=1429] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1337528320 268264 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268264 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268264 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 1.14 1.36 1.73 3/183 1481
/proc/meminfo: memFree=28206204/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267501 0 0 0 594 35 0 0 20 0 4 0 104347167 1337528320 268337 33554432000 4194304 16246674 140736987667648 140736987649536 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 326545 268337 844 2943 0 323439 0
[pid=1428/tid=1429] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1337528320 268337 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268337 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268337 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.35 1.40 1.74 4/183 1481
/proc/meminfo: memFree=28206492/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267501 0 0 0 1233 36 0 0 20 0 4 0 104347167 1337528320 268337 33554432000 4194304 16246674 140736987667648 140736987649536 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 326545 268337 844 2943 0 323439 0
[pid=1428/tid=1429] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1337528320 268337 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268337 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268337 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.45 1.42 1.74 3/183 1539
/proc/meminfo: memFree=28204896/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267591 0 0 0 2513 36 0 0 20 0 4 0 104347167 1337528320 268427 33554432000 4194304 16246674 140736987667648 140736987650648 12874997 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 326545 268427 845 2943 0 323439 0
[pid=1428/tid=1429] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1337528320 268427 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268427 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268427 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.71 1.48 1.75 3/183 1539
/proc/meminfo: memFree=28204224/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267625 0 0 0 5072 36 0 0 20 0 4 0 104347167 1337528320 268461 33554432000 4194304 16246674 140736987667648 140736987650648 5721388 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 326545 268461 845 2943 0 323439 0
[pid=1428/tid=1429] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1337528320 268461 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268461 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1337528320 268461 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 1.94 1.58 1.76 3/183 1542
/proc/meminfo: memFree=28202944/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267786 0 0 0 10190 38 0 0 20 0 4 0 104347167 1338576896 268622 33554432000 4194304 16246674 140736987667648 140736987649536 5711342 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 326801 268622 847 2943 0 323695 0
[pid=1428/tid=1429] ppid=1425 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1338576896 268622 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1338576896 268622 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1338576896 268622 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


################
# More data... #
################

/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267975 0 0 0 22187 40 0 0 20 0 4 0 104347167 1339625472 268811 33554432000 4194304 16246674 140736987667648 140736987649536 5672197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268811 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268811 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268811 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268811 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1308228

[startup+282.3 s]
/proc/loadavg: 2.38 1.94 1.86 3/183 1596
/proc/meminfo: memFree=28574304/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=282.25 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267975 0 0 0 28184 41 0 0 20 0 4 0 104347167 1339625472 268811 33554432000 4194304 16246674 140736987667648 140736987650648 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268811 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268811 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268811 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268811 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1308228

[startup+342.3 s]
/proc/loadavg: 2.29 1.99 1.89 3/183 1597
/proc/meminfo: memFree=28374356/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=342.24 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 34182 42 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987649536 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1308228

[startup+402.3 s]
/proc/loadavg: 2.31 2.05 1.91 4/183 1598
/proc/meminfo: memFree=28269688/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=402.23 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 40180 43 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987649536 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1308228

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1428 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+409.6 s]
/proc/loadavg: 2.34 2.07 1.92 3/183 1598
/proc/meminfo: memFree=28269564/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=409.53 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 40909 44 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987649536 5523080 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 409.53
Current children cumulated vsize (KiB) 1308228

[startup+416 s]
/proc/loadavg: 2.31 2.07 1.92 4/183 1598
/proc/meminfo: memFree=28269564/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=415.93 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 41549 44 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987649536 5523032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 415.93
Current children cumulated vsize (KiB) 1308228

[startup+417.6 s]
/proc/loadavg: 2.31 2.07 1.92 4/183 1598
/proc/meminfo: memFree=28269564/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=417.53 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 41709 44 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987649536 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 417.53
Current children cumulated vsize (KiB) 1308228

[startup+419.207 s]
/proc/loadavg: 2.28 2.06 1.92 3/183 1598
/proc/meminfo: memFree=28269564/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=419.14 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 41870 44 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987649536 13198624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 419.14
Current children cumulated vsize (KiB) 1308228

[startup+419.6 s]
/proc/loadavg: 2.28 2.06 1.92 3/183 1598
/proc/meminfo: memFree=28269564/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=419.53 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 41909 44 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987649536 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 419.53
Current children cumulated vsize (KiB) 1308228

[startup+420 s]
/proc/loadavg: 2.28 2.06 1.92 3/183 1598
/proc/meminfo: memFree=28269564/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=419.93 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 41949 44 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987649536 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 419.93
Current children cumulated vsize (KiB) 1308228

[startup+420.1 s]
/proc/loadavg: 2.28 2.06 1.92 3/183 1598
/proc/meminfo: memFree=28269564/32872528 swapFree=16384/1696552
[pid=1428] ppid=1425 vsize=1308228 CPUtime=420.03 cores=0,2,4,6
/proc/1428/stat : 1428 (toysat) R 1425 1428 1166 0 -1 4202496 267986 0 0 0 41959 44 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 140736987650648 5672222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1428/statm: 327057 268822 847 2943 0 323951 0
[pid=1428/tid=1429] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1429/stat : 1429 (toysat) S 1425 1428 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104347167 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951664508144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1428/tid=1430] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1430/stat : 1430 (toysat) S 1425 1428 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951576427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1428/tid=1431] ppid=1425 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1428/task/1431/stat : 1431 (toysat) S 1425 1428 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104347168 1339625472 268822 33554432000 4194304 16246674 140736987667648 139951565954224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 420.03
Current children cumulated vsize (KiB) 1308228

Child status: 0
Real time (s): 420.189
CPU time (s): 420.124
CPU user time (s): 419.625
CPU system time (s): 0.498924
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 419.625
system time used= 0.498924
maximum resident set size= 1075300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267991
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= 21
involuntary context switches= 460

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17982 second user time and 1.51377 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 16:42:21
IDJOB=4079460
IDBENCH=1865
IDSOLVER=2542
FILE ID=node125/4079460-1465224141
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079460-1465224141/watcher-4079460-1465224141 -o /tmp/evaluation-result-4079460-1465224141/solver-4079460-1465224141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079460-1465224141.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5084bd7d25dcb1d535d550da78b2db16
RANDOM SEED=208332602

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29365984 kB
Buffers:           12452 kB
Cached:           109640 kB
SwapCached:         2016 kB
Active:          1077404 kB
Inactive:          29160 kB
Active(anon):     985124 kB
Inactive(anon):     1380 kB
Active(file):      92280 kB
Inactive(file):    27780 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             32976 kB
Writeback:             0 kB
AnonPages:       2680144 kB
Mapped:            10332 kB
Shmem:                 0 kB
Slab:             568264 kB
SReclaimable:      11244 kB
SUnreclaim:       557020 kB
KernelStack:        1520 kB
PageTables:         9540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2825552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1685504 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= 71712 MiB
End job on node125 at 2016-06-06 16:49:21