Trace number 4109666

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 52.1591 52.1765

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo
MD5SUM5d44b96125a480c7e8ae11943224729b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark39.1191
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1839
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 91769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91768
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 721
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T15:44:52+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","--wbo","--search=bcd2","HOME/instance-4109666-1466343892.wbo"]
0.00/0.01	c use --random-gen="2637029735 927160311 1786738165 1277449895 2562552709 2632659724 3131474090 3184229497 872482768 3446294046 2104323592 3983631266 820027176 313730486 1831909117 3977979251 1225039031 2994385299 3081776738 3519339238 1807527787 3503181997 2477646430 3956858980 2389204859 1967480036 1848279165 283597389 435059821 1557020502 4164427948 2692659630 843751463 1604028239 539009544 2276978586 1110125930 747376196 3179961865 864635668 2006064617 3292976651 179018397 2706064261 1409151383 653552469 627142442 2404969045 1255657711 3758668257 3345047303 1855169034 38563731 2610136060 2427686509 528792297 161958855 3198776652 3400239219 21123681 1085802957 1169096011 2884150460 3460825597 2137173747 3838666495 3790747804 641300616 1287534497 2840586646 1549703019 793581447 150143246 2203525792 1477028890 2006124670 2246169901 4099059843 3036453760 2891084567 1849590395 3257598586 1721122215 4123240838 1890574071 687839834 650804026 1915516346 1258979159 3607615704 3319629325 591082580 4110880353 1781791522 1879365570 1843388662 1562403665 2170069825 3878501456 4191308575 1633808704 3027612657 2369984067 3218724464 3691744002 3271375980 2439264214 506638048 3929964034 1168145595 2232602941 1483259920 3209278102 1874189114 3704871519 3051801161 3692510739 1237199508 272069826 3462041858 3435684418 3799083583 849330524 2900491532 1688687125 1917913677 4159684223 2984281125 3291262934 2009697874 2506506840 3622389167 317720062 505176655 3186693094 1227986548 900022212 3283817188 4106546794 1123155251 1517046901 2627845311 3733194901 1168283644 636093907 4019883771 2163010512 422162800 1040638826 37388823 3616565295 393104902 3162115445 1198302670 2894843474 687919855 3997293479 1743297857 1747962691 2678314186 2455566952 835817368 1402050669 3136162576 1957366712 2550488930 1914646697 3809429287 675086401 3954185083 2538702225 1584709725 591772882 806037597 3110351626 335650085 2314536427 1452359099 228002879 1070045784 2404332686 2701593586 4101619727 2585350460 2175018217 1855954829 2366049173 2443311596 871065738 821334209 1136623797 787034403 2269474632 441636750 1334661686 94251044 3675577549 1129989765 3910189875 2868090051 3652168624 4105669813 420496347 2158382566 2176875959 3923220874 1018565376 2456988607 2199629207 125029731 3828186299 3775488957 3375189501 3665818034 2286121915 3389419931 356542743 994173604 1742419885 1897937514 1769329316 3807099652 1359350928 1926519386 103048707 1303643716 2544137359 1785978431 1550311783 3639295720 4092136513 4219365966 157164786 1547949486 2391610502 3354683276 442768190 4179820082 1505899585 4085878506 339690767 2026871980 929704606 2112776006 3190114397 1674297535 1768567818 1996827642 2398454579 4017897035 2261234452 2877989735 3250634971 1726680642 1866932718 1841391641 255 362436" option to reproduce the execution
0.09/0.15	c #vars 231
0.09/0.15	c #constraints 2707
0.19/0.20	c BCD2: Hardening is enabled.
0.19/0.20	c BCD2: BiasedSearch is enabled.
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1592      0 |        0 |        0
0.19/0.21	c  0.0s |       0 |     1895 |        5 |     1592      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.006s
0.19/0.21	c #wall_clock_time = 0.006s
0.19/0.21	c #decision = 1895
0.19/0.21	c #random_decision = 7
0.19/0.21	c #conflict = 5
0.19/0.21	c #restart = 0
0.19/0.21	o 402
0.19/0.21	c BCD2: updating upper bound: 91768 -> 401
0.19/0.23	c BCD2: 0 <= obj <= 401
0.19/0.23	c BCD2: #cores=0, #unrelaxed=1839, #relaxed=0, #hardened=0
0.19/0.23	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     1592      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |     2020 |      100 |     1752      0 |        0 |        0
0.28/0.30	c  0.1s |       2 |     4064 |      250 |     1928      0 |        0 |        0
0.28/0.35	c  0.1s |       3 |     6223 |      475 |     2121      0 |        0 |        0
0.39/0.42	c  0.2s |       4 |     8609 |      813 |     2334      0 |        0 |        0
0.48/0.56	c  0.3s |       5 |    11189 |     1320 |     2568      0 |        0 |        0
0.78/0.87	c  0.6s |       6 |    14401 |     2081 |     2825      0 |        0 |        0
1.28/1.33	c  1.1s |       7 |    18213 |     3223 |     3108      0 |        0 |        0
2.08/2.11	c  1.9s |       8 |    22864 |     4936 |     3419      1 |        0 |        0
3.29/3.38	c  3.1s |       9 |    28804 |     7506 |     3761      2 |        0 |        0
5.38/5.44	c  5.2s |       9 |    34581 |    10006 |     3761      3 |        0 |        0
6.28/6.33	c  6.1s |      10 |    37227 |    11361 |     4138      3 |        0 |        0
8.29/8.34	c  8.1s |      10 |    42890 |    13661 |     4138      4 |        0 |        0
10.39/10.40	c 10.2s |      10 |    47603 |    16261 |     4138      5 |        0 |        0
10.89/10.93	c 10.7s |      11 |    49293 |    17144 |     4552      5 |        0 |        0
12.89/12.94	c 12.7s |      11 |    56748 |    20144 |     4552      6 |        0 |        0
14.88/14.98	c 14.8s |      11 |    62164 |    23044 |     4552      7 |        0 |        0
16.98/17.02	c 16.8s |      11 |    65833 |    25244 |     4552      8 |        0 |        0
17.60/17.63	c 17.4s |      12 |    66795 |    25819 |     5008      8 |        0 |        0
18.49/18.52	c 18.3s |      12 |    69696 |    26445 |     5008      8 |        0 |        0
18.49/18.52	c #cpu_time = 18.237s
18.49/18.52	c #wall_clock_time = 18.288s
18.49/18.52	c #decision = 69696
18.49/18.52	c #random_decision = 53
18.49/18.52	c #conflict = 26445
18.49/18.52	c #restart = 12
18.49/18.52	c BCD2: found a new core of size 1559: cost of the new core is >=1
18.49/18.52	c lower bound updated to 1
18.49/18.52	c BCD2: 1 <= obj <= 401
18.49/18.52	c BCD2: #cores=1, #unrelaxed=280, #relaxed=1559, #hardened=0
18.49/18.52	c BCD2: #sat=1 #unsat=2 bias=2/3
18.49/18.53	c Solving starts ...
18.49/18.53	c ============================[ Search Statistics ]============================
18.49/18.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.49/18.53	c       |         |          |          |    Limit     GC | Var      | Constra 
18.49/18.53	c =============================================================================
18.49/18.53	c  0.0s |       0 |        0 |        0 |     5008      0 |        0 |        0
18.59/18.70	c  0.2s |       0 |     1907 |        0 |     5008      1 |        0 |        0
18.59/18.70	c #cpu_time = 0.171s
18.59/18.70	c #wall_clock_time = 0.171s
18.59/18.70	c #decision = 1907
18.59/18.70	c #random_decision = 4
18.59/18.70	c #conflict = 0
18.59/18.70	c #restart = 0
18.69/18.70	o 45
18.69/18.70	c BCD2: hardening fixes 1008 literals
18.69/18.70	c BCD2: updating upper bound: 401 -> 44
18.69/18.71	c BCD2: 1 <= obj <= 44
18.69/18.71	c BCD2: #cores=1, #unrelaxed=132, #relaxed=699, #hardened=1008
18.69/18.71	c BCD2: #sat=2 #unsat=2 bias=2/4
18.69/18.71	c Solving starts ...
18.69/18.71	c ============================[ Search Statistics ]============================
18.69/18.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.69/18.71	c       |         |          |          |    Limit     GC | Var      | Constra 
18.69/18.71	c =============================================================================
18.69/18.71	c  0.0s |       0 |        0 |        0 |     5008      0 |     1008 |        1
18.79/18.82	c  0.1s |       1 |      481 |      100 |     5008      0 |     1008 |        1
18.89/18.96	c  0.2s |       2 |      987 |      250 |     5008      0 |     1008 |        1
19.08/19.10	c  0.4s |       3 |     1523 |      475 |     5008      0 |     1008 |        1
19.18/19.26	c  0.5s |       4 |     2281 |      813 |     5008      0 |     1008 |        1
19.48/19.53	c  0.8s |       5 |     3288 |     1320 |     5008      0 |     1008 |        1
19.89/19.95	c  1.2s |       6 |     4632 |     2081 |     5008      0 |     1008 |        1
20.48/20.57	c  1.9s |       7 |     6699 |     3223 |     5008      0 |     1008 |        1
21.38/21.45	c  2.7s |       8 |     9698 |     4936 |     5008      1 |     1008 |        1
22.68/22.79	c  4.1s |       9 |    13676 |     7506 |     5008      2 |     1008 |        1
23.38/23.40	c  4.7s |       9 |    15760 |     8692 |     5008      2 |     1008 |        1
23.38/23.40	c #cpu_time = 4.669s
23.38/23.40	c #wall_clock_time = 4.682s
23.38/23.40	c #decision = 15760
23.38/23.40	c #random_decision = 19
23.38/23.40	c #conflict = 8692
23.38/23.40	c #restart = 9
23.38/23.40	o 23
23.38/23.40	c BCD2: hardening fixes 423 literals
23.38/23.40	c BCD2: updating upper bound: 44 -> 22
23.38/23.40	c BCD2: 1 <= obj <= 22
23.38/23.40	c BCD2: #cores=1, #unrelaxed=66, #relaxed=342, #hardened=1431
23.38/23.40	c BCD2: #sat=3 #unsat=2 bias=2/5
23.38/23.40	c Solving starts ...
23.38/23.40	c ============================[ Search Statistics ]============================
23.38/23.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.38/23.40	c       |         |          |          |    Limit     GC | Var      | Constra 
23.38/23.40	c =============================================================================
23.38/23.40	c  0.0s |       0 |        0 |        0 |     5008      0 |     1431 |        2
23.38/23.46	c  0.1s |       1 |      249 |      100 |     5008      0 |     1431 |        2
23.38/23.49	c  0.1s |       1 |      358 |      118 |     5008      0 |     1431 |        2
23.38/23.49	c #cpu_time = 0.083s
23.38/23.49	c #wall_clock_time = 0.083s
23.38/23.49	c #decision = 358
23.38/23.49	c #random_decision = 1
23.38/23.49	c #conflict = 118
23.38/23.49	c #restart = 1
23.38/23.49	o 8
23.38/23.49	c BCD2: hardening fixes 289 literals
23.38/23.49	c BCD2: updating upper bound: 22 -> 7
23.38/23.49	c BCD2: 1 <= obj <= 7
23.38/23.49	c BCD2: #cores=1, #unrelaxed=18, #relaxed=101, #hardened=1720
23.38/23.49	c BCD2: #sat=4 #unsat=2 bias=2/6
23.38/23.49	c Solving starts ...
23.38/23.49	c ============================[ Search Statistics ]============================
23.38/23.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.38/23.49	c       |         |          |          |    Limit     GC | Var      | Constra 
23.38/23.49	c =============================================================================
23.38/23.49	c  0.0s |       0 |        0 |        0 |     5008      0 |     1720 |        3
23.48/23.54	c  0.1s |       1 |      216 |      100 |     5008      0 |     1720 |        4
23.58/23.62	c  0.1s |       2 |      488 |      250 |     5008      0 |     1720 |        4
23.68/23.71	c  0.2s |       3 |      918 |      475 |     5008      0 |     1720 |        4
23.78/23.86	c  0.4s |       4 |     1483 |      813 |     5008      0 |     1720 |        4
24.08/24.11	c  0.6s |       5 |     2298 |     1320 |     5008      0 |     1720 |        4
24.38/24.44	c  1.0s |       6 |     3667 |     2081 |     5008      0 |     1720 |        4
24.78/24.85	c  1.4s |       7 |     5619 |     3223 |     5008      1 |     1720 |        4
25.48/25.55	c  2.1s |       8 |     8275 |     4936 |     5509      1 |     1720 |        4
26.58/26.60	c  3.1s |       9 |    12622 |     7506 |     5509      2 |     1720 |        4
28.18/28.27	c  4.8s |      10 |    18366 |    11361 |     5509      3 |     1720 |        4
30.18/30.27	c  6.8s |      10 |    25633 |    16061 |     5509      4 |     1720 |        4
30.68/30.73	c  7.2s |      11 |    27446 |    17144 |     5509      5 |     1720 |        4
32.68/32.76	c  9.3s |      11 |    35988 |    22444 |     5509      6 |     1720 |        4
34.18/34.29	c 10.8s |      12 |    40834 |    25819 |     6060      7 |     1720 |        4
35.68/35.75	c 12.3s |      12 |    45746 |    29102 |     6060      8 |     1720 |        4
35.68/35.75	c #cpu_time = 12.230s
35.68/35.75	c #wall_clock_time = 12.262s
35.68/35.75	c #decision = 45746
35.68/35.75	c #random_decision = 55
35.68/35.75	c #conflict = 29102
35.68/35.75	c #restart = 12
35.68/35.75	o 3
35.68/35.75	c BCD2: hardening fixes 85 literals
35.68/35.75	c BCD2: updating upper bound: 7 -> 2
35.68/35.75	c BCD2: 1 <= obj <= 2
35.68/35.75	c BCD2: #cores=1, #unrelaxed=2, #relaxed=32, #hardened=1805
35.68/35.75	c BCD2: #sat=5 #unsat=2 bias=2/7
35.68/35.75	c Solving starts ...
35.68/35.75	c ============================[ Search Statistics ]============================
35.68/35.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
35.68/35.75	c       |         |          |          |    Limit     GC | Var      | Constra 
35.68/35.75	c =============================================================================
35.68/35.75	c  0.0s |       0 |        0 |        0 |     6060      0 |     1805 |        5
35.68/35.80	c  0.0s |       1 |      182 |      100 |     6060      0 |     1805 |        5
35.78/35.87	c  0.1s |       2 |      422 |      250 |     6060      0 |     1805 |        5
35.88/35.96	c  0.2s |       3 |      737 |      475 |     6060      0 |     1805 |        5
36.08/36.10	c  0.4s |       4 |     1335 |      813 |     6060      0 |     1805 |        5
36.28/36.32	c  0.6s |       5 |     2206 |     1320 |     6060      0 |     1805 |        5
36.58/36.67	c  0.9s |       6 |     3439 |     2081 |     6060      0 |     1805 |        5
37.08/37.10	c  1.3s |       7 |     5496 |     3223 |     6060      0 |     1805 |        5
37.68/37.73	c  2.0s |       8 |     8582 |     4936 |     6060      1 |     1805 |        5
38.68/38.73	c  3.0s |       9 |    12855 |     7506 |     6060      1 |     1805 |        5
39.98/40.09	c  4.3s |      10 |    20002 |    11361 |     6060      2 |     1805 |        5
40.58/40.60	c  4.8s |      10 |    23096 |    12903 |     6060      3 |     1805 |        5
40.58/40.60	c #cpu_time = 4.834s
40.58/40.60	c #wall_clock_time = 4.846s
40.58/40.60	c #decision = 23096
40.58/40.60	c #random_decision = 55
40.58/40.60	c #conflict = 12903
40.58/40.60	c #restart = 10
40.58/40.60	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 1561: cost of the new core is >=2
40.58/40.60	c lower bound updated to 2
40.58/40.60	c BCD2: 2 <= obj <= 2
40.58/40.60	c BCD2: #cores=1, #unrelaxed=0, #relaxed=34, #hardened=1805
40.58/40.60	c BCD2: #sat=5 #unsat=3 bias=3/8
40.58/40.60	c Solving starts ...
40.58/40.60	c ============================[ Search Statistics ]============================
40.58/40.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
40.58/40.60	c       |         |          |          |    Limit     GC | Var      | Constra 
40.58/40.60	c =============================================================================
40.58/40.60	c  0.0s |       0 |        0 |        0 |     6060      0 |     1810 |        5
40.58/40.64	c  0.0s |       1 |      202 |      100 |     6060      0 |     1810 |       13
40.68/40.80	c  0.2s |       2 |      454 |      250 |     6060      0 |     1810 |       13
40.78/40.88	c  0.3s |       3 |      846 |      475 |     6060      0 |     1810 |       13
40.98/41.05	c  0.4s |       4 |     1446 |      813 |     6060      0 |     1810 |       13
41.18/41.20	c  0.6s |       5 |     2247 |     1320 |     6060      0 |     1810 |       13
41.38/41.44	c  0.8s |       6 |     3531 |     2081 |     6060      0 |     1810 |       13
41.68/41.79	c  1.2s |       7 |     5641 |     3223 |     6060      0 |     1810 |       13
42.38/42.44	c  1.8s |       8 |     8656 |     4936 |     6060      1 |     1810 |       13
43.18/43.27	c  2.7s |       9 |    13178 |     7506 |     6060      1 |     1810 |       13
44.48/44.56	c  4.0s |      10 |    19371 |    11361 |     6667      2 |     1810 |       13
46.48/46.57	c  6.0s |      10 |    29047 |    17061 |     6667      4 |     1810 |       13
46.58/46.61	c  6.0s |      11 |    29235 |    17144 |     6667      4 |     1810 |       13
48.58/48.61	c  8.0s |      11 |    39035 |    23144 |     6667      5 |     1810 |       13
49.38/49.50	c  8.9s |      12 |    43729 |    25819 |     6667      6 |     1810 |       13
51.48/51.54	c 10.9s |      12 |    54719 |    32219 |     6667      7 |     1810 |       13
51.98/52.09	c 11.5s |      12 |    56974 |    33735 |     6667      8 |     1811 |       14
51.98/52.09	c #cpu_time = 11.457s
51.98/52.09	c #wall_clock_time = 11.487s
51.98/52.09	c #decision = 56974
51.98/52.09	c #random_decision = 161
51.98/52.09	c #conflict = 33735
51.98/52.09	c #restart = 12
51.98/52.09	c BCD2: updating lower bound of a core
51.98/52.09	c lower bound updated to 3
51.98/52.09	s OPTIMUM FOUND
51.98/52.09	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10
51.98/52.09	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
51.98/52.09	v x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30
51.98/52.09	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
51.98/52.09	v -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
51.98/52.09	v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60
51.98/52.09	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
51.98/52.09	v x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80
51.98/52.09	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
51.98/52.09	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
51.98/52.09	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
51.98/52.09	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120
51.98/52.09	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
51.98/52.09	v -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
51.98/52.09	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
51.98/52.09	v x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160
51.98/52.09	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
51.98/52.09	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180
51.98/52.09	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
51.98/52.09	v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
51.98/52.09	v -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
51.98/52.09	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
51.98/52.09	v -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230
51.98/52.09	v -x231
51.98/52.09	c total CPU time = 51.953s
51.98/52.09	c total wall clock time = 52.093s

