Trace number 4093672

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 40.6668 40.676

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo
MD5SUMf06e3169df6f7eed4900beba2f9ca344
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark22.37
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 136625
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136624
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 707
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-16T18:37:24+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-4093672-1466095043.wbo"]
0.00/0.01	c use --random-gen="3530119291 2967103902 1698521945 1664424480 2838658413 3285982608 508277650 841287559 3701408622 443305847 1852982065 4148536492 3041196232 1176763072 832206316 1011319420 2930737017 2406029024 2309571596 2730814279 1340575322 4038650372 3108142579 2446144300 1067105374 1654746604 240046489 4077654785 3034666348 577843539 2392905713 3032028602 686573912 3759050981 3688639989 1181038311 2490683978 812944944 3572931677 1208106402 15320114 3523020364 1616810258 2711893070 2191457314 2262823294 842920344 3022241578 3631703656 4043769975 431451843 3862555402 65887965 2112424336 3420679438 635836300 903003142 2885705062 3564618825 3125056759 1628945458 456719462 2492299845 1154557624 1351281368 2927004673 3421751024 1277639850 2332563118 687361979 3028679046 4130348106 2205203626 2713365893 3254166338 2244570704 4136680733 2833859990 2951918094 526696129 614864954 2423724733 2618908475 1136558206 2234039580 1655435725 315017331 319558311 712979354 444122451 2211913096 4089767311 905174681 1575316990 959344124 3865245251 586757117 3082753842 3372588162 3887699462 3331681381 1179114523 2279419937 2343548779 277633899 88954374 3265487205 2662844863 4009737198 2613278297 1146264334 1572680603 2065975752 817913183 4129865321 3224651517 1766841170 3268465598 2804854650 1819349269 306427926 3186870071 1335279610 553949525 163583814 1067423355 2876596989 3817668731 488649035 342121179 1293947887 1304223984 729000046 721039901 928267614 3358969230 3079633990 1447898805 2358089308 129879555 2512836945 3768588549 3562153520 1662433406 2093956656 4247890900 3491976499 2119552811 2981082352 2551777454 4019075577 329181077 1029138139 3035636677 3439478250 4049565669 4133020783 1078236697 3887862879 3824615495 1073026241 1255027084 3913776488 2949169913 2755403688 3795498430 2777633541 291787622 2088700635 1554633168 2679158330 835587023 2697048934 3616713557 1183242462 3381687359 2926487295 2664258093 2086651309 2297021472 1661193048 2567750728 1508738404 4057496903 2671033687 885463079 2026904862 783964073 3835248383 973906949 2187125384 3493052182 3115828892 2452183817 4262382332 3198868282 3071751082 4008028912 1623819678 3881452335 3766830096 514591245 3179876196 1056050141 658568148 3310658170 4163872535 3202642046 4122097165 1011673885 3092124800 1763045185 3760050587 3533218875 2122034714 3344556768 405710952 3293902111 2821212993 854599598 268763660 2136877586 4273308733 2218144635 2566006349 1790418776 2171560551 259193960 3043642952 691101294 2227581146 856961446 1310775350 1505596610 4086792815 269283688 507398763 2715448912 1512019737 2257888478 2238450567 1512331563 2122685543 2603858109 2937530526 568214259 1021971754 1901479217 3484122395 2519151606 353804700 2016507890 3753452707 608220490 3495021363 594446728 255 362436" option to reproduce the execution
0.09/0.17	c #vars 231
0.09/0.17	c #constraints 2707
0.29/0.38	c BCD2: Hardening is enabled.
0.29/0.38	c BCD2: BiasedSearch is enabled.
0.29/0.38	c Solving starts ...
0.29/0.38	c ============================[ Search Statistics ]============================
0.29/0.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.38	c =============================================================================
0.29/0.38	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.29/0.38	c  0.0s |       0 |     2717 |        0 |     1881      0 |        0 |        0
0.29/0.38	c #cpu_time = 0.017s
0.29/0.38	c #wall_clock_time = 0.017s
0.29/0.38	c #decision = 2717
0.29/0.38	c #random_decision = 16
0.29/0.38	c #conflict = 0
0.29/0.38	c #restart = 0
0.29/0.38	o 576
0.29/0.38	c BCD2: updating upper bound: 136624 -> 575
0.29/0.38	c BCD2: 0 <= obj <= 575
0.29/0.38	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.29/0.38	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.38	c Solving starts ...
0.29/0.38	c ============================[ Search Statistics ]============================
0.29/0.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.38	c =============================================================================
0.29/0.38	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.29/0.38	c  0.0s |       1 |     2896 |      100 |     1881      0 |        0 |        0
0.29/0.38	c  0.1s |       2 |     5823 |      250 |     2070      0 |        0 |        0
0.38/0.40	c  0.1s |       3 |     8948 |      475 |     2277      0 |        0 |        0
0.49/0.52	c  0.3s |       4 |    12195 |      813 |     2505      0 |        0 |        0
0.69/0.72	c  0.5s |       5 |    15770 |     1320 |     2756      0 |        0 |        0
0.99/1.04	c  0.8s |       6 |    19657 |     2081 |     3336      0 |        0 |        0
1.79/1.81	c  1.6s |       7 |    24019 |     3223 |     3670      0 |        0 |        0
2.99/3.02	c  2.8s |       8 |    29366 |     4936 |     4038      0 |        0 |        0
4.99/5.06	c  4.8s |       8 |    35605 |     7236 |     4038      1 |        0 |        0
5.19/5.29	c  5.0s |       9 |    36071 |     7506 |     4442      1 |        0 |        0
7.28/7.34	c  7.1s |       9 |    43048 |    10106 |     4442      2 |        0 |        0
8.29/8.34	c  8.1s |      10 |    45164 |    11361 |     4887      2 |        0 |        0
10.39/10.41	c 10.2s |      10 |    50173 |    12961 |     4887      3 |        0 |        0
12.38/12.47	c 12.2s |      10 |    52274 |    14361 |     4887      3 |        0 |        0
14.50/14.52	c 14.3s |      10 |    55903 |    16461 |     4887      4 |        0 |        0
14.99/15.03	c 14.8s |      11 |    57145 |    17144 |     5376      4 |        0 |        0
17.09/17.10	c 16.9s |      11 |    64241 |    19544 |     5376      4 |        0 |        0
19.09/19.17	c 18.9s |      11 |    67975 |    21644 |     5376      5 |        0 |        0
21.18/21.22	c 21.0s |      11 |    72174 |    23944 |     5376      5 |        0 |        0
23.19/23.27	c 23.0s |      11 |    75472 |    25744 |     5914      6 |        0 |        0
23.29/23.32	c 23.1s |      12 |    75586 |    25819 |     5914      6 |        0 |        0
25.39/25.40	c 25.2s |      12 |    80763 |    27219 |     5914      6 |        0 |        0
27.59/27.63	c 27.4s |      12 |    83724 |    28819 |     5914      7 |        0 |        0
29.19/29.21	c 29.0s |      12 |    85302 |    29780 |     5914      7 |        0 |        0
29.19/29.21	c #cpu_time = 28.885s
29.19/29.21	c #wall_clock_time = 28.960s
29.19/29.21	c #decision = 85302
29.19/29.21	c #random_decision = 52
29.19/29.21	c #conflict = 29780
29.19/29.21	c #restart = 12
29.19/29.22	c BCD2: found a new core of size 2539: cost of the new core is >=1
29.19/29.22	c lower bound updated to 1
29.19/29.22	c BCD2: 1 <= obj <= 575
29.19/29.22	c BCD2: #cores=1, #unrelaxed=168, #relaxed=2539, #hardened=0
29.19/29.22	c BCD2: #sat=1 #unsat=2 bias=2/3
29.19/29.23	c Solving starts ...
29.19/29.23	c ============================[ Search Statistics ]============================
29.19/29.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
29.19/29.23	c       |         |          |          |    Limit     GC | Var      | Constra 
29.19/29.23	c =============================================================================
29.19/29.23	c  0.0s |       0 |        0 |        0 |     5914      0 |        0 |        0
29.29/29.35	c  0.1s |       0 |     3960 |        2 |     5914      0 |        0 |        0
29.29/29.35	c #cpu_time = 0.120s
29.29/29.35	c #wall_clock_time = 0.120s
29.29/29.35	c #decision = 3960
29.29/29.35	c #random_decision = 19
29.29/29.35	c #conflict = 2
29.29/29.35	c #restart = 0
29.29/29.35	o 19
29.29/29.35	c BCD2: hardening fixes 2220 literals
29.29/29.36	c BCD2: updating upper bound: 575 -> 18
29.29/29.36	c BCD2: 1 <= obj <= 18
29.29/29.36	c BCD2: #cores=1, #unrelaxed=26, #relaxed=461, #hardened=2220
29.29/29.36	c BCD2: #sat=2 #unsat=2 bias=2/4
29.29/29.36	c Solving starts ...
29.29/29.36	c ============================[ Search Statistics ]============================
29.29/29.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
29.29/29.36	c       |         |          |          |    Limit     GC | Var      | Constra 
29.29/29.36	c =============================================================================
29.29/29.36	c  0.0s |       0 |        0 |        0 |     5914      0 |     2220 |        1
29.49/29.52	c  0.2s |       1 |      279 |      100 |     5914      0 |     2220 |        1
29.69/29.70	c  0.3s |       2 |      561 |      250 |     5914      0 |     2220 |        1
29.89/29.93	c  0.6s |       3 |     1001 |      475 |     5914      0 |     2220 |        1
30.19/30.21	c  0.9s |       4 |     1681 |      813 |     5914      0 |     2220 |        1
30.49/30.57	c  1.2s |       5 |     2625 |     1320 |     5914      0 |     2220 |        1
30.99/31.08	c  1.7s |       6 |     4002 |     2081 |     5914      0 |     2220 |        1
31.89/31.92	c  2.6s |       7 |     5762 |     3223 |     5914      1 |     2220 |        1
32.09/32.17	c  2.8s |       7 |     6707 |     3784 |     5914      1 |     2220 |        1
32.09/32.17	c #cpu_time = 2.806s
32.09/32.17	c #wall_clock_time = 2.813s
32.09/32.17	c #decision = 6707
32.09/32.17	c #random_decision = 3
32.09/32.17	c #conflict = 3784
32.09/32.17	c #restart = 7
32.09/32.18	o 10
32.09/32.18	c BCD2: hardening fixes 239 literals
32.09/32.18	c BCD2: updating upper bound: 18 -> 9
32.09/32.18	c BCD2: 1 <= obj <= 9
32.09/32.18	c BCD2: #cores=1, #unrelaxed=13, #relaxed=235, #hardened=2459
32.09/32.18	c BCD2: #sat=3 #unsat=2 bias=2/5
32.09/32.18	c Solving starts ...
32.09/32.18	c ============================[ Search Statistics ]============================
32.09/32.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.09/32.18	c       |         |          |          |    Limit     GC | Var      | Constra 
32.09/32.18	c =============================================================================
32.09/32.18	c  0.0s |       0 |        0 |        0 |     5914      0 |     2459 |        2
32.19/32.29	c  0.1s |       1 |      164 |      100 |     5914      0 |     2459 |        2
32.29/32.38	c  0.2s |       2 |      390 |      250 |     5914      0 |     2459 |        2
32.49/32.51	c  0.3s |       3 |      704 |      475 |     5914      0 |     2459 |        2
32.59/32.68	c  0.5s |       4 |     1214 |      813 |     5914      0 |     2459 |        2
32.89/32.92	c  0.7s |       5 |     1988 |     1320 |     5914      0 |     2459 |        2
33.28/33.33	c  1.2s |       6 |     3058 |     2081 |     5914      0 |     2459 |        2
33.98/34.04	c  1.9s |       7 |     4694 |     3223 |     5914      0 |     2459 |        2
34.39/34.48	c  2.3s |       7 |     5646 |     3941 |     5914      1 |     2459 |        2
34.39/34.48	c #cpu_time = 2.298s
34.39/34.48	c #wall_clock_time = 2.304s
34.39/34.48	c #decision = 5646
34.39/34.48	c #random_decision = 7
34.39/34.48	c #conflict = 3941
34.39/34.48	c #restart = 7
34.39/34.48	o 4
34.39/34.48	c BCD2: hardening fixes 164 literals
34.39/34.48	c BCD2: updating upper bound: 9 -> 3
34.39/34.48	c BCD2: 1 <= obj <= 3
34.39/34.48	c BCD2: #cores=1, #unrelaxed=6, #relaxed=78, #hardened=2623
34.39/34.48	c BCD2: #sat=4 #unsat=2 bias=2/6
34.39/34.49	c Solving starts ...
34.39/34.49	c ============================[ Search Statistics ]============================
34.39/34.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
34.39/34.49	c       |         |          |          |    Limit     GC | Var      | Constra 
34.39/34.49	c =============================================================================
34.39/34.49	c  0.0s |       0 |        0 |        0 |     5914      0 |     2623 |        3
34.49/34.54	c  0.1s |       1 |      185 |      100 |     5914      0 |     2623 |        4
34.59/34.60	c  0.1s |       2 |      412 |      250 |     5914      0 |     2623 |        4
34.69/34.70	c  0.2s |       3 |      736 |      475 |     5914      0 |     2623 |        4
34.79/34.84	c  0.4s |       4 |     1288 |      813 |     5914      0 |     2623 |        4
34.99/35.05	c  0.6s |       5 |     2047 |     1320 |     6506      0 |     2623 |        4
35.29/35.35	c  0.9s |       6 |     3270 |     2081 |     6506      0 |     2623 |        4
35.79/35.86	c  1.4s |       7 |     5022 |     3223 |     6506      0 |     2623 |        4
36.59/36.60	c  2.1s |       8 |     7573 |     4936 |     6506      1 |     2623 |        4
37.49/37.56	c  3.1s |       9 |    11472 |     7506 |     6506      1 |     2623 |        4
38.99/39.08	c  4.6s |      10 |    17263 |    11361 |     6506      2 |     2623 |        4
40.28/40.30	c  5.8s |      10 |    21396 |    14125 |     6506      3 |     2623 |        4
40.28/40.30	c #cpu_time = 5.796s
40.28/40.30	c #wall_clock_time = 5.811s
40.28/40.30	c #decision = 21396
40.28/40.30	c #random_decision = 50
40.28/40.30	c #conflict = 14125
40.28/40.30	c #restart = 10
40.28/40.30	o 2
40.28/40.30	c BCD2: hardening fixes 56 literals
40.28/40.30	c BCD2: updating upper bound: 3 -> 1
40.28/40.30	c BCD2: 1 <= obj <= 1
40.28/40.30	c BCD2: #cores=1, #unrelaxed=0, #relaxed=28, #hardened=2679
40.28/40.30	c BCD2: #sat=5 #unsat=2 bias=2/7
40.28/40.30	c Solving starts ...
40.28/40.30	c ============================[ Search Statistics ]============================
40.28/40.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
40.28/40.30	c       |         |          |          |    Limit     GC | Var      | Constra 
40.28/40.30	c =============================================================================
40.28/40.30	c  0.0s |       0 |        0 |        0 |     6506      0 |     2679 |        8
40.28/40.36	c  0.1s |       1 |      160 |      100 |     6506      0 |     2679 |        8
40.38/40.43	c  0.1s |       2 |      373 |      250 |     6506      0 |     2679 |        8
40.48/40.50	c  0.2s |       3 |      710 |      475 |     6506      0 |     2679 |        8
40.58/40.62	c  0.3s |       3 |     1211 |      780 |     6506      0 |     2679 |        8
40.58/40.62	c #cpu_time = 0.314s
40.58/40.62	c #wall_clock_time = 0.315s
40.58/40.62	c #decision = 1211
40.58/40.62	c #random_decision = 5
40.58/40.62	c #conflict = 780
40.58/40.62	c #restart = 3
40.58/40.62	o 1
40.58/40.62	s OPTIMUM FOUND
40.58/40.62	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
40.58/40.62	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
40.58/40.62	v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
40.58/40.62	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
40.58/40.62	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
40.58/40.62	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
40.58/40.62	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70
40.58/40.62	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
40.58/40.62	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
40.58/40.62	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
40.58/40.62	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
40.58/40.62	v -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120
40.58/40.62	v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
40.58/40.62	v -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140
40.58/40.62	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
40.58/40.62	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
40.58/40.62	v x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
40.58/40.62	v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
40.58/40.62	v -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190
40.58/40.62	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200
40.58/40.62	v -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210
40.58/40.62	v -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
40.58/40.62	v -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230
40.58/40.62	v -x231
40.58/40.62	c total CPU time = 40.514s
40.58/40.62	c total wall clock time = 40.618s

