Trace number 4110346

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 38.6481 38.6555

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo
MD5SUMa7d7105d3e0193cbcd9215f3627722fb
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark17.5333
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 constraints2707
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 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 755
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-19T16:01:48+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-4110346-1466344908.wbo"]
0.00/0.01	c use --random-gen="4119499907 114169859 1147834489 43334567 4193378817 510797246 1712423142 3696016021 435838528 3982157036 2625232545 293971320 3679859996 571514833 1629020879 2245057934 767596330 3536828796 2271703493 3109908465 864416867 1548019401 941391409 1738379888 2546996080 283368414 4232231874 4214000178 3479621872 1707621903 3809572092 483475463 3290215869 3335423340 3688974289 1392404815 611054910 2813924535 1178955141 227384793 1672778690 3490116588 2349009453 523701179 198553858 3029394608 2813494451 1629562797 4274992389 877519836 3910250077 3675922858 2305640355 4188663533 130995345 3543600682 3062274829 2607127119 1758921783 877769092 404816264 1040446226 4107197214 2834162047 4122463878 2608028700 962116757 2989788725 1313857551 2291343463 857330101 865320762 325496426 3609598265 3914144846 1274087471 2398332704 634758618 391005391 1597359623 19751885 1706457143 1605701762 1392909808 1163667730 2336816367 2060411900 2083750691 3118785371 3161480801 1321510997 2066054951 196146403 3234014017 1433719520 3202936790 3722257026 411704521 459264916 1670437125 1311452931 242918318 3541533659 2450091083 2804120819 1580434316 2930550460 65612199 3121851656 2783290745 2638089478 3050529679 4237950947 776393565 225895220 560298732 3850367081 3282108043 2762275727 3438511255 49550444 84776025 4159456647 3782109697 3601551229 2471515342 2888386623 1244979363 1661546443 1651462978 4135365200 3080595438 4125606184 3446075440 901990940 3626477678 639810597 2589096526 2825550725 3452234223 2990452460 889147584 1102404568 1217750864 1351010830 3815883284 671441875 3039629624 2829424739 1982395765 1151745947 4167304439 748048315 2269143660 2718044392 3313898340 3437918069 1421453628 2679224808 195803333 2436941446 4217425649 3529467318 719460033 1598914458 1129478055 1237032386 3657210563 1468849145 1103439094 2943178651 924359646 2465216903 2123270776 1755670833 3475589270 2989267391 4031977867 3642131199 1278773023 187605297 3394922418 2209651097 3824496100 3970593656 856789149 3210783686 919464525 2366295087 2099463434 808796075 2202441479 3554464003 3190734097 2040668869 1885510606 3617182517 1752082808 2231350624 751296271 3284085995 536661548 3350396493 4122473666 710557128 664397870 399920400 3896289909 754231843 2194347627 619081062 970059643 161785932 366215845 1906100842 700667957 840378369 3709486596 2039334804 3302478459 14052645 141576942 1333218591 2708695690 696920411 2041261144 2232686534 4267449286 3572765710 3954599973 1042370930 4263471895 1285234868 2057885443 775692956 2811049655 2363721389 1442939177 1314319931 2803245946 1408296418 737288585 3548940308 1223612024 2308435928 1720680323 2667039008 3726533561 2259168870 2275186308 2277117641 4170247602 384794807 3547336966 3489020255 3972947115 255 362436" option to reproduce the execution
0.09/0.16	c #vars 231
0.09/0.16	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 |     1881      0 |        0 |        0
0.19/0.22	c  0.0s |       0 |     2718 |        0 |     1881      0 |        0 |        0
0.19/0.22	c #cpu_time = 0.017s
0.19/0.22	c #wall_clock_time = 0.017s
0.19/0.22	c #decision = 2718
0.19/0.22	c #random_decision = 13
0.19/0.22	c #conflict = 0
0.19/0.22	c #restart = 0
0.19/0.22	o 812
0.19/0.23	c BCD2: updating upper bound: 137244 -> 811
0.19/0.24	c BCD2: 0 <= obj <= 811
0.19/0.24	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.19/0.24	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.24	c Solving starts ...
0.19/0.24	c ============================[ Search Statistics ]============================
0.19/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.24	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.27	c  0.0s |       1 |     2941 |      100 |     1881      0 |        0 |        0
0.29/0.31	c  0.1s |       2 |     5964 |      250 |     2070      0 |        0 |        0
0.29/0.37	c  0.1s |       3 |     9061 |      475 |     2277      0 |        0 |        0
0.39/0.46	c  0.2s |       4 |    12367 |      813 |     2505      0 |        0 |        0
0.59/0.61	c  0.4s |       5 |    15980 |     1320 |     2756      0 |        0 |        0
0.89/0.90	c  0.7s |       6 |    20004 |     2081 |     3336      0 |        0 |        0
1.29/1.33	c  1.1s |       7 |    24822 |     3223 |     3670      0 |        0 |        0
2.09/2.16	c  1.9s |       8 |    30293 |     4936 |     4038      0 |        0 |        0
3.89/3.97	c  3.7s |       9 |    37682 |     7506 |     4442      1 |        0 |        0
5.99/6.03	c  5.8s |       9 |    45459 |    10306 |     4442      2 |        0 |        0
6.89/6.92	c  6.7s |      10 |    47436 |    11361 |     4887      2 |        0 |        0
8.89/8.93	c  8.7s |      10 |    54096 |    13561 |     4887      3 |        0 |        0
11.00/11.00	c 10.8s |      10 |    57674 |    15461 |     4887      3 |        0 |        0
11.99/12.01	c 11.8s |      10 |    58761 |    16081 |     4887      4 |        0 |        0
11.99/12.01	c #cpu_time = 11.733s
11.99/12.01	c #wall_clock_time = 11.764s
11.99/12.01	c #decision = 58761
11.99/12.01	c #random_decision = 15
11.99/12.01	c #conflict = 16081
11.99/12.01	c #restart = 10
11.99/12.01	c BCD2: found a new core of size 2048: cost of the new core is >=1
11.99/12.01	c lower bound updated to 1
11.99/12.01	c BCD2: 1 <= obj <= 811
11.99/12.01	c BCD2: #cores=1, #unrelaxed=659, #relaxed=2048, #hardened=0
11.99/12.01	c BCD2: #sat=1 #unsat=2 bias=2/3
11.99/12.02	c Solving starts ...
11.99/12.02	c ============================[ Search Statistics ]============================
11.99/12.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.99/12.02	c       |         |          |          |    Limit     GC | Var      | Constra 
11.99/12.02	c =============================================================================
11.99/12.02	c  0.0s |       0 |        0 |        0 |     4887      0 |        0 |        0
11.99/12.10	c  0.1s |       0 |     2865 |       12 |     4887      0 |        0 |        0
11.99/12.10	c #cpu_time = 0.077s
11.99/12.10	c #wall_clock_time = 0.077s
11.99/12.10	c #decision = 2865
11.99/12.10	c #random_decision = 4
11.99/12.10	c #conflict = 12
11.99/12.10	c #restart = 0
11.99/12.10	o 197
12.10/12.11	c BCD2: updating upper bound: 811 -> 196
12.10/12.11	c BCD2: 1 <= obj <= 196
12.10/12.11	c BCD2: #cores=1, #unrelaxed=659, #relaxed=2048, #hardened=0
12.10/12.11	c BCD2: #sat=2 #unsat=2 bias=2/4
12.10/12.12	c Solving starts ...
12.10/12.12	c ============================[ Search Statistics ]============================
12.10/12.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.10/12.12	c       |         |          |          |    Limit     GC | Var      | Constra 
12.10/12.12	c =============================================================================
12.10/12.12	c  0.0s |       0 |        0 |        0 |     4887      0 |        0 |        1
12.10/12.20	c  0.1s |       0 |     1709 |        0 |     4887      0 |        0 |        1
12.10/12.20	c #cpu_time = 0.074s
12.10/12.20	c #wall_clock_time = 0.075s
12.10/12.20	c #decision = 1709
12.10/12.20	c #random_decision = 2
12.10/12.20	c #conflict = 0
12.10/12.20	c #restart = 0
12.10/12.20	o 128
12.10/12.20	c BCD2: updating upper bound: 196 -> 127
12.20/12.21	c BCD2: 1 <= obj <= 127
12.20/12.21	c BCD2: #cores=1, #unrelaxed=659, #relaxed=2048, #hardened=0
12.20/12.21	c BCD2: #sat=3 #unsat=2 bias=2/5
12.20/12.22	c Solving starts ...
12.20/12.22	c ============================[ Search Statistics ]============================
12.20/12.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.20/12.22	c       |         |          |          |    Limit     GC | Var      | Constra 
12.20/12.22	c =============================================================================
12.20/12.22	c  0.0s |       0 |        0 |        0 |     4887      0 |        0 |        2
12.29/12.30	c  0.1s |       0 |      752 |        0 |     4887      0 |        0 |        2
12.29/12.30	c #cpu_time = 0.074s
12.29/12.30	c #wall_clock_time = 0.074s
12.29/12.30	c #decision = 752
12.29/12.30	c #random_decision = 0
12.29/12.30	c #conflict = 0
12.29/12.30	c #restart = 0
12.29/12.30	o 76
12.29/12.30	c BCD2: hardening fixes 698 literals
12.29/12.30	c BCD2: updating upper bound: 127 -> 75
12.29/12.31	c BCD2: 1 <= obj <= 75
12.29/12.31	c BCD2: #cores=1, #unrelaxed=467, #relaxed=1542, #hardened=698
12.29/12.31	c BCD2: #sat=4 #unsat=2 bias=2/6
12.29/12.31	c Solving starts ...
12.29/12.31	c ============================[ Search Statistics ]============================
12.29/12.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.29/12.31	c       |         |          |          |    Limit     GC | Var      | Constra 
12.29/12.31	c =============================================================================
12.29/12.31	c  0.0s |       0 |        0 |        0 |     4887      0 |      698 |        3
12.39/12.45	c  0.1s |       1 |     1052 |      100 |     4887      0 |      698 |        3
12.59/12.64	c  0.3s |       2 |     1845 |      250 |     4887      0 |      698 |        3
12.79/12.88	c  0.6s |       3 |     2805 |      475 |     4887      0 |      698 |        3
13.09/13.16	c  0.8s |       4 |     3948 |      813 |     4887      0 |      698 |        3
13.49/13.58	c  1.3s |       5 |     5341 |     1320 |     5376      0 |      698 |        3
14.19/14.28	c  2.0s |       6 |     7059 |     2081 |     5376      0 |      698 |        3
14.89/14.96	c  2.6s |       6 |     8756 |     2787 |     5376      1 |      698 |        3
14.89/14.96	c #cpu_time = 2.640s
14.89/14.96	c #wall_clock_time = 2.647s
14.89/14.96	c #decision = 8756
14.89/14.96	c #random_decision = 3
14.89/14.96	c #conflict = 2787
14.89/14.96	c #restart = 6
14.89/14.96	o 25
14.89/14.96	c BCD2: hardening fixes 1381 literals
14.89/14.96	c BCD2: updating upper bound: 75 -> 24
14.89/14.97	c BCD2: 1 <= obj <= 24
14.89/14.97	c BCD2: #cores=1, #unrelaxed=142, #relaxed=486, #hardened=2079
14.89/14.97	c BCD2: #sat=5 #unsat=2 bias=2/7
14.89/14.97	c Solving starts ...
14.89/14.97	c ============================[ Search Statistics ]============================
14.89/14.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.89/14.97	c       |         |          |          |    Limit     GC | Var      | Constra 
14.89/14.97	c =============================================================================
14.89/14.98	c  0.0s |       0 |        0 |        0 |     5376      0 |     2079 |        4
14.99/15.04	c  0.1s |       1 |      357 |      100 |     5376      0 |     2079 |        4
15.09/15.15	c  0.2s |       2 |      869 |      250 |     5376      0 |     2079 |        4
15.19/15.28	c  0.3s |       3 |     1437 |      475 |     5376      0 |     2079 |        4
15.40/15.45	c  0.5s |       4 |     2173 |      813 |     5376      0 |     2079 |        4
15.69/15.71	c  0.7s |       5 |     3182 |     1320 |     5376      0 |     2079 |        4
16.08/16.16	c  1.2s |       6 |     4501 |     2081 |     5376      0 |     2079 |        4
16.69/16.76	c  1.8s |       7 |     6497 |     3223 |     5376      0 |     2079 |        4
17.78/17.82	c  2.8s |       8 |     9408 |     4936 |     5376      1 |     2079 |        4
17.99/18.02	c  3.0s |       8 |    10014 |     5251 |     5376      1 |     2079 |        4
17.99/18.02	c #cpu_time = 3.039s
17.99/18.02	c #wall_clock_time = 3.047s
17.99/18.02	c #decision = 10014
17.99/18.02	c #random_decision = 6
17.99/18.02	c #conflict = 5251
17.99/18.02	c #restart = 8
17.99/18.03	o 7
17.99/18.03	c BCD2: hardening fixes 473 literals
17.99/18.03	c BCD2: updating upper bound: 24 -> 6
17.99/18.03	c BCD2: 1 <= obj <= 6
17.99/18.03	c BCD2: #cores=1, #unrelaxed=37, #relaxed=118, #hardened=2552
17.99/18.03	c BCD2: #sat=6 #unsat=2 bias=2/8
17.99/18.03	c Solving starts ...
17.99/18.03	c ============================[ Search Statistics ]============================
17.99/18.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.99/18.03	c       |         |          |          |    Limit     GC | Var      | Constra 
17.99/18.03	c =============================================================================
17.99/18.03	c  0.0s |       0 |        0 |        0 |     5376      0 |     2552 |        5
17.99/18.08	c  0.1s |       1 |      292 |      100 |     5376      0 |     2552 |        6
18.09/18.15	c  0.1s |       2 |      889 |      250 |     5376      0 |     2552 |        6
18.19/18.26	c  0.2s |       3 |     1308 |      475 |     5376      0 |     2552 |        6
18.39/18.42	c  0.4s |       4 |     1912 |      813 |     5376      0 |     2552 |        6
18.59/18.65	c  0.6s |       5 |     2798 |     1320 |     5376      0 |     2552 |        6
18.99/19.01	c  1.0s |       6 |     4264 |     2081 |     5914      0 |     2552 |        6
19.49/19.50	c  1.5s |       7 |     6428 |     3223 |     5914      0 |     2552 |        6
20.28/20.38	c  2.4s |       8 |     9535 |     4936 |     5914      1 |     2552 |        6
21.28/21.36	c  3.3s |       9 |    14874 |     7506 |     5914      1 |     2552 |        6
22.89/22.93	c  4.9s |      10 |    22041 |    11361 |     5914      2 |     2552 |        6
24.89/24.95	c  6.9s |      10 |    31184 |    16261 |     6506      3 |     2552 |        6
25.29/25.39	c  7.4s |      11 |    32650 |    17144 |     6506      4 |     2552 |        6
27.39/27.40	c  9.4s |      11 |    41724 |    22044 |     6506      5 |     2552 |        6
27.49/27.50	c  9.5s |      11 |    42295 |    22364 |     6506      5 |     2552 |        6
27.49/27.50	c #cpu_time = 9.452s
27.49/27.50	c #wall_clock_time = 9.476s
27.49/27.50	c #decision = 42295
27.49/27.50	c #random_decision = 67
27.49/27.50	c #conflict = 22364
27.49/27.50	c #restart = 11
27.49/27.51	c BCD2: relaxing 27 and merging with 1 cores into a new core of size 2075: cost of the new core is >=2
27.49/27.51	c lower bound updated to 2
27.49/27.52	c BCD2: hardening fixes 3 literals
27.49/27.52	c BCD2: 2 <= obj <= 6
27.49/27.52	c BCD2: #cores=1, #unrelaxed=7, #relaxed=145, #hardened=2555
27.49/27.52	c BCD2: #sat=6 #unsat=3 bias=3/9
27.49/27.52	c Solving starts ...
27.49/27.52	c ============================[ Search Statistics ]============================
27.49/27.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
27.49/27.52	c       |         |          |          |    Limit     GC | Var      | Constra 
27.49/27.52	c =============================================================================
27.49/27.52	c  0.0s |       0 |        0 |        0 |     6506      0 |     2561 |        6
27.68/27.75	c  0.2s |       1 |      180 |      100 |     6506      0 |     2561 |       16
27.78/27.87	c  0.4s |       2 |      524 |      250 |     6506      0 |     2561 |       16
27.88/27.95	c  0.4s |       3 |      876 |      475 |     6506      0 |     2561 |       16
27.98/28.06	c  0.5s |       4 |     1506 |      813 |     6506      0 |     2561 |       16
28.18/28.22	c  0.7s |       5 |     2330 |     1320 |     6506      0 |     2561 |       16
28.38/28.48	c  1.0s |       6 |     3866 |     2081 |     6506      0 |     2561 |       16
28.78/28.80	c  1.3s |       7 |     6164 |     3223 |     6506      0 |     2561 |       16
29.38/29.49	c  2.0s |       8 |     9586 |     4936 |     6506      0 |     2561 |       16
30.38/30.46	c  2.9s |       9 |    14384 |     7506 |     6506      1 |     2561 |       16
31.89/31.95	c  4.4s |      10 |    21211 |    11361 |     6506      1 |     2561 |       16
33.88/33.99	c  6.5s |      10 |    29197 |    16061 |     7157      2 |     2561 |       16
34.38/34.48	c  7.0s |      11 |    31129 |    17144 |     7157      3 |     2561 |       16
35.48/35.58	c  8.1s |      11 |    35595 |    19914 |     7157      3 |     2561 |       16
35.48/35.58	c #cpu_time = 8.035s
35.48/35.58	c #wall_clock_time = 8.057s
35.48/35.58	c #decision = 35595
35.48/35.58	c #random_decision = 69
35.48/35.58	c #conflict = 19914
35.48/35.58	c #restart = 11
35.48/35.58	o 3
35.48/35.58	c BCD2: hardening fixes 92 literals
35.48/35.58	c BCD2: updating upper bound: 6 -> 2
35.48/35.58	c BCD2: 2 <= obj <= 2
35.48/35.58	c BCD2: #cores=1, #unrelaxed=0, #relaxed=60, #hardened=2647
35.48/35.58	c BCD2: #sat=7 #unsat=3 bias=3/10
35.48/35.58	c Solving starts ...
35.48/35.58	c ============================[ Search Statistics ]============================
35.48/35.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
35.48/35.58	c       |         |          |          |    Limit     GC | Var      | Constra 
35.48/35.58	c =============================================================================
35.48/35.58	c  0.0s |       0 |        0 |        0 |     7157      0 |     2653 |       18
35.58/35.64	c  0.1s |       1 |      171 |      100 |     7157      0 |     2653 |       18
35.68/35.72	c  0.1s |       2 |      401 |      250 |     7157      0 |     2653 |       18
35.78/35.82	c  0.2s |       3 |      931 |      475 |     7157      0 |     2653 |       18
35.98/36.00	c  0.4s |       4 |     1503 |      813 |     7157      0 |     2653 |       18
36.18/36.24	c  0.7s |       5 |     2280 |     1320 |     7157      0 |     2653 |       18
36.58/36.63	c  1.0s |       6 |     3438 |     2081 |     7157      1 |     2653 |       18
36.98/37.02	c  1.4s |       7 |     5629 |     3223 |     7157      1 |     2653 |       18
37.58/37.64	c  2.1s |       8 |     8834 |     4936 |     7157      1 |     2653 |       18
38.49/38.58	c  3.0s |       8 |    12979 |     7110 |     7157      2 |     2654 |       20
38.49/38.58	c #cpu_time = 2.993s
38.49/38.58	c #wall_clock_time = 3.001s
38.49/38.58	c #decision = 12979
38.49/38.58	c #random_decision = 45
38.49/38.58	c #conflict = 7110
38.49/38.58	c #restart = 8
38.49/38.58	c BCD2: updating lower bound of a core
38.49/38.58	c lower bound updated to 3
38.49/38.59	s OPTIMUM FOUND
38.49/38.59	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10
38.49/38.59	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20
38.49/38.59	v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
38.49/38.59	v -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40
38.49/38.59	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
38.49/38.59	v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
38.49/38.59	v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70
38.49/38.59	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80
38.49/38.59	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
38.49/38.59	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
38.49/38.59	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
38.49/38.59	v -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120
38.49/38.59	v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130
38.49/38.59	v -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
38.49/38.59	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150
38.49/38.59	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
38.49/38.59	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
38.49/38.59	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
38.49/38.59	v x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190
38.49/38.59	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
38.49/38.59	v -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210
38.49/38.59	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
38.49/38.59	v -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
38.49/38.59	v -x231
38.49/38.59	c total CPU time = 38.491s
38.49/38.59	c total wall clock time = 38.593s

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-4110346-1466344908/watcher-4110346-1466344908 -o /tmp/evaluation-result-4110346-1466344908/solver-4110346-1466344908 -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-4110346-1466344908.wbo 

