Trace number 4079452

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-02OPT1120 113.609 113.636

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM9b4418c5c34f37121cd9ad7732df64ff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1120
Best CPU time to get the best result obtained on this benchmark34.5537
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of variables89
Total number of constraints28
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint2
Maximum length of a constraint47
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
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:42+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-4079452-1465224162.opb"]
0.00/0.01	c use --random-gen="120750338 1375855764 3150187131 950635364 18509319 1983453777 2855980104 3611523799 183070409 2594638135 2188396930 1682760144 2062121019 674151907 2984669284 1977640178 329996996 793699600 2932614720 3518710590 77837076 2847166705 3121034712 709835813 2248350988 1986958494 1126691210 2492688317 2034654845 655135070 2568774259 2717096099 2591122226 3192464273 2830357595 3464719691 312945630 3799362043 2642086340 2836577271 1994238477 1373174979 2286150104 1079661809 3878416379 784753510 3621398601 2566297666 580832521 3183167288 2427953799 2034289675 2529036823 1059796574 720554180 4022113195 299630465 1455888753 1908696111 4173601441 3114457588 4234877983 2163706027 1990564726 2487319824 2639663271 3280006489 1465520417 2532811377 997626617 822363195 816242513 2011140891 2558913247 778438157 2392371712 3145467136 3691139623 141779826 4281863008 3265569754 3355182741 4159802168 4125272964 1688569280 1919204452 2076120474 3525258141 1730444469 2088560008 1382620607 851700694 2142746174 3771078460 2884455437 2066327007 55741454 3387682284 2217607526 506731495 1607310681 3287497404 3328229037 221991141 1860513575 77961865 2916743514 3602526639 902448371 82550956 873677884 1826799470 2438923837 559362814 3240645793 1818575275 2147440646 1859275735 4061122361 2511038953 4021314523 3778381180 320615240 2901697885 3812254308 2732053515 3877796219 1191994789 711250532 207033979 178712744 313777825 1971586395 3502815493 433669160 1266808689 3109443593 2468141797 632039448 626218825 869487824 3395052037 2092303516 2694382040 1380808449 4281313617 3893167972 2347433287 1477729090 2417737188 1282502828 2878799583 1380225022 237117413 2272169585 55879702 2107079926 4202501738 3917058151 2608470491 1759940444 3472164970 131462559 2094762700 2233128575 1224998625 223861050 943919459 2186361877 2341251129 2911923921 1957486318 2068264199 1660562794 3300577852 2280970251 3044149666 2920224110 1595513420 1806720793 4229657458 3355626935 2181980900 2831255990 2002461551 1900987126 7915180 811701416 217543815 3991285894 3821796329 2222942029 562952422 3965269937 3035241808 4071182507 1448314804 3232202561 3175272941 3615758819 1337498239 1185402005 659473908 3895665875 1926035005 2928705998 892541937 772716870 2791429442 3291006108 389355838 1983166375 409364133 2149694155 3542143724 1929650881 70876264 2309329127 3219180597 3151487366 3527328473 1314451885 2091321900 763735153 3391189707 2337591444 3861425811 3841895099 2387949445 425853306 850407771 3272366695 2884432082 78297164 2647784619 2719232447 1023500963 2205704542 2510946778 570890644 4075740405 2192901445 2751956339 361042379 3464349282 2068867799 2391259683 3229838282 4201779803 1449816656 4165115624 1179410838 1404317717 3301506807 894059919 3166460035 255 362436" option to reproduce the execution
0.00/0.01	c #vars 89
0.00/0.01	c #constraints 28
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       39      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       52 |        1 |       39      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.001s
0.00/0.01	c #wall_clock_time = 0.001s
0.00/0.01	c #decision = 52
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 1
0.00/0.01	c #restart = 0
0.00/0.01	o 6381
0.00/0.01	c BCD2: updating upper bound: 15494 -> 6380
0.00/0.01	c BCD2: 0 <= obj <= 6380
0.00/0.01	c BCD2: #cores=0, #unrelaxed=85, #relaxed=0, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       39      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       38 |        0 |       39      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 38
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: found a new core of size 3: cost of the new core is >=78
0.00/0.01	c lower bound updated to 78
0.00/0.01	c BCD2: 78 <= obj <= 6380
0.00/0.01	c BCD2: #cores=1, #unrelaxed=82, #relaxed=3, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       39      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       54 |        0 |       39      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 54
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	c BCD2: found a new core of size 17: cost of the new core is >=78
0.00/0.01	c lower bound updated to 156
0.00/0.01	c BCD2: 156 <= obj <= 6380
0.00/0.01	c BCD2: #cores=2, #unrelaxed=65, #relaxed=20, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       39      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       61 |        1 |       39      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 = 61
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 1
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 29: cost of the new core is >=69
0.00/0.02	c lower bound updated to 225
0.00/0.02	c BCD2: 225 <= obj <= 6380
0.00/0.02	c BCD2: #cores=3, #unrelaxed=36, #relaxed=49, #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 |       39      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       36 |        1 |       39      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 = 36
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 1
0.00/0.02	c #restart = 0
0.00/0.02	c BCD2: found a new core of size 27: cost of the new core is >=6
0.00/0.02	c lower bound updated to 231
0.00/0.02	c BCD2: 231 <= obj <= 6380
0.00/0.02	c BCD2: #cores=4, #unrelaxed=9, #relaxed=76, #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 |       39      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       68 |        0 |       39      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 = 68
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 3058
0.00/0.02	c BCD2: updating upper bound: 6380 -> 3057
0.00/0.02	c BCD2: 231 <= obj <= 3057
0.00/0.02	c BCD2: #cores=4, #unrelaxed=9, #relaxed=76, #hardened=0
0.00/0.02	c BCD2: #sat=2 #unsat=5 bias=5/7
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 |       39      0 |        0 |        1
0.00/0.04	c  0.0s |       0 |       68 |       52 |       39      0 |        0 |        1
0.00/0.04	c #cpu_time = 0.005s
0.00/0.04	c #wall_clock_time = 0.005s
0.00/0.04	c #decision = 68
0.00/0.04	c #random_decision = 1
0.00/0.04	c #conflict = 52
0.00/0.04	c #restart = 0
0.00/0.04	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 29: cost of the new core is >=13
0.00/0.04	c lower bound updated to 238
0.00/0.04	c BCD2: 238 <= obj <= 3057
0.00/0.04	c BCD2: #cores=4, #unrelaxed=7, #relaxed=78, #hardened=0
0.00/0.04	c BCD2: #sat=2 #unsat=6 bias=6/8
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 |       39      0 |        2 |        1
0.00/0.04	c  0.0s |       0 |       54 |        8 |       39      0 |        2 |        4
0.00/0.04	c #cpu_time = 0.001s
0.00/0.04	c #wall_clock_time = 0.001s
0.00/0.04	c #decision = 54
0.00/0.04	c #random_decision = 0
0.00/0.04	c #conflict = 8
0.00/0.04	c #restart = 0
0.00/0.04	o 2139
0.00/0.04	c BCD2: updating upper bound: 3057 -> 2138
0.00/0.04	c BCD2: 238 <= obj <= 2138
0.00/0.04	c BCD2: #cores=4, #unrelaxed=7, #relaxed=78, #hardened=0
0.00/0.04	c BCD2: #sat=3 #unsat=6 bias=6/9
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |       39      0 |        2 |        5
0.00/0.06	c  0.0s |       0 |      107 |       39 |       43      0 |        2 |        5
0.00/0.06	c #cpu_time = 0.005s
0.00/0.06	c #wall_clock_time = 0.005s
0.00/0.06	c #decision = 107
0.00/0.06	c #random_decision = 0
0.00/0.06	c #conflict = 39
0.00/0.06	c #restart = 0
0.00/0.06	o 1346
0.00/0.06	c BCD2: updating upper bound: 2138 -> 1345
0.00/0.06	c BCD2: 238 <= obj <= 1345
0.00/0.06	c BCD2: #cores=4, #unrelaxed=7, #relaxed=78, #hardened=0
0.00/0.06	c BCD2: #sat=4 #unsat=6 bias=6/10
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |       43      0 |        2 |        6
0.00/0.08	c  0.0s |       0 |       41 |        5 |       43      1 |        2 |        6
0.00/0.08	c #cpu_time = 0.001s
0.00/0.08	c #wall_clock_time = 0.001s
0.00/0.08	c #decision = 41
0.00/0.08	c #random_decision = 0
0.00/0.08	c #conflict = 5
0.00/0.08	c #restart = 0
0.00/0.08	c BCD2: relaxing 0 and merging with 2 cores into a new core of size 58: cost of the new core is >=137
0.00/0.08	c lower bound updated to 293
0.00/0.08	c BCD2: 293 <= obj <= 1345
0.00/0.08	c BCD2: #cores=3, #unrelaxed=7, #relaxed=78, #hardened=0
0.00/0.08	c BCD2: #sat=4 #unsat=7 bias=7/11
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |       43      0 |       11 |        6
0.08/0.10	c  0.0s |       1 |      233 |      100 |       43      1 |       11 |       23
0.08/0.12	c  0.0s |       2 |      447 |      250 |       48      3 |       11 |       23
0.08/0.15	c  0.1s |       3 |      739 |      475 |       53      8 |       11 |       23
0.08/0.17	c  0.1s |       3 |      942 |      619 |       53     11 |       11 |       23
0.08/0.17	c #cpu_time = 0.092s
0.08/0.17	c #wall_clock_time = 0.092s
0.08/0.18	c #decision = 942
0.08/0.18	c #random_decision = 1
0.08/0.18	c #conflict = 619
0.08/0.18	c #restart = 3
0.08/0.18	c BCD2: relaxing 3 and merging with 2 cores into a new core of size 64: cost of the new core is >=216
0.08/0.18	c lower bound updated to 294
0.08/0.18	c BCD2: 294 <= obj <= 1345
0.08/0.18	c BCD2: #cores=2, #unrelaxed=4, #relaxed=81, #hardened=0
0.08/0.18	c BCD2: #sat=4 #unsat=8 bias=8/12
0.08/0.18	c Solving starts ...
0.08/0.18	c ============================[ Search Statistics ]============================
0.08/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.18	c =============================================================================
0.08/0.18	c  0.0s |       0 |        0 |        0 |       53      0 |       20 |       23
0.19/0.20	c  0.0s |       1 |      190 |      100 |       59      0 |       20 |       40
0.19/0.23	c  0.0s |       2 |      415 |      250 |       59      3 |       20 |       40
0.19/0.26	c  0.1s |       3 |      753 |      475 |       59      7 |       20 |       40
0.28/0.32	c  0.1s |       4 |     1323 |      813 |       65     12 |       20 |       40
0.39/0.40	c  0.2s |       5 |     2081 |     1320 |       65     20 |       20 |       40
0.39/0.47	c  0.3s |       5 |     2865 |     1782 |       72     28 |       20 |       40
0.39/0.47	c #cpu_time = 0.286s
0.39/0.47	c #wall_clock_time = 0.286s
0.39/0.47	c #decision = 2865
0.39/0.47	c #random_decision = 6
0.39/0.47	c #conflict = 1782
0.39/0.47	c #restart = 5
0.39/0.47	c BCD2: relaxing 2 and merging with 2 cores into a new core of size 83: cost of the new core is >=458
0.39/0.47	c lower bound updated to 458
0.39/0.47	c BCD2: 458 <= obj <= 1345
0.39/0.47	c BCD2: #cores=1, #unrelaxed=2, #relaxed=83, #hardened=0
0.39/0.47	c BCD2: #sat=4 #unsat=9 bias=9/13
0.39/0.47	c Solving starts ...
0.39/0.47	c ============================[ Search Statistics ]============================
0.39/0.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.47	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.47	c =============================================================================
0.39/0.47	c  0.0s |       0 |        0 |        0 |       72      0 |       30 |       40
0.39/0.49	c  0.0s |       1 |      157 |      100 |       72      0 |       30 |       61
0.49/0.51	c  0.0s |       2 |      463 |      250 |       72      3 |       30 |       61
0.49/0.55	c  0.1s |       3 |      969 |      475 |       72      6 |       30 |       61
0.59/0.60	c  0.1s |       4 |     1784 |      813 |       80     11 |       30 |       61
0.59/0.69	c  0.2s |       5 |     2773 |     1320 |       80     18 |       30 |       61
0.79/0.82	c  0.3s |       6 |     4270 |     2081 |       80     30 |       30 |       61
0.99/1.02	c  0.5s |       7 |     6674 |     3223 |       88     45 |       30 |       61
1.20/1.29	c  0.8s |       8 |    10001 |     4936 |       88     68 |       30 |       61
1.59/1.69	c  1.2s |       9 |    15177 |     7506 |       97    100 |       30 |       61
2.09/2.14	c  1.7s |      10 |    22906 |    11361 |      107    146 |       30 |       61
2.79/2.81	c  2.3s |      11 |    35103 |    17144 |      118    214 |       30 |       61
3.79/3.90	c  3.4s |      12 |    53457 |    25819 |      130    308 |       30 |       61
5.39/5.49	c  5.0s |      13 |    80558 |    38832 |      143    442 |       30 |       61
7.49/7.50	c  7.0s |      13 |   109853 |    56032 |      158    611 |       30 |       61
7.69/7.78	c  7.3s |      14 |   113329 |    58352 |      158    632 |       30 |       61
9.69/9.78	c  9.3s |      14 |   139746 |    74652 |      158    783 |       30 |       61
11.39/11.42	c 10.9s |      15 |   160409 |    87632 |      174    901 |       30 |       61
13.39/13.43	c 13.0s |      15 |   192041 |   104732 |      174   1048 |       30 |       61
15.39/15.44	c 15.0s |      15 |   218390 |   120932 |      174   1186 |       30 |       61
16.69/16.77	c 16.3s |      16 |   235879 |   131552 |      192   1275 |       30 |       61
18.69/18.78	c 18.3s |      16 |   259216 |   146552 |      192   1392 |       30 |       61
20.68/20.79	c 20.3s |      16 |   281687 |   161552 |      192   1508 |       30 |       61
21.48/21.53	c 21.1s |      16 |   288804 |   166961 |      192   1550 |       31 |       62
21.48/21.53	c #cpu_time = 21.056s
21.48/21.53	c #wall_clock_time = 21.057s
21.48/21.53	c #decision = 288804
21.48/21.53	c #random_decision = 610
21.48/21.53	c #conflict = 166961
21.48/21.53	c #restart = 16
21.48/21.53	c BCD2: updating lower bound of a core
21.48/21.53	c lower bound updated to 1073
21.48/21.53	c BCD2: 1073 <= obj <= 1345
21.48/21.53	c BCD2: #cores=1, #unrelaxed=2, #relaxed=83, #hardened=0
21.48/21.53	c BCD2: #sat=4 #unsat=10 bias=10/14
21.48/21.53	c Solving starts ...
21.48/21.53	c ============================[ Search Statistics ]============================
21.48/21.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.48/21.53	c       |         |          |          |    Limit     GC | Var      | Constra 
21.48/21.53	c =============================================================================
21.48/21.53	c  0.0s |       0 |        0 |        0 |      192      0 |       31 |       62
21.48/21.54	c  0.0s |       1 |      249 |      100 |      192      0 |       31 |       62
21.48/21.56	c  0.0s |       2 |      692 |      250 |      192      1 |       31 |       62
21.48/21.59	c  0.1s |       3 |     1333 |      475 |      192      3 |       31 |       62
21.58/21.64	c  0.1s |       4 |     2166 |      813 |      192      5 |       31 |       62
21.68/21.71	c  0.2s |       5 |     3140 |     1320 |      192      9 |       31 |       62
21.78/21.81	c  0.3s |       6 |     4479 |     2081 |      192     15 |       31 |       62
21.88/21.97	c  0.4s |       7 |     6700 |     3223 |      192     24 |       31 |       62
22.18/22.21	c  0.7s |       8 |     9977 |     4936 |      192     37 |       31 |       62
22.48/22.57	c  1.0s |       9 |    14539 |     7506 |      192     57 |       31 |       62
23.09/23.14	c  1.6s |      10 |    20832 |    11361 |      192     88 |       31 |       62
23.88/23.94	c  2.4s |      11 |    29441 |    17144 |      192    135 |       31 |       62
24.08/24.10	c  2.6s |      11 |    31678 |    18365 |      192    145 |       31 |       62
24.08/24.10	c #cpu_time = 2.571s
24.08/24.10	c #wall_clock_time = 2.571s
24.08/24.10	c #decision = 31678
24.08/24.10	c #random_decision = 71
24.08/24.10	c #conflict = 18365
24.08/24.10	c #restart = 11
24.08/24.10	o 1236
24.08/24.10	c BCD2: hardening fixes 1 literals
24.08/24.10	c BCD2: updating upper bound: 1345 -> 1235
24.08/24.10	c BCD2: 1073 <= obj <= 1235
24.08/24.10	c BCD2: #cores=1, #unrelaxed=1, #relaxed=83, #hardened=1
24.08/24.10	c BCD2: #sat=5 #unsat=10 bias=10/15
24.08/24.10	c Solving starts ...
24.08/24.10	c ============================[ Search Statistics ]============================
24.08/24.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.08/24.10	c       |         |          |          |    Limit     GC | Var      | Constra 
24.08/24.10	c =============================================================================
24.08/24.10	c  0.0s |       0 |        0 |        0 |      192      0 |       32 |       63
24.08/24.12	c  0.0s |       1 |      180 |      100 |      192      1 |       32 |       63
24.08/24.14	c  0.0s |       2 |      390 |      250 |      192      2 |       32 |       63
24.08/24.18	c  0.1s |       3 |      784 |      475 |      192      4 |       32 |       63
24.19/24.24	c  0.1s |       4 |     1324 |      813 |      192      6 |       32 |       63
24.29/24.33	c  0.2s |       5 |     2213 |     1320 |      192     10 |       32 |       63
24.38/24.45	c  0.3s |       6 |     3544 |     2081 |      192     16 |       32 |       63
24.58/24.60	c  0.5s |       7 |     5633 |     3223 |      192     25 |       32 |       63
24.78/24.84	c  0.7s |       8 |     8683 |     4936 |      192     38 |       32 |       63
25.08/25.18	c  1.1s |       9 |    13412 |     7506 |      192     58 |       32 |       63
25.58/25.67	c  1.6s |      10 |    20991 |    11361 |      212     86 |       32 |       63
26.39/26.45	c  2.3s |      11 |    31896 |    17144 |      212    127 |       32 |       63
26.88/26.93	c  2.8s |      11 |    38964 |    20999 |      212    154 |       32 |       63
26.88/26.93	c #cpu_time = 2.830s
26.88/26.93	c #wall_clock_time = 2.830s
26.88/26.93	c #decision = 38964
26.88/26.93	c #random_decision = 112
26.88/26.93	c #conflict = 20999
26.88/26.93	c #restart = 11
26.88/26.93	o 1148
26.88/26.93	c BCD2: hardening fixes 1 literals
26.88/26.93	c BCD2: updating upper bound: 1235 -> 1147
26.88/26.93	c BCD2: 1073 <= obj <= 1147
26.88/26.93	c BCD2: #cores=1, #unrelaxed=0, #relaxed=83, #hardened=2
26.88/26.93	c BCD2: #sat=6 #unsat=10 bias=10/16
26.88/26.93	c Solving starts ...
26.88/26.93	c ============================[ Search Statistics ]============================
26.88/26.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.88/26.93	c       |         |          |          |    Limit     GC | Var      | Constra 
26.88/26.93	c =============================================================================
26.88/26.93	c  0.0s |       0 |        0 |        0 |      212      0 |       33 |       66
26.88/26.95	c  0.0s |       1 |      169 |      100 |      212      1 |       33 |       66
26.88/26.97	c  0.0s |       2 |      425 |      250 |      212      2 |       33 |       66
26.99/27.00	c  0.1s |       3 |      821 |      475 |      212      4 |       33 |       66
26.99/27.05	c  0.1s |       4 |     1524 |      813 |      212      6 |       33 |       66
27.09/27.12	c  0.2s |       5 |     2628 |     1320 |      212     10 |       33 |       66
27.19/27.23	c  0.3s |       6 |     4096 |     2081 |      212     15 |       33 |       66
27.29/27.38	c  0.4s |       7 |     6429 |     3223 |      212     23 |       33 |       66
27.60/27.61	c  0.7s |       8 |     9696 |     4936 |      212     35 |       33 |       66
27.89/27.96	c  1.0s |       9 |    14154 |     7506 |      212     54 |       33 |       66
28.39/28.44	c  1.5s |      10 |    22055 |    11361 |      212     82 |       33 |       66
29.09/29.18	c  2.2s |      11 |    34150 |    17144 |      212    123 |       33 |       66
30.19/30.27	c  3.3s |      12 |    51971 |    25819 |      212    186 |       33 |       66
31.89/31.94	c  5.0s |      13 |    77612 |    38832 |      212    281 |       33 |       66
33.89/33.95	c  7.0s |      13 |   106341 |    54532 |      212    393 |       33 |       66
34.39/34.44	c  7.5s |      14 |   113734 |    58352 |      212    420 |       33 |       66
36.39/36.46	c  9.5s |      14 |   145718 |    74152 |      212    535 |       33 |       66
38.09/38.12	c 11.2s |      15 |   169928 |    87632 |      234    631 |       33 |       66
40.08/40.14	c 13.2s |      15 |   197796 |   102732 |      234    733 |       33 |       66
42.08/42.15	c 15.2s |      15 |   226044 |   118732 |      234    841 |       33 |       66
43.68/43.73	c 16.8s |      16 |   248556 |   131552 |      234    927 |       33 |       66
45.68/45.74	c 18.8s |      16 |   278749 |   148052 |      234   1037 |       33 |       66
47.68/47.74	c 20.8s |      16 |   304307 |   163452 |      234   1143 |       33 |       66
49.68/49.75	c 22.8s |      16 |   327805 |   177852 |      234   1241 |       33 |       66
51.69/51.75	c 24.8s |      16 |   353441 |   192852 |      234   1344 |       33 |       66
52.28/52.35	c 25.4s |      17 |   361600 |   197432 |      234   1376 |       33 |       66
54.28/54.35	c 27.4s |      17 |   387860 |   212432 |      234   1478 |       33 |       66
56.28/56.36	c 29.4s |      17 |   413817 |   227132 |      234   1577 |       33 |       66
58.28/58.36	c 31.4s |      17 |   439061 |   241832 |      258   1671 |       33 |       66
60.28/60.36	c 33.4s |      17 |   464186 |   256932 |      258   1764 |       33 |       66
62.28/62.36	c 35.4s |      17 |   487948 |   271232 |      258   1853 |       33 |       66
64.28/64.37	c 37.4s |      17 |   512172 |   285432 |      258   1942 |       33 |       66
65.68/65.77	c 38.8s |      18 |   530845 |   296252 |      258   2010 |       33 |       66
67.68/67.77	c 40.8s |      18 |   559110 |   311852 |      258   2106 |       33 |       66
69.67/69.78	c 42.8s |      18 |   587152 |   326852 |      258   2197 |       33 |       66
71.68/71.79	c 44.9s |      18 |   610073 |   341452 |      258   2287 |       33 |       66
73.69/73.80	c 46.9s |      18 |   634284 |   356252 |      258   2378 |       33 |       66
75.78/75.81	c 48.9s |      18 |   658943 |   371352 |      258   2471 |       33 |       66
75.78/75.87	c 48.9s |      18 |   659640 |   371802 |      258   2474 |       34 |       68
75.78/75.87	c #cpu_time = 48.935s
75.78/75.87	c #wall_clock_time = 48.936s
75.78/75.87	c #decision = 659640
75.78/75.87	c #random_decision = 2098
75.78/75.87	c #conflict = 371802
75.78/75.87	c #restart = 18
75.78/75.87	c BCD2: updating lower bound of a core
75.78/75.87	c lower bound updated to 1120
75.78/75.87	c BCD2: 1120 <= obj <= 1147
75.78/75.87	c BCD2: #cores=1, #unrelaxed=0, #relaxed=83, #hardened=2
75.78/75.87	c BCD2: #sat=6 #unsat=11 bias=11/17
75.78/75.87	c Solving starts ...
75.78/75.87	c ============================[ Search Statistics ]============================
75.78/75.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
75.78/75.87	c       |         |          |          |    Limit     GC | Var      | Constra 
75.78/75.87	c =============================================================================
75.78/75.87	c  0.0s |       0 |        0 |        0 |      258      0 |       34 |       69
75.78/75.89	c  0.0s |       1 |      175 |      100 |      258      0 |       34 |       69
75.89/75.91	c  0.0s |       2 |      415 |      250 |      258      0 |       34 |       69
75.89/75.94	c  0.1s |       3 |      823 |      475 |      258      2 |       34 |       69
75.89/75.99	c  0.1s |       4 |     1342 |      813 |      258      4 |       34 |       69
75.99/76.06	c  0.2s |       5 |     2289 |     1320 |      258      7 |       34 |       69
76.08/76.16	c  0.3s |       6 |     3705 |     2081 |      258     12 |       34 |       69
76.28/76.32	c  0.4s |       7 |     5644 |     3223 |      258     19 |       34 |       69
76.48/76.55	c  0.7s |       8 |     9094 |     4936 |      258     30 |       34 |       69
76.78/76.89	c  1.0s |       9 |    13466 |     7506 |      258     46 |       34 |       69
77.28/77.39	c  1.5s |      10 |    19886 |    11361 |      258     70 |       34 |       69
78.09/78.11	c  2.2s |      11 |    32552 |    17144 |      258    106 |       34 |       69
79.19/79.23	c  3.4s |      12 |    47178 |    25819 |      258    160 |       34 |       69
80.88/80.92	c  5.1s |      13 |    71927 |    38832 |      258    241 |       34 |       69
82.88/82.93	c  7.1s |      13 |    99727 |    54232 |      258    338 |       34 |       69
83.38/83.48	c  7.6s |      14 |   106497 |    58352 |      258    364 |       34 |       69
85.38/85.49	c  9.6s |      14 |   133261 |    73752 |      258    460 |       34 |       69
87.27/87.32	c 11.4s |      15 |   156544 |    87632 |      284    545 |       34 |       69
89.27/89.32	c 13.4s |      15 |   182343 |   102532 |      284    633 |       34 |       69
91.28/91.32	c 15.4s |      15 |   211371 |   117232 |      284    717 |       34 |       69
93.27/93.33	c 17.5s |      15 |   238174 |   131232 |      284    797 |       34 |       69
93.27/93.37	c 17.5s |      16 |   238666 |   131552 |      284    799 |       34 |       69
95.27/95.38	c 19.5s |      16 |   263157 |   145752 |      284    881 |       34 |       69
97.27/97.39	c 21.5s |      16 |   285074 |   159652 |      284    962 |       34 |       69
99.37/99.40	c 23.5s |      16 |   308715 |   173952 |      284   1043 |       34 |       69
99.97/100.09	c 24.2s |      16 |   316366 |   178606 |      284   1070 |       34 |       69
99.97/100.09	c #cpu_time = 24.222s
99.97/100.09	c #wall_clock_time = 24.222s
99.97/100.09	c #decision = 316366
99.97/100.09	c #random_decision = 1000
99.97/100.09	c #conflict = 178606
99.97/100.09	c #restart = 16
99.97/100.09	o 1136
99.97/100.09	c BCD2: updating upper bound: 1147 -> 1135
99.97/100.10	c BCD2: 1120 <= obj <= 1135
99.97/100.10	c BCD2: #cores=1, #unrelaxed=0, #relaxed=83, #hardened=2
99.97/100.10	c BCD2: #sat=7 #unsat=11 bias=11/18
99.97/100.10	c Solving starts ...
99.97/100.10	c ============================[ Search Statistics ]============================
99.97/100.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
99.97/100.10	c       |         |          |          |    Limit     GC | Var      | Constra 
99.97/100.10	c =============================================================================
99.97/100.10	c  0.0s |       0 |        0 |        0 |      284      0 |       34 |       71
100.08/100.11	c  0.0s |       1 |      184 |      100 |      284      0 |       34 |       71
100.08/100.14	c  0.0s |       2 |      442 |      250 |      284      1 |       34 |       71
100.08/100.17	c  0.1s |       3 |      743 |      475 |      284      3 |       34 |       71
100.18/100.23	c  0.1s |       4 |     1439 |      813 |      284      4 |       34 |       71
100.27/100.31	c  0.2s |       5 |     2248 |     1320 |      284      7 |       34 |       71
100.37/100.44	c  0.3s |       6 |     3723 |     2081 |      284     12 |       34 |       71
100.57/100.62	c  0.5s |       7 |     5902 |     3223 |      284     18 |       34 |       71
100.77/100.89	c  0.8s |       8 |     8932 |     4936 |      284     28 |       34 |       71
101.18/101.27	c  1.2s |       9 |    13068 |     7506 |      284     42 |       34 |       71
101.77/101.83	c  1.7s |      10 |    19279 |    11361 |      284     64 |       34 |       71
102.47/102.55	c  2.5s |      11 |    29982 |    17144 |      284     97 |       34 |       71
103.57/103.67	c  3.6s |      12 |    45398 |    25819 |      284    146 |       34 |       71
105.27/105.38	c  5.3s |      13 |    68411 |    38832 |      284    220 |       34 |       71
107.07/107.17	c  7.1s |      13 |    91691 |    52188 |      284    296 |       34 |       71
107.07/107.17	c #cpu_time = 7.071s
107.07/107.17	c #wall_clock_time = 7.071s
107.07/107.17	c #decision = 91691
107.07/107.17	c #random_decision = 298
107.07/107.17	c #conflict = 52188
107.07/107.17	c #restart = 13
107.07/107.17	o 1128
107.07/107.17	c BCD2: updating upper bound: 1135 -> 1127
107.07/107.17	c BCD2: 1120 <= obj <= 1127
107.07/107.17	c BCD2: #cores=1, #unrelaxed=0, #relaxed=83, #hardened=2
107.07/107.17	c BCD2: #sat=8 #unsat=11 bias=11/19
107.07/107.17	c Solving starts ...
107.07/107.17	c ============================[ Search Statistics ]============================
107.07/107.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
107.07/107.17	c       |         |          |          |    Limit     GC | Var      | Constra 
107.07/107.17	c =============================================================================
107.07/107.17	c  0.0s |       0 |        0 |        0 |      284      0 |       34 |       73
107.07/107.18	c  0.0s |       1 |      218 |      100 |      284      0 |       34 |       73
107.17/107.20	c  0.0s |       2 |      580 |      250 |      284      1 |       34 |       73
107.17/107.24	c  0.1s |       3 |      934 |      475 |      284      3 |       34 |       73
107.17/107.29	c  0.1s |       4 |     1676 |      813 |      284      4 |       34 |       73
107.27/107.36	c  0.2s |       5 |     2602 |     1320 |      284      7 |       34 |       73
107.37/107.47	c  0.3s |       6 |     4078 |     2081 |      284     11 |       34 |       73
107.57/107.65	c  0.5s |       7 |     5993 |     3223 |      284     18 |       34 |       73
107.87/107.91	c  0.7s |       8 |     9351 |     4936 |      284     27 |       34 |       73
108.27/108.30	c  1.1s |       9 |    13956 |     7506 |      284     41 |       34 |       73
108.77/108.85	c  1.7s |      10 |    21475 |    11361 |      284     63 |       34 |       73
109.57/109.64	c  2.5s |      11 |    32635 |    17144 |      284     96 |       34 |       73
110.77/110.89	c  3.7s |      12 |    49590 |    25819 |      284    145 |       34 |       73
112.58/112.66	c  5.5s |      13 |    75098 |    38832 |      284    218 |       34 |       73
113.48/113.57	c  6.4s |      13 |    84721 |    45161 |      284    254 |       34 |       73
113.48/113.57	c #cpu_time = 6.403s
113.48/113.57	c #wall_clock_time = 6.403s
113.48/113.57	c #decision = 84721
113.48/113.57	c #random_decision = 236
113.48/113.57	c #conflict = 45161
113.48/113.57	c #restart = 13
113.48/113.57	o 1120
113.48/113.57	s OPTIMUM FOUND
113.48/113.57	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
113.48/113.57	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
113.48/113.57	v -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30
113.48/113.57	v -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40
113.48/113.57	v -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
113.48/113.57	v x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
113.48/113.57	v -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70
113.48/113.57	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
113.48/113.57	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89
113.48/113.57	c total CPU time = 113.573s
113.48/113.57	c total wall clock time = 113.576s

