Trace number 4111484

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.12 1800.41

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-abcdeir.opb
MD5SUM13c118a14e91ff5fa1497f15b9c121dd
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.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables95933
Total number of constraints291294
Number of constraints which are clauses291146
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-20T09:01:34+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-4111484-1466406094.opb"]
0.00/0.01	c use --random-gen="2591127230 3674717195 3045376600 4079935274 1835774350 1290384934 539820038 3327433673 1795396374 3759057751 3790221121 975257046 1767570253 292035088 3557696109 1651384882 1067208664 3947562794 1093105115 352831180 2871033748 2278903265 2243231539 2763304162 1636420887 4278705955 294449098 3122906957 1487113788 600744153 1560339302 785983370 3312775966 3016620664 1178538236 4215562706 2158538967 2612300839 1977996315 332884703 1737188611 707915200 50305344 1864636644 747356394 3274951605 2917596175 1409876299 4178120951 2657276777 1670715111 2277070906 720345807 2927498899 1235279483 2411366470 279102010 4214283116 1980911701 1600972644 790000745 1911289023 1860322992 2535890549 2201457127 2899005122 2607292109 4001927358 829243657 1962489002 3072842707 2763922653 2965067190 1912003565 197612903 3184200347 492057203 2305305747 3783529949 312275550 695630230 3907674277 1886447495 18479155 3055335643 198379159 462699887 636090342 4099877316 202542651 1514502560 4054837663 918447486 1675485470 1879508505 2046922634 208940017 2983517466 1974290564 4107255007 2842991103 3736842623 2959908571 2860563639 873138759 1127953220 3466780207 2654583823 3757072114 1016450359 1977450047 3837989054 1308580182 3388867854 979905873 3081486150 633594973 2438341618 858620986 770124264 889114205 2033363168 3870212628 926042935 3670396800 3670892854 2725557008 966254162 3835915419 3041667932 2087579801 3407377336 604052305 2603091521 2416642006 2807270494 1940965506 385129124 367864070 3338047587 2624491046 1428255266 2313363162 738733057 318854273 1596073126 2358028990 3000803427 508158248 3513173845 2008363652 1891643832 4117279245 3915966830 1045221297 9508461 3257456479 2968480614 579307244 3047654244 2862630374 3244952302 3532438608 843167333 4062530589 2076643554 3651262669 1866824852 1102529412 1155488563 1466368344 2543074331 3411361435 3500420918 1257772426 4059613036 3249705653 2976130967 2173707660 2841497840 2985843911 769022304 1824839618 1182538203 1305450865 2581611687 1341043583 2801463080 1221915136 3903982716 3072422014 2911601891 1175907159 2979857083 2335767467 2010487507 1501949341 2189351342 933228220 1584445911 2650666381 2293081650 2819500536 69940337 837292263 1199330704 3409377157 3020794045 741713905 393934956 2029535744 3167680794 2418618657 1093054542 1529087273 2932107840 235606734 3569791799 1732293100 3826843625 1683374847 1172833761 4177516950 2688935425 3821749765 1950302944 465819295 3366633286 3568043266 1410010783 375480082 1514730883 3840188326 1774835601 432102844 1457306687 3702050993 371477816 3600168524 2036647093 2262500218 2471947161 2610909439 3869750690 1760875716 2001843552 1889375657 3903415959 1658483349 3066034437 3786125105 4270130335 20011954 393113725 2695075097 2127744605 255 362436" option to reproduce the execution
1.68/1.73	c #vars 95933
1.68/1.73	c #constraints 291294
5.79/5.85	c BCD2: Hardening is enabled.
5.79/5.85	c BCD2: BiasedSearch is enabled.
5.79/5.85	c Solving starts ...
5.79/5.85	c ============================[ Search Statistics ]============================
5.79/5.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.79/5.85	c       |         |          |          |    Limit     GC | Var      | Constra 
5.79/5.85	c =============================================================================
5.79/5.86	c  0.0s |       0 |        0 |        0 |   122463      0 |      427 |        0
6.19/6.29	c  0.4s |       1 |      513 |      100 |   122463      0 |      427 |       82
6.79/6.83	c  1.0s |       1 |     1092 |      102 |   134710      0 |      427 |       82
6.79/6.83	c #cpu_time = 0.905s
6.79/6.83	c #wall_clock_time = 0.908s
6.79/6.83	c #decision = 1092
6.79/6.83	c #random_decision = 3
6.79/6.83	c #conflict = 102
6.79/6.83	c #restart = 1
6.79/6.83	o 234150349369
71.28/71.35	c BCD2: updating upper bound: 240478734879 -> 234150349368
72.18/72.29	c BCD2: 0 <= obj <= 234150349368
72.18/72.29	c BCD2: #cores=0, #unrelaxed=795, #relaxed=0, #hardened=0
72.18/72.29	c BCD2: #sat=1 #unsat=1 bias=1/2
72.18/72.29	c Solving starts ...
72.18/72.29	c ============================[ Search Statistics ]============================
72.18/72.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
72.18/72.29	c       |         |          |          |    Limit     GC | Var      | Constra 
72.18/72.29	c =============================================================================
72.18/72.29	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
72.38/72.41	c  0.1s |       0 |        2 |        0 |   134710      0 |      427 |       82
72.38/72.41	c #cpu_time = 0.124s
72.38/72.41	c #wall_clock_time = 0.125s
72.38/72.41	c #decision = 2
72.38/72.41	c #random_decision = 0
72.38/72.41	c #conflict = 0
72.38/72.41	c #restart = 0
72.38/72.41	c BCD2: found a new core of size 3: cost of the new core is >=4382540
72.38/72.41	c lower bound updated to 4382540
136.96/137.01	c BCD2: 4382540 <= obj <= 234150349368
136.96/137.01	c BCD2: #cores=1, #unrelaxed=792, #relaxed=3, #hardened=0
136.96/137.01	c BCD2: #sat=1 #unsat=2 bias=2/3
136.96/137.01	c Solving starts ...
136.96/137.01	c ============================[ Search Statistics ]============================
136.96/137.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
136.96/137.01	c       |         |          |          |    Limit     GC | Var      | Constra 
136.96/137.01	c =============================================================================
136.96/137.01	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
137.06/137.15	c  0.1s |       0 |        3 |        0 |   134710      0 |      427 |       82
137.06/137.15	c #cpu_time = 0.137s
137.06/137.15	c #wall_clock_time = 0.137s
137.06/137.15	c #decision = 3
137.06/137.15	c #random_decision = 0
137.06/137.15	c #conflict = 0
137.06/137.15	c #restart = 0
137.06/137.15	c BCD2: found a new core of size 3: cost of the new core is >=4382540
137.06/137.15	c lower bound updated to 8765080
202.96/203.07	c BCD2: 8765080 <= obj <= 234150349368
202.96/203.07	c BCD2: #cores=2, #unrelaxed=789, #relaxed=6, #hardened=0
202.96/203.07	c BCD2: #sat=1 #unsat=3 bias=3/4
202.96/203.07	c Solving starts ...
202.96/203.07	c ============================[ Search Statistics ]============================
202.96/203.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
202.96/203.07	c       |         |          |          |    Limit     GC | Var      | Constra 
202.96/203.07	c =============================================================================
202.96/203.07	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
203.16/203.20	c  0.1s |       0 |        4 |        0 |   134710      0 |      427 |       82
203.16/203.20	c #cpu_time = 0.126s
203.16/203.20	c #wall_clock_time = 0.126s
203.16/203.20	c #decision = 4
203.16/203.20	c #random_decision = 0
203.16/203.20	c #conflict = 0
203.16/203.20	c #restart = 0
203.16/203.20	c BCD2: found a new core of size 3: cost of the new core is >=4382540
203.16/203.20	c lower bound updated to 13147620
265.24/265.31	c BCD2: 13147620 <= obj <= 234150349368
265.24/265.31	c BCD2: #cores=3, #unrelaxed=786, #relaxed=9, #hardened=0
265.24/265.31	c BCD2: #sat=1 #unsat=4 bias=4/5
265.24/265.31	c Solving starts ...
265.24/265.31	c ============================[ Search Statistics ]============================
265.24/265.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
265.24/265.31	c       |         |          |          |    Limit     GC | Var      | Constra 
265.24/265.31	c =============================================================================
265.24/265.31	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
265.34/265.45	c  0.1s |       0 |        5 |        0 |   134710      0 |      427 |       82
265.34/265.45	c #cpu_time = 0.134s
265.34/265.45	c #wall_clock_time = 0.134s
265.34/265.45	c #decision = 5
265.34/265.45	c #random_decision = 0
265.34/265.45	c #conflict = 0
265.34/265.45	c #restart = 0
265.34/265.45	c BCD2: found a new core of size 3: cost of the new core is >=4382540
265.34/265.45	c lower bound updated to 17530160
329.93/330.02	c BCD2: 17530160 <= obj <= 234150349368
329.93/330.02	c BCD2: #cores=4, #unrelaxed=783, #relaxed=12, #hardened=0
329.93/330.02	c BCD2: #sat=1 #unsat=5 bias=5/6
329.93/330.02	c Solving starts ...
329.93/330.02	c ============================[ Search Statistics ]============================
329.93/330.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
329.93/330.02	c       |         |          |          |    Limit     GC | Var      | Constra 
329.93/330.02	c =============================================================================
329.93/330.02	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
330.03/330.15	c  0.1s |       0 |        6 |        0 |   134710      0 |      427 |       82
330.03/330.15	c #cpu_time = 0.122s
330.03/330.15	c #wall_clock_time = 0.123s
330.03/330.15	c #decision = 6
330.03/330.15	c #random_decision = 0
330.03/330.15	c #conflict = 0
330.03/330.15	c #restart = 0
330.03/330.15	c BCD2: found a new core of size 3: cost of the new core is >=4382540
330.03/330.15	c lower bound updated to 21912700
396.11/396.29	c BCD2: 21912700 <= obj <= 234150349368
396.11/396.29	c BCD2: #cores=5, #unrelaxed=780, #relaxed=15, #hardened=0
396.11/396.29	c BCD2: #sat=1 #unsat=6 bias=6/7
396.11/396.29	c Solving starts ...
396.11/396.29	c ============================[ Search Statistics ]============================
396.11/396.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
396.11/396.29	c       |         |          |          |    Limit     GC | Var      | Constra 
396.11/396.29	c =============================================================================
396.11/396.29	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
396.31/396.43	c  0.1s |       0 |        7 |        0 |   134710      0 |      427 |       82
396.31/396.43	c #cpu_time = 0.134s
396.31/396.43	c #wall_clock_time = 0.134s
396.31/396.43	c #decision = 7
396.31/396.43	c #random_decision = 0
396.31/396.43	c #conflict = 0
396.31/396.43	c #restart = 0
396.31/396.43	c BCD2: found a new core of size 3: cost of the new core is >=4382540
396.31/396.43	c lower bound updated to 26295240
463.20/463.40	c BCD2: 26295240 <= obj <= 234150349368
463.20/463.40	c BCD2: #cores=6, #unrelaxed=777, #relaxed=18, #hardened=0
463.20/463.40	c BCD2: #sat=1 #unsat=7 bias=7/8
463.20/463.40	c Solving starts ...
463.20/463.40	c ============================[ Search Statistics ]============================
463.20/463.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
463.20/463.40	c       |         |          |          |    Limit     GC | Var      | Constra 
463.20/463.40	c =============================================================================
463.30/463.40	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
463.40/463.52	c  0.1s |       0 |        8 |        0 |   134710      0 |      427 |       82
463.40/463.52	c #cpu_time = 0.122s
463.40/463.52	c #wall_clock_time = 0.122s
463.40/463.52	c #decision = 8
463.40/463.52	c #random_decision = 0
463.40/463.52	c #conflict = 0
463.40/463.52	c #restart = 0
463.40/463.52	c BCD2: found a new core of size 3: cost of the new core is >=4382540
463.40/463.52	c lower bound updated to 30677780
530.29/530.46	c BCD2: 30677780 <= obj <= 234150349368
530.29/530.46	c BCD2: #cores=7, #unrelaxed=774, #relaxed=21, #hardened=0
530.29/530.46	c BCD2: #sat=1 #unsat=8 bias=8/9
530.29/530.46	c Solving starts ...
530.29/530.46	c ============================[ Search Statistics ]============================
530.29/530.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
530.29/530.46	c       |         |          |          |    Limit     GC | Var      | Constra 
530.29/530.46	c =============================================================================
530.29/530.46	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
530.39/530.59	c  0.1s |       0 |        9 |        0 |   134710      0 |      427 |       82
530.39/530.59	c #cpu_time = 0.133s
530.39/530.59	c #wall_clock_time = 0.134s
530.39/530.59	c #decision = 9
530.39/530.59	c #random_decision = 0
530.39/530.59	c #conflict = 0
530.39/530.59	c #restart = 0
530.39/530.59	c BCD2: found a new core of size 3: cost of the new core is >=4382540
530.39/530.59	c lower bound updated to 35060320
597.48/597.62	c BCD2: 35060320 <= obj <= 234150349368
597.48/597.62	c BCD2: #cores=8, #unrelaxed=771, #relaxed=24, #hardened=0
597.48/597.62	c BCD2: #sat=1 #unsat=9 bias=9/10
597.48/597.62	c Solving starts ...
597.48/597.62	c ============================[ Search Statistics ]============================
597.48/597.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
597.48/597.62	c       |         |          |          |    Limit     GC | Var      | Constra 
597.48/597.62	c =============================================================================
597.48/597.62	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
597.58/597.74	c  0.1s |       0 |       10 |        0 |   134710      0 |      427 |       82
597.58/597.74	c #cpu_time = 0.122s
597.58/597.74	c #wall_clock_time = 0.122s
597.58/597.74	c #decision = 10
597.58/597.74	c #random_decision = 0
597.58/597.74	c #conflict = 0
597.58/597.74	c #restart = 0
597.58/597.74	c BCD2: found a new core of size 3: cost of the new core is >=4382540
597.58/597.74	c lower bound updated to 39442860
665.67/665.86	c BCD2: 39442860 <= obj <= 234150349368
665.67/665.86	c BCD2: #cores=9, #unrelaxed=768, #relaxed=27, #hardened=0
665.67/665.86	c BCD2: #sat=1 #unsat=10 bias=10/11
665.67/665.86	c Solving starts ...
665.67/665.86	c ============================[ Search Statistics ]============================
665.67/665.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
665.67/665.86	c       |         |          |          |    Limit     GC | Var      | Constra 
665.67/665.86	c =============================================================================
665.67/665.86	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
665.87/666.00	c  0.1s |       0 |       11 |        0 |   134710      0 |      427 |       82
665.87/666.00	c #cpu_time = 0.132s
665.87/666.00	c #wall_clock_time = 0.133s
665.87/666.00	c #decision = 11
665.87/666.00	c #random_decision = 0
665.87/666.00	c #conflict = 0
665.87/666.00	c #restart = 0
665.87/666.00	c BCD2: found a new core of size 3: cost of the new core is >=4382540
665.87/666.00	c lower bound updated to 43825400
733.66/733.87	c BCD2: 43825400 <= obj <= 234150349368
733.66/733.87	c BCD2: #cores=10, #unrelaxed=765, #relaxed=30, #hardened=0
733.66/733.87	c BCD2: #sat=1 #unsat=11 bias=11/12
733.66/733.87	c Solving starts ...
733.66/733.87	c ============================[ Search Statistics ]============================
733.66/733.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
733.66/733.87	c       |         |          |          |    Limit     GC | Var      | Constra 
733.66/733.87	c =============================================================================
733.66/733.87	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
733.75/733.99	c  0.1s |       0 |       12 |        0 |   134710      0 |      427 |       82
733.75/733.99	c #cpu_time = 0.121s
733.75/733.99	c #wall_clock_time = 0.121s
733.75/733.99	c #decision = 12
733.75/733.99	c #random_decision = 0
733.75/733.99	c #conflict = 0
733.75/733.99	c #restart = 0
733.75/733.99	c BCD2: found a new core of size 3: cost of the new core is >=4382540
733.75/733.99	c lower bound updated to 48207940
800.55/800.78	c BCD2: 48207940 <= obj <= 234150349368
800.55/800.78	c BCD2: #cores=11, #unrelaxed=762, #relaxed=33, #hardened=0
800.55/800.78	c BCD2: #sat=1 #unsat=12 bias=12/13
800.55/800.78	c Solving starts ...
800.55/800.78	c ============================[ Search Statistics ]============================
800.55/800.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
800.55/800.78	c       |         |          |          |    Limit     GC | Var      | Constra 
800.55/800.78	c =============================================================================
800.55/800.78	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
800.76/800.92	c  0.1s |       0 |       13 |        0 |   134710      0 |      427 |       82
800.76/800.92	c #cpu_time = 0.133s
800.76/800.92	c #wall_clock_time = 0.134s
800.76/800.92	c #decision = 13
800.76/800.92	c #random_decision = 0
800.76/800.92	c #conflict = 0
800.76/800.92	c #restart = 0
800.76/800.92	c BCD2: found a new core of size 3: cost of the new core is >=4382540
800.76/800.92	c lower bound updated to 52590480
867.24/867.49	c BCD2: 52590480 <= obj <= 234150349368
867.24/867.49	c BCD2: #cores=12, #unrelaxed=759, #relaxed=36, #hardened=0
867.24/867.49	c BCD2: #sat=1 #unsat=13 bias=13/14
867.24/867.50	c Solving starts ...
867.24/867.50	c ============================[ Search Statistics ]============================
867.24/867.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
867.24/867.50	c       |         |          |          |    Limit     GC | Var      | Constra 
867.24/867.50	c =============================================================================
867.24/867.50	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
867.44/867.62	c  0.1s |       0 |       14 |        0 |   134710      0 |      427 |       82
867.44/867.62	c #cpu_time = 0.122s
867.44/867.62	c #wall_clock_time = 0.122s
867.44/867.62	c #decision = 14
867.44/867.62	c #random_decision = 0
867.44/867.62	c #conflict = 0
867.44/867.62	c #restart = 0
867.44/867.62	c BCD2: found a new core of size 3: cost of the new core is >=4382540
867.44/867.62	c lower bound updated to 56973020
935.83/936.07	c BCD2: 56973020 <= obj <= 234150349368
935.83/936.07	c BCD2: #cores=13, #unrelaxed=756, #relaxed=39, #hardened=0
935.83/936.07	c BCD2: #sat=1 #unsat=14 bias=14/15
935.83/936.07	c Solving starts ...
935.83/936.07	c ============================[ Search Statistics ]============================
935.83/936.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
935.83/936.07	c       |         |          |          |    Limit     GC | Var      | Constra 
935.83/936.07	c =============================================================================
935.83/936.07	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
936.04/936.21	c  0.1s |       0 |       15 |        0 |   134710      0 |      427 |       82
936.04/936.21	c #cpu_time = 0.134s
936.04/936.21	c #wall_clock_time = 0.134s
936.04/936.21	c #decision = 15
936.04/936.21	c #random_decision = 0
936.04/936.21	c #conflict = 0
936.04/936.21	c #restart = 0
936.04/936.21	c BCD2: found a new core of size 3: cost of the new core is >=4382540
936.04/936.21	c lower bound updated to 61355560
1003.62/1003.85	c BCD2: 61355560 <= obj <= 234150349368
1003.62/1003.85	c BCD2: #cores=14, #unrelaxed=753, #relaxed=42, #hardened=0
1003.62/1003.85	c BCD2: #sat=1 #unsat=15 bias=15/16
1003.62/1003.85	c Solving starts ...
1003.62/1003.85	c ============================[ Search Statistics ]============================
1003.62/1003.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1003.62/1003.85	c       |         |          |          |    Limit     GC | Var      | Constra 
1003.62/1003.85	c =============================================================================
1003.62/1003.85	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1003.72/1003.97	c  0.1s |       0 |       16 |        0 |   134710      0 |      427 |       82
1003.72/1003.97	c #cpu_time = 0.122s
1003.72/1003.97	c #wall_clock_time = 0.122s
1003.72/1003.97	c #decision = 16
1003.72/1003.97	c #random_decision = 0
1003.72/1003.97	c #conflict = 0
1003.72/1003.97	c #restart = 0
1003.72/1003.97	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1003.72/1003.97	c lower bound updated to 65738100
1071.60/1071.87	c BCD2: 65738100 <= obj <= 234150349368
1071.60/1071.87	c BCD2: #cores=15, #unrelaxed=750, #relaxed=45, #hardened=0
1071.60/1071.87	c BCD2: #sat=1 #unsat=16 bias=16/17
1071.60/1071.87	c Solving starts ...
1071.60/1071.87	c ============================[ Search Statistics ]============================
1071.60/1071.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1071.60/1071.87	c       |         |          |          |    Limit     GC | Var      | Constra 
1071.60/1071.87	c =============================================================================
1071.60/1071.87	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1071.80/1072.01	c  0.1s |       0 |       17 |        0 |   134710      0 |      427 |       82
1071.80/1072.01	c #cpu_time = 0.135s
1071.80/1072.01	c #wall_clock_time = 0.136s
1071.80/1072.01	c #decision = 17
1071.80/1072.01	c #random_decision = 0
1071.80/1072.01	c #conflict = 0
1071.80/1072.01	c #restart = 0
1071.80/1072.01	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1071.80/1072.01	c lower bound updated to 70120640
1138.99/1139.28	c BCD2: 70120640 <= obj <= 234150349368
1138.99/1139.28	c BCD2: #cores=16, #unrelaxed=747, #relaxed=48, #hardened=0
1138.99/1139.28	c BCD2: #sat=1 #unsat=17 bias=17/18
1138.99/1139.28	c Solving starts ...
1138.99/1139.28	c ============================[ Search Statistics ]============================
1138.99/1139.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1138.99/1139.28	c       |         |          |          |    Limit     GC | Var      | Constra 
1138.99/1139.28	c =============================================================================
1138.99/1139.28	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1139.19/1139.40	c  0.1s |       0 |       18 |        0 |   134710      0 |      427 |       82
1139.19/1139.40	c #cpu_time = 0.123s
1139.19/1139.40	c #wall_clock_time = 0.123s
1139.19/1139.40	c #decision = 18
1139.19/1139.40	c #random_decision = 0
1139.19/1139.40	c #conflict = 0
1139.19/1139.40	c #restart = 0
1139.19/1139.40	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1139.19/1139.40	c lower bound updated to 74503180
1205.28/1205.56	c BCD2: 74503180 <= obj <= 234150349368
1205.28/1205.56	c BCD2: #cores=17, #unrelaxed=744, #relaxed=51, #hardened=0
1205.28/1205.56	c BCD2: #sat=1 #unsat=18 bias=18/19
1205.28/1205.56	c Solving starts ...
1205.28/1205.56	c ============================[ Search Statistics ]============================
1205.28/1205.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1205.28/1205.56	c       |         |          |          |    Limit     GC | Var      | Constra 
1205.28/1205.56	c =============================================================================
1205.28/1205.56	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1205.39/1205.69	c  0.1s |       0 |       17 |        0 |   134710      0 |      427 |       82
1205.39/1205.69	c #cpu_time = 0.132s
1205.39/1205.69	c #wall_clock_time = 0.133s
1205.39/1205.69	c #decision = 17
1205.39/1205.69	c #random_decision = 0
1205.39/1205.69	c #conflict = 0
1205.39/1205.69	c #restart = 0
1205.39/1205.69	c BCD2: found a new core of size 1: cost of the new core is >=6328387760
1205.39/1205.69	c lower bound updated to 6402890940
1271.58/1271.85	c BCD2: 6402890940 <= obj <= 234150349368
1271.58/1271.85	c BCD2: #cores=18, #unrelaxed=743, #relaxed=52, #hardened=0
1271.58/1271.85	c BCD2: #sat=1 #unsat=19 bias=19/20
1271.58/1271.85	c Solving starts ...
1271.58/1271.85	c ============================[ Search Statistics ]============================
1271.58/1271.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1271.58/1271.85	c       |         |          |          |    Limit     GC | Var      | Constra 
1271.58/1271.85	c =============================================================================
1271.58/1271.85	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1271.68/1271.98	c  0.1s |       0 |       20 |        0 |   134710      0 |      427 |       82
1271.68/1271.98	c #cpu_time = 0.123s
1271.68/1271.98	c #wall_clock_time = 0.123s
1271.68/1271.98	c #decision = 20
1271.68/1271.98	c #random_decision = 0
1271.68/1271.98	c #conflict = 0
1271.68/1271.98	c #restart = 0
1271.68/1271.98	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1271.68/1271.98	c lower bound updated to 6407273480
1337.86/1338.17	c BCD2: 6407273480 <= obj <= 234150349368
1337.86/1338.17	c BCD2: #cores=19, #unrelaxed=740, #relaxed=55, #hardened=0
1337.86/1338.17	c BCD2: #sat=1 #unsat=20 bias=20/21
1337.86/1338.17	c Solving starts ...
1337.86/1338.17	c ============================[ Search Statistics ]============================
1337.86/1338.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1337.86/1338.17	c       |         |          |          |    Limit     GC | Var      | Constra 
1337.86/1338.17	c =============================================================================
1337.86/1338.17	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1338.06/1338.31	c  0.1s |       0 |       21 |        0 |   134710      0 |      427 |       82
1338.06/1338.31	c #cpu_time = 0.136s
1338.06/1338.31	c #wall_clock_time = 0.136s
1338.06/1338.31	c #decision = 21
1338.06/1338.31	c #random_decision = 0
1338.06/1338.31	c #conflict = 0
1338.06/1338.31	c #restart = 0
1338.06/1338.31	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1338.06/1338.31	c lower bound updated to 6411656020
1405.25/1405.60	c BCD2: 6411656020 <= obj <= 234150349368
1405.25/1405.60	c BCD2: #cores=20, #unrelaxed=737, #relaxed=58, #hardened=0
1405.25/1405.60	c BCD2: #sat=1 #unsat=21 bias=21/22
1405.35/1405.60	c Solving starts ...
1405.35/1405.60	c ============================[ Search Statistics ]============================
1405.35/1405.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1405.35/1405.60	c       |         |          |          |    Limit     GC | Var      | Constra 
1405.35/1405.60	c =============================================================================
1405.35/1405.60	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1405.45/1405.72	c  0.1s |       0 |       22 |        0 |   134710      0 |      427 |       82
1405.45/1405.72	c #cpu_time = 0.125s
1405.45/1405.72	c #wall_clock_time = 0.125s
1405.45/1405.72	c #decision = 22
1405.45/1405.72	c #random_decision = 0
1405.45/1405.72	c #conflict = 0
1405.45/1405.72	c #restart = 0
1405.45/1405.72	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1405.45/1405.72	c lower bound updated to 6416038560
1472.84/1473.18	c BCD2: 6416038560 <= obj <= 234150349368
1472.84/1473.18	c BCD2: #cores=21, #unrelaxed=734, #relaxed=61, #hardened=0
1472.84/1473.18	c BCD2: #sat=1 #unsat=22 bias=22/23
1472.84/1473.19	c Solving starts ...
1472.84/1473.19	c ============================[ Search Statistics ]============================
1472.84/1473.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1472.84/1473.19	c       |         |          |          |    Limit     GC | Var      | Constra 
1472.84/1473.19	c =============================================================================
1472.84/1473.19	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1473.04/1473.32	c  0.1s |       0 |       23 |        0 |   134710      0 |      427 |       82
1473.04/1473.32	c #cpu_time = 0.136s
1473.04/1473.32	c #wall_clock_time = 0.136s
1473.04/1473.32	c #decision = 23
1473.04/1473.32	c #random_decision = 0
1473.04/1473.32	c #conflict = 0
1473.04/1473.32	c #restart = 0
1473.04/1473.32	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1473.04/1473.32	c lower bound updated to 6420421100
1540.43/1540.73	c BCD2: 6420421100 <= obj <= 234150349368
1540.43/1540.73	c BCD2: #cores=22, #unrelaxed=731, #relaxed=64, #hardened=0
1540.43/1540.73	c BCD2: #sat=1 #unsat=23 bias=23/24
1540.43/1540.73	c Solving starts ...
1540.43/1540.73	c ============================[ Search Statistics ]============================
1540.43/1540.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1540.43/1540.73	c       |         |          |          |    Limit     GC | Var      | Constra 
1540.43/1540.73	c =============================================================================
1540.43/1540.73	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1540.53/1540.86	c  0.1s |       0 |       24 |        0 |   134710      0 |      427 |       82
1540.53/1540.86	c #cpu_time = 0.123s
1540.53/1540.86	c #wall_clock_time = 0.124s
1540.53/1540.86	c #decision = 24
1540.53/1540.86	c #random_decision = 0
1540.53/1540.86	c #conflict = 0
1540.53/1540.86	c #restart = 0
1540.53/1540.86	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1540.53/1540.86	c lower bound updated to 6424803640
1605.92/1606.29	c BCD2: 6424803640 <= obj <= 234150349368
1605.92/1606.29	c BCD2: #cores=23, #unrelaxed=728, #relaxed=67, #hardened=0
1605.92/1606.29	c BCD2: #sat=1 #unsat=24 bias=24/25
1605.92/1606.29	c Solving starts ...
1605.92/1606.29	c ============================[ Search Statistics ]============================
1605.92/1606.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1605.92/1606.29	c       |         |          |          |    Limit     GC | Var      | Constra 
1605.92/1606.29	c =============================================================================
1605.92/1606.29	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1606.12/1606.43	c  0.1s |       0 |       25 |        0 |   134710      0 |      427 |       82
1606.12/1606.43	c #cpu_time = 0.137s
1606.12/1606.43	c #wall_clock_time = 0.138s
1606.12/1606.43	c #decision = 25
1606.12/1606.43	c #random_decision = 0
1606.12/1606.43	c #conflict = 0
1606.12/1606.43	c #restart = 0
1606.12/1606.43	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1606.12/1606.43	c lower bound updated to 6429186180
1671.81/1672.12	c BCD2: 6429186180 <= obj <= 234150349368
1671.81/1672.12	c BCD2: #cores=24, #unrelaxed=725, #relaxed=70, #hardened=0
1671.81/1672.12	c BCD2: #sat=1 #unsat=25 bias=25/26
1671.81/1672.12	c Solving starts ...
1671.81/1672.12	c ============================[ Search Statistics ]============================
1671.81/1672.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1671.81/1672.12	c       |         |          |          |    Limit     GC | Var      | Constra 
1671.81/1672.12	c =============================================================================
1671.81/1672.12	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1671.91/1672.25	c  0.1s |       0 |       26 |        0 |   134710      0 |      427 |       82
1671.91/1672.25	c #cpu_time = 0.125s
1671.91/1672.25	c #wall_clock_time = 0.125s
1671.91/1672.25	c #decision = 26
1671.91/1672.25	c #random_decision = 0
1671.91/1672.25	c #conflict = 0
1671.91/1672.25	c #restart = 0
1671.91/1672.25	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1671.91/1672.25	c lower bound updated to 6433568720
1739.50/1739.85	c BCD2: 6433568720 <= obj <= 234150349368
1739.50/1739.85	c BCD2: #cores=25, #unrelaxed=722, #relaxed=73, #hardened=0
1739.50/1739.85	c BCD2: #sat=1 #unsat=26 bias=26/27
1739.50/1739.85	c Solving starts ...
1739.50/1739.85	c ============================[ Search Statistics ]============================
1739.50/1739.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1739.50/1739.85	c       |         |          |          |    Limit     GC | Var      | Constra 
1739.50/1739.85	c =============================================================================
1739.50/1739.85	c  0.0s |       0 |        0 |        0 |   134710      0 |      427 |       82
1739.60/1739.99	c  0.1s |       0 |       27 |        0 |   134710      0 |      427 |       82
1739.60/1739.99	c #cpu_time = 0.136s
1739.60/1739.99	c #wall_clock_time = 0.137s
1739.60/1739.99	c #decision = 27
1739.60/1739.99	c #random_decision = 0
1739.60/1739.99	c #conflict = 0
1739.60/1739.99	c #restart = 0
1739.60/1739.99	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1739.60/1739.99	c lower bound updated to 6437951260

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