Verifier Data 

OK	1

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

pid=14525
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.11 2.08 2.02 3/179 14528
/proc/meminfo: memFree=31023948/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=587196 CPUtime=0 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 2168 0 0 0 0 0 0 0 20 0 4 0 11554476 601288704 2018 33554432000 4194304 16246674 140733874419136 140733874418560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 147567 2028 441 2943 0 144461 0
[pid=14528/tid=14529] ppid=14525 vsize=603580 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 618065920 2084 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=611772 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 626454528 2113 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=615868 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11554476 630648832 2129 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100194 s]
/proc/loadavg: 2.11 2.08 2.02 3/179 14528
/proc/meminfo: memFree=31023948/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 24869 0 0 0 5 4 0 0 20 0 4 0 11554476 1247350784 24712 33554432000 4194304 16246674 140733874419136 140733874418560 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 304529 24716 611 2943 0 301423 0
[pid=14528/tid=14529] ppid=14525 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1247350784 24718 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1247350784 24722 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11554476 1247350784 24727 33554432000 4194304 16246674 140733874419136 140528690646192 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.308808 s]
/proc/loadavg: 2.11 2.08 2.02 3/179 14528
/proc/meminfo: memFree=31023948/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 49676 0 0 0 22 7 0 0 20 0 4 0 11554476 1338576896 49473 33554432000 4194304 16246674 140733874419136 140733874418448 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 326801 49479 918 2943 0 323695 0
[pid=14528/tid=14529] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 49483 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 49486 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 49491 33554432000 4194304 16246674 140733874419136 140528690646192 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.400477 s]
/proc/loadavg: 2.11 2.08 2.02 3/179 14528
/proc/meminfo: memFree=31023948/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1307204 CPUtime=0.38 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 56686 0 0 0 30 8 0 0 20 0 4 0 11554476 1338576896 56483 33554432000 4194304 16246674 140733874419136 140733874418448 13928602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 326801 56483 918 2943 0 323695 0
[pid=14528/tid=14529] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 56483 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 56483 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 56483 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1307204

