Trace number 4109682

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.2252 38.231

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo
MD5SUM8675827de7240d8277488879d51bec75
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark17.8323
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 constraints925
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 46664
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46663
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T15:45:07+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-4109682-1466343907.wbo"]
0.00/0.01	c use --random-gen="3919060982 3382488504 134400878 869132941 912099665 3945435538 3370878023 4149761886 3513618933 114267407 2059628285 3582258423 1982824247 4160109694 797357844 3284196868 1069504081 538495493 3495147511 1482801768 1322030624 3515150536 3166018490 897447374 3381129195 3887408959 4050148198 729984126 3366067331 2896311033 3079246205 1922363733 2307971680 3912346312 795917050 3717857996 3852943199 2898206498 3793714491 1181231656 1590138452 325312553 1761414740 1389762894 1340603419 168149711 1228943633 883970732 4272455972 2679198158 2228432855 2648534596 2832456251 2787634220 3982806820 1494671696 2541681323 1875540311 1540303789 533673712 2527166236 2615478071 1950958910 90986926 3591295426 281008759 778080791 754965953 3032431288 1886572984 3835265289 1214164354 435517667 3255674392 3895512354 4285895148 696451366 2463405107 665430206 120501957 3723314462 1056130359 2716005746 1062852879 3312362365 3505113984 3480029709 2368216311 3693364669 2932712972 2300466480 1612806180 1547539460 2728526917 59294454 222512794 677256268 53001094 3646433314 3183087277 1625320463 2130478670 2447969569 2136967878 4031276250 135063902 1956296897 2256018540 2777766270 4076521559 2880033510 20165798 2805912072 3619442626 1047978590 2109066296 3552861870 4071277587 906323862 4081184572 1937106731 862017661 1572141345 3825069419 3675711104 3678415469 273615653 1960647394 3625817560 1902966123 2876926753 3837555060 923114284 3577049774 2396011459 4085335091 4014929514 1270017832 3062637737 3213911971 667712802 671354460 3200243430 3834062784 1384700017 341078061 1886116309 2499795900 491791098 3147640667 3873479383 3752452981 2351876850 1269059612 3378364726 3141133621 631458750 3844731365 488578868 2739373921 258915016 1151397810 472216627 2518051699 1080839143 2634775732 2265925972 544005989 882931374 4234382152 3326163927 819762895 1962229673 1886478626 60911804 338808765 3296573115 3583446241 944997819 2699584689 1439207772 1328178407 1950948067 1428018458 2886029765 2630181528 3146875305 4038531920 2286876016 165629301 2909524721 2714642539 876424645 2819924840 3961734334 2594656387 821104128 4268854627 183133930 3602474390 1038058305 4275911694 2564453048 537950536 1054390832 2708814162 1753735593 1797798953 2627776026 2681631490 3642894875 517204224 1625118282 2833439685 2822753372 1803160049 2376674108 3518550724 143854791 2114210630 2368822073 889300137 3367853925 1395666328 2831363318 3947307018 4215613085 2061347656 3226653713 2943082012 2483448569 206696481 208668679 62790480 3209643644 590577386 3740934835 1277895575 2903530003 2236807701 1397987407 3376411567 28983412 3892454501 3191048250 2611203661 1670343077 1748562866 148112510 429404958 4083411073 1688340610 1881443669 992049367 4184522085 1110434258 255 362436" option to reproduce the execution
0.09/0.13	c #vars 231
0.09/0.13	c #constraints 2707
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1287      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |      990 |       24 |     1287      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.016s
0.19/0.20	c #wall_clock_time = 0.016s
0.19/0.20	c #decision = 990
0.19/0.20	c #random_decision = 5
0.19/0.20	c #conflict = 24
0.19/0.20	c #restart = 0
0.19/0.20	o 130
0.19/0.21	c BCD2: updating upper bound: 46663 -> 129
0.19/0.21	c BCD2: 0 <= obj <= 129
0.19/0.21	c BCD2: #cores=0, #unrelaxed=925, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1287      0 |        0 |        0
0.19/0.23	c  0.0s |       1 |     1089 |      100 |     1416      0 |        0 |        0
0.19/0.26	c  0.1s |       2 |     2262 |      250 |     1558      0 |        0 |        0
0.29/0.31	c  0.1s |       3 |     3511 |      475 |     1714      0 |        0 |        0
0.39/0.43	c  0.2s |       4 |     4931 |      813 |     1886      0 |        0 |        0
0.59/0.61	c  0.4s |       5 |     6551 |     1320 |     2075      0 |        0 |        0
0.89/0.98	c  0.8s |       6 |     8557 |     2081 |     2283      0 |        0 |        0
1.39/1.44	c  1.2s |       7 |    11161 |     3223 |     2512      0 |        0 |        0
2.20/2.24	c  2.0s |       8 |    14269 |     4936 |     2764      1 |        0 |        0
3.40/3.48	c  3.3s |       9 |    19269 |     7506 |     3041      3 |        0 |        0
5.19/5.24	c  5.0s |      10 |    26988 |    11361 |     3346      5 |        0 |        0
7.19/7.26	c  7.0s |      10 |    37189 |    16461 |     3346      7 |        0 |        0
7.49/7.58	c  7.4s |      11 |    38361 |    17144 |     3681      7 |        0 |        0
9.59/9.65	c  9.4s |      11 |    48592 |    22344 |     3681     10 |        0 |        0
11.00/11.04	c 10.8s |      12 |    54646 |    25819 |     4050     11 |        0 |        0
12.99/13.08	c 12.9s |      12 |    63192 |    30219 |     4050     13 |        0 |        0
15.09/15.11	c 14.9s |      12 |    72932 |    35419 |     4050     15 |        0 |        0
16.39/16.44	c 16.2s |      13 |    79388 |    38832 |     4455     16 |        0 |        0
18.49/18.53	c 18.3s |      13 |    88022 |    43032 |     4455     18 |        0 |        0
20.48/20.53	c 20.3s |      13 |    95947 |    47332 |     4455     19 |        0 |        0
22.49/22.55	c 22.3s |      13 |   104384 |    51732 |     4455     21 |        0 |        0
23.79/23.83	c 23.6s |      13 |   109293 |    54300 |     4455     22 |        0 |        0
23.79/23.83	c #cpu_time = 23.619s
23.79/23.83	c #wall_clock_time = 23.618s
23.79/23.83	c #decision = 109293
23.79/23.83	c #random_decision = 151
23.79/23.83	c #conflict = 54300
23.79/23.83	c #restart = 13
23.79/23.83	c BCD2: found a new core of size 900: cost of the new core is >=1
23.79/23.83	c lower bound updated to 1
23.79/23.83	c BCD2: 1 <= obj <= 129
23.79/23.83	c BCD2: #cores=1, #unrelaxed=25, #relaxed=900, #hardened=0
23.79/23.83	c BCD2: #sat=1 #unsat=2 bias=2/3
23.79/23.83	c Solving starts ...
23.79/23.83	c ============================[ Search Statistics ]============================
23.79/23.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.79/23.83	c       |         |          |          |    Limit     GC | Var      | Constra 
23.79/23.83	c =============================================================================
23.79/23.83	c  0.0s |       0 |        0 |        0 |     4455      0 |        0 |        0
23.89/23.92	c  0.1s |       1 |     1437 |      100 |     4455      0 |        0 |        0
23.99/24.05	c  0.2s |       2 |     1935 |      250 |     4455      0 |        0 |        0
24.20/24.21	c  0.4s |       3 |     2341 |      475 |     4455      0 |        0 |        0
24.39/24.40	c  0.6s |       4 |     2934 |      813 |     4455      0 |        0 |        0
24.39/24.46	c  0.6s |       4 |     3213 |      894 |     4455      0 |        0 |        0
24.39/24.46	c #cpu_time = 0.630s
24.39/24.46	c #wall_clock_time = 0.630s
24.39/24.46	c #decision = 3213
24.39/24.46	c #random_decision = 7
24.39/24.46	c #conflict = 894
24.39/24.46	c #restart = 4
24.39/24.46	o 57
24.39/24.46	c BCD2: hardening fixes 393 literals
24.39/24.46	c BCD2: updating upper bound: 129 -> 56
24.39/24.46	c BCD2: 1 <= obj <= 56
24.39/24.46	c BCD2: #cores=1, #unrelaxed=19, #relaxed=513, #hardened=393
24.39/24.46	c BCD2: #sat=2 #unsat=2 bias=2/4
24.39/24.47	c Solving starts ...
24.39/24.47	c ============================[ Search Statistics ]============================
24.39/24.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.39/24.47	c       |         |          |          |    Limit     GC | Var      | Constra 
24.39/24.47	c =============================================================================
24.39/24.49	c  0.0s |       0 |        0 |        0 |     4455      0 |      393 |        1
24.49/24.55	c  0.1s |       1 |      223 |      100 |     4455      0 |      393 |        1
24.59/24.64	c  0.2s |       2 |      521 |      250 |     4455      0 |      393 |        1
24.69/24.75	c  0.3s |       3 |      917 |      475 |     4455      0 |      393 |        1
24.79/24.85	c  0.4s |       3 |     1408 |      671 |     4455      0 |      393 |        1
24.79/24.85	c #cpu_time = 0.364s
24.79/24.85	c #wall_clock_time = 0.364s
24.79/24.85	c #decision = 1408
24.79/24.85	c #random_decision = 3
24.79/24.85	c #conflict = 671
24.79/24.85	c #restart = 3
24.79/24.85	o 46
24.79/24.85	c BCD2: hardening fixes 111 literals
24.79/24.85	c BCD2: updating upper bound: 56 -> 45
24.79/24.85	c BCD2: 1 <= obj <= 45
24.79/24.85	c BCD2: #cores=1, #unrelaxed=18, #relaxed=403, #hardened=504
24.79/24.85	c BCD2: #sat=3 #unsat=2 bias=2/5
24.79/24.85	c Solving starts ...
24.79/24.85	c ============================[ Search Statistics ]============================
24.79/24.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.79/24.85	c       |         |          |          |    Limit     GC | Var      | Constra 
24.79/24.85	c =============================================================================
24.79/24.85	c  0.0s |       0 |        0 |        0 |     4455      0 |      504 |        2
24.89/24.92	c  0.1s |       1 |      189 |      100 |     4455      0 |      504 |        2
24.99/25.00	c  0.2s |       2 |      469 |      250 |     4455      0 |      504 |        2
25.09/25.13	c  0.3s |       2 |      851 |      461 |     4455      0 |      504 |        2
25.09/25.13	c #cpu_time = 0.270s
25.09/25.13	c #wall_clock_time = 0.270s
25.09/25.13	c #decision = 851
25.09/25.13	c #random_decision = 1
25.09/25.13	c #conflict = 461
25.09/25.13	c #restart = 2
25.09/25.13	o 16
25.09/25.13	c BCD2: hardening fixes 279 literals
25.09/25.13	c BCD2: updating upper bound: 45 -> 15
25.09/25.13	c BCD2: 1 <= obj <= 15
25.09/25.13	c BCD2: #cores=1, #unrelaxed=4, #relaxed=138, #hardened=783
25.09/25.13	c BCD2: #sat=4 #unsat=2 bias=2/6
25.09/25.13	c Solving starts ...
25.09/25.13	c ============================[ Search Statistics ]============================
25.09/25.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.09/25.13	c       |         |          |          |    Limit     GC | Var      | Constra 
25.09/25.13	c =============================================================================
25.09/25.13	c  0.0s |       0 |        0 |        0 |     4455      0 |      783 |        3
25.19/25.20	c  0.1s |       1 |      152 |      100 |     4455      0 |      783 |        3
25.19/25.28	c  0.2s |       2 |      424 |      250 |     4455      0 |      783 |        3
25.30/25.38	c  0.3s |       3 |      738 |      475 |     4455      0 |      783 |        3
25.49/25.58	c  0.5s |       4 |     1378 |      813 |     4455      1 |      783 |        3
25.69/25.74	c  0.6s |       5 |     2272 |     1320 |     4455      1 |      783 |        3
25.89/25.99	c  0.9s |       6 |     3504 |     2081 |     4901      1 |      783 |        3
26.40/26.42	c  1.3s |       7 |     5384 |     3223 |     4901      1 |      783 |        3
26.99/27.08	c  1.9s |       8 |     7984 |     4936 |     4901      2 |      783 |        3
28.19/28.23	c  3.1s |       9 |    11786 |     7506 |     4901      3 |      783 |        3
29.59/29.65	c  4.5s |      10 |    18122 |    11361 |     4901      4 |      783 |        3
31.09/31.11	c  6.0s |      10 |    23711 |    15048 |     4901      5 |      783 |        3
31.09/31.11	c #cpu_time = 5.986s
31.09/31.11	c #wall_clock_time = 5.986s
31.09/31.11	c #decision = 23711
31.09/31.11	c #random_decision = 28
31.09/31.11	c #conflict = 15048
31.09/31.11	c #restart = 10
31.09/31.11	o 5
31.09/31.11	c BCD2: hardening fixes 99 literals
31.09/31.11	c BCD2: updating upper bound: 15 -> 4
31.09/31.11	c BCD2: 1 <= obj <= 4
31.09/31.11	c BCD2: #cores=1, #unrelaxed=1, #relaxed=42, #hardened=882
31.09/31.11	c BCD2: #sat=5 #unsat=2 bias=2/7
31.09/31.11	c Solving starts ...
31.09/31.11	c ============================[ Search Statistics ]============================
31.09/31.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.09/31.11	c       |         |          |          |    Limit     GC | Var      | Constra 
31.09/31.11	c =============================================================================
31.09/31.12	c  0.0s |       0 |        0 |        0 |     4901      0 |      882 |        4
31.09/31.18	c  0.1s |       1 |      145 |      100 |     4901      0 |      882 |        5
31.19/31.25	c  0.1s |       2 |      377 |      250 |     4901      0 |      882 |        5
31.29/31.36	c  0.2s |       3 |      693 |      475 |     4901      0 |      882 |        5
31.49/31.50	c  0.4s |       4 |     1213 |      813 |     4901      1 |      882 |        5
31.59/31.67	c  0.6s |       5 |     1957 |     1320 |     4901      1 |      882 |        5
31.90/31.98	c  0.9s |       6 |     3050 |     2081 |     4901      1 |      882 |        5
32.39/32.41	c  1.3s |       7 |     4786 |     3223 |     4901      1 |      882 |        5
33.00/33.04	c  1.9s |       8 |     7558 |     4936 |     4901      2 |      882 |        5
33.89/33.92	c  2.8s |       9 |    11662 |     7506 |     4901      3 |      882 |        5
35.39/35.41	c  4.3s |      10 |    17698 |    11361 |     4901      4 |      882 |        5
37.39/37.43	c  6.3s |      10 |    26585 |    16961 |     5392      6 |      882 |        5
37.39/37.50	c  6.4s |      11 |    26883 |    17144 |     5392      6 |      882 |        5
38.09/38.17	c  7.0s |      11 |    29714 |    18864 |     5392      7 |      882 |        5
38.09/38.17	c #cpu_time = 7.050s
38.09/38.17	c #wall_clock_time = 7.050s
38.09/38.17	c #decision = 29714
38.09/38.17	c #random_decision = 73
38.09/38.17	c #conflict = 18864
38.09/38.17	c #restart = 11
38.09/38.17	o 1
38.09/38.17	s OPTIMUM FOUND
38.09/38.17	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10
38.09/38.17	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
38.09/38.17	v -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30
38.09/38.17	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40
38.09/38.17	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
38.09/38.17	v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
38.09/38.17	v -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70
38.09/38.17	v -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80
38.09/38.17	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
38.09/38.17	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
38.09/38.17	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
38.09/38.17	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120
38.09/38.17	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130
38.09/38.17	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
38.09/38.17	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
38.09/38.17	v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
38.09/38.17	v -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
38.09/38.17	v -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180
38.09/38.17	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
38.09/38.17	v x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
38.09/38.17	v -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210
38.09/38.17	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220
38.09/38.17	v -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230
38.09/38.17	v -x231
38.09/38.17	c total CPU time = 38.170s
38.09/38.17	c total wall clock time = 38.169s

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