pid=3362
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.29 2.25 2.16 3/178 3365
/proc/meminfo: memFree=28879724/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 2719 0 0 0 0 0 0 0 20 0 4 0 36537709 747040768 3080 33554432000 4194304 16246674 140734706130880 140734706130304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 182895 3091 441 2943 0 179789 0
[pid=3365/tid=3366] ppid=3362 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 763817984 3147 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 769060864 3166 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36537709 773255168 3183 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.29 2.25 2.16 3/178 3365
/proc/meminfo: memFree=28879724/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 25180 0 0 0 6 3 0 0 20 0 4 0 36537709 1247350784 25534 33554432000 4194304 16246674 140734706130880 140734706130304 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 304529 25538 618 2943 0 301423 0
[pid=3365/tid=3366] ppid=3362 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1247350784 25540 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1247350784 25547 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36537709 1247350784 25549 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200488 s]
/proc/loadavg: 2.29 2.25 2.16 3/178 3365
/proc/meminfo: memFree=28879724/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 34991 0 0 0 14 5 0 0 20 0 4 0 36537709 1252593664 35299 33554432000 4194304 16246674 140734706130880 140734706130192 6760192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 305809 35299 864 2943 0 302703 0
[pid=3365/tid=3366] ppid=3362 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1252593664 35299 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1252593664 35299 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1252593664 35299 33554432000 4194304 16246674 140734706130880 139820972104880 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) 1223236