[startup+0.700339 s]
/proc/loadavg: 2.11 2.08 2.02 3/179 14528
/proc/meminfo: memFree=31023948/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 66868 0 0 0 59 10 0 0 20 0 4 0 11554476 1338576896 66665 33554432000 4194304 16246674 140733874419136 140733874418448 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 326801 66665 920 2943 0 323695 0
[pid=14528/tid=14529] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66665 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66665 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66665 33554432000 4194304 16246674 140733874419136 140528690646192 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.11 2.08 2.02 3/183 14532
/proc/meminfo: memFree=30757596/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 66872 0 0 0 139 10 0 0 20 0 4 0 11554476 1338576896 66669 33554432000 4194304 16246674 140733874419136 140733874401024 5823615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 326801 66669 924 2943 0 323695 0
[pid=14528/tid=14529] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66669 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66669 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66669 33554432000 4194304 16246674 140733874419136 140528690646192 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.10038 s]
/proc/loadavg: 2.11 2.08 2.02 3/183 14532
/proc/meminfo: memFree=30756860/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 66875 0 0 0 299 10 0 0 20 0 4 0 11554476 1338576896 66672 33554432000 4194304 16246674 140733874419136 140733874401024 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 326801 66672 927 2943 0 323695 0
[pid=14528/tid=14529] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66672 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66672 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1338576896 66672 33554432000 4194304 16246674 140733874419136 140528690646192 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) 1307204