pid=3075
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.32 2.05 3/179 3078
/proc/meminfo: memFree=29090744/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 2668 0 0 0 0 0 0 0 20 0 4 0 36436398 733409280 3030 33554432000 4194304 16246674 140737275598320 140737275597744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 179567 3039 441 2943 0 176461 0
[pid=3078/tid=3079] ppid=3075 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 750186496 3098 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 755429376 3117 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436398 760672256 3137 33554432000 4194304 16246674 140737275598320 140188219067568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10014 s]
/proc/loadavg: 2.29 2.32 2.05 3/179 3078
/proc/meminfo: memFree=29090744/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 24539 0 0 0 6 3 0 0 20 0 4 0 36436398 1247350784 24893 33554432000 4194304 16246674 140737275598320 140737275597744 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 304529 24898 619 2943 0 301423 0
[pid=3078/tid=3079] ppid=3075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1247350784 24901 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1247350784 24903 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436398 1247350784 24908 33554432000 4194304 16246674 140737275598320 140188219067568 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.200508 s]
/proc/loadavg: 2.29 2.32 2.05 3/179 3078
/proc/meminfo: memFree=29090744/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 40604 0 0 0 14 5 0 0 20 0 4 0 36436398 1250496512 40930 33554432000 4194304 16246674 140737275598320 140737275597744 4224759 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 305297 40934 804 2943 0 302191 0
[pid=3078/tid=3079] ppid=3075 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1250496512 40937 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1250496512 40939 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436398 1250496512 40941 33554432000 4194304 16246674 140737275598320 140188219067568 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) 1221188

