Trace number 4110652

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.03 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-1-abcdeir.opb
MD5SUM6b1d8f0d08525551870ede2f64b66f5e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25458174978
Best CPU time to get the best result obtained on this benchmark1800.02
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-20T03:13:03+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-4110652-1466385182.opb"]
0.00/0.01	c use --random-gen="3210542687 3337522241 2577007600 2938907424 1066081646 725352423 4199386079 3312424408 4191588445 4280049431 1389885364 241641785 2840811243 46398632 2117752149 3030012503 1620549629 867885134 266182954 2795414990 325888180 322559250 3406891564 761828078 2281140011 2374086388 1652635562 1733642779 1605012298 280019979 1233457834 3057358475 2731572972 4131664076 4045585514 408324596 3580976125 3747097187 454114671 997607986 2183958294 2377278423 3214218360 3732459011 2360310323 824233020 728367659 2085542398 2707581569 2955499936 2129350529 2032258906 2502941861 1357941545 2835817375 701194070 4175610268 1336721222 1964091969 2208320194 3035492766 3845354879 3996680823 1148789467 3759879260 1239248758 3421955661 3159943 2681169563 3439689239 317592477 178505578 1212143416 867682684 3450861973 3439677932 3699640621 414437264 4083537939 2580295450 3972712330 499569732 2834239743 3103838118 2389064189 588815384 3488321621 75736022 3120239229 2223920437 1099017333 414436664 2752578106 2357547596 3379373439 844897149 3231885861 2411609918 3325753318 857568779 1970654439 1186282045 775390082 557144655 742728043 3480999375 1839903904 1949551741 1957347733 1798409634 2827264493 3736096477 1939422857 2390501896 1133470703 470133987 3951711165 22409874 3530103927 1733911794 3261441182 72281820 3327082907 1145477428 2266210357 2526362101 1790438095 3375325678 1402583867 1070180260 3329324909 3813037621 369090290 3561198743 3364076988 4095039814 1405278907 1086401724 3328191550 552893934 731990996 2371010666 485200684 3583628534 3458624879 1700424302 1843090230 621313535 140059954 588894474 1368972122 840519982 134551104 1165445749 3065987140 2662113470 1661595795 1188133352 1495968654 3580712031 1982784322 3222050389 739523878 2905809818 2675270969 2660066219 3745810476 1753959958 3052396072 3529715523 3164852790 2351014490 3582486284 2538023177 1056240052 2614764 814130022 3098716791 1442931804 559778909 583865603 3056618616 2132030918 475019426 2860920037 1790615085 3462568178 3911900499 3234506365 3276120054 4095419791 1791358461 2877604760 2375893730 1730480627 2402610217 2986556256 865482768 2888685323 3064201607 1789077705 561225130 2230213371 3613023040 3251116054 1215246629 1161982030 3940570349 3819762154 3189607649 3640047152 1513378460 953733636 2465491380 423268145 2940222413 1716063772 1910412805 1576492026 4003330533 3093080322 519811863 2661064880 2130207311 4269780462 3617839957 2416439798 123410298 3574452788 994819071 253174644 1932337073 4086484918 1031129119 131465230 909086623 3980752180 3275784085 2847131628 2463744812 896919904 3729723532 120908594 1387077500 1576591448 3259619775 1775476725 346074796 2746554482 3004655826 3019409296 3189609059 3001187821 1395011824 1134064936 337757480 255 362436" option to reproduce the execution
1.69/1.72	c #vars 95933
1.69/1.72	c #constraints 291294
5.60/5.65	c BCD2: Hardening is enabled.
5.60/5.65	c BCD2: BiasedSearch is enabled.
5.60/5.65	c Solving starts ...
5.60/5.65	c ============================[ Search Statistics ]============================
5.60/5.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.60/5.65	c       |         |          |          |    Limit     GC | Var      | Constra 
5.60/5.65	c =============================================================================
5.60/5.65	c  0.0s |       0 |        0 |        0 |   116367      0 |     1127 |        0
5.99/6.07	c  0.4s |       1 |      512 |      100 |   116367      0 |     1127 |     1832
6.49/6.59	c  0.9s |       1 |     1081 |      102 |   128004      0 |     1127 |     1832
6.49/6.59	c #cpu_time = 0.865s
6.49/6.59	c #wall_clock_time = 0.868s
6.49/6.59	c #decision = 1081
6.49/6.59	c #random_decision = 2
6.49/6.59	c #conflict = 102
6.49/6.59	c #restart = 1
6.49/6.59	o 234150349369
68.58/68.60	c BCD2: updating upper bound: 240478734879 -> 234150349368
69.48/69.51	c BCD2: 0 <= obj <= 234150349368
69.48/69.51	c BCD2: #cores=0, #unrelaxed=795, #relaxed=0, #hardened=0
69.48/69.51	c BCD2: #sat=1 #unsat=1 bias=1/2
69.48/69.51	c Solving starts ...
69.48/69.51	c ============================[ Search Statistics ]============================
69.48/69.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
69.48/69.51	c       |         |          |          |    Limit     GC | Var      | Constra 
69.48/69.51	c =============================================================================
69.48/69.51	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
69.58/69.63	c  0.1s |       0 |        2 |        0 |   128004      0 |     1127 |     1832
69.58/69.63	c #cpu_time = 0.115s
69.58/69.63	c #wall_clock_time = 0.116s
69.58/69.63	c #decision = 2
69.58/69.63	c #random_decision = 0
69.58/69.63	c #conflict = 0
69.58/69.63	c #restart = 0
69.58/69.63	c BCD2: found a new core of size 3: cost of the new core is >=4382540
69.58/69.63	c lower bound updated to 4382540
133.67/133.75	c BCD2: 4382540 <= obj <= 234150349368
133.67/133.75	c BCD2: #cores=1, #unrelaxed=792, #relaxed=3, #hardened=0
133.67/133.75	c BCD2: #sat=1 #unsat=2 bias=2/3
133.67/133.75	c Solving starts ...
133.67/133.75	c ============================[ Search Statistics ]============================
133.67/133.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
133.67/133.75	c       |         |          |          |    Limit     GC | Var      | Constra 
133.67/133.75	c =============================================================================
133.67/133.75	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
133.77/133.88	c  0.1s |       0 |        3 |        0 |   128004      0 |     1127 |     1832
133.77/133.88	c #cpu_time = 0.132s
133.77/133.88	c #wall_clock_time = 0.132s
133.77/133.88	c #decision = 3
133.77/133.88	c #random_decision = 0
133.77/133.88	c #conflict = 0
133.77/133.88	c #restart = 0
133.77/133.88	c BCD2: found a new core of size 3: cost of the new core is >=4382540
133.77/133.88	c lower bound updated to 8765080
198.56/198.66	c BCD2: 8765080 <= obj <= 234150349368
198.56/198.66	c BCD2: #cores=2, #unrelaxed=789, #relaxed=6, #hardened=0
198.56/198.66	c BCD2: #sat=1 #unsat=3 bias=3/4
198.56/198.66	c Solving starts ...
198.56/198.66	c ============================[ Search Statistics ]============================
198.56/198.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
198.56/198.66	c       |         |          |          |    Limit     GC | Var      | Constra 
198.56/198.66	c =============================================================================
198.56/198.66	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
198.66/198.78	c  0.1s |       0 |        4 |        0 |   128004      0 |     1127 |     1832
198.66/198.78	c #cpu_time = 0.122s
198.66/198.78	c #wall_clock_time = 0.122s
198.66/198.78	c #decision = 4
198.66/198.78	c #random_decision = 0
198.66/198.78	c #conflict = 0
198.66/198.78	c #restart = 0
198.66/198.78	c BCD2: found a new core of size 3: cost of the new core is >=4382540
198.66/198.78	c lower bound updated to 13147620
263.55/263.66	c BCD2: 13147620 <= obj <= 234150349368
263.55/263.66	c BCD2: #cores=3, #unrelaxed=786, #relaxed=9, #hardened=0
263.55/263.66	c BCD2: #sat=1 #unsat=4 bias=4/5
263.55/263.66	c Solving starts ...
263.55/263.66	c ============================[ Search Statistics ]============================
263.55/263.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
263.55/263.66	c       |         |          |          |    Limit     GC | Var      | Constra 
263.55/263.66	c =============================================================================
263.55/263.66	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
263.65/263.79	c  0.1s |       0 |        5 |        0 |   128004      0 |     1127 |     1832
263.65/263.79	c #cpu_time = 0.132s
263.65/263.79	c #wall_clock_time = 0.132s
263.65/263.79	c #decision = 5
263.65/263.79	c #random_decision = 0
263.65/263.79	c #conflict = 0
263.65/263.79	c #restart = 0
263.65/263.79	c BCD2: found a new core of size 3: cost of the new core is >=4382540
263.65/263.79	c lower bound updated to 17530160
326.44/326.53	c BCD2: 17530160 <= obj <= 234150349368
326.44/326.53	c BCD2: #cores=4, #unrelaxed=783, #relaxed=12, #hardened=0
326.44/326.53	c BCD2: #sat=1 #unsat=5 bias=5/6
326.44/326.53	c Solving starts ...
326.44/326.53	c ============================[ Search Statistics ]============================
326.44/326.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
326.44/326.53	c       |         |          |          |    Limit     GC | Var      | Constra 
326.44/326.53	c =============================================================================
326.44/326.53	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
326.54/326.66	c  0.1s |       0 |        6 |        0 |   128004      0 |     1127 |     1832
326.54/326.66	c #cpu_time = 0.130s
326.54/326.66	c #wall_clock_time = 0.131s
326.54/326.66	c #decision = 6
326.54/326.66	c #random_decision = 0
326.54/326.66	c #conflict = 0
326.54/326.66	c #restart = 0
326.54/326.66	c BCD2: found a new core of size 3: cost of the new core is >=4382540
326.54/326.66	c lower bound updated to 21912700
391.93/392.02	c BCD2: 21912700 <= obj <= 234150349368
391.93/392.02	c BCD2: #cores=5, #unrelaxed=780, #relaxed=15, #hardened=0
391.93/392.02	c BCD2: #sat=1 #unsat=6 bias=6/7
391.93/392.02	c Solving starts ...
391.93/392.02	c ============================[ Search Statistics ]============================
391.93/392.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
391.93/392.02	c       |         |          |          |    Limit     GC | Var      | Constra 
391.93/392.02	c =============================================================================
391.93/392.02	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
392.03/392.15	c  0.1s |       0 |        7 |        0 |   128004      0 |     1127 |     1832
392.03/392.15	c #cpu_time = 0.135s
392.03/392.15	c #wall_clock_time = 0.136s
392.03/392.15	c #decision = 7
392.03/392.15	c #random_decision = 0
392.03/392.15	c #conflict = 0
392.03/392.15	c #restart = 0
392.03/392.15	c BCD2: found a new core of size 3: cost of the new core is >=4382540
392.03/392.15	c lower bound updated to 26295240
458.02/458.18	c BCD2: 26295240 <= obj <= 234150349368
458.02/458.18	c BCD2: #cores=6, #unrelaxed=777, #relaxed=18, #hardened=0
458.02/458.18	c BCD2: #sat=1 #unsat=7 bias=7/8
458.02/458.18	c Solving starts ...
458.02/458.18	c ============================[ Search Statistics ]============================
458.02/458.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
458.02/458.18	c       |         |          |          |    Limit     GC | Var      | Constra 
458.02/458.18	c =============================================================================
458.02/458.18	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
458.22/458.31	c  0.1s |       0 |        8 |        0 |   128004      0 |     1127 |     1832
458.22/458.31	c #cpu_time = 0.126s
458.22/458.31	c #wall_clock_time = 0.127s
458.22/458.31	c #decision = 8
458.22/458.31	c #random_decision = 0
458.22/458.31	c #conflict = 0
458.22/458.31	c #restart = 0
458.22/458.31	c BCD2: found a new core of size 3: cost of the new core is >=4382540
458.22/458.31	c lower bound updated to 30677780
524.51/524.68	c BCD2: 30677780 <= obj <= 234150349368
524.51/524.68	c BCD2: #cores=7, #unrelaxed=774, #relaxed=21, #hardened=0
524.51/524.68	c BCD2: #sat=1 #unsat=8 bias=8/9
524.51/524.68	c Solving starts ...
524.51/524.68	c ============================[ Search Statistics ]============================
524.51/524.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
524.51/524.68	c       |         |          |          |    Limit     GC | Var      | Constra 
524.51/524.68	c =============================================================================
524.51/524.68	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
524.72/524.83	c  0.1s |       0 |        9 |        0 |   128004      0 |     1127 |     1832
524.72/524.83	c #cpu_time = 0.140s
524.72/524.83	c #wall_clock_time = 0.141s
524.72/524.83	c #decision = 9
524.72/524.83	c #random_decision = 0
524.72/524.83	c #conflict = 0
524.72/524.83	c #restart = 0
524.72/524.83	c BCD2: found a new core of size 3: cost of the new core is >=4382540
524.72/524.83	c lower bound updated to 35060320
590.90/591.06	c BCD2: 35060320 <= obj <= 234150349368
590.90/591.06	c BCD2: #cores=8, #unrelaxed=771, #relaxed=24, #hardened=0
590.90/591.06	c BCD2: #sat=1 #unsat=9 bias=9/10
590.90/591.06	c Solving starts ...
590.90/591.06	c ============================[ Search Statistics ]============================
590.90/591.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
590.90/591.06	c       |         |          |          |    Limit     GC | Var      | Constra 
590.90/591.06	c =============================================================================
590.90/591.06	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
591.00/591.19	c  0.1s |       0 |       10 |        0 |   128004      0 |     1127 |     1832
591.00/591.19	c #cpu_time = 0.128s
591.00/591.19	c #wall_clock_time = 0.128s
591.00/591.19	c #decision = 10
591.00/591.19	c #random_decision = 0
591.00/591.19	c #conflict = 0
591.00/591.19	c #restart = 0
591.00/591.19	c BCD2: found a new core of size 3: cost of the new core is >=4382540
591.00/591.19	c lower bound updated to 39442860
654.78/654.95	c BCD2: 39442860 <= obj <= 234150349368
654.78/654.95	c BCD2: #cores=9, #unrelaxed=768, #relaxed=27, #hardened=0
654.78/654.95	c BCD2: #sat=1 #unsat=10 bias=10/11
654.78/654.95	c Solving starts ...
654.78/654.95	c ============================[ Search Statistics ]============================
654.78/654.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
654.78/654.95	c       |         |          |          |    Limit     GC | Var      | Constra 
654.78/654.95	c =============================================================================
654.78/654.95	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
654.88/655.09	c  0.1s |       0 |       11 |        0 |   128004      0 |     1127 |     1832
654.88/655.09	c #cpu_time = 0.141s
654.88/655.09	c #wall_clock_time = 0.142s
654.88/655.09	c #decision = 11
654.88/655.09	c #random_decision = 0
654.88/655.09	c #conflict = 0
654.88/655.09	c #restart = 0
654.88/655.09	c BCD2: found a new core of size 3: cost of the new core is >=4382540
654.88/655.09	c lower bound updated to 43825400
719.58/719.76	c BCD2: 43825400 <= obj <= 234150349368
719.58/719.76	c BCD2: #cores=10, #unrelaxed=765, #relaxed=30, #hardened=0
719.58/719.76	c BCD2: #sat=1 #unsat=11 bias=11/12
719.58/719.76	c Solving starts ...
719.58/719.76	c ============================[ Search Statistics ]============================
719.58/719.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
719.58/719.76	c       |         |          |          |    Limit     GC | Var      | Constra 
719.58/719.76	c =============================================================================
719.58/719.76	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
719.68/719.89	c  0.1s |       0 |       12 |        0 |   128004      0 |     1127 |     1832
719.68/719.89	c #cpu_time = 0.131s
719.68/719.89	c #wall_clock_time = 0.132s
719.68/719.89	c #decision = 12
719.68/719.89	c #random_decision = 0
719.68/719.89	c #conflict = 0
719.68/719.89	c #restart = 0
719.68/719.89	c BCD2: found a new core of size 3: cost of the new core is >=4382540
719.68/719.89	c lower bound updated to 48207940
785.96/786.14	c BCD2: 48207940 <= obj <= 234150349368
785.96/786.14	c BCD2: #cores=11, #unrelaxed=762, #relaxed=33, #hardened=0
785.96/786.14	c BCD2: #sat=1 #unsat=12 bias=12/13
785.96/786.14	c Solving starts ...
785.96/786.14	c ============================[ Search Statistics ]============================
785.96/786.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
785.96/786.14	c       |         |          |          |    Limit     GC | Var      | Constra 
785.96/786.14	c =============================================================================
785.96/786.14	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
786.06/786.29	c  0.1s |       0 |       13 |        0 |   128004      0 |     1127 |     1832
786.06/786.29	c #cpu_time = 0.145s
786.06/786.29	c #wall_clock_time = 0.145s
786.06/786.29	c #decision = 13
786.06/786.29	c #random_decision = 0
786.06/786.29	c #conflict = 0
786.06/786.29	c #restart = 0
786.06/786.29	c BCD2: found a new core of size 3: cost of the new core is >=4382540
786.06/786.29	c lower bound updated to 52590480
849.75/849.99	c BCD2: 52590480 <= obj <= 234150349368
849.75/849.99	c BCD2: #cores=12, #unrelaxed=759, #relaxed=36, #hardened=0
849.75/849.99	c BCD2: #sat=1 #unsat=13 bias=13/14
849.75/849.99	c Solving starts ...
849.75/849.99	c ============================[ Search Statistics ]============================
849.75/849.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
849.75/849.99	c       |         |          |          |    Limit     GC | Var      | Constra 
849.75/849.99	c =============================================================================
849.75/849.99	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
849.95/850.13	c  0.1s |       0 |       14 |        0 |   128004      0 |     1127 |     1832
849.95/850.13	c #cpu_time = 0.134s
849.95/850.13	c #wall_clock_time = 0.134s
849.95/850.13	c #decision = 14
849.95/850.13	c #random_decision = 0
849.95/850.13	c #conflict = 0
849.95/850.13	c #restart = 0
849.95/850.13	c BCD2: found a new core of size 3: cost of the new core is >=4382540
849.95/850.13	c lower bound updated to 56973020
914.34/914.54	c BCD2: 56973020 <= obj <= 234150349368
914.34/914.54	c BCD2: #cores=13, #unrelaxed=756, #relaxed=39, #hardened=0
914.34/914.54	c BCD2: #sat=1 #unsat=14 bias=14/15
914.34/914.54	c Solving starts ...
914.34/914.54	c ============================[ Search Statistics ]============================
914.34/914.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
914.34/914.54	c       |         |          |          |    Limit     GC | Var      | Constra 
914.34/914.54	c =============================================================================
914.34/914.55	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
914.54/914.70	c  0.2s |       0 |       15 |        0 |   128004      0 |     1127 |     1832
914.54/914.70	c #cpu_time = 0.148s
914.54/914.70	c #wall_clock_time = 0.149s
914.54/914.70	c #decision = 15
914.54/914.70	c #random_decision = 0
914.54/914.70	c #conflict = 0
914.54/914.70	c #restart = 0
914.54/914.70	c BCD2: found a new core of size 3: cost of the new core is >=4382540
914.54/914.70	c lower bound updated to 61355560
978.33/978.50	c BCD2: 61355560 <= obj <= 234150349368
978.33/978.50	c BCD2: #cores=14, #unrelaxed=753, #relaxed=42, #hardened=0
978.33/978.50	c BCD2: #sat=1 #unsat=15 bias=15/16
978.33/978.50	c Solving starts ...
978.33/978.50	c ============================[ Search Statistics ]============================
978.33/978.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
978.33/978.50	c       |         |          |          |    Limit     GC | Var      | Constra 
978.33/978.50	c =============================================================================
978.33/978.50	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
978.43/978.65	c  0.1s |       0 |       16 |        0 |   128004      0 |     1127 |     1832
978.43/978.65	c #cpu_time = 0.137s
978.43/978.65	c #wall_clock_time = 0.138s
978.43/978.65	c #decision = 16
978.43/978.65	c #random_decision = 0
978.43/978.65	c #conflict = 0
978.43/978.65	c #restart = 0
978.43/978.65	c BCD2: found a new core of size 3: cost of the new core is >=4382540
978.43/978.65	c lower bound updated to 65738100
1042.92/1043.12	c BCD2: 65738100 <= obj <= 234150349368
1042.92/1043.12	c BCD2: #cores=15, #unrelaxed=750, #relaxed=45, #hardened=0
1042.92/1043.12	c BCD2: #sat=1 #unsat=16 bias=16/17
1042.92/1043.12	c Solving starts ...
1042.92/1043.12	c ============================[ Search Statistics ]============================
1042.92/1043.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1042.92/1043.12	c       |         |          |          |    Limit     GC | Var      | Constra 
1042.92/1043.12	c =============================================================================
1042.92/1043.12	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1043.02/1043.27	c  0.2s |       0 |       17 |        0 |   128004      0 |     1127 |     1832
1043.02/1043.27	c #cpu_time = 0.151s
1043.02/1043.27	c #wall_clock_time = 0.151s
1043.02/1043.27	c #decision = 17
1043.02/1043.27	c #random_decision = 0
1043.02/1043.27	c #conflict = 0
1043.02/1043.27	c #restart = 0
1043.02/1043.27	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1043.02/1043.27	c lower bound updated to 70120640
1107.10/1107.33	c BCD2: 70120640 <= obj <= 234150349368
1107.10/1107.33	c BCD2: #cores=16, #unrelaxed=747, #relaxed=48, #hardened=0
1107.10/1107.33	c BCD2: #sat=1 #unsat=17 bias=17/18
1107.10/1107.33	c Solving starts ...
1107.10/1107.33	c ============================[ Search Statistics ]============================
1107.10/1107.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1107.10/1107.33	c       |         |          |          |    Limit     GC | Var      | Constra 
1107.10/1107.33	c =============================================================================
1107.10/1107.33	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1107.20/1107.48	c  0.2s |       0 |       18 |        0 |   128004      0 |     1127 |     1832
1107.20/1107.48	c #cpu_time = 0.142s
1107.20/1107.48	c #wall_clock_time = 0.143s
1107.20/1107.48	c #decision = 18
1107.20/1107.48	c #random_decision = 0
1107.20/1107.48	c #conflict = 0
1107.20/1107.48	c #restart = 0
1107.20/1107.48	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1107.20/1107.48	c lower bound updated to 74503180
1170.79/1171.09	c BCD2: 74503180 <= obj <= 234150349368
1170.79/1171.09	c BCD2: #cores=17, #unrelaxed=744, #relaxed=51, #hardened=0
1170.79/1171.09	c BCD2: #sat=1 #unsat=18 bias=18/19
1170.79/1171.09	c Solving starts ...
1170.79/1171.09	c ============================[ Search Statistics ]============================
1170.79/1171.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1170.79/1171.09	c       |         |          |          |    Limit     GC | Var      | Constra 
1170.79/1171.09	c =============================================================================
1170.79/1171.09	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1170.99/1171.25	c  0.2s |       0 |       17 |        0 |   128004      0 |     1127 |     1832
1170.99/1171.25	c #cpu_time = 0.156s
1170.99/1171.25	c #wall_clock_time = 0.156s
1170.99/1171.25	c #decision = 17
1170.99/1171.25	c #random_decision = 0
1170.99/1171.25	c #conflict = 0
1170.99/1171.25	c #restart = 0
1170.99/1171.25	c BCD2: found a new core of size 1: cost of the new core is >=6328387760
1170.99/1171.25	c lower bound updated to 6402890940
1237.89/1238.14	c BCD2: 6402890940 <= obj <= 234150349368
1237.89/1238.14	c BCD2: #cores=18, #unrelaxed=743, #relaxed=52, #hardened=0
1237.89/1238.14	c BCD2: #sat=1 #unsat=19 bias=19/20
1237.89/1238.14	c Solving starts ...
1237.89/1238.14	c ============================[ Search Statistics ]============================
1237.89/1238.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1237.89/1238.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1237.89/1238.14	c =============================================================================
1237.89/1238.15	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1238.09/1238.30	c  0.2s |       0 |       20 |        0 |   128004      0 |     1127 |     1832
1238.09/1238.30	c #cpu_time = 0.145s
1238.09/1238.30	c #wall_clock_time = 0.146s
1238.09/1238.30	c #decision = 20
1238.09/1238.30	c #random_decision = 0
1238.09/1238.30	c #conflict = 0
1238.09/1238.30	c #restart = 0
1238.09/1238.30	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1238.09/1238.30	c lower bound updated to 6407273480
1304.48/1304.72	c BCD2: 6407273480 <= obj <= 234150349368
1304.48/1304.72	c BCD2: #cores=19, #unrelaxed=740, #relaxed=55, #hardened=0
1304.48/1304.72	c BCD2: #sat=1 #unsat=20 bias=20/21
1304.48/1304.73	c Solving starts ...
1304.48/1304.73	c ============================[ Search Statistics ]============================
1304.48/1304.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1304.48/1304.73	c       |         |          |          |    Limit     GC | Var      | Constra 
1304.48/1304.73	c =============================================================================
1304.48/1304.73	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1304.58/1304.89	c  0.2s |       0 |       21 |        0 |   128004      0 |     1127 |     1832
1304.58/1304.89	c #cpu_time = 0.159s
1304.58/1304.89	c #wall_clock_time = 0.160s
1304.58/1304.89	c #decision = 21
1304.58/1304.89	c #random_decision = 0
1304.58/1304.89	c #conflict = 0
1304.58/1304.89	c #restart = 0
1304.58/1304.89	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1304.58/1304.89	c lower bound updated to 6411656020
1369.87/1370.19	c BCD2: 6411656020 <= obj <= 234150349368
1369.87/1370.19	c BCD2: #cores=20, #unrelaxed=737, #relaxed=58, #hardened=0
1369.87/1370.19	c BCD2: #sat=1 #unsat=21 bias=21/22
1369.87/1370.19	c Solving starts ...
1369.87/1370.19	c ============================[ Search Statistics ]============================
1369.87/1370.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1369.87/1370.19	c       |         |          |          |    Limit     GC | Var      | Constra 
1369.87/1370.19	c =============================================================================
1369.87/1370.19	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1370.07/1370.35	c  0.2s |       0 |       22 |        0 |   128004      0 |     1127 |     1832
1370.07/1370.35	c #cpu_time = 0.150s
1370.07/1370.35	c #wall_clock_time = 0.151s
1370.07/1370.35	c #decision = 22
1370.07/1370.35	c #random_decision = 0
1370.07/1370.35	c #conflict = 0
1370.07/1370.35	c #restart = 0
1370.07/1370.35	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1370.07/1370.35	c lower bound updated to 6416038560
1434.96/1435.21	c BCD2: 6416038560 <= obj <= 234150349368
1434.96/1435.21	c BCD2: #cores=21, #unrelaxed=734, #relaxed=61, #hardened=0
1434.96/1435.21	c BCD2: #sat=1 #unsat=22 bias=22/23
1434.96/1435.21	c Solving starts ...
1434.96/1435.21	c ============================[ Search Statistics ]============================
1434.96/1435.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1434.96/1435.21	c       |         |          |          |    Limit     GC | Var      | Constra 
1434.96/1435.21	c =============================================================================
1434.96/1435.21	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1435.06/1435.39	c  0.2s |       0 |       23 |        0 |   128004      0 |     1127 |     1832
1435.06/1435.39	c #cpu_time = 0.167s
1435.06/1435.39	c #wall_clock_time = 0.167s
1435.06/1435.39	c #decision = 23
1435.06/1435.39	c #random_decision = 0
1435.06/1435.39	c #conflict = 0
1435.06/1435.39	c #restart = 0
1435.06/1435.39	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1435.06/1435.39	c lower bound updated to 6420421100
1501.74/1502.04	c BCD2: 6420421100 <= obj <= 234150349368
1501.74/1502.04	c BCD2: #cores=22, #unrelaxed=731, #relaxed=64, #hardened=0
1501.74/1502.04	c BCD2: #sat=1 #unsat=23 bias=23/24
1501.74/1502.04	c Solving starts ...
1501.74/1502.04	c ============================[ Search Statistics ]============================
1501.74/1502.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1501.74/1502.04	c       |         |          |          |    Limit     GC | Var      | Constra 
1501.74/1502.04	c =============================================================================
1501.74/1502.04	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1501.94/1502.22	c  0.2s |       0 |       24 |        0 |   128004      0 |     1127 |     1832
1501.94/1502.22	c #cpu_time = 0.162s
1501.94/1502.22	c #wall_clock_time = 0.163s
1501.94/1502.22	c #decision = 24
1501.94/1502.22	c #random_decision = 0
1501.94/1502.22	c #conflict = 0
1501.94/1502.22	c #restart = 0
1501.94/1502.22	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1501.94/1502.22	c lower bound updated to 6424803640
1568.54/1568.84	c BCD2: 6424803640 <= obj <= 234150349368
1568.54/1568.84	c BCD2: #cores=23, #unrelaxed=728, #relaxed=67, #hardened=0
1568.54/1568.84	c BCD2: #sat=1 #unsat=24 bias=24/25
1568.54/1568.84	c Solving starts ...
1568.54/1568.84	c ============================[ Search Statistics ]============================
1568.54/1568.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1568.54/1568.84	c       |         |          |          |    Limit     GC | Var      | Constra 
1568.54/1568.84	c =============================================================================
1568.54/1568.84	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1568.74/1569.03	c  0.2s |       0 |       25 |        0 |   128004      0 |     1127 |     1832
1568.74/1569.03	c #cpu_time = 0.173s
1568.74/1569.03	c #wall_clock_time = 0.173s
1568.74/1569.03	c #decision = 25
1568.74/1569.03	c #random_decision = 0
1568.74/1569.03	c #conflict = 0
1568.74/1569.03	c #restart = 0
1568.74/1569.03	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1568.74/1569.03	c lower bound updated to 6429186180
1635.63/1635.97	c BCD2: 6429186180 <= obj <= 234150349368
1635.63/1635.97	c BCD2: #cores=24, #unrelaxed=725, #relaxed=70, #hardened=0
1635.63/1635.97	c BCD2: #sat=1 #unsat=25 bias=25/26
1635.63/1635.97	c Solving starts ...
1635.63/1635.97	c ============================[ Search Statistics ]============================
1635.63/1635.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1635.63/1635.97	c       |         |          |          |    Limit     GC | Var      | Constra 
1635.63/1635.97	c =============================================================================
1635.63/1635.97	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1635.82/1636.15	c  0.2s |       0 |       26 |        0 |   128004      0 |     1127 |     1832
1635.82/1636.15	c #cpu_time = 0.168s
1635.82/1636.15	c #wall_clock_time = 0.168s
1635.82/1636.15	c #decision = 26
1635.82/1636.15	c #random_decision = 0
1635.82/1636.15	c #conflict = 0
1635.82/1636.15	c #restart = 0
1635.82/1636.15	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1635.82/1636.15	c lower bound updated to 6433568720
1702.81/1703.16	c BCD2: 6433568720 <= obj <= 234150349368
1702.81/1703.16	c BCD2: #cores=25, #unrelaxed=722, #relaxed=73, #hardened=0
1702.81/1703.16	c BCD2: #sat=1 #unsat=26 bias=26/27
1702.81/1703.16	c Solving starts ...
1702.81/1703.16	c ============================[ Search Statistics ]============================
1702.81/1703.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1702.81/1703.16	c       |         |          |          |    Limit     GC | Var      | Constra 
1702.81/1703.16	c =============================================================================
1702.81/1703.16	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1703.01/1703.36	c  0.2s |       0 |       27 |        0 |   128004      0 |     1127 |     1832
1703.01/1703.36	c #cpu_time = 0.182s
1703.01/1703.36	c #wall_clock_time = 0.183s
1703.01/1703.36	c #decision = 27
1703.01/1703.36	c #random_decision = 0
1703.01/1703.36	c #conflict = 0
1703.01/1703.36	c #restart = 0
1703.01/1703.36	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1703.01/1703.36	c lower bound updated to 6437951260
1770.50/1770.84	c BCD2: 6437951260 <= obj <= 234150349368
1770.50/1770.84	c BCD2: #cores=26, #unrelaxed=719, #relaxed=76, #hardened=0
1770.50/1770.84	c BCD2: #sat=1 #unsat=27 bias=27/28
1770.50/1770.84	c Solving starts ...
1770.50/1770.84	c ============================[ Search Statistics ]============================
1770.50/1770.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1770.50/1770.84	c       |         |          |          |    Limit     GC | Var      | Constra 
1770.50/1770.84	c =============================================================================
1770.50/1770.84	c  0.0s |       0 |        0 |        0 |   128004      0 |     1127 |     1832
1770.71/1771.03	c  0.2s |       0 |       28 |        0 |   128004      0 |     1127 |     1832
1770.71/1771.03	c #cpu_time = 0.176s
1770.71/1771.03	c #wall_clock_time = 0.176s
1770.71/1771.03	c #decision = 28
1770.71/1771.03	c #random_decision = 0
1770.71/1771.03	c #conflict = 0
1770.71/1771.03	c #restart = 0
1770.71/1771.03	c BCD2: found a new core of size 3: cost of the new core is >=4382540
1770.71/1771.03	c lower bound updated to 6442333800

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

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.24 2.20 3/180 9620
/proc/meminfo: memFree=17589128/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 2769 0 0 0 0 0 0 0 20 0 4 0 40564883 760672256 3641 33554432000 4194304 16246674 140734791979024 140734791978448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 186223 3650 441 2943 0 183117 0
[pid=9620/tid=9621] ppid=9617 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 777449472 3709 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 782692352 3726 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 786886656 3743 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.33 2.24 2.20 3/180 9620
/proc/meminfo: memFree=17589128/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 25936 0 0 0 6 3 0 0 20 0 4 0 40564883 1333334016 26746 33554432000 4194304 16246674 140734791979024 140734791978336 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 325521 26763 800 2943 0 322415 0
[pid=9620/tid=9621] ppid=9617 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1333334016 26773 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1333334016 26785 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1333334016 26796 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200524 s]
/proc/loadavg: 2.33 2.24 2.20 3/180 9620
/proc/meminfo: memFree=17589128/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 48674 0 0 0 12 7 0 0 20 0 4 0 40564883 1344868352 49995 33554432000 4194304 16246674 140734791979024 140734791978336 8058259 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 328337 49995 800 2943 0 325231 0
[pid=9620/tid=9621] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 49995 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 49995 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 49995 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300508 s]
/proc/loadavg: 2.33 2.24 2.20 3/180 9620
/proc/meminfo: memFree=17589128/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 58656 0 0 0 20 9 0 0 20 0 4 0 40564883 1344868352 59977 33554432000 4194304 16246674 140734791979024 140734791978336 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 328337 59977 800 2943 0 325231 0
[pid=9620/tid=9621] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 59977 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 59977 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 59977 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70043 s]
/proc/loadavg: 2.33 2.24 2.20 3/180 9620
/proc/meminfo: memFree=17589128/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 66596 0 0 0 59 10 0 0 20 0 4 0 40564883 1344868352 67917 33554432000 4194304 16246674 140734791979024 140734791978336 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 328337 67917 802 2943 0 325231 0
[pid=9620/tid=9621] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 67917 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 67917 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 67917 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 2.33 2.24 2.20 3/184 9624
/proc/meminfo: memFree=17282004/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 83334 0 0 0 137 12 0 0 20 0 4 0 40564883 1344868352 84655 33554432000 4194304 16246674 140734791979024 140734791976832 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 328337 84655 802 2943 0 325231 0
[pid=9620/tid=9621] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 84655 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 84655 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1344868352 84655 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10033 s]
/proc/loadavg: 2.33 2.24 2.20 3/184 9624
/proc/meminfo: memFree=16995416/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1351236 CPUtime=3.09 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 278422 0 0 0 266 43 0 0 20 0 4 0 40564883 1383665664 279743 33554432000 4194304 16246674 140734791979024 140734791960896 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 337809 279743 837 2943 0 334703 0
[pid=9620/tid=9621] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279743 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279743 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279743 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30043 s]
/proc/loadavg: 2.30 2.24 2.19 3/184 9624
/proc/meminfo: memFree=16471384/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1351236 CPUtime=6.29 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 278487 0 0 0 586 43 0 0 20 0 4 0 40564883 1383665664 279808 33554432000 4194304 16246674 140734791979024 140734791960896 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 337809 279808 893 2943 0 334703 0
[pid=9620/tid=9621] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279808 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279808 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279808 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.36 2.25 2.20 3/184 9624
/proc/meminfo: memFree=17887992/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1351236 CPUtime=12.69 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 278495 0 0 0 1226 43 0 0 20 0 4 0 40564883 1383665664 279816 33554432000 4194304 16246674 140734791979024 140734791976832 12655109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 337809 279816 901 2943 0 334703 0
[pid=9620/tid=9621] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279816 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279816 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1383665664 279816 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1351236