Verifier Data 

OK	1120

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

pid=1532
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.40 1.41 1.74 4/179 1535
/proc/meminfo: memFree=29275460/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=630204 CPUtime=0 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 2332 0 0 0 0 0 0 0 20 0 4 0 104349258 645328896 2693 33554432000 4194304 16246674 140733975839984 140733975839408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 158063 2704 441 2943 0 154957 0
[pid=1535/tid=1536] ppid=1532 vsize=756292 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 774443008 3189 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=761412 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 779685888 3208 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=764484 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104349258 782831616 3223 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 1.40 1.41 1.74 4/179 1535
/proc/meminfo: memFree=29275460/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 27299 0 0 0 5 3 0 0 20 0 4 0 104349258 1247350784 27647 33554432000 4194304 16246674 140733975839984 140733975839408 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 304529 27652 793 2943 0 301423 0
[pid=1535/tid=1536] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 27657 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 27660 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 27663 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200571 s]
/proc/loadavg: 1.40 1.41 1.74 4/179 1535
/proc/meminfo: memFree=29275460/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 44071 0 0 0 13 6 0 0 20 0 4 0 104349258 1247350784 44419 33554432000 4194304 16246674 140733975839984 140733975821888 5601494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 304529 44424 793 2943 0 301423 0
[pid=1535/tid=1536] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 44426 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 44430 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 44434 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300553 s]
/proc/loadavg: 1.40 1.41 1.74 4/179 1535
/proc/meminfo: memFree=29275460/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 58088 0 0 0 20 8 0 0 20 0 4 0 104349258 1247350784 58436 33554432000 4194304 16246674 140733975839984 140733975821888 6021174 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 304529 58441 793 2943 0 301423 0
[pid=1535/tid=1536] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 58446 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 58451 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 58455 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700429 s]
/proc/loadavg: 1.40 1.41 1.74 4/179 1535
/proc/meminfo: memFree=29275460/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 113962 0 0 0 52 17 0 0 20 0 4 0 104349258 1247350784 114310 33554432000 4194304 16246674 140733975839984 140733975821888 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 304529 114316 793 2943 0 301423 0
[pid=1535/tid=1536] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 114322 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 114327 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 114331 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 1.45 1.42 1.74 4/183 1539
/proc/meminfo: memFree=28603192/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 223579 0 0 0 117 32 0 0 20 0 4 0 104349258 1247350784 223927 33554432000 4194304 16246674 140733975839984 140733975821888 5589077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 304529 223940 794 2943 0 301423 0
[pid=1535/tid=1536] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 223948 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 223957 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104349258 1247350784 223962 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10044 s]
/proc/loadavg: 1.45 1.42 1.74 4/183 1539
/proc/meminfo: memFree=28292184/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267403 0 0 0 270 39 0 0 20 0 4 0 104349258 1337528320 267729 33554432000 4194304 16246674 140733975839984 140733975821888 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267729 847 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267729 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267729 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267729 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 1.45 1.42 1.74 4/183 1539
/proc/meminfo: memFree=28204400/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267458 0 0 0 590 39 0 0 20 0 4 0 104349258 1337528320 267784 33554432000 4194304 16246674 140733975839984 140733975821888 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267784 847 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267784 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267784 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267784 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 1.53 1.44 1.74 4/183 1539
/proc/meminfo: memFree=28204200/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267484 0 0 0 1230 39 0 0 20 0 4 0 104349258 1337528320 267810 33554432000 4194304 16246674 140733975839984 140733975821888 13962128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267810 847 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267810 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267810 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267810 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.69 1.47 1.75 4/183 1539
/proc/meminfo: memFree=28204472/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267497 0 0 0 2509 39 0 0 20 0 4 0 104349258 1337528320 267823 33554432000 4194304 16246674 140733975839984 140733975821888 6009716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267823 850 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267823 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267823 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267823 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.79 1.51 1.75 4/183 1539
/proc/meminfo: memFree=28203856/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267509 0 0 0 5068 40 0 0 20 0 4 0 104349258 1337528320 267835 33554432000 4194304 16246674 140733975839984 140733975821888 5553608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267835 851 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267835 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267835 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267835 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 2.11 1.64 1.78 5/183 1543
/proc/meminfo: memFree=28202700/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267518 0 0 0 10187 41 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140733975822984 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267844 852 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180

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