[startup+6.30034 s]
/proc/loadavg: 2.10 2.08 2.02 3/183 14532
/proc/meminfo: memFree=30752664/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 67135 0 0 0 618 10 0 0 20 0 4 0 11554476 1339625472 66932 33554432000 4194304 16246674 140733874419136 140733874418232 6021328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 327057 66932 931 2943 0 323951 0
[pid=14528/tid=14529] ppid=14525 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1339625472 66932 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1339625472 66932 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1339625472 66932 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7003 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 14532
/proc/meminfo: memFree=30751904/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 67166 0 0 0 1257 11 0 0 20 0 4 0 11554476 1340674048 66963 33554432000 4194304 16246674 140733874419136 140733874401024 6010981 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 327313 66963 932 2943 0 324207 0
[pid=14528/tid=14529] ppid=14525 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1340674048 66963 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1340674048 66963 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1340674048 66963 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5074 s]
/proc/loadavg: 2.14 2.09 2.03 3/183 14532
/proc/meminfo: memFree=30746348/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 67648 0 0 0 2536 13 0 0 20 0 4 0 11554476 1341722624 67445 33554432000 4194304 16246674 140733874419136 140733874401024 13874575 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 327569 67445 932 2943 0 324463 0
[pid=14528/tid=14529] ppid=14525 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1341722624 67445 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1341722624 67445 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1341722624 67445 33554432000 4194304 16246674 140733874419136 140528690646192 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) 1310276

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

