Trace number 4111292

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-02? (TO) 1800 1800.31

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-abcdeir.opb
MD5SUM3a79263c3eb670c20bb8c7af306c0121
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13458780458
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113873
Total number of constraints380994
Number of constraints which are clauses380846
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints148
Minimum length of a constraint1
Maximum length of a constraint4060
Number of terms in the objective function 795
Biggest coefficient in the objective function 6328387760
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 240478734879
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 6328387760
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 240478734879
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-20T07:57:20+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-4111292-1466402240.opb"]
0.00/0.01	c use --random-gen="3416584756 1834050987 672970767 929806924 1710405090 4028847586 502839228 4130635637 2321842786 454170585 2973524556 4080279706 1731979008 4015645342 965363270 1718170118 2079546913 3678226385 1866449646 3846162359 3739591724 1048480396 1635616042 477827479 2778135051 2715788311 1542850036 295180905 1840400547 2724950657 3119367846 3607985303 127924119 2001892142 2239112123 2047280456 103958035 411459563 2629786874 3363106817 2452863975 4153317299 3620437446 637823771 3968441149 925263890 514894879 4102096894 1796934918 4023838785 3496515654 3742585263 2271993417 326580253 2945212234 3939330844 829462070 2870171027 2894840333 3833707678 3016112383 1325214115 1294939190 226378420 4034196524 357569417 2884675862 750668952 783528513 478947901 2039882028 2785156669 4101980052 3359759800 998322379 3339671799 954702742 2803187750 3186438823 2032115946 3708559066 1412229396 279551615 2106203113 2948551934 1679777890 2930789022 1438681470 2741441593 2237072827 3218845241 2314021917 2371129098 247689351 2796365910 690612150 139937399 1123109637 1576378682 2212081740 2366983297 138319104 318779845 3880393290 3469080153 53773468 2748273924 4117348122 1601223306 3122187708 4113019165 3358460799 1511151093 293724539 3347329567 112419294 3052639168 1535180729 2742181956 2973011699 2364148485 326029169 212481144 259631061 291028338 3037295072 4164488054 3392422788 3305961635 2466940247 3875057882 743767497 1915287428 4129158384 1582386309 3058939950 2773547791 4263923904 1250887876 2001382082 4129710403 1716388244 3984153355 4006746805 1614999309 1818971445 1200763985 2633159816 2462428344 954883985 345165947 1292672804 2700875524 687471326 168558640 3808528751 1725085801 3213287552 1178190074 236082812 1546281184 1535618955 2245987771 2338410794 2589002261 3638604066 2774624184 3083973380 2308767972 929908445 3803973829 3350466870 3482240482 360574331 1268856653 2631275711 713656446 3509500 784557507 1429698317 1528041552 4233083456 2188411329 4133439351 1303878858 3263021195 178773943 1972741043 3120319641 2141220647 2717651836 4199308885 1158625763 1247162332 1041680415 4108388253 4012289392 674086649 441752265 3437247472 2676026804 3551085775 967813227 4166967563 30978518 1968664287 2704871307 1720569582 2871653886 863280329 157062466 3184171684 1832576537 1537986062 1077505900 2969172583 4233760540 4017765573 1129793754 3982977198 2367945989 1003529672 1559446848 2884931513 4289656788 232998902 691673024 1161294702 3439194495 3959443482 2896720473 977472752 769612704 1174753902 391819318 1335171193 263589794 1395446363 2901059786 174575377 2008024246 1714055389 2847094078 3922800155 1463974406 3526927981 3706538807 2895050139 1820871594 208490709 3884175592 209529160 3926005043 35477034 265171256 2328398577 255 362436" option to reproduce the execution
2.30/2.38	c #vars 113873
2.30/2.38	c #constraints 380994
7.29/7.35	c BCD2: Hardening is enabled.
7.29/7.35	c BCD2: BiasedSearch is enabled.
7.29/7.35	c Solving starts ...
7.29/7.35	c ============================[ Search Statistics ]============================
7.29/7.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.29/7.35	c       |         |          |          |    Limit     GC | Var      | Constra 
7.29/7.35	c =============================================================================
7.29/7.36	c  0.0s |       0 |        0 |        0 |   146033      0 |     1127 |        0
7.79/7.86	c  0.5s |       1 |      512 |      100 |   146033      0 |     1127 |     2882
8.49/8.51	c  1.1s |       1 |     1089 |      101 |   160637      0 |     1127 |     2882
8.49/8.51	c #cpu_time = 1.062s
8.49/8.51	c #wall_clock_time = 1.064s
8.49/8.51	c #decision = 1089
8.49/8.51	c #random_decision = 3
8.49/8.51	c #conflict = 101
8.49/8.51	c #restart = 1
8.49/8.51	o 234150349409
71.68/71.75	c BCD2: updating upper bound: 240478734879 -> 234150349408
72.58/72.70	c BCD2: 0 <= obj <= 234150349408
72.58/72.70	c BCD2: #cores=0, #unrelaxed=795, #relaxed=0, #hardened=0
72.58/72.70	c BCD2: #sat=1 #unsat=1 bias=1/2
72.58/72.70	c Solving starts ...
72.58/72.70	c ============================[ Search Statistics ]============================
72.58/72.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
72.58/72.70	c       |         |          |          |    Limit     GC | Var      | Constra 
72.58/72.70	c =============================================================================
72.58/72.70	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
72.78/72.85	c  0.1s |       0 |        2 |        0 |   160637      0 |     1127 |     2882
72.78/72.85	c #cpu_time = 0.144s
72.78/72.85	c #wall_clock_time = 0.144s
72.78/72.85	c #decision = 2
72.78/72.85	c #random_decision = 0
72.78/72.85	c #conflict = 0
72.78/72.85	c #restart = 0
72.78/72.85	c BCD2: found a new core of size 3: cost of the new core is >=4382540
72.78/72.85	c lower bound updated to 4382540
140.37/140.41	c BCD2: 4382540 <= obj <= 234150349408
140.37/140.41	c BCD2: #cores=1, #unrelaxed=792, #relaxed=3, #hardened=0
140.37/140.41	c BCD2: #sat=1 #unsat=2 bias=2/3
140.37/140.42	c Solving starts ...
140.37/140.42	c ============================[ Search Statistics ]============================
140.37/140.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
140.37/140.42	c       |         |          |          |    Limit     GC | Var      | Constra 
140.37/140.42	c =============================================================================
140.37/140.42	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
140.47/140.57	c  0.2s |       0 |        3 |        0 |   160637      0 |     1127 |     2882
140.47/140.57	c #cpu_time = 0.157s
140.47/140.57	c #wall_clock_time = 0.158s
140.47/140.57	c #decision = 3
140.47/140.57	c #random_decision = 0
140.47/140.57	c #conflict = 0
140.47/140.57	c #restart = 0
140.47/140.57	c BCD2: found a new core of size 3: cost of the new core is >=4382540
140.47/140.57	c lower bound updated to 8765080
207.75/207.81	c BCD2: 8765080 <= obj <= 234150349408
207.75/207.81	c BCD2: #cores=2, #unrelaxed=789, #relaxed=6, #hardened=0
207.75/207.81	c BCD2: #sat=1 #unsat=3 bias=3/4
207.75/207.81	c Solving starts ...
207.75/207.81	c ============================[ Search Statistics ]============================
207.75/207.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
207.75/207.81	c       |         |          |          |    Limit     GC | Var      | Constra 
207.75/207.81	c =============================================================================
207.75/207.81	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
207.86/207.96	c  0.1s |       0 |        4 |        0 |   160637      0 |     1127 |     2882
207.86/207.96	c #cpu_time = 0.147s
207.86/207.96	c #wall_clock_time = 0.147s
207.86/207.96	c #decision = 4
207.86/207.96	c #random_decision = 0
207.86/207.96	c #conflict = 0
207.86/207.96	c #restart = 0
207.86/207.96	c BCD2: found a new core of size 3: cost of the new core is >=4382540
207.86/207.96	c lower bound updated to 13147620
272.76/272.84	c BCD2: 13147620 <= obj <= 234150349408
272.76/272.84	c BCD2: #cores=3, #unrelaxed=786, #relaxed=9, #hardened=0
272.76/272.84	c BCD2: #sat=1 #unsat=4 bias=4/5
272.76/272.84	c Solving starts ...
272.76/272.84	c ============================[ Search Statistics ]============================
272.76/272.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
272.76/272.84	c       |         |          |          |    Limit     GC | Var      | Constra 
272.76/272.84	c =============================================================================
272.76/272.84	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
272.95/273.00	c  0.2s |       0 |        5 |        0 |   160637      0 |     1127 |     2882
272.95/273.00	c #cpu_time = 0.160s
272.95/273.00	c #wall_clock_time = 0.160s
272.95/273.00	c #decision = 5
272.95/273.00	c #random_decision = 0
272.95/273.00	c #conflict = 0
272.95/273.00	c #restart = 0
272.95/273.00	c BCD2: found a new core of size 3: cost of the new core is >=4382540
272.95/273.00	c lower bound updated to 17530160
339.23/339.30	c BCD2: 17530160 <= obj <= 234150349408
339.23/339.30	c BCD2: #cores=4, #unrelaxed=783, #relaxed=12, #hardened=0
339.23/339.30	c BCD2: #sat=1 #unsat=5 bias=5/6
339.23/339.30	c Solving starts ...
339.23/339.30	c ============================[ Search Statistics ]============================
339.23/339.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
339.23/339.30	c       |         |          |          |    Limit     GC | Var      | Constra 
339.23/339.30	c =============================================================================
339.23/339.30	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
339.33/339.46	c  0.2s |       0 |        6 |        0 |   160637      0 |     1127 |     2882
339.33/339.46	c #cpu_time = 0.153s
339.33/339.46	c #wall_clock_time = 0.154s
339.33/339.46	c #decision = 6
339.33/339.46	c #random_decision = 0
339.33/339.46	c #conflict = 0
339.33/339.46	c #restart = 0
339.33/339.46	c BCD2: found a new core of size 3: cost of the new core is >=4382540
339.33/339.46	c lower bound updated to 21912700
406.22/406.37	c BCD2: 21912700 <= obj <= 234150349408
406.22/406.37	c BCD2: #cores=5, #unrelaxed=780, #relaxed=15, #hardened=0
406.22/406.37	c BCD2: #sat=1 #unsat=6 bias=6/7
406.22/406.38	c Solving starts ...
406.22/406.38	c ============================[ Search Statistics ]============================
406.22/406.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
406.22/406.38	c       |         |          |          |    Limit     GC | Var      | Constra 
406.22/406.38	c =============================================================================
406.22/406.38	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
406.42/406.55	c  0.2s |       0 |        7 |        0 |   160637      0 |     1127 |     2882
406.42/406.55	c #cpu_time = 0.168s
406.42/406.55	c #wall_clock_time = 0.168s
406.42/406.55	c #decision = 7
406.42/406.55	c #random_decision = 0
406.42/406.55	c #conflict = 0
406.42/406.55	c #restart = 0
406.42/406.55	c BCD2: found a new core of size 3: cost of the new core is >=4382540
406.42/406.55	c lower bound updated to 26295240
474.41/474.58	c BCD2: 26295240 <= obj <= 234150349408
474.41/474.58	c BCD2: #cores=6, #unrelaxed=777, #relaxed=18, #hardened=0
474.41/474.58	c BCD2: #sat=1 #unsat=7 bias=7/8
474.41/474.58	c Solving starts ...
474.41/474.58	c ============================[ Search Statistics ]============================
474.41/474.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
474.41/474.58	c       |         |          |          |    Limit     GC | Var      | Constra 
474.41/474.58	c =============================================================================
474.41/474.58	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
474.61/474.75	c  0.2s |       0 |        8 |        0 |   160637      0 |     1127 |     2882
474.61/474.75	c #cpu_time = 0.169s
474.61/474.75	c #wall_clock_time = 0.169s
474.61/474.75	c #decision = 8
474.61/474.75	c #random_decision = 0
474.61/474.75	c #conflict = 0
474.61/474.75	c #restart = 0
474.61/474.75	c BCD2: found a new core of size 3: cost of the new core is >=4382540
474.61/474.75	c lower bound updated to 30677780
548.10/548.20	c BCD2: 30677780 <= obj <= 234150349408
548.10/548.20	c BCD2: #cores=7, #unrelaxed=774, #relaxed=21, #hardened=0
548.10/548.20	c BCD2: #sat=1 #unsat=8 bias=8/9
548.10/548.21	c Solving starts ...
548.10/548.21	c ============================[ Search Statistics ]============================
548.10/548.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
548.10/548.21	c       |         |          |          |    Limit     GC | Var      | Constra 
548.10/548.21	c =============================================================================
548.10/548.21	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
548.20/548.40	c  0.2s |       0 |        9 |        0 |   160637      0 |     1127 |     2882
548.20/548.40	c #cpu_time = 0.186s
548.20/548.40	c #wall_clock_time = 0.187s
548.20/548.40	c #decision = 9
548.20/548.40	c #random_decision = 0
548.20/548.40	c #conflict = 0
548.20/548.40	c #restart = 0
548.20/548.40	c BCD2: found a new core of size 3: cost of the new core is >=4382540
548.20/548.40	c lower bound updated to 35060320
622.38/622.58	c BCD2: 35060320 <= obj <= 234150349408
622.38/622.58	c BCD2: #cores=8, #unrelaxed=771, #relaxed=24, #hardened=0
622.38/622.58	c BCD2: #sat=1 #unsat=9 bias=9/10
622.38/622.58	c Solving starts ...
622.38/622.58	c ============================[ Search Statistics ]============================
622.38/622.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
622.38/622.58	c       |         |          |          |    Limit     GC | Var      | Constra 
622.38/622.58	c =============================================================================
622.38/622.58	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
622.59/622.76	c  0.2s |       0 |       10 |        0 |   160637      0 |     1127 |     2882
622.59/622.76	c #cpu_time = 0.171s
622.59/622.76	c #wall_clock_time = 0.172s
622.59/622.76	c #decision = 10
622.59/622.76	c #random_decision = 0
622.59/622.76	c #conflict = 0
622.59/622.76	c #restart = 0
622.59/622.76	c BCD2: found a new core of size 3: cost of the new core is >=4382540
622.59/622.76	c lower bound updated to 39442860
702.07/702.23	c BCD2: 39442860 <= obj <= 234150349408
702.07/702.23	c BCD2: #cores=9, #unrelaxed=768, #relaxed=27, #hardened=0
702.07/702.23	c BCD2: #sat=1 #unsat=10 bias=10/11
702.07/702.23	c Solving starts ...
702.07/702.23	c ============================[ Search Statistics ]============================
702.07/702.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
702.07/702.23	c       |         |          |          |    Limit     GC | Var      | Constra 
702.07/702.23	c =============================================================================
702.07/702.23	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
702.27/702.43	c  0.2s |       0 |       11 |        0 |   160637      0 |     1127 |     2882
702.27/702.43	c #cpu_time = 0.194s
702.27/702.43	c #wall_clock_time = 0.194s
702.27/702.43	c #decision = 11
702.27/702.43	c #random_decision = 0
702.27/702.43	c #conflict = 0
702.27/702.43	c #restart = 0
702.27/702.43	c BCD2: found a new core of size 3: cost of the new core is >=4382540
702.27/702.43	c lower bound updated to 43825400
778.86/779.06	c BCD2: 43825400 <= obj <= 234150349408
778.86/779.06	c BCD2: #cores=10, #unrelaxed=765, #relaxed=30, #hardened=0
778.86/779.06	c BCD2: #sat=1 #unsat=11 bias=11/12
778.86/779.06	c Solving starts ...
778.86/779.06	c ============================[ Search Statistics ]============================
778.86/779.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
778.86/779.06	c       |         |          |          |    Limit     GC | Var      | Constra 
778.86/779.06	c =============================================================================
778.86/779.06	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
779.06/779.26	c  0.2s |       0 |       12 |        0 |   160637      0 |     1127 |     2882
779.06/779.26	c #cpu_time = 0.190s
779.06/779.26	c #wall_clock_time = 0.191s
779.06/779.26	c #decision = 12
779.06/779.26	c #random_decision = 0
779.06/779.26	c #conflict = 0
779.06/779.26	c #restart = 0
779.06/779.26	c BCD2: found a new core of size 3: cost of the new core is >=4382540
779.06/779.26	c lower bound updated to 48207940
859.85/860.01	c BCD2: 48207940 <= obj <= 234150349408
859.85/860.01	c BCD2: #cores=11, #unrelaxed=762, #relaxed=33, #hardened=0
859.85/860.01	c BCD2: #sat=1 #unsat=12 bias=12/13
859.85/860.01	c Solving starts ...
859.85/860.01	c ============================[ Search Statistics ]============================
859.85/860.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
859.85/860.01	c       |         |          |          |    Limit     GC | Var      | Constra 
859.85/860.01	c =============================================================================
859.85/860.01	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
860.05/860.23	c  0.2s |       0 |       13 |        0 |   160637      0 |     1127 |     2882
860.05/860.23	c #cpu_time = 0.220s
860.05/860.23	c #wall_clock_time = 0.220s
860.05/860.23	c #decision = 13
860.05/860.23	c #random_decision = 0
860.05/860.23	c #conflict = 0
860.05/860.23	c #restart = 0
860.05/860.23	c BCD2: found a new core of size 3: cost of the new core is >=4382540
860.05/860.23	c lower bound updated to 52590480
941.23/941.46	c BCD2: 52590480 <= obj <= 234150349408
941.23/941.46	c BCD2: #cores=12, #unrelaxed=759, #relaxed=36, #hardened=0
941.23/941.46	c BCD2: #sat=1 #unsat=13 bias=13/14
941.23/941.46	c Solving starts ...
941.23/941.46	c ============================[ Search Statistics ]============================
941.23/941.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
941.23/941.46	c       |         |          |          |    Limit     GC | Var      | Constra 
941.23/941.46	c =============================================================================
941.23/941.46	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
941.44/941.67	c  0.2s |       0 |       14 |        0 |   160637      0 |     1127 |     2882
941.44/941.67	c #cpu_time = 0.198s
941.44/941.67	c #wall_clock_time = 0.199s
941.44/941.67	c #decision = 14
941.44/941.67	c #random_decision = 0
941.44/941.67	c #conflict = 0
941.44/941.67	c #restart = 0
941.44/941.67	c BCD2: found a new core of size 3: cost of the new core is >=4382540
941.44/941.67	c lower bound updated to 56973020
1024.82/1025.05	c BCD2: 56973020 <= obj <= 234150349408
1024.82/1025.05	c BCD2: #cores=13, #unrelaxed=756, #relaxed=39, #hardened=0
1024.82/1025.05	c BCD2: #sat=1 #unsat=14 bias=14/15
1024.82/1025.05	c Solving starts ...
1024.82/1025.05	c ============================[ Search Statistics ]============================
1024.82/1025.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1024.82/1025.05	c       |         |          |          |    Limit     GC | Var      | Constra 
1024.82/1025.05	c =============================================================================
1024.82/1025.06	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1025.02/1025.29	c  0.2s |       0 |       15 |        0 |   160637      0 |     1127 |     2882
1025.02/1025.29	c #cpu_time = 0.223s
1025.02/1025.29	c #wall_clock_time = 0.224s
1025.02/1025.29	c #decision = 15
1025.02/1025.29	c #random_decision = 0
1025.02/1025.29	c #conflict = 0
1025.02/1025.29	c #restart = 0
1025.02/1025.29	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1025.02/1025.29	c lower bound updated to 61355560
1108.31/1108.52	c BCD2: 61355560 <= obj <= 234150349408
1108.31/1108.52	c BCD2: #cores=14, #unrelaxed=753, #relaxed=42, #hardened=0
1108.31/1108.52	c BCD2: #sat=1 #unsat=15 bias=15/16
1108.31/1108.52	c Solving starts ...
1108.31/1108.52	c ============================[ Search Statistics ]============================
1108.31/1108.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1108.31/1108.52	c       |         |          |          |    Limit     GC | Var      | Constra 
1108.31/1108.52	c =============================================================================
1108.31/1108.52	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1108.51/1108.73	c  0.2s |       0 |       16 |        0 |   160637      0 |     1127 |     2882
1108.51/1108.73	c #cpu_time = 0.197s
1108.51/1108.73	c #wall_clock_time = 0.198s
1108.51/1108.73	c #decision = 16
1108.51/1108.73	c #random_decision = 0
1108.51/1108.73	c #conflict = 0
1108.51/1108.73	c #restart = 0
1108.51/1108.73	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1108.51/1108.73	c lower bound updated to 65738100
1193.69/1193.92	c BCD2: 65738100 <= obj <= 234150349408
1193.69/1193.92	c BCD2: #cores=15, #unrelaxed=750, #relaxed=45, #hardened=0
1193.69/1193.92	c BCD2: #sat=1 #unsat=16 bias=16/17
1193.69/1193.92	c Solving starts ...
1193.69/1193.92	c ============================[ Search Statistics ]============================
1193.69/1193.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1193.69/1193.92	c       |         |          |          |    Limit     GC | Var      | Constra 
1193.69/1193.92	c =============================================================================
1193.69/1193.92	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1193.89/1194.16	c  0.2s |       0 |       17 |        0 |   160637      0 |     1127 |     2882
1193.89/1194.16	c #cpu_time = 0.230s
1193.89/1194.16	c #wall_clock_time = 0.231s
1193.89/1194.16	c #decision = 17
1193.89/1194.16	c #random_decision = 0
1193.89/1194.16	c #conflict = 0
1193.89/1194.16	c #restart = 0
1193.89/1194.16	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1193.89/1194.16	c lower bound updated to 70120640
1280.57/1280.88	c BCD2: 70120640 <= obj <= 234150349408
1280.57/1280.88	c BCD2: #cores=16, #unrelaxed=747, #relaxed=48, #hardened=0
1280.57/1280.88	c BCD2: #sat=1 #unsat=17 bias=17/18
1280.57/1280.88	c Solving starts ...
1280.57/1280.88	c ============================[ Search Statistics ]============================
1280.57/1280.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1280.57/1280.88	c       |         |          |          |    Limit     GC | Var      | Constra 
1280.57/1280.88	c =============================================================================
1280.57/1280.88	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1280.87/1281.10	c  0.2s |       0 |       18 |        0 |   160637      0 |     1127 |     2882
1280.87/1281.10	c #cpu_time = 0.213s
1280.87/1281.10	c #wall_clock_time = 0.213s
1280.87/1281.10	c #decision = 18
1280.87/1281.10	c #random_decision = 0
1280.87/1281.10	c #conflict = 0
1280.87/1281.10	c #restart = 0
1280.87/1281.10	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1280.87/1281.10	c lower bound updated to 74503180
1368.36/1368.68	c BCD2: 74503180 <= obj <= 234150349408
1368.36/1368.68	c BCD2: #cores=17, #unrelaxed=744, #relaxed=51, #hardened=0
1368.36/1368.68	c BCD2: #sat=1 #unsat=18 bias=18/19
1368.36/1368.68	c Solving starts ...
1368.36/1368.68	c ============================[ Search Statistics ]============================
1368.36/1368.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1368.36/1368.68	c       |         |          |          |    Limit     GC | Var      | Constra 
1368.36/1368.68	c =============================================================================
1368.36/1368.68	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1368.66/1368.92	c  0.2s |       0 |       17 |        0 |   160637      0 |     1127 |     2882
1368.66/1368.92	c #cpu_time = 0.231s
1368.66/1368.92	c #wall_clock_time = 0.231s
1368.66/1368.92	c #decision = 17
1368.66/1368.92	c #random_decision = 0
1368.66/1368.92	c #conflict = 0
1368.66/1368.92	c #restart = 0
1368.66/1368.92	c BCD2: found a new core of size 1: cost of the new core is >=6328387760
1368.66/1368.92	c lower bound updated to 6402890940
1455.45/1455.79	c BCD2: 6402890940 <= obj <= 234150349408
1455.45/1455.79	c BCD2: #cores=18, #unrelaxed=743, #relaxed=52, #hardened=0
1455.45/1455.79	c BCD2: #sat=1 #unsat=19 bias=19/20
1455.45/1455.79	c Solving starts ...
1455.45/1455.79	c ============================[ Search Statistics ]============================
1455.45/1455.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1455.45/1455.79	c       |         |          |          |    Limit     GC | Var      | Constra 
1455.45/1455.79	c =============================================================================
1455.45/1455.79	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1455.75/1456.01	c  0.2s |       0 |       20 |        0 |   160637      0 |     1127 |     2882
1455.75/1456.01	c #cpu_time = 0.212s
1455.75/1456.01	c #wall_clock_time = 0.213s
1455.75/1456.01	c #decision = 20
1455.75/1456.01	c #random_decision = 0
1455.75/1456.01	c #conflict = 0
1455.75/1456.01	c #restart = 0
1455.75/1456.01	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1455.75/1456.01	c lower bound updated to 6407273480
1540.33/1540.68	c BCD2: 6407273480 <= obj <= 234150349408
1540.33/1540.68	c BCD2: #cores=19, #unrelaxed=740, #relaxed=55, #hardened=0
1540.33/1540.68	c BCD2: #sat=1 #unsat=20 bias=20/21
1540.33/1540.68	c Solving starts ...
1540.33/1540.68	c ============================[ Search Statistics ]============================
1540.33/1540.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1540.33/1540.68	c       |         |          |          |    Limit     GC | Var      | Constra 
1540.33/1540.68	c =============================================================================
1540.33/1540.68	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1540.63/1540.93	c  0.2s |       0 |       21 |        0 |   160637      0 |     1127 |     2882
1540.63/1540.93	c #cpu_time = 0.235s
1540.63/1540.93	c #wall_clock_time = 0.236s
1540.63/1540.93	c #decision = 21
1540.63/1540.93	c #random_decision = 0
1540.63/1540.93	c #conflict = 0
1540.63/1540.93	c #restart = 0
1540.63/1540.93	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1540.63/1540.93	c lower bound updated to 6411656020
1624.62/1624.94	c BCD2: 6411656020 <= obj <= 234150349408
1624.62/1624.94	c BCD2: #cores=20, #unrelaxed=737, #relaxed=58, #hardened=0
1624.62/1624.94	c BCD2: #sat=1 #unsat=21 bias=21/22
1624.62/1624.94	c Solving starts ...
1624.62/1624.94	c ============================[ Search Statistics ]============================
1624.62/1624.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1624.62/1624.94	c       |         |          |          |    Limit     GC | Var      | Constra 
1624.62/1624.94	c =============================================================================
1624.62/1624.94	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1624.82/1625.17	c  0.2s |       0 |       22 |        0 |   160637      0 |     1127 |     2882
1624.82/1625.17	c #cpu_time = 0.215s
1624.82/1625.17	c #wall_clock_time = 0.216s
1624.82/1625.17	c #decision = 22
1624.82/1625.17	c #random_decision = 0
1624.82/1625.17	c #conflict = 0
1624.82/1625.17	c #restart = 0
1624.82/1625.17	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1624.82/1625.17	c lower bound updated to 6416038560
1712.51/1712.83	c BCD2: 6416038560 <= obj <= 234150349408
1712.51/1712.83	c BCD2: #cores=21, #unrelaxed=734, #relaxed=61, #hardened=0
1712.51/1712.83	c BCD2: #sat=1 #unsat=22 bias=22/23
1712.51/1712.83	c Solving starts ...
1712.51/1712.83	c ============================[ Search Statistics ]============================
1712.51/1712.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1712.51/1712.83	c       |         |          |          |    Limit     GC | Var      | Constra 
1712.51/1712.83	c =============================================================================
1712.51/1712.83	c  0.0s |       0 |        0 |        0 |   160637      0 |     1127 |     2882
1712.70/1713.04	c  0.2s |       0 |       23 |        0 |   160637      0 |     1127 |     2882
1712.70/1713.04	c #cpu_time = 0.194s
1712.70/1713.04	c #wall_clock_time = 0.194s
1712.70/1713.04	c #decision = 23
1712.70/1713.04	c #random_decision = 0
1712.70/1713.04	c #conflict = 0
1712.70/1713.04	c #restart = 0
1712.70/1713.04	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1712.70/1713.04	c lower bound updated to 6420421100