Verifier Data 

OK	3

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-4109666-1466343892/watcher-4109666-1466343892 -o /tmp/evaluation-result-4109666-1466343892/solver-4109666-1466343892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1235 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109666-1466343892.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.24 2.02 3/177 2244
/proc/meminfo: memFree=28884532/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=611772 CPUtime=0 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 2262 0 0 0 0 0 0 0 20 0 4 0 36436133 626454528 3133 33554432000 4194304 16246674 140736536975808 140736536975232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2244/statm: 153711 3143 441 2943 0 150605 0
[pid=2244/tid=2245] ppid=2241 vsize=624060 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 639037440 3177 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=624060 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 639037440 3177 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=624060 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 639037440 3177 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.12 2.24 2.02 3/177 2244
/proc/meminfo: memFree=28884532/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 24106 0 0 0 5 4 0 0 20 0 4 0 36436133 1247350784 24970 33554432000 4194304 16246674 140736536975808 140736536975232 12500869 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2244/statm: 304529 24974 621 2943 0 301423 0
[pid=2244/tid=2245] ppid=2241 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1247350784 24977 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1247350784 24981 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1247350784 24987 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200449 s]
/proc/loadavg: 2.12 2.24 2.02 3/177 2244
/proc/meminfo: memFree=28884532/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 33077 0 0 0 14 5 0 0 20 0 4 0 36436133 1250496512 33895 33554432000 4194304 16246674 140736536975808 140736536975120 4573528 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2244/statm: 305297 33895 865 2943 0 302191 0
[pid=2244/tid=2245] ppid=2241 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1250496512 33895 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1250496512 33895 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1250496512 33895 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300425 s]
/proc/loadavg: 2.12 2.24 2.02 3/177 2244
/proc/meminfo: memFree=28884532/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1303108 CPUtime=0.28 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 47414 0 0 0 21 7 0 0 20 0 4 0 36436133 1334382592 48233 33554432000 4194304 16246674 140736536975808 140736536958808 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 325777 48249 922 2943 0 322671 0
[pid=2244/tid=2245] ppid=2241 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1334382592 48260 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1334382592 48272 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1334382592 48284 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1303108