[startup+25.7004 s]
/proc/loadavg: 2.14 2.09 2.03 3/183 14532
/proc/meminfo: memFree=30746348/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1310276 CPUtime=25.69 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 67648 0 0 0 2556 13 0 0 20 0 4 0 11554476 1341722624 67445 33554432000 4194304 16246674 140733874419136 140733874401024 13193821 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 327569 67445 932 2943 0 324463 0
[pid=14528/tid=14529] ppid=14525 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1341722624 67445 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1341722624 67445 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1341722624 67445 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (KiB) 1310276

[startup+32.1073 s]
/proc/loadavg: 2.12 2.09 2.03 3/183 14532
/proc/meminfo: memFree=30598896/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1315396 CPUtime=32.09 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 100481 0 0 0 3191 18 0 0 20 0 4 0 11554476 1346965504 100278 33554432000 4194304 16246674 140733874419136 140733874401024 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 328849 100278 941 2943 0 325743 0
[pid=14528/tid=14529] ppid=14525 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1346965504 100278 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1346965504 100278 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1346965504 100278 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 32.09
Current children cumulated vsize (KiB) 1315396

[startup+35.3004 s]
/proc/loadavg: 2.11 2.09 2.03 3/183 14532
/proc/meminfo: memFree=30045096/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1322564 CPUtime=35.29 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 239016 0 0 0 3491 38 0 0 20 0 4 0 11554476 1354305536 238813 33554432000 4194304 16246674 140733874419136 140733874401024 5600869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 330641 238813 941 2943 0 327535 0
[pid=14528/tid=14529] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238813 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238813 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238813 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 35.29
Current children cumulated vsize (KiB) 1322564