Verifier Data 

ERROR: no interpretation found !

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

pid=29757
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.18 2.12 2.08 3/179 29760
/proc/meminfo: memFree=17212400/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=634300 CPUtime=0 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 2349 0 0 0 0 0 0 0 20 0 4 0 42273263 649523200 2710 33554432000 4194304 16246674 140735130943280 140735130942704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 159343 2720 441 2943 0 156237 0
[pid=29760/tid=29761] ppid=29757 vsize=651708 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 667348992 2779 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=655804 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 671543296 2795 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=659900 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 42273264 675737600 2812 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.18 2.12 2.08 3/179 29760
/proc/meminfo: memFree=17212400/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 27091 0 0 0 5 4 0 0 20 0 4 0 42273263 1333334016 27390 33554432000 4194304 16246674 140735130943280 140735130926272 7379309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 325521 27403 800 2943 0 322415 0
[pid=29760/tid=29761] ppid=29757 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1333334016 27413 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1333334016 27424 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1333334016 27435 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200495 s]
/proc/loadavg: 2.18 2.12 2.08 3/179 29760
/proc/meminfo: memFree=17212400/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 49162 0 0 0 12 7 0 0 20 0 4 0 42273263 1344868352 49972 33554432000 4194304 16246674 140735130943280 140735130926272 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 328337 49978 800 2943 0 325231 0
[pid=29760/tid=29761] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 49983 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 49988 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 49992 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300465 s]
/proc/loadavg: 2.18 2.12 2.08 3/179 29760
/proc/meminfo: memFree=17212400/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 55947 0 0 0 21 8 0 0 20 0 4 0 42273263 1344868352 56757 33554432000 4194304 16246674 140735130943280 140735130926272 13923640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 328337 56757 800 2943 0 325231 0
[pid=29760/tid=29761] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 56757 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 56757 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 56757 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700406 s]
/proc/loadavg: 2.18 2.12 2.08 3/179 29760
/proc/meminfo: memFree=17212400/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 68507 0 0 0 59 10 0 0 20 0 4 0 42273263 1344868352 69317 33554432000 4194304 16246674 140735130943280 140735130926272 4220907 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 328337 69317 801 2943 0 325231 0
[pid=29760/tid=29761] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 69317 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 69317 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 69317 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.18 2.12 2.08 3/183 29764
/proc/meminfo: memFree=16909052/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 82094 0 0 0 137 12 0 0 20 0 4 0 42273263 1344868352 82904 33554432000 4194304 16246674 140735130943280 140735130926272 4206877 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 328337 82904 801 2943 0 325231 0
[pid=29760/tid=29761] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 82904 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 82904 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1344868352 82904 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.16 2.11 2.08 3/183 29764
/proc/meminfo: memFree=16709040/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 207268 0 0 0 279 30 0 0 20 0 4 0 42273263 1383665664 208078 33554432000 4194304 16246674 140735130943280 140735130925184 5889452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 337809 208086 836 2943 0 334703 0
[pid=29760/tid=29761] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 208091 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 208098 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 208103 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.3004 s]
/proc/loadavg: 2.16 2.11 2.08 4/183 29764
/proc/meminfo: memFree=16097396/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1351236 CPUtime=6.29 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 278431 0 0 0 589 40 0 0 20 0 4 0 42273263 1383665664 279241 33554432000 4194304 16246674 140735130943280 140735130925184 7204266 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 337809 279241 838 2943 0 334703 0
[pid=29760/tid=29761] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 279241 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 279241 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 279241 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.21 2.13 2.08 3/183 29764
/proc/meminfo: memFree=16098440/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1351236 CPUtime=12.69 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 278495 0 0 0 1229 40 0 0 20 0 4 0 42273263 1383665664 279305 33554432000 4194304 16246674 140735130943280 140735130925184 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 337809 279305 900 2943 0 334703 0
[pid=29760/tid=29761] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 279305 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 279305 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1383665664 279305 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1351236