[startup+0.300471 s]
/proc/loadavg: 2.29 2.32 2.05 3/179 3078
/proc/meminfo: memFree=29090744/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 40883 0 0 0 24 5 0 0 20 0 4 0 36436398 1251545088 41208 33554432000 4194304 16246674 140737275598320 140737275597632 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 305553 41208 869 2943 0 302447 0
[pid=3078/tid=3079] ppid=3075 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1251545088 41208 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1251545088 41208 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1251545088 41208 33554432000 4194304 16246674 140737275598320 140188219067568 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) 1222212

[startup+0.700397 s]
/proc/loadavg: 2.29 2.32 2.05 3/179 3078
/proc/meminfo: memFree=29090744/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 129976 0 0 0 51 18 0 0 20 0 4 0 36436398 1251545088 130302 33554432000 4194304 16246674 140737275598320 140737275597632 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 305553 130323 869 2943 0 302447 0
[pid=3078/tid=3079] ppid=3075 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1251545088 130338 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1251545088 130353 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1251545088 130366 33554432000 4194304 16246674 140737275598320 140188219067568 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) 1222212

[startup+1.5004 s]
/proc/loadavg: 2.29 2.32 2.05 3/183 3082
/proc/meminfo: memFree=28158960/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 266408 0 0 0 113 36 0 0 20 0 4 0 36436398 1333334016 266733 33554432000 4194304 16246674 140737275598320 140737275580224 6845864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 325521 266733 872 2943 0 322415 0
[pid=3078/tid=3079] ppid=3075 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1333334016 266733 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1333334016 266733 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1333334016 266733 33554432000 4194304 16246674 140737275598320 140188219067568 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) 1302084