[startup+38.5004 s]
/proc/loadavg: 2.11 2.09 2.03 3/183 14532
/proc/meminfo: memFree=30045096/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1322564 CPUtime=38.49 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 239078 0 0 0 3811 38 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140733874401024 5522921 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 330641 238875 941 2943 0 327535 0
[pid=14528/tid=14529] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.49
Current children cumulated vsize (KiB) 1322564

[startup+39.3004 s]
/proc/loadavg: 2.11 2.08 2.02 4/183 14532
/proc/meminfo: memFree=29969212/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1322564 CPUtime=39.29 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 239078 0 0 0 3891 38 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140733874401024 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 330641 238875 941 2943 0 327535 0
[pid=14528/tid=14529] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.29
Current children cumulated vsize (KiB) 1322564

[startup+40.1004 s]
/proc/loadavg: 2.11 2.08 2.02 3/183 14532
/proc/meminfo: memFree=29968964/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1322564 CPUtime=40.08 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 239078 0 0 0 3970 38 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140733874401024 6072447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 330641 238875 941 2943 0 327535 0
[pid=14528/tid=14529] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238875 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 40.08
Current children cumulated vsize (KiB) 1322564

[startup+40.5004 s]
/proc/loadavg: 2.11 2.08 2.02 3/183 14532
/proc/meminfo: memFree=29968964/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1322564 CPUtime=40.48 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 239079 0 0 0 4010 38 0 0 20 0 4 0 11554476 1354305536 238876 33554432000 4194304 16246674 140733874419136 140733874401024 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 330641 238876 942 2943 0 327535 0
[pid=14528/tid=14529] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238876 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238876 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238876 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 40.48
Current children cumulated vsize (KiB) 1322564