[startup+0.700379 s]
/proc/loadavg: 2.12 2.24 2.02 3/177 2244
/proc/meminfo: memFree=28884532/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1303108 CPUtime=0.69 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 111588 0 0 0 54 15 0 0 20 0 4 0 36436133 1334382592 112407 33554432000 4194304 16246674 140736536975808 140736536957696 12474890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 325777 112415 922 2943 0 322671 0
[pid=2244/tid=2245] ppid=2241 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1334382592 112419 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1334382592 112421 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1334382592 112424 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1303108

[startup+1.5004 s]
/proc/loadavg: 2.12 2.24 2.02 3/181 2248
/proc/meminfo: memFree=28222468/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1308228 CPUtime=1.48 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 165210 0 0 0 127 21 0 0 20 0 4 0 36436133 1339625472 166028 33554432000 4194304 16246674 140736536975808 140736536957696 6012196 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 327057 166028 931 2943 0 323951 0
[pid=2244/tid=2245] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166028 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166028 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166028 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1308228

[startup+3.10039 s]
/proc/loadavg: 2.19 2.25 2.02 3/181 2248
/proc/meminfo: memFree=28222096/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1308228 CPUtime=3.08 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 165211 0 0 0 287 21 0 0 20 0 4 0 36436133 1339625472 166029 33554432000 4194304 16246674 140736536975808 140736536957696 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 327057 166029 932 2943 0 323951 0
[pid=2244/tid=2245] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166029 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166029 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166029 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.19 2.25 2.02 3/180 2248
/proc/meminfo: memFree=28222272/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 165211 0 0 0 607 21 0 0 20 0 4 0 36436133 1339625472 166029 33554432000 4194304 16246674 140736536975808 140736536957696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 327057 166029 932 2943 0 323951 0
[pid=2244/tid=2245] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166029 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166029 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1339625472 166029 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.16 2.24 2.02 3/181 2249
/proc/meminfo: memFree=28219240/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 165985 0 0 0 1247 22 0 0 20 0 4 0 36436133 1343819776 166803 33554432000 4194304 16246674 140736536975808 140736536974984 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 328081 166803 932 2943 0 324975 0
[pid=2244/tid=2245] ppid=2241 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1343819776 166803 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1343819776 166803 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1343819776 166803 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.29 2.27 2.03 3/181 2249
/proc/meminfo: memFree=27802984/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 270068 0 0 0 2511 37 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140736536957696 13943608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 328849 270886 942 2943 0 325743 0
[pid=2244/tid=2245] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.19 2.25 2.03 3/181 2298
/proc/meminfo: memFree=27815336/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 270068 0 0 0 5070 38 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140736536957696 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 328849 270886 942 2943 0 325743 0
[pid=2244/tid=2245] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

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