[startup+0.300481 s]
/proc/loadavg: 2.29 2.25 2.16 3/178 3365
/proc/meminfo: memFree=28879724/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 48702 0 0 0 23 6 0 0 20 0 4 0 36537709 1338576896 49010 33554432000 4194304 16246674 140734706130880 140734706130192 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 326801 49020 920 2943 0 323695 0
[pid=3365/tid=3366] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 49023 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 49029 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 49033 33554432000 4194304 16246674 140734706130880 139820972104880 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) 1307204

[startup+0.700371 s]
/proc/loadavg: 2.29 2.25 2.16 3/178 3365
/proc/meminfo: memFree=28879724/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 80130 0 0 0 59 10 0 0 20 0 4 0 36537709 1338576896 80438 33554432000 4194304 16246674 140734706130880 140734706112768 5823919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 326801 80438 922 2943 0 323695 0
[pid=3365/tid=3366] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 80438 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 80438 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 80438 33554432000 4194304 16246674 140734706130880 139820972104880 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) 1307204

[startup+1.5004 s]
/proc/loadavg: 2.27 2.25 2.16 3/182 3369
/proc/meminfo: memFree=28559700/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 80133 0 0 0 139 10 0 0 20 0 4 0 36537709 1338576896 80441 33554432000 4194304 16246674 140734706130880 140734706112768 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 326801 80441 925 2943 0 323695 0
[pid=3365/tid=3366] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 80441 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 80441 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1338576896 80441 33554432000 4194304 16246674 140734706130880 139820972104880 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) 1307204

