Trace number 4080063

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.04 1800.33

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
MD5SUMcf9128b870ef9b100d6538eb54f0c456
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2560
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1427
Biggest coefficient in the objective function 512
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 6807
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 65956
Number of bits of the biggest sum of numbers17
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-07T13:46:39+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-4080063-1465299999.opb"]
0.00/0.01	c use --random-gen="383183034 3310922382 850667954 1525453569 2331981986 1570066985 2699576515 3907190655 2552485549 1223801883 3844000612 1663870370 3434228103 3910410538 4154039238 2142717117 2405727153 4125365062 1483777936 4245946068 1034613397 2695228392 628172169 3752310367 1467599230 1511230377 4212335365 2705814411 466215472 362738663 1125347771 2033108595 3419915848 1188615277 3861490851 301548577 1599435922 770623732 1801266483 94766855 145905070 2120053853 4036495383 2035076268 4264311168 3561163348 1616246950 279846664 4225692223 2396565021 1928079297 2751227728 367365698 4255233370 1369133305 3473577591 4069956123 2133547405 1811352632 2596171960 2096676778 2507731480 2929090502 1317975862 2850171841 265513175 2455937253 3744980059 2174303954 3316221895 49786383 71150246 1444954312 621140653 3014462562 3778628721 3874923038 3958885150 1052240418 2023714804 3619054388 2254137696 913828481 2002620022 4011804875 680752348 3136226812 4125931460 1802158625 2203709284 1929122550 2973043984 3456983136 921866101 837431124 742140134 2877667818 3503864834 3448948257 1473592405 3662245091 4088768722 2026120631 2071237700 3759924722 2836246684 2743727205 1342181557 707502024 1839285395 2525560232 3830339002 358132963 240046544 121787233 4168729782 2184210631 1121653318 2890758091 2192193981 2596928237 4153525280 3342189038 3643053802 492331721 235855430 437539755 4164991214 1708334173 2762862060 1115755961 705252256 3016162290 989901714 2706217461 2650767995 975620889 1746715985 3839940346 326926608 359342545 1057517627 1153663068 3366072301 1107781335 2850181248 225152232 2540918644 2070761417 1074474422 1846156467 2803307307 2335050200 87955574 3999099251 2880460008 55283925 3934033206 3136339159 2388381735 815114718 2325627207 2446700087 1981955449 3996427467 4213273241 2626053827 115708847 2745327330 2198816242 4221909021 4134358147 3736506136 1295985018 575945005 2914643541 3280534346 427012062 2620251502 3111142524 153102590 3152975884 3421756053 35208175 3843113416 3671696299 194863900 3983580580 29634414 1768489081 3566350853 1705909991 3247023882 2517354366 3309771772 1212533155 4287832804 1326870524 1419842004 1955539189 745655945 2755420339 3323338819 2766077669 832169906 1671837146 2017026163 3701156648 2979237529 1247763849 2792202814 909220108 4079521858 1997934041 2584172301 727942181 1425167780 955251350 1352178439 768505589 2129283258 1130245756 781421470 2028726311 2707643967 3690829892 910562994 2332809665 1329382151 2037304823 3946397142 1139072205 582255531 2932204389 1498142886 1538135478 2951960296 2004207944 1758905661 3712348961 1720810977 1394783620 1199134316 2893487384 1671881957 130874647 4160542251 1867435418 3572039542 2136211393 4240398891 868458452 2109891719 449664556 1274977494 2047617414 255 362436" option to reproduce the execution
4.79/4.82	c #vars 400896
4.79/4.82	c #constraints 402763
13.58/13.66	c BCD2: Hardening is enabled.
13.58/13.66	c BCD2: BiasedSearch is enabled.
13.58/13.66	c Solving starts ...
13.58/13.66	c ============================[ Search Statistics ]============================
13.58/13.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.58/13.66	c       |         |          |          |    Limit     GC | Var      | Constra 
13.58/13.66	c =============================================================================
13.58/13.68	c  0.0s |       0 |        0 |        0 |   267886      0 |        0 |        0
17.08/17.15	c  3.5s |       0 |       20 |        1 |   267886      0 |       19 |       19
17.08/17.15	c #cpu_time = 3.180s
17.08/17.15	c #wall_clock_time = 3.189s
17.08/17.15	c #decision = 20
17.08/17.15	c #random_decision = 0
17.08/17.15	c #conflict = 1
17.08/17.15	c #restart = 0
17.08/17.15	o 0
17.08/17.15	c BCD2: updating upper bound: 6807 -> 6806
17.08/17.15	c BCD2: 0 <= obj <= 6806
17.08/17.15	c BCD2: #cores=0, #unrelaxed=1427, #relaxed=0, #hardened=0
17.08/17.15	c BCD2: #sat=1 #unsat=1 bias=1/2
17.08/17.15	c Solving starts ...
17.08/17.15	c ============================[ Search Statistics ]============================
17.08/17.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.08/17.15	c       |         |          |          |    Limit     GC | Var      | Constra 
17.08/17.15	c =============================================================================
17.08/17.15	c  0.0s |       0 |        0 |        0 |   267886      0 |       19 |       19
17.69/17.77	c  0.6s |       0 |       65 |        0 |   267886      0 |       19 |       19
17.69/17.77	c #cpu_time = 0.508s
17.69/17.77	c #wall_clock_time = 0.509s
17.69/17.77	c #decision = 65
17.69/17.77	c #random_decision = 0
17.69/17.77	c #conflict = 0
17.69/17.77	c #restart = 0
17.69/17.77	c BCD2: found a new core of size 66: cost of the new core is >=1
17.69/17.77	c lower bound updated to -6806
17.69/17.77	c BCD2: 1 <= obj <= 6806
17.69/17.77	c BCD2: #cores=1, #unrelaxed=1361, #relaxed=66, #hardened=0
17.69/17.77	c BCD2: #sat=1 #unsat=2 bias=2/3
17.69/17.79	c Solving starts ...
17.69/17.79	c ============================[ Search Statistics ]============================
17.69/17.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.69/17.79	c       |         |          |          |    Limit     GC | Var      | Constra 
17.69/17.79	c =============================================================================
17.69/17.79	c  0.0s |       0 |        0 |        0 |   267886      0 |       19 |       19
18.18/18.22	c  0.4s |       0 |       65 |        1 |   267886      0 |       19 |       19
18.18/18.22	c #cpu_time = 0.423s
18.18/18.22	c #wall_clock_time = 0.424s
18.18/18.22	c #decision = 65
18.18/18.22	c #random_decision = 0
18.18/18.22	c #conflict = 1
18.18/18.22	c #restart = 0
18.18/18.22	c BCD2: relaxing 64 and merging with 1 cores into a new core of size 130: cost of the new core is >=2
18.18/18.22	c lower bound updated to -6805
18.18/18.23	c BCD2: 2 <= obj <= 6806
18.18/18.23	c BCD2: #cores=1, #unrelaxed=1297, #relaxed=130, #hardened=0
18.18/18.23	c BCD2: #sat=1 #unsat=3 bias=3/4
18.18/18.23	c Solving starts ...
18.18/18.23	c ============================[ Search Statistics ]============================
18.18/18.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.18/18.23	c       |         |          |          |    Limit     GC | Var      | Constra 
18.18/18.23	c =============================================================================
18.18/18.25	c  0.0s |       0 |        0 |        0 |   267886      0 |       20 |       19
18.58/18.70	c  0.4s |       0 |       69 |        0 |   267886      0 |       20 |       20
18.58/18.70	c #cpu_time = 0.397s
18.58/18.70	c #wall_clock_time = 0.398s
18.58/18.70	c #decision = 69
18.58/18.70	c #random_decision = 0
18.58/18.70	c #conflict = 0
18.58/18.70	c #restart = 0
18.58/18.70	c BCD2: found a new core of size 66: cost of the new core is >=1
18.58/18.70	c lower bound updated to -6804
18.69/18.70	c BCD2: 3 <= obj <= 6806
18.69/18.70	c BCD2: #cores=2, #unrelaxed=1231, #relaxed=196, #hardened=0
18.69/18.70	c BCD2: #sat=1 #unsat=4 bias=4/5
18.69/18.70	c Solving starts ...
18.69/18.70	c ============================[ Search Statistics ]============================
18.69/18.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.69/18.70	c       |         |          |          |    Limit     GC | Var      | Constra 
18.69/18.70	c =============================================================================
18.69/18.72	c  0.0s |       0 |        0 |        0 |   267886      0 |       20 |       20
19.08/19.17	c  0.5s |       0 |       72 |        1 |   267886      0 |       20 |       20
19.08/19.17	c #cpu_time = 0.445s
19.08/19.17	c #wall_clock_time = 0.446s
19.08/19.17	c #decision = 72
19.08/19.17	c #random_decision = 0
19.08/19.17	c #conflict = 1
19.08/19.17	c #restart = 0
19.08/19.17	c BCD2: relaxing 70 and merging with 1 cores into a new core of size 136: cost of the new core is >=2
19.08/19.17	c lower bound updated to -6803
19.08/19.18	c BCD2: 4 <= obj <= 6806
19.08/19.18	c BCD2: #cores=2, #unrelaxed=1161, #relaxed=266, #hardened=0
19.08/19.18	c BCD2: #sat=1 #unsat=5 bias=5/6
19.08/19.18	c Solving starts ...
19.08/19.18	c ============================[ Search Statistics ]============================
19.08/19.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.08/19.18	c       |         |          |          |    Limit     GC | Var      | Constra 
19.08/19.18	c =============================================================================
19.18/19.20	c  0.0s |       0 |        0 |        0 |   267886      0 |       21 |       20
19.58/19.66	c  0.5s |       0 |       69 |        1 |   267886      0 |       21 |       21
19.58/19.66	c #cpu_time = 0.450s
19.58/19.66	c #wall_clock_time = 0.451s
19.58/19.66	c #decision = 69
19.58/19.66	c #random_decision = 0
19.58/19.66	c #conflict = 1
19.58/19.66	c #restart = 0
19.58/19.66	c BCD2: relaxing 67 and merging with 1 cores into a new core of size 203: cost of the new core is >=3
19.58/19.66	c lower bound updated to -6802
19.68/19.70	c BCD2: 5 <= obj <= 6806
19.68/19.70	c BCD2: #cores=2, #unrelaxed=1094, #relaxed=333, #hardened=0
19.68/19.70	c BCD2: #sat=1 #unsat=6 bias=6/7
19.68/19.70	c Solving starts ...
19.68/19.70	c ============================[ Search Statistics ]============================
19.68/19.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.68/19.70	c       |         |          |          |    Limit     GC | Var      | Constra 
19.68/19.70	c =============================================================================
19.68/19.70	c  0.0s |       0 |        0 |        0 |   267886      0 |       22 |       21
20.08/20.17	c  0.5s |       0 |       73 |        1 |   267886      0 |       22 |       22
20.08/20.17	c #cpu_time = 0.468s
20.08/20.17	c #wall_clock_time = 0.469s
20.08/20.17	c #decision = 73
20.08/20.17	c #random_decision = 0
20.08/20.17	c #conflict = 1
20.08/20.17	c #restart = 0
20.08/20.17	c BCD2: relaxing 71 and merging with 1 cores into a new core of size 274: cost of the new core is >=4
20.08/20.17	c lower bound updated to -6801
20.08/20.19	c BCD2: 6 <= obj <= 6806
20.08/20.19	c BCD2: #cores=2, #unrelaxed=1023, #relaxed=404, #hardened=0
20.08/20.19	c BCD2: #sat=1 #unsat=7 bias=7/8
20.18/20.20	c Solving starts ...
20.18/20.20	c ============================[ Search Statistics ]============================
20.18/20.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.18/20.20	c       |         |          |          |    Limit     GC | Var      | Constra 
20.18/20.20	c =============================================================================
20.18/20.20	c  0.0s |       0 |        0 |        0 |   267886      0 |       23 |       22
20.68/20.79	c  0.6s |       0 |       69 |        1 |   267886      0 |       23 |       23
20.68/20.79	c #cpu_time = 0.583s
20.68/20.79	c #wall_clock_time = 0.585s
20.68/20.79	c #decision = 69
20.68/20.79	c #random_decision = 0
20.68/20.79	c #conflict = 1
20.68/20.79	c #restart = 0
20.68/20.79	c BCD2: relaxing 67 and merging with 1 cores into a new core of size 341: cost of the new core is >=5
20.68/20.79	c lower bound updated to -6800
20.78/20.80	c BCD2: 7 <= obj <= 6806
20.78/20.80	c BCD2: #cores=2, #unrelaxed=956, #relaxed=471, #hardened=0
20.78/20.80	c BCD2: #sat=1 #unsat=8 bias=8/9
20.78/20.80	c Solving starts ...
20.78/20.80	c ============================[ Search Statistics ]============================
20.78/20.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.78/20.80	c       |         |          |          |    Limit     GC | Var      | Constra 
20.78/20.80	c =============================================================================
20.78/20.80	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       23
21.28/21.30	c  0.5s |       0 |       65 |        0 |   267886      0 |       24 |       24
21.28/21.30	c #cpu_time = 0.460s
21.28/21.30	c #wall_clock_time = 0.462s
21.28/21.30	c #decision = 65
21.28/21.30	c #random_decision = 0
21.28/21.30	c #conflict = 0
21.28/21.30	c #restart = 0
21.28/21.31	c BCD2: found a new core of size 59: cost of the new core is >=1
21.28/21.31	c lower bound updated to -6799
21.28/21.31	c BCD2: 8 <= obj <= 6806
21.28/21.31	c BCD2: #cores=3, #unrelaxed=897, #relaxed=530, #hardened=0
21.28/21.31	c BCD2: #sat=1 #unsat=9 bias=9/10
21.28/21.31	c Solving starts ...
21.28/21.31	c ============================[ Search Statistics ]============================
21.28/21.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.28/21.31	c       |         |          |          |    Limit     GC | Var      | Constra 
21.28/21.31	c =============================================================================
21.28/21.31	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
21.69/21.75	c  0.4s |       0 |       78 |        0 |   267886      0 |       24 |       24
21.69/21.75	c #cpu_time = 0.405s
21.69/21.75	c #wall_clock_time = 0.406s
21.69/21.75	c #decision = 78
21.69/21.75	c #random_decision = 0
21.69/21.75	c #conflict = 0
21.69/21.75	c #restart = 0
21.69/21.75	c BCD2: found a new core of size 76: cost of the new core is >=1
21.69/21.75	c lower bound updated to -6798
21.69/21.76	c BCD2: 9 <= obj <= 6806
21.69/21.76	c BCD2: #cores=4, #unrelaxed=821, #relaxed=606, #hardened=0
21.69/21.76	c BCD2: #sat=1 #unsat=10 bias=10/11
21.69/21.76	c Solving starts ...
21.69/21.76	c ============================[ Search Statistics ]============================
21.69/21.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.69/21.76	c       |         |          |          |    Limit     GC | Var      | Constra 
21.69/21.76	c =============================================================================
21.69/21.76	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
22.10/22.17	c  0.4s |       0 |       73 |        0 |   267886      0 |       24 |       24
22.10/22.17	c #cpu_time = 0.379s
22.10/22.17	c #wall_clock_time = 0.380s
22.10/22.17	c #decision = 73
22.10/22.17	c #random_decision = 0
22.10/22.17	c #conflict = 0
22.10/22.17	c #restart = 0
22.10/22.17	c BCD2: found a new core of size 68: cost of the new core is >=1
22.10/22.17	c lower bound updated to -6797
22.10/22.18	c BCD2: 10 <= obj <= 6806
22.10/22.18	c BCD2: #cores=5, #unrelaxed=753, #relaxed=674, #hardened=0
22.10/22.18	c BCD2: #sat=1 #unsat=11 bias=11/12
22.10/22.18	c Solving starts ...
22.10/22.18	c ============================[ Search Statistics ]============================
22.10/22.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.10/22.18	c       |         |          |          |    Limit     GC | Var      | Constra 
22.10/22.18	c =============================================================================
22.10/22.18	c  0.0s |       0 |        0 |        0 |   267886      0 |       24 |       24
22.59/22.67	c  0.5s |       0 |       70 |        1 |   267886      0 |       24 |       24
22.59/22.67	c #cpu_time = 0.461s
22.59/22.67	c #wall_clock_time = 0.462s
22.59/22.67	c #decision = 70
22.59/22.67	c #random_decision = 0
22.59/22.67	c #conflict = 1
22.59/22.67	c #restart = 0
22.59/22.67	c BCD2: relaxing 65 and merging with 2 cores into a new core of size 192: cost of the new core is >=3
22.59/22.67	c lower bound updated to -6796
22.59/22.68	c BCD2: 11 <= obj <= 6806
22.59/22.68	c BCD2: #cores=4, #unrelaxed=688, #relaxed=739, #hardened=0
22.59/22.68	c BCD2: #sat=1 #unsat=12 bias=12/13
22.59/22.68	c Solving starts ...
22.59/22.68	c ============================[ Search Statistics ]============================
22.59/22.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.59/22.68	c       |         |          |          |    Limit     GC | Var      | Constra 
22.59/22.68	c =============================================================================
22.59/22.68	c  0.0s |       0 |        0 |        0 |   267886      0 |       28 |       24
23.19/23.27	c  0.6s |       0 |       72 |        1 |   267886      0 |       28 |       30
23.19/23.27	c #cpu_time = 0.571s
23.19/23.27	c #wall_clock_time = 0.573s
23.19/23.27	c #decision = 72
23.19/23.27	c #random_decision = 0
23.19/23.27	c #conflict = 1
23.19/23.27	c #restart = 0
23.19/23.27	c BCD2: relaxing 68 and merging with 1 cores into a new core of size 260: cost of the new core is >=4
23.19/23.27	c lower bound updated to -6795
24.09/24.20	c BCD2: 12 <= obj <= 6806
24.09/24.20	c BCD2: #cores=4, #unrelaxed=620, #relaxed=807, #hardened=0
24.09/24.20	c BCD2: #sat=1 #unsat=13 bias=13/14
24.09/24.20	c Solving starts ...
24.09/24.20	c ============================[ Search Statistics ]============================
24.09/24.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.09/24.20	c       |         |          |          |    Limit     GC | Var      | Constra 
24.09/24.20	c =============================================================================
24.19/24.20	c  0.0s |       0 |        0 |        0 |   267886      0 |       29 |       30
24.49/24.59	c  0.4s |       0 |       61 |        0 |   267886      0 |       29 |       31
24.49/24.59	c #cpu_time = 0.371s
24.49/24.59	c #wall_clock_time = 0.372s
24.49/24.59	c #decision = 61
24.49/24.59	c #random_decision = 0
24.49/24.59	c #conflict = 0
24.49/24.59	c #restart = 0
24.49/24.59	c BCD2: found a new core of size 57: cost of the new core is >=1
24.49/24.59	c lower bound updated to -6794
24.59/24.60	c BCD2: 13 <= obj <= 6806
24.59/24.60	c BCD2: #cores=5, #unrelaxed=563, #relaxed=864, #hardened=0
24.59/24.60	c BCD2: #sat=1 #unsat=14 bias=14/15
24.59/24.65	c Solving starts ...
24.59/24.65	c ============================[ Search Statistics ]============================
24.59/24.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.59/24.65	c       |         |          |          |    Limit     GC | Var      | Constra 
24.59/24.65	c =============================================================================
24.59/24.66	c  0.0s |       0 |        0 |        0 |   267886      0 |       29 |       31
25.19/25.22	c  0.6s |       0 |       79 |        1 |   267886      0 |       29 |       31
25.19/25.22	c #cpu_time = 0.557s
25.19/25.22	c #wall_clock_time = 0.558s
25.19/25.22	c #decision = 79
25.19/25.22	c #random_decision = 0
25.19/25.22	c #conflict = 1
25.19/25.22	c #restart = 0
25.19/25.22	c BCD2: relaxing 74 and merging with 2 cores into a new core of size 391: cost of the new core is >=6
25.19/25.22	c lower bound updated to -6793
25.19/25.22	c BCD2: 14 <= obj <= 6806
25.19/25.22	c BCD2: #cores=4, #unrelaxed=489, #relaxed=938, #hardened=0
25.19/25.22	c BCD2: #sat=1 #unsat=15 bias=15/16
25.29/25.31	c Solving starts ...
25.29/25.31	c ============================[ Search Statistics ]============================
25.29/25.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.29/25.31	c       |         |          |          |    Limit     GC | Var      | Constra 
25.29/25.31	c =============================================================================
25.29/25.32	c  0.0s |       0 |        0 |        0 |   267886      0 |       32 |       31
25.69/25.74	c  0.4s |       0 |       70 |        0 |   267886      0 |       32 |       35
25.69/25.74	c #cpu_time = 0.395s
25.69/25.74	c #wall_clock_time = 0.396s
25.69/25.74	c #decision = 70
25.69/25.74	c #random_decision = 0
25.69/25.74	c #conflict = 0
25.69/25.74	c #restart = 0
25.69/25.74	c BCD2: found a new core of size 66: cost of the new core is >=1
25.69/25.74	c lower bound updated to -6792
25.69/25.75	c BCD2: 15 <= obj <= 6806
25.69/25.75	c BCD2: #cores=5, #unrelaxed=423, #relaxed=1004, #hardened=0
25.69/25.75	c BCD2: #sat=1 #unsat=16 bias=16/17
25.79/25.81	c Solving starts ...
25.79/25.81	c ============================[ Search Statistics ]============================
25.79/25.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.79/25.81	c       |         |          |          |    Limit     GC | Var      | Constra 
25.79/25.81	c =============================================================================
25.79/25.82	c  0.0s |       0 |        0 |        0 |   267886      0 |       32 |       35
26.29/26.31	c  0.5s |       0 |       66 |        1 |   267886      0 |       32 |       35
26.29/26.31	c #cpu_time = 0.485s
26.29/26.31	c #wall_clock_time = 0.486s
26.29/26.31	c #decision = 66
26.29/26.31	c #random_decision = 0
26.29/26.31	c #conflict = 1
26.29/26.31	c #restart = 0
26.29/26.31	c BCD2: relaxing 61 and merging with 1 cores into a new core of size 452: cost of the new core is >=7
26.29/26.31	c lower bound updated to -6791
26.29/26.36	c BCD2: 16 <= obj <= 6806
26.29/26.36	c BCD2: #cores=5, #unrelaxed=362, #relaxed=1065, #hardened=0
26.29/26.36	c BCD2: #sat=1 #unsat=17 bias=17/18
26.29/26.37	c Solving starts ...
26.29/26.37	c ============================[ Search Statistics ]============================
26.29/26.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.29/26.37	c       |         |          |          |    Limit     GC | Var      | Constra 
26.29/26.37	c =============================================================================
26.29/26.38	c  0.0s |       0 |        0 |        0 |   267886      0 |       34 |       35
26.69/26.72	c  0.3s |       0 |       67 |        0 |   267886      0 |       34 |       38
26.69/26.72	c #cpu_time = 0.338s
26.69/26.72	c #wall_clock_time = 0.339s
26.69/26.72	c #decision = 67
26.69/26.72	c #random_decision = 0
26.69/26.72	c #conflict = 0
26.69/26.72	c #restart = 0
26.69/26.72	c BCD2: found a new core of size 63: cost of the new core is >=1
26.69/26.72	c lower bound updated to -6790
26.69/26.73	c BCD2: 17 <= obj <= 6806
26.69/26.73	c BCD2: #cores=6, #unrelaxed=299, #relaxed=1128, #hardened=0
26.69/26.73	c BCD2: #sat=1 #unsat=18 bias=18/19
26.69/26.76	c Solving starts ...
26.69/26.76	c ============================[ Search Statistics ]============================
26.69/26.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.69/26.76	c       |         |          |          |    Limit     GC | Var      | Constra 
26.69/26.76	c =============================================================================
26.69/26.77	c  0.0s |       0 |        0 |        0 |   267886      0 |       34 |       38
27.18/27.28	c  0.5s |       0 |       77 |        1 |   267886      0 |       34 |       38
27.18/27.28	c #cpu_time = 0.485s
27.18/27.28	c #wall_clock_time = 0.486s
27.18/27.28	c #decision = 77
27.18/27.28	c #random_decision = 0
27.18/27.28	c #conflict = 1
27.18/27.28	c #restart = 0
27.18/27.28	c BCD2: relaxing 71 and merging with 1 cores into a new core of size 523: cost of the new core is >=8
27.18/27.28	c lower bound updated to -6789
27.28/27.35	c BCD2: 18 <= obj <= 6806
27.28/27.35	c BCD2: #cores=6, #unrelaxed=228, #relaxed=1199, #hardened=0
27.28/27.35	c BCD2: #sat=1 #unsat=19 bias=19/20
27.28/27.35	c Solving starts ...
27.28/27.35	c ============================[ Search Statistics ]============================
27.28/27.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
27.28/27.35	c       |         |          |          |    Limit     GC | Var      | Constra 
27.28/27.35	c =============================================================================
27.28/27.36	c  0.0s |       0 |        0 |        0 |   267886      0 |       36 |       38
27.78/27.85	c  0.4s |       0 |       73 |        0 |   267886      0 |       36 |       41
27.78/27.85	c #cpu_time = 0.397s
27.78/27.85	c #wall_clock_time = 0.398s
27.78/27.85	c #decision = 73
27.78/27.85	c #random_decision = 0
27.78/27.85	c #conflict = 0
27.78/27.85	c #restart = 0
27.78/27.85	c BCD2: found a new core of size 66: cost of the new core is >=1
27.78/27.85	c lower bound updated to -6788
27.78/27.85	c BCD2: 19 <= obj <= 6806
27.78/27.85	c BCD2: #cores=7, #unrelaxed=162, #relaxed=1265, #hardened=0
27.78/27.85	c BCD2: #sat=1 #unsat=20 bias=20/21
27.78/27.86	c Solving starts ...
27.78/27.86	c ============================[ Search Statistics ]============================
27.78/27.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
27.78/27.86	c       |         |          |          |    Limit     GC | Var      | Constra 
27.78/27.86	c =============================================================================
27.78/27.87	c  0.0s |       0 |        0 |        0 |   267886      0 |       36 |       41
28.38/28.42	c  0.5s |       0 |       73 |        1 |   267886      0 |       36 |       41
28.38/28.42	c #cpu_time = 0.523s
28.38/28.42	c #wall_clock_time = 0.524s
28.38/28.42	c #decision = 73
28.38/28.42	c #random_decision = 0
28.38/28.42	c #conflict = 1
28.38/28.42	c #restart = 0
28.38/28.42	c BCD2: relaxing 66 and merging with 1 cores into a new core of size 132: cost of the new core is >=2
28.38/28.42	c lower bound updated to -6787
28.38/28.42	c BCD2: 20 <= obj <= 6806
28.38/28.42	c BCD2: #cores=7, #unrelaxed=96, #relaxed=1331, #hardened=0
28.38/28.42	c BCD2: #sat=1 #unsat=21 bias=21/22
28.38/28.42	c Solving starts ...
28.38/28.42	c ============================[ Search Statistics ]============================
28.38/28.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.38/28.42	c       |         |          |          |    Limit     GC | Var      | Constra 
28.38/28.42	c =============================================================================
28.38/28.47	c  0.0s |       0 |        0 |        0 |   267886      0 |       37 |       41
28.98/29.01	c  0.5s |       0 |       69 |        1 |   267886      0 |       37 |       42
28.98/29.01	c #cpu_time = 0.536s
28.98/29.01	c #wall_clock_time = 0.538s
28.98/29.01	c #decision = 69
28.98/29.01	c #random_decision = 0
28.98/29.01	c #conflict = 1
28.98/29.01	c #restart = 0
28.98/29.01	c BCD2: relaxing 62 and merging with 1 cores into a new core of size 194: cost of the new core is >=3
28.98/29.01	c lower bound updated to -6786
28.98/29.02	c BCD2: 21 <= obj <= 6806
28.98/29.02	c BCD2: #cores=7, #unrelaxed=34, #relaxed=1393, #hardened=0
28.98/29.02	c BCD2: #sat=1 #unsat=22 bias=22/23
28.98/29.02	c Solving starts ...
28.98/29.02	c ============================[ Search Statistics ]============================
28.98/29.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.98/29.02	c       |         |          |          |    Limit     GC | Var      | Constra 
28.98/29.02	c =============================================================================
28.98/29.07	c  0.0s |       0 |        0 |        0 |   267886      0 |       38 |       42
33.98/34.03	c  5.0s |       0 |      775 |      100 |   294675      0 |       38 |       43
33.98/34.07	c  5.0s |       1 |      775 |      100 |   294675      0 |       38 |       43
43.68/43.73	c 14.7s |       1 |      961 |      200 |   294675      0 |       38 |       43
48.58/48.67	c 19.6s |       2 |     1052 |      250 |   324143      0 |       38 |       43
55.88/55.93	c 26.9s |       2 |     1372 |      350 |   324143      0 |       38 |       43
65.58/65.63	c 36.6s |       2 |     1442 |      450 |   324143      0 |       38 |       43
68.08/68.15	c 39.1s |       3 |     1466 |      475 |   356558      0 |       38 |       43
72.28/72.32	c 43.2s |       3 |     2109 |      575 |   356558      0 |       38 |       43
78.08/78.11	c 49.0s |       3 |     2689 |      675 |   356558      0 |       38 |       43
85.17/85.28	c 56.2s |       3 |     3268 |      775 |   356558      0 |       38 |       43
89.18/89.28	c 60.2s |       4 |     3366 |      813 |   392214      0 |       38 |       43
98.47/98.52	c 69.5s |       4 |     3773 |      913 |   392214      0 |       38 |       43
107.67/107.79	c 78.7s |       4 |     3910 |     1013 |   392214      0 |       38 |       43
115.87/115.95	c 86.9s |       4 |     4212 |     1113 |   392214      0 |       38 |       43
125.07/125.12	c 96.1s |       4 |     4255 |     1213 |   392214      0 |       38 |       43
129.97/130.04	c  100s |       4 |     5490 |     1313 |   431436      0 |       38 |       43
130.37/130.40	c  101s |       5 |     5634 |     1320 |   431436      0 |       38 |       43
135.87/135.92	c  106s |       5 |     6355 |     1420 |   431436      0 |       38 |       43
139.87/139.91	c  110s |       5 |     7202 |     1520 |   431436      0 |       38 |       43
146.37/146.49	c  117s |       5 |     7527 |     1620 |   431436      0 |       38 |       43
151.36/151.41	c  122s |       5 |     8048 |     1720 |   431436      0 |       38 |       43
157.66/157.71	c  128s |       5 |     8252 |     1820 |   431436      0 |       38 |       43
165.96/166.09	c  137s |       5 |     8472 |     1920 |   431436      0 |       38 |       43
170.96/171.07	c  142s |       5 |     8592 |     2020 |   431436      0 |       38 |       43
174.66/174.73	c  145s |       6 |     8661 |     2081 |   474580      0 |       38 |       43
180.26/180.33	c  151s |       6 |     9655 |     2181 |   474580      0 |       38 |       43
186.97/187.07	c  158s |       6 |    10247 |     2281 |   474580      0 |       38 |       43
194.46/194.50	c  165s |       6 |    10507 |     2381 |   474580      0 |       38 |       43
196.56/196.66	c  167s |       6 |    10664 |     2481 |   474580      0 |       38 |       43
202.66/202.75	c  173s |       6 |    11194 |     2581 |   474580      0 |       38 |       43
213.15/213.22	c  184s |       6 |    11330 |     2681 |   474580      0 |       38 |       43
222.85/222.90	c  193s |       6 |    11718 |     2781 |   474580      0 |       38 |       43
227.35/227.48	c  198s |       6 |    11894 |     2881 |   474580      0 |       38 |       43
234.96/235.00	c  205s |       6 |    11976 |     2981 |   474580      0 |       38 |       43
241.16/241.22	c  212s |       6 |    12118 |     3081 |   474580      0 |       38 |       43
249.66/249.75	c  220s |       6 |    12343 |     3181 |   474580      0 |       38 |       43
253.35/253.44	c  224s |       7 |    12381 |     3223 |   522039      0 |       38 |       43
260.76/260.83	c  231s |       7 |    12612 |     3323 |   522039      0 |       38 |       43
267.75/267.83	c  238s |       7 |    12776 |     3423 |   522039      0 |       38 |       43
277.55/277.66	c  248s |       7 |    12954 |     3523 |   522039      0 |       38 |       43
288.05/288.20	c  259s |       7 |    13114 |     3623 |   522039      0 |       38 |       43
299.45/299.54	c  270s |       7 |    13306 |     3723 |   522039      0 |       38 |       43
310.25/310.31	c  281s |       7 |    13497 |     3823 |   522039      0 |       38 |       43
320.94/321.09	c  292s |       7 |    13677 |     3923 |   522039      0 |       38 |       43
330.14/330.23	c  301s |       7 |    13916 |     4023 |   522039      0 |       38 |       43
337.84/337.93	c  308s |       7 |    14093 |     4123 |   522039      0 |       38 |       43
344.14/344.23	c  315s |       7 |    14249 |     4223 |   522039      0 |       38 |       43
352.64/352.73	c  323s |       7 |    14472 |     4323 |   522039      0 |       38 |       43
360.44/360.51	c  331s |       7 |    14598 |     4423 |   522039      0 |       38 |       43
368.54/368.66	c  339s |       7 |    14718 |     4523 |   522039      0 |       38 |       43
376.24/376.35	c  347s |       7 |    14844 |     4623 |   522039      0 |       38 |       43
383.43/383.55	c  354s |       7 |    15029 |     4723 |   522039      0 |       38 |       43
390.54/390.66	c  361s |       7 |    15125 |     4823 |   522039      0 |       38 |       43
400.44/400.52	c  371s |       7 |    15236 |     4923 |   574243      0 |       38 |       43
401.63/401.70	c  372s |       8 |    15245 |     4936 |   574243      0 |       38 |       43
408.04/408.13	c  379s |       8 |    15614 |     5036 |   574243      0 |       38 |       43
416.13/416.29	c  387s |       8 |    16194 |     5136 |   574243      0 |       38 |       43
423.03/423.16	c  394s |       8 |    16323 |     5236 |   574243      0 |       38 |       43
428.63/428.78	c  399s |       8 |    16538 |     5336 |   574243      0 |       38 |       43
436.83/436.91	c  407s |       8 |    16752 |     5436 |   574243      0 |       38 |       43
444.33/444.44	c  415s |       8 |    17177 |     5536 |   574243      0 |       38 |       43
451.42/451.51	c  422s |       8 |    17370 |     5636 |   574243      0 |       38 |       43
456.72/456.86	c  427s |       8 |    17524 |     5736 |   574243      0 |       38 |       43
459.73/459.87	c  430s |       8 |    17674 |     5836 |   574243      0 |       38 |       43
463.42/463.52	c  434s |       8 |    17822 |     5936 |   574243      0 |       38 |       43
472.12/472.26	c  443s |       8 |    18014 |     6036 |   574243      0 |       38 |       43
480.92/481.07	c  451s |       8 |    18348 |     6136 |   574243      0 |       38 |       43
487.32/487.42	c  458s |       8 |    19022 |     6236 |   574243      0 |       38 |       43
494.32/494.43	c  465s |       8 |    19297 |     6336 |   574243      0 |       38 |       43
502.62/502.77	c  473s |       8 |    19488 |     6436 |   574243      0 |       38 |       43
511.52/511.65	c  482s |       8 |    19589 |     6536 |   574243      0 |       38 |       43
519.81/519.92	c  490s |       8 |    19658 |     6636 |   574243      0 |       38 |       43
528.41/528.56	c  499s |       8 |    19818 |     6736 |   574243      0 |       38 |       43
536.82/536.99	c  507s |       8 |    20045 |     6836 |   574243      0 |       38 |       43
541.12/541.21	c  512s |       8 |    20185 |     6936 |   574243      0 |       38 |       43
549.41/549.58	c  520s |       8 |    20279 |     7036 |   574243      0 |       38 |       43
558.31/558.48	c  529s |       8 |    20375 |     7136 |   574243      0 |       38 |       43
567.20/567.32	c  538s |       8 |    20469 |     7236 |   574243      0 |       38 |       43
576.20/576.34	c  547s |       8 |    20580 |     7336 |   574243      0 |       38 |       43
585.30/585.42	c  556s |       8 |    20676 |     7436 |   574243      0 |       38 |       43
591.81/591.98	c  562s |       9 |    20744 |     7506 |   631668      0 |       38 |       43
599.90/600.01	c  570s |       9 |    21047 |     7606 |   631668      0 |       38 |       43
609.20/609.30	c  580s |       9 |    21284 |     7706 |   631668      0 |       38 |       43
617.30/617.44	c  588s |       9 |    21460 |     7806 |   631668      0 |       38 |       43
626.70/626.85	c  597s |       9 |    21640 |     7906 |   631668      0 |       38 |       43
633.09/633.24	c  604s |       9 |    21906 |     8006 |   631668      0 |       38 |       43
638.00/638.18	c  609s |       9 |    22130 |     8106 |   631668      0 |       38 |       43
644.39/644.54	c  615s |       9 |    22343 |     8206 |   631668      0 |       38 |       43
648.39/648.53	c  619s |       9 |    22670 |     8306 |   631668      0 |       38 |       43
651.10/651.25	c  622s |       9 |    22805 |     8406 |   631668      0 |       38 |       43
658.59/658.71	c  629s |       9 |    22963 |     8506 |   631668      0 |       38 |       43
665.09/665.21	c  636s |       9 |    24114 |     8606 |   631668      0 |       38 |       43
669.89/670.05	c  640s |       9 |    25398 |     8706 |   631668      0 |       38 |       43
673.49/673.60	c  644s |       9 |    26061 |     8806 |   631668      0 |       38 |       43
682.59/682.79	c  653s |       9 |    26316 |     8906 |   631668      0 |       38 |       43
689.88/690.04	c  660s |       9 |    26459 |     9006 |   631668      0 |       38 |       43
696.78/696.92	c  667s |       9 |    26614 |     9106 |   631668      0 |       38 |       43
704.08/704.22	c  675s |       9 |    26908 |     9206 |   631668      0 |       38 |       43
710.78/710.93	c  681s |       9 |    27868 |     9306 |   631668      0 |       38 |       43
714.99/715.14	c  686s |       9 |    28261 |     9406 |   631668      0 |       38 |       43
719.88/720.05	c  690s |       9 |    29181 |     9506 |   631668      0 |       38 |       43
724.48/724.60	c  695s |       9 |    29651 |     9606 |   631668      0 |       38 |       43
728.38/728.56	c  699s |       9 |    29769 |     9706 |   631668      0 |       38 |       43
734.68/734.82	c  705s |       9 |    30141 |     9806 |   631668      0 |       38 |       43
745.48/745.64	c  716s |       9 |    30153 |     9906 |   631668      0 |       38 |       43
755.27/755.49	c  726s |       9 |    30544 |    10006 |   631668      0 |       38 |       43
760.97/761.15	c  732s |       9 |    30754 |    10106 |   631668      0 |       38 |       43
766.27/766.45	c  737s |       9 |    32148 |    10206 |   631668      0 |       38 |       43
772.47/772.60	c  743s |       9 |    32640 |    10306 |   631668      0 |       38 |       43
775.38/775.54	c  746s |       9 |    33600 |    10406 |   631668      0 |       38 |       43
778.07/778.20	c  749s |       9 |    33759 |    10506 |   631668      0 |       38 |       43
784.57/784.73	c  755s |       9 |    34285 |    10606 |   631668      0 |       38 |       43
789.37/789.52	c  760s |       9 |    34861 |    10706 |   631668      0 |       38 |       43
793.87/794.04	c  764s |       9 |    37001 |    10806 |   631668      0 |       38 |       43
798.77/798.90	c  769s |       9 |    37371 |    10906 |   631668      0 |       38 |       43
804.87/805.08	c  776s |       9 |    37909 |    11006 |   631668      0 |       38 |       43
810.87/811.02	c  781s |       9 |    39837 |    11106 |   631668      0 |       38 |       43
814.87/815.05	c  785s |       9 |    40537 |    11206 |   631668      0 |       38 |       43
819.06/819.24	c  790s |       9 |    40739 |    11306 |   694835      0 |       38 |       43
823.66/823.88	c  794s |      10 |    40896 |    11361 |   694835      0 |       38 |       43
831.66/831.87	c  802s |      10 |    41131 |    11461 |   694835      0 |       38 |       43
840.16/840.31	c  811s |      10 |    41265 |    11561 |   694835      0 |       38 |       43
845.56/845.71	c  816s |      10 |    42080 |    11661 |   694835      0 |       38 |       43
854.96/855.13	c  826s |      10 |    42579 |    11761 |   694835      0 |       38 |       43
862.27/862.43	c  833s |      10 |    43505 |    11861 |   694835      0 |       38 |       43
871.56/871.75	c  842s |      10 |    43819 |    11961 |   694835      0 |       38 |       43
876.86/877.02	c  847s |      10 |    44319 |    12061 |   694835      0 |       38 |       43
886.85/887.01	c  857s |      10 |    44560 |    12161 |   694835      0 |       38 |       43
890.05/890.20	c  861s |      10 |    45029 |    12261 |   694835      0 |       38 |       43
896.75/896.96	c  867s |      10 |    45200 |    12361 |   694835      0 |       38 |       43
900.35/900.55	c  871s |      10 |    45347 |    12461 |   694835      0 |       38 |       43
905.16/905.34	c  876s |      10 |    45532 |    12561 |   694835      0 |       38 |       43
909.45/909.66	c  880s |      10 |    45976 |    12661 |   694835      0 |       38 |       43
916.35/916.55	c  887s |      10 |    46203 |    12761 |   694835      0 |       38 |       43
921.45/921.63	c  892s |      10 |    48219 |    12861 |   694835      0 |       38 |       43
925.35/925.58	c  896s |      10 |    48459 |    12961 |   694835      0 |       38 |       43
930.05/930.29	c  901s |      10 |    48637 |    13061 |   694835      0 |       38 |       43
938.54/938.71	c  909s |      10 |    48869 |    13161 |   694835      0 |       38 |       43
942.65/942.83	c  913s |      10 |    50115 |    13261 |   694835      0 |       38 |       43
949.15/949.36	c  920s |      10 |    50975 |    13361 |   694835      0 |       38 |       43
959.15/959.38	c  930s |      10 |    51089 |    13461 |   694835      0 |       38 |       43
966.75/966.93	c  937s |      10 |    51210 |    13561 |   694835      0 |       38 |       43
971.94/972.10	c  943s |      10 |    51443 |    13661 |   694835      0 |       38 |       43
975.84/976.06	c  946s |      10 |    51782 |    13761 |   694835      0 |       38 |       43
982.24/982.41	c  953s |      10 |    52281 |    13861 |   694835      0 |       38 |       43
988.93/989.14	c  960s |      10 |    52857 |    13961 |   694835      0 |       38 |       43
993.43/993.67	c  964s |      10 |    53139 |    14061 |   694835      0 |       38 |       43
997.23/997.48	c  968s |      10 |    53377 |    14161 |   694835      0 |       38 |       43
1000.84/1001.09	c  972s |      10 |    53823 |    14261 |   694835      0 |       38 |       43
1004.73/1004.95	c  975s |      10 |    54163 |    14361 |   694835      0 |       38 |       43
1008.33/1008.53	c  979s |      10 |    54527 |    14461 |   694835      0 |       38 |       43
1012.13/1012.38	c  983s |      10 |    54894 |    14561 |   694835      0 |       38 |       43
1015.94/1016.16	c  987s |      10 |    55257 |    14661 |   694835      0 |       38 |       43
1021.85/1022.02	c  992s |      10 |    55427 |    14761 |   694835      0 |       38 |       43
1027.54/1027.79	c  998s |      10 |    55698 |    14861 |   694835      0 |       38 |       43
1031.74/1031.99	c 1002s |      10 |    56119 |    14961 |   694835      0 |       38 |       43
1035.74/1035.92	c 1006s |      10 |    56653 |    15061 |   694835      0 |       38 |       43
1038.44/1038.64	c 1009s |      10 |    57022 |    15161 |   694835      0 |       38 |       43
1042.04/1042.21	c 1013s |      10 |    57360 |    15261 |   694835      0 |       38 |       43
1047.53/1047.71	c 1018s |      10 |    57578 |    15361 |   694835      0 |       38 |       43
1053.93/1054.16	c 1025s |      10 |    57961 |    15461 |   694835      0 |       38 |       43
1058.43/1058.65	c 1029s |      10 |    58077 |    15561 |   694835      0 |       38 |       43
1064.64/1064.83	c 1035s |      10 |    58220 |    15661 |   694835      0 |       38 |       43
1069.73/1069.95	c 1040s |      10 |    59446 |    15761 |   694835      0 |       38 |       43
1076.33/1076.54	c 1047s |      10 |    59564 |    15861 |   694835      0 |       38 |       43
1082.53/1082.78	c 1053s |      10 |    60411 |    15961 |   694835      0 |       38 |       43
1091.43/1091.65	c 1062s |      10 |    60557 |    16061 |   694835      0 |       38 |       43
1098.83/1099.08	c 1070s |      10 |    60751 |    16161 |   694835      0 |       38 |       43
1106.22/1106.40	c 1077s |      10 |    60935 |    16261 |   694835      0 |       38 |       43
1113.72/1113.91	c 1084s |      10 |    61033 |    16361 |   694835      0 |       38 |       43
1123.32/1123.51	c 1094s |      10 |    61292 |    16461 |   694835      0 |       38 |       43
1128.22/1128.45	c 1099s |      10 |    62349 |    16561 |   694835      0 |       38 |       43
1133.52/1133.71	c 1104s |      10 |    62915 |    16661 |   694835      0 |       38 |       43
1138.22/1138.45	c 1109s |      10 |    63181 |    16761 |   694835      0 |       38 |       43
1144.12/1144.35	c 1115s |      10 |    63572 |    16861 |   694835      0 |       38 |       43
1151.02/1151.29	c 1122s |      10 |    67477 |    16961 |   694835      0 |       38 |       43
1156.52/1156.79	c 1127s |      10 |    69109 |    17061 |   764319      0 |       38 |       43
1159.71/1159.92	c 1130s |      11 |    69395 |    17144 |   764319      0 |       38 |       43
1166.61/1166.86	c 1137s |      11 |    70055 |    17244 |   764319      0 |       38 |       43
1175.31/1175.54	c 1146s |      11 |    70650 |    17344 |   764319      0 |       38 |       43
1180.91/1181.17	c 1152s |      11 |    71942 |    17444 |   764319      0 |       38 |       43
1186.41/1186.60	c 1157s |      11 |    72788 |    17544 |   764319      0 |       38 |       43
1195.71/1195.91	c 1166s |      11 |    72983 |    17644 |   764319      0 |       38 |       43
1206.71/1206.91	c 1177s |      11 |    73119 |    17744 |   764319      0 |       38 |       43
1216.60/1216.88	c 1187s |      11 |    74316 |    17844 |   764319      0 |       38 |       43
1221.60/1221.83	c 1192s |      11 |    75977 |    17944 |   764319      0 |       38 |       43
1229.61/1229.89	c 1200s |      11 |    76149 |    18044 |   764319      0 |       38 |       43
1238.00/1238.25	c 1209s |      11 |    76470 |    18144 |   764319      0 |       38 |       43
1248.00/1248.27	c 1219s |      11 |    76583 |    18244 |   764319      0 |       38 |       43
1258.80/1259.05	c 1229s |      11 |    77028 |    18344 |   764319      0 |       38 |       43
1269.10/1269.36	c 1240s |      11 |    77266 |    18444 |   764319      0 |       38 |       43
1279.89/1280.17	c 1251s |      11 |    77532 |    18544 |   764319      0 |       38 |       43
1291.59/1291.82	c 1262s |      11 |    77734 |    18644 |   764319      0 |       38 |       43
1302.39/1302.61	c 1273s |      11 |    77959 |    18744 |   764319      0 |       38 |       43
1310.00/1310.21	c 1281s |      11 |    78242 |    18844 |   764319      0 |       38 |       43
1317.39/1317.62	c 1288s |      11 |    78564 |    18944 |   764319      0 |       38 |       43
1323.49/1323.76	c 1294s |      11 |    78912 |    19044 |   764319      0 |       38 |       43
1331.08/1331.32	c 1302s |      11 |    79030 |    19144 |   764319      0 |       38 |       43
1338.88/1339.19	c 1310s |      11 |    79302 |    19244 |   764319      0 |       38 |       43
1345.88/1346.14	c 1317s |      11 |    79706 |    19344 |   764319      0 |       38 |       43
1351.48/1351.73	c 1322s |      11 |    80941 |    19444 |   764319      0 |       38 |       43
1357.19/1357.45	c 1328s |      11 |    81112 |    19544 |   764319      0 |       38 |       43
1365.38/1365.60	c 1336s |      11 |    81834 |    19644 |   764319      0 |       38 |       43
1371.58/1371.87	c 1342s |      11 |    81946 |    19744 |   764319      0 |       38 |       43
1377.48/1377.74	c 1348s |      11 |    82554 |    19844 |   764319      0 |       38 |       43
1384.58/1384.88	c 1355s |      11 |    83027 |    19944 |   764319      0 |       38 |       43
1388.67/1388.96	c 1359s |      11 |    84370 |    20044 |   764319      0 |       38 |       43
1393.77/1394.03	c 1364s |      11 |    85132 |    20144 |   764319      0 |       38 |       43
1398.07/1398.31	c 1369s |      11 |    85280 |    20244 |   764319      0 |       38 |       43
1402.97/1403.27	c 1374s |      11 |    85478 |    20344 |   764319      0 |       38 |       43
1412.37/1412.61	c 1383s |      11 |    85592 |    20444 |   764319      0 |       38 |       43
1420.98/1421.24	c 1392s |      11 |    85750 |    20544 |   764319      0 |       38 |       43
1431.07/1431.33	c 1402s |      11 |    85849 |    20644 |   764319      0 |       38 |       43
1439.67/1439.92	c 1410s |      11 |    86009 |    20744 |   764319      0 |       38 |       43
1447.47/1447.72	c 1418s |      11 |    86132 |    20844 |   764319      0 |       38 |       43
1456.17/1456.43	c 1427s |      11 |    86292 |    20944 |   764319      0 |       38 |       43
1464.76/1465.03	c 1435s |      11 |    86445 |    21044 |   764319      0 |       38 |       43
1473.16/1473.45	c 1444s |      11 |    86556 |    21144 |   764319      0 |       38 |       43
1482.76/1483.03	c 1453s |      11 |    86720 |    21244 |   764319      0 |       38 |       43
1490.36/1490.63	c 1461s |      11 |    86997 |    21344 |   764319      0 |       38 |       43
1497.06/1497.31	c 1468s |      11 |    87253 |    21444 |   764319      0 |       38 |       43
1503.56/1503.81	c 1474s |      11 |    87392 |    21544 |   764319      0 |       38 |       43
1513.36/1513.67	c 1484s |      11 |    87474 |    21644 |   764319      0 |       38 |       43
1521.85/1522.12	c 1493s |      11 |    87595 |    21744 |   764319      0 |       38 |       43
1529.15/1529.41	c 1500s |      11 |    87691 |    21844 |   764319      0 |       38 |       43
1538.25/1538.55	c 1509s |      11 |    87788 |    21944 |   764319      0 |       38 |       43
1548.35/1548.60	c 1519s |      11 |    87993 |    22044 |   764319      0 |       38 |       43
1555.35/1555.62	c 1526s |      11 |    88675 |    22144 |   764319      0 |       38 |       43
1567.04/1567.30	c 1538s |      11 |    88819 |    22244 |   764319      0 |       38 |       43
1578.44/1578.74	c 1549s |      11 |    88919 |    22344 |   764319      0 |       38 |       43
1588.64/1588.95	c 1559s |      11 |    89010 |    22444 |   764319      0 |       38 |       43
1599.54/1599.85	c 1570s |      11 |    90551 |    22544 |   764319      0 |       38 |       43
1603.74/1604.04	c 1574s |      11 |    92404 |    22644 |   764319      0 |       38 |       43
1613.24/1613.58	c 1584s |      11 |    92746 |    22744 |   764319      0 |       38 |       43
1621.44/1621.76	c 1592s |      11 |    93127 |    22844 |   764319      0 |       38 |       43
1631.63/1631.92	c 1602s |      11 |    93384 |    22944 |   764319      0 |       38 |       43
1640.23/1640.52	c 1611s |      11 |    93549 |    23044 |   764319      0 |       38 |       43
1648.43/1648.79	c 1619s |      11 |    93722 |    23144 |   764319      0 |       38 |       43
1655.73/1656.04	c 1626s |      11 |    94123 |    23244 |   764319      0 |       38 |       43
1663.33/1663.62	c 1634s |      11 |    94628 |    23344 |   764319      0 |       38 |       43
1668.93/1669.22	c 1640s |      11 |    96233 |    23444 |   764319      0 |       38 |       43
1675.33/1675.60	c 1646s |      11 |    97450 |    23544 |   764319      0 |       38 |       43
1681.63/1681.95	c 1652s |      11 |    98288 |    23644 |   764319      0 |       38 |       43
1689.92/1690.30	c 1661s |      11 |    98507 |    23744 |   764319      0 |       38 |       43
1699.23/1699.53	c 1670s |      11 |    99115 |    23844 |   764319      0 |       38 |       43
1708.72/1709.08	c 1680s |      11 |    99203 |    23944 |   764319      0 |       38 |       43
1718.03/1718.36	c 1689s |      11 |    99340 |    24044 |   764319      0 |       38 |       43
1727.92/1728.25	c 1699s |      11 |    99465 |    24144 |   764319      0 |       38 |       43
1735.72/1736.08	c 1707s |      11 |    99741 |    24244 |   764319      0 |       38 |       43
1744.81/1745.12	c 1716s |      11 |    99911 |    24344 |   764319      0 |       38 |       43
1753.31/1753.66	c 1724s |      11 |   100332 |    24444 |   764319      0 |       38 |       43
1758.81/1759.12	c 1730s |      11 |   100590 |    24544 |   764319      0 |       38 |       43
1764.12/1764.49	c 1735s |      11 |   101158 |    24644 |   764319      0 |       38 |       43
1768.91/1769.21	c 1740s |      11 |   101299 |    24744 |   764319      0 |       38 |       43
1773.71/1774.04	c 1744s |      11 |   101417 |    24844 |   764319      0 |       38 |       43
1781.31/1781.60	c 1752s |      11 |   101686 |    24944 |   764319      0 |       38 |       43
1786.01/1786.36	c 1757s |      11 |   101916 |    25044 |   764319      0 |       38 |       43
1789.42/1789.74	c 1760s |      11 |   102027 |    25144 |   764319      0 |       38 |       43
1793.51/1793.84	c 1764s |      11 |   102184 |    25244 |   764319      0 |       38 |       43
1797.51/1797.82	c 1768s |      11 |   102292 |    25344 |   764319      0 |       38 |       43

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

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

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