[startup+3.10041 s]
/proc/loadavg: 2.29 2.32 2.05 3/183 3082
/proc/meminfo: memFree=28019236/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 268179 0 0 0 273 36 0 0 20 0 4 0 36436398 1339625472 268504 33554432000 4194304 16246674 140737275598320 140737275580224 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 327057 268504 875 2943 0 323951 0
[pid=3078/tid=3079] ppid=3075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1339625472 268504 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1339625472 268504 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1339625472 268504 33554432000 4194304 16246674 140737275598320 140188219067568 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.3004 s]
/proc/loadavg: 2.27 2.31 2.05 3/183 3082
/proc/meminfo: memFree=28017252/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 268530 0 0 0 593 36 0 0 20 0 4 0 36436398 1341722624 268855 33554432000 4194304 16246674 140737275598320 140737275580224 12483348 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 327569 268855 875 2943 0 324463 0
[pid=3078/tid=3079] ppid=3075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1341722624 268855 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1341722624 268855 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1341722624 268855 33554432000 4194304 16246674 140737275598320 140188219067568 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.33 2.32 2.06 3/183 3082
/proc/meminfo: memFree=28014300/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 269022 0 0 0 1233 36 0 0 20 0 4 0 36436398 1343819776 269347 33554432000 4194304 16246674 140737275598320 140737275580224 12476849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 328081 269347 875 2943 0 324975 0
[pid=3078/tid=3079] ppid=3075 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1343819776 269347 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1343819776 269347 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1343819776 269347 33554432000 4194304 16246674 140737275598320 140188219067568 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) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.41 2.34 2.07 3/183 3082
/proc/meminfo: memFree=28012832/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 269487 0 0 0 2512 37 0 0 20 0 4 0 36436398 1345916928 269812 33554432000 4194304 16246674 140737275598320 140737275580224 13774432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 328593 269812 884 2943 0 325487 0
[pid=3078/tid=3079] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 269812 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 269812 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 269812 33554432000 4194304 16246674 140737275598320 140188219067568 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 3078 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6005 s]
/proc/loadavg: 2.41 2.34 2.07 3/183 3082
/proc/meminfo: memFree=28012832/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1314372 CPUtime=25.59 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 269487 0 0 0 2522 37 0 0 20 0 4 0 36436398 1345916928 269812 33554432000 4194304 16246674 140737275598320 140737275580224 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 328593 269812 884 2943 0 325487 0
[pid=3078/tid=3079] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 269812 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 269812 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 269812 33554432000 4194304 16246674 140737275598320 140188219067568 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.0072 s]
/proc/loadavg: 2.37 2.33 2.07 3/183 3082
/proc/meminfo: memFree=28011964/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1314372 CPUtime=32 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 269724 0 0 0 3163 37 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140737275580224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 328593 270049 884 2943 0 325487 0
[pid=3078/tid=3079] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188219067568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 32
Current children cumulated vsize (KiB) 1314372