[startup+3.10039 s]
/proc/loadavg: 2.27 2.25 2.16 3/182 3369
/proc/meminfo: memFree=28558700/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 80157 0 0 0 299 10 0 0 20 0 4 0 36537709 1339625472 80465 33554432000 4194304 16246674 140734706130880 140734706130056 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 327057 80465 931 2943 0 323951 0
[pid=3365/tid=3366] ppid=3362 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1339625472 80465 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1339625472 80465 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1339625472 80465 33554432000 4194304 16246674 140734706130880 139820972104880 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) 1308228

[startup+6.30039 s]
/proc/loadavg: 2.27 2.25 2.16 3/182 3418
/proc/meminfo: memFree=29403256/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 80395 0 0 0 619 10 0 0 20 0 4 0 36537709 1339625472 80703 33554432000 4194304 16246674 140734706130880 140734706130056 5553629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 327057 80703 931 2943 0 323951 0
[pid=3365/tid=3366] ppid=3362 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1339625472 80703 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1339625472 80703 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1339625472 80703 33554432000 4194304 16246674 140734706130880 139820972104880 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.31 2.26 2.16 3/182 3418
/proc/meminfo: memFree=29148272/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 81729 0 0 0 1258 11 0 0 20 0 4 0 36537709 1345916928 82037 33554432000 4194304 16246674 140734706130880 140734706112768 5531312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 328593 82037 940 2943 0 325487 0
[pid=3365/tid=3366] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 82037 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 82037 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 82037 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.26 2.25 2.16 3/181 3418
/proc/meminfo: memFree=28389588/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 269814 0 0 0 2512 37 0 0 20 0 4 0 36537709 1345916928 270122 33554432000 4194304 16246674 140734706130880 140734706112768 5676464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 328593 270122 940 2943 0 325487 0
[pid=3365/tid=3366] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 270122 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 270122 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 270122 33554432000 4194304 16246674 140734706130880 139820972104880 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) 1314372

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