[startup+102.408 s]
/proc/loadavg: 2.11 1.64 1.78 5/183 1543
/proc/meminfo: memFree=28202700/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=102.38 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267518 0 0 0 10197 41 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140733975822984 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267844 852 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1306180

[startup+108.8 s]
/proc/loadavg: 2.10 1.65 1.78 4/183 1543
/proc/meminfo: memFree=28202704/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=108.77 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267518 0 0 0 10836 41 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140733975821888 5861265 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267844 852 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 108.77
Current children cumulated vsize (KiB) 1306180

[startup+112 s]
/proc/loadavg: 2.10 1.65 1.78 5/183 1543
/proc/meminfo: memFree=28202828/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=111.98 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267518 0 0 0 11156 42 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140733975821888 5523515 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267844 852 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 111.98
Current children cumulated vsize (KiB) 1306180

[startup+112.8 s]
/proc/loadavg: 2.25 1.68 1.79 5/183 1543
/proc/meminfo: memFree=28202828/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=112.78 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267518 0 0 0 11236 42 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140733975821888 5659504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267844 852 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 112.78
Current children cumulated vsize (KiB) 1306180

[startup+113.2 s]
/proc/loadavg: 2.25 1.68 1.79 5/183 1543
/proc/meminfo: memFree=28202828/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=1306180 CPUtime=113.18 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) R 1532 1535 1166 0 -1 4202496 267518 0 0 0 11276 42 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140733975821888 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 326545 267844 852 2943 0 323439 0
[pid=1535/tid=1536] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) S 1532 1535 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732698438896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1535/tid=1537] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (toysat) S 1532 1535 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732687949040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1535/tid=1538] ppid=1532 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (toysat) S 1532 1535 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104349258 1337528320 267844 33554432000 4194304 16246674 140733975839984 140732677475504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 113.18
Current children cumulated vsize (KiB) 1306180