[startup+25.5005 s]
/proc/loadavg: 2.25 2.14 2.09 3/183 29764
/proc/meminfo: memFree=16095908/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1353284 CPUtime=25.48 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 279008 0 0 0 2508 40 0 0 20 0 4 0 42273263 1385762816 279818 33554432000 4194304 16246674 140735130943280 140735130942376 12414079 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 338321 279818 900 2943 0 335215 0
[pid=29760/tid=29761] ppid=29757 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1385762816 279818 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1385762816 279818 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1385762816 279818 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1353284

[startup+51.1004 s]
/proc/loadavg: 2.23 2.14 2.09 4/183 29764
/proc/meminfo: memFree=15513680/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1718852 CPUtime=51.08 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 370402 0 0 0 5055 53 0 0 20 0 4 0 42273263 1760104448 371212 33554432000 4194304 16246674 140735130943280 140735130925184 12413997 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 429713 371212 901 2943 0 426607 0
[pid=29760/tid=29761] ppid=29757 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1760104448 371212 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1760104448 371212 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1760104448 371212 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1718852

[startup+102.3 s]
/proc/loadavg: 2.20 2.15 2.09 3/183 29765
/proc/meminfo: memFree=15513472/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1718852 CPUtime=102.28 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 370418 0 0 0 10175 53 0 0 20 0 4 0 42273263 1760104448 371228 33554432000 4194304 16246674 140735130943280 140735130941120 4225315 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 429713 371228 917 2943 0 426607 0
[pid=29760/tid=29761] ppid=29757 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1760104448 371228 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1760104448 371228 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1718852 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1760104448 371228 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1718852


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