pid=12180
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.33 2.27 2.26 2/180 12183
/proc/meminfo: memFree=16575360/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 2723 0 0 0 0 0 0 0 20 0 4 0 42656038 747040768 2573 33554432000 4194304 16246674 140736752521616 140736752520712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 182895 2582 441 2943 0 179789 0
[pid=12183/tid=12184] ppid=12180 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 764866560 2640 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 769060864 2656 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 42656038 773255168 2673 33554432000 4194304 16246674 140736752521616 140585303264432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.33 2.27 2.26 2/180 12183
/proc/meminfo: memFree=16575360/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 25757 0 0 0 5 4 0 0 20 0 4 0 42656038 1333334016 25544 33554432000 4194304 16246674 140736752521616 140736752520928 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 325521 25558 799 2943 0 322415 0
[pid=12183/tid=12184] ppid=12180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1333334016 25569 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1333334016 25579 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1333334016 25590 33554432000 4194304 16246674 140736752521616 140585303264432 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.200521 s]
/proc/loadavg: 2.33 2.27 2.26 2/180 12183
/proc/meminfo: memFree=16575360/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 48738 0 0 0 12 7 0 0 20 0 4 0 42656038 1344868352 49036 33554432000 4194304 16246674 140736752521616 140736752520928 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 328337 49036 799 2943 0 325231 0
[pid=12183/tid=12184] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 49036 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 49036 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 49036 33554432000 4194304 16246674 140736752521616 140585303264432 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.300498 s]
/proc/loadavg: 2.33 2.27 2.26 2/180 12183
/proc/meminfo: memFree=16575360/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 58660 0 0 0 20 8 0 0 20 0 4 0 42656038 1344868352 58958 33554432000 4194304 16246674 140736752521616 140736752520928 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 328337 58958 799 2943 0 325231 0
[pid=12183/tid=12184] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 58958 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 58958 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 58958 33554432000 4194304 16246674 140736752521616 140585303264432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700363 s]
/proc/loadavg: 2.33 2.27 2.26 2/180 12183
/proc/meminfo: memFree=16575360/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 66600 0 0 0 59 10 0 0 20 0 4 0 42656038 1344868352 66898 33554432000 4194304 16246674 140736752521616 140736752503488 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 328337 66898 801 2943 0 325231 0
[pid=12183/tid=12184] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 66898 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 66898 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 66898 33554432000 4194304 16246674 140736752521616 140585303264432 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.50041 s]
/proc/loadavg: 2.33 2.27 2.26 3/184 12187
/proc/meminfo: memFree=16273340/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 83338 0 0 0 136 13 0 0 20 0 4 0 42656038 1344868352 83636 33554432000 4194304 16246674 140736752521616 140736752504608 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 328337 83636 801 2943 0 325231 0
[pid=12183/tid=12184] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 83636 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 83636 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1344868352 83636 33554432000 4194304 16246674 140736752521616 140585303264432 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.10041 s]
/proc/loadavg: 2.33 2.27 2.26 3/184 12187
/proc/meminfo: memFree=15856568/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 278427 0 0 0 267 42 0 0 20 0 4 0 42656038 1383665664 278725 33554432000 4194304 16246674 140736752521616 140736752503488 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 337809 278725 837 2943 0 334703 0
[pid=12183/tid=12184] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278725 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278725 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278725 33554432000 4194304 16246674 140736752521616 140585303264432 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.38 2.28 2.27 3/184 12187
/proc/meminfo: memFree=14411284/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1351236 CPUtime=6.29 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 278490 0 0 0 587 42 0 0 20 0 4 0 42656038 1383665664 278788 33554432000 4194304 16246674 140736752521616 140736752519424 5840846 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 337809 278788 892 2943 0 334703 0
[pid=12183/tid=12184] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278788 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278788 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278788 33554432000 4194304 16246674 140736752521616 140585303264432 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.43 2.29 2.27 3/184 12236
/proc/meminfo: memFree=28810324/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1351236 CPUtime=12.69 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 278498 0 0 0 1227 42 0 0 20 0 4 0 42656038 1383665664 278796 33554432000 4194304 16246674 140736752521616 140736752503488 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 337809 278796 900 2943 0 334703 0
[pid=12183/tid=12184] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278796 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278796 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1383665664 278796 33554432000 4194304 16246674 140736752521616 140585303264432 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.34 2.28 2.27 3/184 12236
/proc/meminfo: memFree=28041260/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1358404 CPUtime=25.48 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 280291 0 0 0 2506 42 0 0 20 0 4 0 42656038 1391005696 280589 33554432000 4194304 16246674 140736752521616 140736752519424 12429149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 339601 280589 900 2943 0 336495 0
[pid=12183/tid=12184] ppid=12180 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1391005696 280589 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1391005696 280589 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1391005696 280589 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1358404