[startup+25.5005 s]
/proc/loadavg: 2.35 2.26 2.20 3/184 9624
/proc/meminfo: memFree=17800840/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1437252 CPUtime=25.48 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 300000 0 0 0 2502 46 0 0 20 0 4 0 40564883 1471746048 301321 33554432000 4194304 16246674 140734791979024 140734791977688 12414096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 359313 301321 901 2943 0 356207 0
[pid=9620/tid=9621] ppid=9617 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1471746048 301321 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1471746048 301321 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1471746048 301321 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1437252

[startup+51.1005 s]
/proc/loadavg: 2.38 2.27 2.20 3/184 9624
/proc/meminfo: memFree=17129472/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1575492 CPUtime=51.09 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 334560 0 0 0 5057 52 0 0 20 0 4 0 40564883 1613303808 335881 33554432000 4194304 16246674 140734791979024 140734791960896 12414010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 393873 335881 901 2943 0 390767 0
[pid=9620/tid=9621] ppid=9617 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1613303808 335881 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1613303808 335881 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1613303808 335881 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1575492

[startup+102.3 s]
/proc/loadavg: 2.32 2.27 2.20 4/184 9625
/proc/meminfo: memFree=17117280/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1587780 CPUtime=102.28 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 337550 0 0 0 10176 52 0 0 20 0 4 0 40564883 1625886720 338871 33554432000 4194304 16246674 140734791979024 140734791978336 12654564 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 396945 338871 917 2943 0 393839 0
[pid=9620/tid=9621] ppid=9617 vsize=1587780 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1625886720 338871 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1587780 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1625886720 338871 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1587780 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1625886720 338871 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1587780


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