[startup+0 s]
/proc/loadavg: 1.96 2.07 2.08 3/179 17709
/proc/meminfo: memFree=28817156/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 2700 0 0 0 0 0 0 0 20 0 4 0 111934499 741797888 3061 33554432000 4194304 16246674 140737296733936 140737296733360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 181615 3071 441 2943 0 178509 0
[pid=17709/tid=17710] ppid=17706 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 758575104 3128 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 762769408 3145 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111934500 768012288 3165 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 1.96 2.07 2.08 3/179 17709
/proc/meminfo: memFree=28817156/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 28504 0 0 0 6 2 0 0 20 0 4 0 111934499 1333334016 28804 33554432000 4194304 16246674 140737296733936 140737296733248 7369730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 325521 28819 799 2943 0 322415 0
[pid=17709/tid=17710] ppid=17706 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1333334016 28829 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1333334016 28841 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1333334016 28852 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200512 s]
/proc/loadavg: 1.96 2.07 2.08 3/179 17709
/proc/meminfo: memFree=28817156/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 44717 0 0 0 14 5 0 0 20 0 4 0 111934499 1343819776 45527 33554432000 4194304 16246674 140737296733936 140737296733248 7439417 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 328081 45527 800 2943 0 324975 0
[pid=17709/tid=17710] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 45527 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 45527 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 45527 33554432000 4194304 16246674 140737296733936 140671404985520 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) 1312324