[startup+51.1005 s]
/proc/loadavg: 2.36 2.29 2.27 3/183 12236
/proc/meminfo: memFree=26336868/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1652292 CPUtime=51.08 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 353763 0 0 0 5057 51 0 0 20 0 4 0 42656038 1691947008 354061 33554432000 4194304 16246674 140736752521616 140736752503488 13950202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 413073 354061 900 2943 0 409967 0
[pid=12183/tid=12184] ppid=12180 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1691947008 354061 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1691947008 354061 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1691947008 354061 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1652292

[startup+102.301 s]
/proc/loadavg: 2.38 2.30 2.27 3/183 12237
/proc/meminfo: memFree=24555072/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1652292 CPUtime=102.28 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 353780 0 0 0 10177 51 0 0 20 0 4 0 42656038 1691947008 354077 33554432000 4194304 16246674 140736752521616 140736752520928 12655200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 413073 354077 916 2943 0 409967 0
[pid=12183/tid=12184] ppid=12180 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1691947008 354077 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1691947008 354077 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1691947008 354077 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1652292


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

/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1789508

[startup+1302.3 s]
/proc/loadavg: 1.00 1.14 1.60 2/173 12298
/proc/meminfo: memFree=28782424/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1302.07 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 130148 59 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752520928 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1789508