[startup+51.2005 s]
/proc/loadavg: 2.19 2.25 2.03 3/181 2298
/proc/meminfo: memFree=27815336/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1315396 CPUtime=51.18 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 270068 0 0 0 5080 38 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140736536957696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 328849 270886 942 2943 0 325743 0
[pid=2244/tid=2245] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1315396

[startup+51.6004 s]
/proc/loadavg: 2.19 2.25 2.03 3/181 2298
/proc/meminfo: memFree=27815336/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1315396 CPUtime=51.58 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 270068 0 0 0 5120 38 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140736536957696 5823542 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 328849 270886 942 2943 0 325743 0
[pid=2244/tid=2245] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.58
Current children cumulated vsize (KiB) 1315396

[startup+52.0004 s]
/proc/loadavg: 2.25 2.26 2.04 3/181 2298
/proc/meminfo: memFree=27797860/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1315396 CPUtime=51.98 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) R 2241 2244 1219 0 -1 4202496 270068 0 0 0 5160 38 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140736536957696 5822548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 328849 270886 942 2943 0 325743 0
[pid=2244/tid=2245] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547159207152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) S 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547148717296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.98
Current children cumulated vsize (KiB) 1315396

[startup+52.1004 s]
/proc/loadavg: 2.25 2.26 2.04 3/181 2298
/proc/meminfo: memFree=27797860/32872528 swapFree=1316768/1463936
[pid=2244] ppid=2241 vsize=1315396 CPUtime=52.08 cores=0,2,4,6
/proc/2244/stat : 2244 (toysat) S 2241 2244 1219 0 -1 4202496 270068 0 0 0 5170 38 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140736536975152 14069300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2244/statm: 328849 270886 942 2943 0 325743 0
[pid=2244/tid=2245] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2245/stat : 2245 (toysat) S 2241 2244 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547159206928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2244/tid=2246] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2246/stat : 2246 (toysat) R 2241 2244 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547148717296 4220894 0 2 0 34082818 0 0 0 -1 4 0 0 0 0 0
[pid=2244/tid=2247] ppid=2241 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2247/stat : 2247 (toysat) S 2241 2244 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436133 1346965504 270886 33554432000 4194304 16246674 140736536975808 140547033394352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 52.08
Current children cumulated vsize (KiB) 1315396