[startup+0.300484 s]
/proc/loadavg: 1.96 2.07 2.08 3/179 17709
/proc/meminfo: memFree=28817156/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 52133 0 0 0 23 6 0 0 20 0 4 0 111934499 1343819776 52943 33554432000 4194304 16246674 140737296733936 140737296733248 7439480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 328081 52943 800 2943 0 324975 0
[pid=17709/tid=17710] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 52943 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 52943 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 52943 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700354 s]
/proc/loadavg: 1.96 2.07 2.08 3/179 17709
/proc/meminfo: memFree=28817156/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 63182 0 0 0 61 8 0 0 20 0 4 0 111934499 1343819776 63992 33554432000 4194304 16246674 140737296733936 140737296716928 8058488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 328081 63992 801 2943 0 324975 0
[pid=17709/tid=17710] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 63992 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 63992 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1343819776 63992 33554432000 4194304 16246674 140737296733936 140671404985520 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) 1312324

[startup+1.50036 s]
/proc/loadavg: 1.96 2.07 2.08 3/183 17713
/proc/meminfo: memFree=28480896/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1324612 CPUtime=1.49 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 92698 0 0 0 136 13 0 0 20 0 4 0 111934499 1356402688 96064 33554432000 4194304 16246674 140737296733936 140737296716928 7369730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 331153 96082 801 2943 0 328047 0
[pid=17709/tid=17710] ppid=17706 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1356402688 96092 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1356402688 96104 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1356402688 96116 33554432000 4194304 16246674 140737296733936 140671404985520 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) 1324612