[startup+1362.3 s]
/proc/loadavg: 1.06 1.13 1.56 2/173 12300
/proc/meminfo: memFree=28782464/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1362.06 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 136147 59 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752519424 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1789508

[startup+1422.3 s]
/proc/loadavg: 1.19 1.15 1.54 2/173 12301
/proc/meminfo: memFree=28782880/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1422.05 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 142146 59 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752503488 12429744 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1789508

[startup+1482.3 s]
/proc/loadavg: 1.33 1.20 1.53 2/173 12302
/proc/meminfo: memFree=28782552/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1482.04 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 148145 59 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752503488 4206688 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1789508

[startup+1542.31 s]
/proc/loadavg: 1.18 1.17 1.50 2/173 12303
/proc/meminfo: memFree=28782844/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1542.04 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 154144 60 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752503488 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1789508

[startup+1602.3 s]
/proc/loadavg: 1.25 1.20 1.49 2/173 12304
/proc/meminfo: memFree=28782596/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1602.02 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 160142 60 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752503488 12371350 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1789508

[startup+1662.3 s]
/proc/loadavg: 1.30 1.22 1.47 2/173 12306
/proc/meminfo: memFree=28782504/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1662.01 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 166141 60 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752503488 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1789508

[startup+1722.3 s]
/proc/loadavg: 1.23 1.21 1.45 2/174 12310
/proc/meminfo: memFree=28782140/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1722 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 172140 60 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752503488 6955126 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 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) 1789508