/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1852379136 393759 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1808964

[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/184 29870
/proc/meminfo: memFree=16983120/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1808964 CPUtime=1362.06 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 392975 0 0 0 136147 59 0 0 20 0 4 0 42273263 1852379136 393759 33554432000 4194304 16246674 140735130943280 140735130925184 12413997 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 452241 393759 917 2943 0 449135 0
[pid=29760/tid=29761] ppid=29757 vsize=1808964 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1852379136 393759 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1808964 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1852379136 393759 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1808964 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1852379136 393759 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1808964

[startup+1422.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/183 29871
/proc/meminfo: memFree=16973732/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1422.06 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 142146 60 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130925184 6955472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1818180

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 29872
/proc/meminfo: memFree=16973772/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1482.04 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 148144 60 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130941120 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1818180

[startup+1542.31 s]
/proc/loadavg: 2.09 2.07 2.07 3/183 29874
/proc/meminfo: memFree=16973428/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1542.04 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 154144 60 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130942456 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1818180

[startup+1602.3 s]
/proc/loadavg: 2.15 2.08 2.07 3/183 29875
/proc/meminfo: memFree=16973208/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1602.02 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 160142 60 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130925184 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1818180

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/183 29876
/proc/meminfo: memFree=16973740/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1662.01 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 166141 60 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130942592 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1818180

[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.07 3/183 29877
/proc/meminfo: memFree=16973776/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1722 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 172140 60 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130925184 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1818180

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/183 29878
/proc/meminfo: memFree=16973312/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1782 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 178139 61 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130925184 12413997 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1818180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 29879
/proc/meminfo: memFree=16973528/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1800 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 179939 61 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130925184 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1818180

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 29879
/proc/meminfo: memFree=16973528/32872528 swapFree=682476/737664
[pid=29760] ppid=29757 vsize=1818180 CPUtime=1800 cores=0,2,4,6
/proc/29760/stat : 29760 (toysat) R 29757 29760 27433 0 -1 4202496 395279 0 0 0 179939 61 0 0 20 0 4 0 42273263 1861816320 396063 33554432000 4194304 16246674 140735130943280 140735130925184 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29760/statm: 454545 396063 917 2943 0 451439 0
[pid=29760/tid=29761] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29761/stat : 29761 (toysat) S 29757 29760 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671759396080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29760/tid=29762] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29762/stat : 29762 (toysat) S 29757 29760 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671748906224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29760/tid=29763] ppid=29757 vsize=1818180 CPUtime=0 cores=0,2,4,6
/proc/29760/task/29763/stat : 29763 (toysat) S 29757 29760 27433 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42273264 1861816320 396063 33554432000 4194304 16246674 140735130943280 140671738432688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1818180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800
CPU user time (s): 1799.39
CPU system time (s): 0.611906
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1818180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.611906
maximum resident set size= 1584252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395279
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= 680
involuntary context switches= 1821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43002 second user time and 8.05177 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-20 07:57:20
IDJOB=4111292
IDBENCH=109094
IDSOLVER=2542
FILE ID=node112/4111292-1466402240
RUNJOBID= node112-1466384098-27449
PBS_JOBID= 19923269
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-abcdeir.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111292-1466402240/watcher-4111292-1466402240 -o /tmp/evaluation-result-4111292-1466402240/solver-4111292-1466402240 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466384098-27449 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111292-1466402240.opb

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

MD5SUM BENCH= 3a79263c3eb670c20bb8c7af306c0121
RANDOM SEED=109037825

node112.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.734
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
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.734
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        17212680 kB
Buffers:           53392 kB
Cached:           102768 kB
SwapCached:          948 kB
Active:         14090252 kB
Inactive:          71068 kB
Active(anon):   14006124 kB
Inactive(anon):     1332 kB
Active(file):      84128 kB
Inactive(file):    69736 kB
Unevictable:      737664 kB
Mlocked:          682476 kB
SwapTotal:      67108856 kB
SwapFree:       67097688 kB
Dirty:             28332 kB
Writeback:             0 kB
AnonPages:      14741596 kB
Mapped:            10784 kB
Shmem:                 0 kB
Slab:             599980 kB
SReclaimable:      43880 kB
SUnreclaim:       556100 kB
KernelStack:        1504 kB
PageTables:        33292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14886292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71660 MiB
End job on node112 at 2016-06-20 08:27:21