[startup+25.6005 s]
/proc/loadavg: 2.26 2.25 2.16 3/181 3418
/proc/meminfo: memFree=28389588/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1314372 CPUtime=25.59 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 269814 0 0 0 2522 37 0 0 20 0 4 0 36537709 1345916928 270122 33554432000 4194304 16246674 140734706130880 140734706112768 12483373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 328593 270122 940 2943 0 325487 0
[pid=3365/tid=3366] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 270122 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 270122 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1345916928 270122 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1314372

[startup+32.0068 s]
/proc/loadavg: 2.22 2.24 2.16 3/181 3418
/proc/meminfo: memFree=28386668/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1316420 CPUtime=31.99 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 270327 0 0 0 3162 37 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 140734706112768 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 329105 270890 940 2943 0 325999 0
[pid=3365/tid=3366] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1316420

[startup+35.2003 s]
/proc/loadavg: 2.22 2.24 2.16 4/181 3418
/proc/meminfo: memFree=28386300/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1316420 CPUtime=35.19 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 270327 0 0 0 3482 37 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 140734706112768 5827984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 329105 270890 940 2943 0 325999 0
[pid=3365/tid=3366] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 35.19
Current children cumulated vsize (KiB) 1316420

[startup+36.8004 s]
/proc/loadavg: 2.20 2.24 2.16 4/181 3418
/proc/meminfo: memFree=28386548/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1316420 CPUtime=36.78 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 270327 0 0 0 3641 37 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 140734706112768 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 329105 270890 940 2943 0 325999 0
[pid=3365/tid=3366] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 36.78
Current children cumulated vsize (KiB) 1316420