[startup+113.6 s]
/proc/loadavg: 2.25 1.68 1.79 5/183 1543
/proc/meminfo: memFree=28202828/32872528 swapFree=16384/1696552
[pid=1535] ppid=1532 vsize=0 CPUtime=113.57 cores=1,3,5,7
/proc/1535/stat : 1535 (toysat) Z 1532 1535 1166 0 -1 4202508 267522 0 0 0 11313 44 0 0 20 0 2 0 104349258 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1535/statm: 0 0 0 0 0 0 0
[pid=1535/tid=1536] ppid=1532 vsize=0 CPUtime=0.01 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (toysat) R 1532 1535 1166 0 -1 4203588 10 0 0 0 0 1 0 0 20 0 2 0 104349258 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 113.57
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 113.636
CPU time (s): 113.609
CPU user time (s): 113.137
CPU system time (s): 0.471928
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.137
system time used= 0.471928
maximum resident set size= 1071384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267522
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= 19
involuntary context switches= 125

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.747886 second user time and 0.949855 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 16:42:42
IDJOB=4079452
IDBENCH=1868
IDSOLVER=2542
FILE ID=node125/4079452-1465224162
RUNJOBID= node125-1465224138-1183
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-lseu.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079452-1465224162/watcher-4079452-1465224162 -o /tmp/evaluation-result-4079452-1465224162/solver-4079452-1465224162 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079452-1465224162.opb

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

MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff
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:        29276144 kB
Buffers:           12616 kB
Cached:           110000 kB
SwapCached:         2016 kB
Active:          1168492 kB
Inactive:          29188 kB
Active(anon):    1076116 kB
Inactive(anon):     1380 kB
Active(file):      92376 kB
Inactive(file):    27808 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             33008 kB
Writeback:             0 kB
AnonPages:       2770408 kB
Mapped:            10380 kB
Shmem:                 0 kB
Slab:             567192 kB
SReclaimable:      10848 kB
SUnreclaim:       556344 kB
KernelStack:        1520 kB
PageTables:         9480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2913648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1687552 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:44:36