[startup+1782.3 s]
/proc/loadavg: 1.13 1.18 1.43 2/173 12311
/proc/meminfo: memFree=28782280/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1781.99 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 178139 60 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752503488 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1789508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.18 1.19 1.42 2/173 12312
/proc/meminfo: memFree=28782048/32872528 swapFree=1542984/1696284
[pid=12183] ppid=12180 vsize=1789508 CPUtime=1800.09 cores=0,2,4,6
/proc/12183/stat : 12183 (toysat) R 12180 12183 9424 0 -1 4202496 388112 0 0 0 179949 60 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140736752503488 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12183/statm: 447377 388381 916 2943 0 444271 0
[pid=12183/tid=12184] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12184/stat : 12184 (toysat) S 12180 12183 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585324227824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12183/tid=12185] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12185/stat : 12185 (toysat) S 12180 12183 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585313737968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12183/tid=12186] ppid=12180 vsize=1789508 CPUtime=0 cores=0,2,4,6
/proc/12183/task/12186/stat : 12186 (toysat) S 12180 12183 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42656038 1832456192 388381 33554432000 4194304 16246674 140736752521616 140585303264432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1789508

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 12183 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.5
CPU system time (s): 0.615906
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1789508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.615906
maximum resident set size= 1553524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388112
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= 772
involuntary context switches= 1824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6283 second user time and 6.83796 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-20 09:01:34
IDJOB=4111484
IDBENCH=109373
IDSOLVER=2542
FILE ID=node125/4111484-1466406094
RUNJOBID= node125-1466384086-9440
PBS_JOBID= 19923262
Free space on /tmp= 71716 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-2-abcdeir.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111484-1466406094/watcher-4111484-1466406094 -o /tmp/evaluation-result-4111484-1466406094/solver-4111484-1466406094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466384086-9440 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111484-1466406094.opb

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

MD5SUM BENCH= 13c118a14e91ff5fa1497f15b9c121dd
RANDOM SEED=947140658

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.683
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.36
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.683
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.683
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.683
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.54
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.683
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.683
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.683
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.683
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:        16576268 kB
Buffers:           31836 kB
Cached:            94304 kB
SwapCached:         3544 kB
Active:         13795680 kB
Inactive:          48252 kB
Active(anon):   13715452 kB
Inactive(anon):     4776 kB
Active(file):      80228 kB
Inactive(file):    43476 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67094880 kB
Dirty:             25652 kB
Writeback:             0 kB
AnonPages:      15411916 kB
Mapped:            10768 kB
Shmem:                 0 kB
Slab:             595340 kB
SReclaimable:      38996 kB
SUnreclaim:       556344 kB
KernelStack:        1512 kB
PageTables:        34096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15556744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    561152 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= 71720 MiB
End job on node125 at 2016-06-20 09:31:35