[startup+35.2004 s]
/proc/loadavg: 2.34 2.33 2.06 3/183 3082
/proc/meminfo: memFree=28011964/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1314372 CPUtime=35.19 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 269724 0 0 0 3482 37 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140737275580224 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 328593 270049 884 2943 0 325487 0
[pid=3078/tid=3079] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188219067568 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) 1314372

[startup+36.8004 s]
/proc/loadavg: 2.34 2.33 2.06 3/183 3082
/proc/meminfo: memFree=28011700/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1314372 CPUtime=36.79 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 269724 0 0 0 3642 37 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140737275580224 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 328593 270049 884 2943 0 325487 0
[pid=3078/tid=3079] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188219067568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 36.79
Current children cumulated vsize (KiB) 1314372

[startup+37.6004 s]
/proc/loadavg: 2.34 2.33 2.06 3/183 3082
/proc/meminfo: memFree=28011948/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1314372 CPUtime=37.59 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 269724 0 0 0 3722 37 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140737275580224 5600712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 328593 270049 884 2943 0 325487 0
[pid=3078/tid=3079] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188219067568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 37.59
Current children cumulated vsize (KiB) 1314372

[startup+38.0004 s]
/proc/loadavg: 2.34 2.33 2.06 3/183 3082
/proc/meminfo: memFree=28011948/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=1314372 CPUtime=37.99 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202496 269724 0 0 0 3762 37 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140737275580224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 328593 270049 884 2943 0 325487 0
[pid=3078/tid=3079] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3079/stat : 3079 (toysat) S 3075 3078 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188240030960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3078/tid=3080] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3080/stat : 3080 (toysat) S 3075 3078 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188229541104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3078/tid=3081] ppid=3075 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3078/task/3081/stat : 3081 (toysat) S 3075 3078 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436398 1345916928 270049 33554432000 4194304 16246674 140737275598320 140188219067568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 37.99
Current children cumulated vsize (KiB) 1314372