[startup+40.6003 s]
/proc/loadavg: 2.11 2.08 2.02 3/183 14532
/proc/meminfo: memFree=29968964/32872528 swapFree=525044/557748
[pid=14528] ppid=14525 vsize=1322564 CPUtime=40.58 cores=0,2,4,6
/proc/14528/stat : 14528 (toysat) R 14525 14528 10502 0 -1 4202496 239079 0 0 0 4020 38 0 0 20 0 4 0 11554476 1354305536 238876 33554432000 4194304 16246674 140733874419136 140733874402136 5822756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14528/statm: 330641 238876 942 2943 0 327535 0
[pid=14528/tid=14529] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14529/stat : 14529 (toysat) S 14525 14528 10502 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238876 33554432000 4194304 16246674 140733874419136 140528711609584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14528/tid=14530] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14530/stat : 14530 (toysat) S 14525 14528 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238876 33554432000 4194304 16246674 140733874419136 140528701119728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14528/tid=14531] ppid=14525 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14528/task/14531/stat : 14531 (toysat) S 14525 14528 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554476 1354305536 238876 33554432000 4194304 16246674 140733874419136 140528690646192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 40.58
Current children cumulated vsize (KiB) 1322564

Child status: 0
Real time (s): 40.676
CPU time (s): 40.6668
CPU user time (s): 40.2309
CPU system time (s): 0.435933
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.2309
system time used= 0.435933
maximum resident set size= 955512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239081
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= 18
involuntary context switches= 71

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.104984 second user time and 0.157975 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-16 18:37:23
IDJOB=4093672
IDBENCH=79311
IDSOLVER=2553
FILE ID=node106/4093672-1466095043
RUNJOBID= node106-1466074835-11958
PBS_JOBID= 19904026
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167--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-4093672-1466095043/watcher-4093672-1466095043 -o /tmp/evaluation-result-4093672-1466095043/solver-4093672-1466095043 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466074835-11958 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093672-1466095043.wbo

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

MD5SUM BENCH= f06e3169df6f7eed4900beba2f9ca344
RANDOM SEED=1053193007

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.56
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		: 2667.073
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.38
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		: 2667.073
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:        31024608 kB
Buffers:           47304 kB
Cached:           105524 kB
SwapCached:         1840 kB
Active:           515256 kB
Inactive:          73640 kB
Active(anon):     437336 kB
Inactive(anon):     1072 kB
Active(file):      77920 kB
Inactive(file):    72568 kB
Unevictable:      557748 kB
Mlocked:          525044 kB
SwapTotal:      67108856 kB
SwapFree:       67098928 kB
Dirty:             33096 kB
Writeback:            32 kB
AnonPages:        993204 kB
Mapped:            10908 kB
Shmem:                 0 kB
Slab:             568060 kB
SReclaimable:      11756 kB
SUnreclaim:       556304 kB
KernelStack:        1496 kB
PageTables:         7364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1778028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71708 MiB
End job on node106 at 2016-06-16 18:38:04