[startup+37.6003 s]
/proc/loadavg: 2.20 2.24 2.16 4/181 3418
/proc/meminfo: memFree=28386672/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1316420 CPUtime=37.58 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 270327 0 0 0 3721 37 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 140734706112768 5673972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 329105 270890 940 2943 0 325999 0
[pid=3365/tid=3366] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 37.58
Current children cumulated vsize (KiB) 1316420

[startup+38.4003 s]
/proc/loadavg: 2.20 2.24 2.16 4/181 3418
/proc/meminfo: memFree=28386672/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=1316420 CPUtime=38.38 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202496 270327 0 0 0 3801 37 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 140734706112768 5852426 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 329105 270890 940 2943 0 325999 0
[pid=3365/tid=3366] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3366/stat : 3366 (toysat) S 3362 3365 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139821061221616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3365/tid=3367] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3367/stat : 3367 (toysat) S 3362 3365 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820982578416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3365/tid=3368] ppid=3362 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3365/task/3368/stat : 3368 (toysat) S 3362 3365 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36537709 1348014080 270890 33554432000 4194304 16246674 140734706130880 139820972104880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.38
Current children cumulated vsize (KiB) 1316420

[startup+38.6068 s]
/proc/loadavg: 2.20 2.24 2.16 4/181 3418
/proc/meminfo: memFree=28386548/32872528 swapFree=1316768/1463936
[pid=3365] ppid=3362 vsize=0 CPUtime=38.59 cores=0,2,4,6
/proc/3365/stat : 3365 (toysat) R 3362 3365 1219 0 -1 4202500 270330 0 0 0 3820 39 0 0 20 0 1 0 36537709 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3365/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 38.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 38.6555
CPU time (s): 38.6481
CPU user time (s): 38.2092
CPU system time (s): 0.438933
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.2092
system time used= 0.438933
maximum resident set size= 1083568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270330
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= 19
involuntary context switches= 40

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.149977 second user time and 0.166974 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 16:01:48
IDJOB=4110346
IDBENCH=79271
IDSOLVER=2553
FILE ID=node121/4110346-1466344908
RUNJOBID= node121-1466341819-1235
PBS_JOBID= 19922032
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024--soft-0-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-4110346-1466344908/watcher-4110346-1466344908 -o /tmp/evaluation-result-4110346-1466344908/solver-4110346-1466344908 -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-4110346-1466344908.wbo

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

MD5SUM BENCH= a7d7105d3e0193cbcd9215f3627722fb
RANDOM SEED=1117164117

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:        28879996 kB
Buffers:          204324 kB
Cached:           483996 kB
SwapCached:         1944 kB
Active:          1279400 kB
Inactive:         485588 kB
Active(anon):    1076136 kB
Inactive(anon):     2900 kB
Active(file):     203264 kB
Inactive(file):   482688 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             32836 kB
Writeback:             0 kB
AnonPages:       2541172 kB
Mapped:            12360 kB
Shmem:                 0 kB
Slab:             629176 kB
SReclaimable:      73168 kB
SUnreclaim:       556008 kB
KernelStack:        1512 kB
PageTables:         9364 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:    153600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node121 at 2016-06-19 16:02:27