[startup+3.10041 s]
/proc/loadavg: 1.96 2.07 2.08 3/183 17713
/proc/meminfo: memFree=28365108/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1349188 CPUtime=3.09 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 150248 0 0 0 288 21 0 0 20 0 4 0 111934499 1381568512 158212 33554432000 4194304 16246674 140737296733936 140737296731840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 337297 158212 801 2943 0 334191 0
[pid=17709/tid=17710] ppid=17706 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1381568512 158212 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1381568512 158212 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1381568512 158212 33554432000 4194304 16246674 140737296733936 140671404985520 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) 1349188

[startup+6.3004 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 17713
/proc/meminfo: memFree=27645412/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1491524 CPUtime=6.29 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 293044 0 0 0 587 42 0 0 20 0 4 0 111934499 1527320576 309184 33554432000 4194304 16246674 140737296733936 140737296731776 13956168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 372881 309184 836 2943 0 369775 0
[pid=17709/tid=17710] ppid=17706 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1527320576 309184 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1527320576 309184 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1527320576 309184 33554432000 4194304 16246674 140737296733936 140671404985520 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) 1491524

[startup+12.7004 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 17713
/proc/meminfo: memFree=27561460/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1491524 CPUtime=12.68 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 293062 0 0 0 1226 42 0 0 20 0 4 0 111934499 1527320576 314312 33554432000 4194304 16246674 140737296733936 140737296715840 7206281 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 372881 314312 837 2943 0 369775 0
[pid=17709/tid=17710] ppid=17706 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1527320576 314312 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1527320576 314312 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1527320576 314312 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1491524

[startup+25.5005 s]
/proc/loadavg: 2.09 2.09 2.09 3/183 17713
/proc/meminfo: memFree=27162944/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=25.49 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393265 0 0 0 2491 58 0 0 20 0 4 0 111934499 1938362368 414515 33554432000 4194304 16246674 140737296733936 140737296715840 5532113 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414515 917 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414515 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414515 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414515 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1892932

[startup+51.1005 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 17713
/proc/meminfo: memFree=27162068/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=51.08 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393499 0 0 0 5050 58 0 0 20 0 4 0 111934499 1938362368 414749 33554432000 4194304 16246674 140737296733936 140737296715840 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414749 917 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414749 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414749 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414749 33554432000 4194304 16246674 140737296733936 140671404985520 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) 1892932

[startup+102.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 17714
/proc/meminfo: memFree=27161776/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=102.28 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393499 0 0 0 10170 58 0 0 20 0 4 0 111934499 1938362368 414749 33554432000 4194304 16246674 140737296733936 140737296715840 5711355 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414749 917 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414749 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414749 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414749 33554432000 4194304 16246674 140737296733936 140671404985520 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) 1892932


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

/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1892932

[startup+1362.3 s]
/proc/loadavg: 2.28 2.19 2.13 3/183 17768
/proc/meminfo: memFree=27160116/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1362.08 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393510 0 0 0 136148 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 5667855 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1892932

[startup+1422.3 s]
/proc/loadavg: 2.32 2.22 2.14 3/184 17772
/proc/meminfo: memFree=27159828/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1422.08 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393511 0 0 0 142148 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1892932

[startup+1482.3 s]
/proc/loadavg: 2.37 2.24 2.15 3/183 17773
/proc/meminfo: memFree=27160452/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1482.06 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393514 0 0 0 148146 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1892932

[startup+1542.31 s]
/proc/loadavg: 2.31 2.24 2.15 3/183 17775
/proc/meminfo: memFree=27160348/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1542.06 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393514 0 0 0 154146 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 12483317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1892932

[startup+1602.3 s]
/proc/loadavg: 2.29 2.24 2.16 3/183 17776
/proc/meminfo: memFree=27160016/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1602.04 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393514 0 0 0 160144 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1892932

[startup+1662.3 s]
/proc/loadavg: 2.26 2.24 2.16 4/183 17826
/proc/meminfo: memFree=27156752/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1662.03 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393516 0 0 0 166143 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 13774449 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1892932

[startup+1722.3 s]
/proc/loadavg: 2.20 2.22 2.16 3/183 17827
/proc/meminfo: memFree=27155856/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1722.02 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393518 0 0 0 172142 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1892932

[startup+1782.3 s]
/proc/loadavg: 2.21 2.21 2.16 3/183 17828
/proc/meminfo: memFree=27155688/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1782.01 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393518 0 0 0 178141 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 13820973 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1892932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.20 2.16 3/183 17828
/proc/meminfo: memFree=27155660/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1800.01 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393519 0 0 0 179941 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1892932

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

[startup+1800.3 s]
/proc/loadavg: 2.15 2.20 2.16 3/183 17828
/proc/meminfo: memFree=27155660/32872528 swapFree=12208/1156848
[pid=17709] ppid=17706 vsize=1892932 CPUtime=1800.01 cores=0,2,4,6
/proc/17709/stat : 17709 (toysat) R 17706 17709 15571 0 -1 4202496 393519 0 0 0 179941 60 0 0 20 0 4 0 111934499 1938362368 414756 33554432000 4194304 16246674 140737296733936 140737296715840 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17709/statm: 473233 414756 921 2943 0 470127 0
[pid=17709/tid=17710] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17710/stat : 17710 (toysat) S 17706 17709 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671425948912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17709/tid=17711] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17711/stat : 17711 (toysat) S 17706 17709 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671415459056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17709/tid=17712] ppid=17706 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/17709/task/17712/stat : 17712 (toysat) S 17706 17709 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111934500 1938362368 414756 33554432000 4194304 16246674 140737296733936 140671404985520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1892932

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.04
CPU user time (s): 1799.41
CPU system time (s): 0.628904
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1892932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.628904
maximum resident set size= 1659024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393519
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= 49
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66929 second user time and 6.82596 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 13:46:39
IDJOB=4080063
IDBENCH=91092
IDSOLVER=2542
FILE ID=node114/4080063-1465299999
RUNJOBID= node114-1465276339-15587
PBS_JOBID= 19843307
Free space on /tmp= 71668 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080063-1465299999/watcher-4080063-1465299999 -o /tmp/evaluation-result-4080063-1465299999/solver-4080063-1465299999 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15587 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080063-1465299999.opb

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

MD5SUM BENCH= cf9128b870ef9b100d6538eb54f0c456
RANDOM SEED=1424983246

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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.54
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.852
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:        28817800 kB
Buffers:          159132 kB
Cached:           332692 kB
SwapCached:         1696 kB
Active:          1872444 kB
Inactive:         280832 kB
Active(anon):    1662196 kB
Inactive(anon):     1252 kB
Active(file):     210248 kB
Inactive(file):   279580 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             43720 kB
Writeback:             0 kB
AnonPages:       2817688 kB
Mapped:            10836 kB
Shmem:                 0 kB
Slab:             605832 kB
SReclaimable:      49520 kB
SUnreclaim:       556312 kB
KernelStack:        1464 kB
PageTables:         9604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2960020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1234944 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= 71652 MiB
End job on node114 at 2016-06-07 14:16:40