Child status: 0
Real time (s): 52.1765
CPU time (s): 52.1591
CPU user time (s): 51.7031
CPU system time (s): 0.45593
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.7031
system time used= 0.45593
maximum resident set size= 1083548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270070
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= 17
involuntary context switches= 56

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147977 second user time and 0.19297 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 15:44:52
IDJOB=4109666
IDBENCH=78884
IDSOLVER=2553
FILE ID=node121/4109666-1466343892
RUNJOBID= node121-1466341819-1235
PBS_JOBID= 19922032
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109666-1466343892/watcher-4109666-1466343892 -o /tmp/evaluation-result-4109666-1466343892/solver-4109666-1466343892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1235 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109666-1466343892.wbo

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

MD5SUM BENCH= 5d44b96125a480c7e8ae11943224729b
RANDOM SEED=941082588

node121.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.691
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.38
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.691
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.691
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.691
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.691
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.54
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.691
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.691
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.56
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.691
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:        28885060 kB
Buffers:          202628 kB
Cached:           482748 kB
SwapCached:         1944 kB
Active:          1275972 kB
Inactive:         484464 kB
Active(anon):    1074132 kB
Inactive(anon):     2900 kB
Active(file):     201840 kB
Inactive(file):   481564 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             32908 kB
Writeback:             0 kB
AnonPages:       2538568 kB
Mapped:            12324 kB
Shmem:                 0 kB
Slab:             629520 kB
SReclaimable:      73276 kB
SUnreclaim:       556244 kB
KernelStack:        1504 kB
PageTables:         8992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2668648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71688 MiB
End job on node121 at 2016-06-19 15:45:44