[startup+38.2004 s]
/proc/loadavg: 2.34 2.33 2.06 3/183 3082
/proc/meminfo: memFree=28011948/32872528 swapFree=1499884/1696108
[pid=3078] ppid=3075 vsize=0 CPUtime=38.19 cores=0,2,4,6
/proc/3078/stat : 3078 (toysat) R 3075 3078 2004 0 -1 4202500 269728 0 0 0 3779 40 0 0 20 0 1 0 36436398 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3078/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 38.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 38.231
CPU time (s): 38.2252
CPU user time (s): 37.7923
CPU system time (s): 0.432934
CPU usage (%): 99.9849
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7923
system time used= 0.432934
maximum resident set size= 1080204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269728
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= 29
involuntary context switches= 40

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.107983 second user time and 0.139978 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 15:45:07
IDJOB=4109682
IDBENCH=78889
IDSOLVER=2553
FILE ID=node137/4109682-1466343907
RUNJOBID= node137-1466341805-2020
PBS_JOBID= 19922016
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864--soft-66-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-4109682-1466343907/watcher-4109682-1466343907 -o /tmp/evaluation-result-4109682-1466343907/solver-4109682-1466343907 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466341805-2020 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109682-1466343907.wbo

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

MD5SUM BENCH= 8675827de7240d8277488879d51bec75
RANDOM SEED=2110522181

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.38
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.486
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.486
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:        29091444 kB
Buffers:           69956 kB
Cached:           190612 kB
SwapCached:         1260 kB
Active:          1205452 kB
Inactive:         138536 kB
Active(anon):    1083680 kB
Inactive(anon):     2080 kB
Active(file):     121772 kB
Inactive(file):   136456 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100128 kB
Dirty:             33340 kB
Writeback:            12 kB
AnonPages:       2778756 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             606272 kB
SReclaimable:      50068 kB
SUnreclaim:       556204 kB
KernelStack:        1488 kB
PageTables:         9216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2921576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71672 MiB
End job on node137 at 2016-06-19 15:45:45