/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1745476

[startup+1362.3 s]
/proc/loadavg: 2.30 2.28 2.25 3/183 9957
/proc/meminfo: memFree=23275808/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1362.07 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377095 0 0 0 136143 64 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791960896 12413997 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1745476

[startup+1422.3 s]
/proc/loadavg: 2.30 2.29 2.25 3/183 9958
/proc/meminfo: memFree=22110488/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1422.07 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377096 0 0 0 142143 64 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791960896 12413997 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1745476

[startup+1482.3 s]
/proc/loadavg: 2.30 2.29 2.26 3/183 9959
/proc/meminfo: memFree=18577544/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1482.05 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377099 0 0 0 148141 64 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791960896 12414096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1745476

[startup+1542.31 s]
/proc/loadavg: 2.23 2.27 2.25 3/183 9961
/proc/meminfo: memFree=18099916/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1542.04 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377099 0 0 0 154140 64 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791960896 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1745476

[startup+1602.3 s]
/proc/loadavg: 2.30 2.28 2.25 3/183 9962
/proc/meminfo: memFree=16529040/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1602.03 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377099 0 0 0 160138 65 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791976896 4220511 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1745476

[startup+1662.3 s]
/proc/loadavg: 2.25 2.27 2.25 3/184 9966
/proc/meminfo: memFree=15434504/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1662.02 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377099 0 0 0 166137 65 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791978336 12413993 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1745476

[startup+1722.3 s]
/proc/loadavg: 2.24 2.26 2.25 3/183 9967
/proc/meminfo: memFree=15452296/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1722.01 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377099 0 0 0 172136 65 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791960896 12655040 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1745476

[startup+1782.3 s]
/proc/loadavg: 2.34 2.29 2.26 3/183 9968
/proc/meminfo: memFree=15452076/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1782 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377099 0 0 0 178134 66 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791960896 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1745476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.24 2.27 2.25 3/183 9968
/proc/meminfo: memFree=15452172/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1800 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377099 0 0 0 179934 66 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791976832 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1745476

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

[startup+1800.3 s]
/proc/loadavg: 2.24 2.27 2.25 3/183 9968
/proc/meminfo: memFree=15452172/32872528 swapFree=1542984/1696284
[pid=9620] ppid=9617 vsize=1745476 CPUtime=1800 cores=1,3,5,7
/proc/9620/stat : 9620 (toysat) R 9617 9620 9424 0 -1 4202496 377099 0 0 0 179934 66 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140734791976832 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9620/statm: 436369 378396 917 2943 0 433263 0
[pid=9620/tid=9621] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9621/stat : 9621 (toysat) S 9617 9620 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277345922288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9620/tid=9622] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9622/stat : 9622 (toysat) S 9617 9620 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277335432432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9620/tid=9623] ppid=9617 vsize=1745476 CPUtime=0 cores=1,3,5,7
/proc/9620/task/9623/stat : 9623 (toysat) S 9617 9620 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40564883 1787367424 378396 33554432000 4194304 16246674 140734791979024 140277255761072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1745476

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.35
CPU system time (s): 0.673897
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1745476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.673897
maximum resident set size= 1513584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377099
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= 737
involuntary context switches= 1961

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4493 second user time and 11.0733 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-20 03:13:03
IDJOB=4110652
IDBENCH=108185
IDSOLVER=2542
FILE ID=node125/4110652-1466385182
RUNJOBID= node125-1466384086-9441
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-1-abcdeir.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110652-1466385182/watcher-4110652-1466385182 -o /tmp/evaluation-result-4110652-1466385182/solver-4110652-1466385182 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466384086-9441 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4110652-1466385182.opb

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

MD5SUM BENCH= 6b1d8f0d08525551870ede2f64b66f5e
RANDOM SEED=1919631205

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:        17589772 kB
Buffers:            2028 kB
Cached:            82104 kB
SwapCached:         1480 kB
Active:         12844404 kB
Inactive:          16732 kB
Active(anon):   12778476 kB
Inactive(anon):      976 kB
Active(file):      65928 kB
Inactive(file):    15756 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67096320 kB
Dirty:             25540 kB
Writeback:             0 kB
AnonPages:      14473336 kB
Mapped:            10824 kB
Shmem:                 0 kB
Slab:             565984 kB
SReclaimable:       9604 kB
SUnreclaim:       556380 kB
KernelStack:        1472 kB
PageTables:        32460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14619884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71704 MiB
End job on node125 at 2016-06-20 03:43:03