Trace number 4109766

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 44.8062 44.8127

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo
MD5SUM124472bd94dbe4a4a7a86c80941ffe16
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 benchmark18.4442
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 constraints1802
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 91108
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91107
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
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:47:11+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-4109766-1466344031.wbo"]
0.00/0.01	c use --random-gen="4253735066 1755398656 4288903214 1930760711 1861428578 3518855039 1390401754 1776561352 3483536969 62323758 1662343141 3178237544 1742452832 3651200584 1811550041 3704399201 275906306 1995615554 3754091682 3450208096 2737305946 3510093464 2486056889 3081023684 4231122524 3228620529 2565082599 2953877509 3025322503 1407637228 1855252320 1393062695 190462636 4015890775 484761580 2201121270 4093441276 1033119065 93439201 2914570953 1978368983 2531230928 2742765120 4233048853 4117147876 2077393507 1502318009 2534429555 376388007 2628300844 465021803 2577643694 4280997545 3830018869 3026841453 1264639623 2710851785 1140564093 3759543708 1318477530 3320221183 644408793 2419322768 2880642740 2490951901 3689069510 2643636889 2503771797 4167345997 2008935508 2347998540 1839305800 2847772537 1057285427 3512953130 530198491 3883641028 2960563732 655651269 4008623084 123203273 870708296 843445369 2006382385 1489134485 4093435231 595584033 2012759306 1727615278 3896475088 1328016391 2442820257 4045090544 1103079868 743035161 1187601032 2771633773 692393378 2472065886 3766021226 2056512491 4109834187 3716377316 1037264677 2352557365 1855238550 606849881 2882418602 943369528 665809950 3952056606 1380726549 707406792 4201306911 1831828602 3847134260 2123199038 1047440859 1193524182 3274709842 815133812 2669984746 1041231568 665970775 3589300693 1780108450 3276277376 2510274146 2872685716 146344243 477719243 214362118 1588742763 1667998260 2071394686 1836458778 3832994277 4157518027 786255490 3387410798 370117590 4092797907 1179851326 186228418 1128929420 3756968169 1030762638 1852938746 2335954823 3043477911 2320459863 1642635686 709550725 2720468314 2143270110 3209294828 278576548 4117834274 610467230 3978922501 529398394 3935018121 3446857869 2939811012 4015668454 663755784 2545358280 3873980052 1010341289 909185953 2043800144 115853031 20299237 3714736216 434125562 2348122312 3498736860 2486504839 2697842417 1818011816 4200497163 839343611 793385180 1412109879 809805615 63243822 275155423 929730344 1040029817 1079178992 3435628238 892053036 3885699213 1798801788 1036826222 1331463874 3437496771 3324898123 2920172110 2088279967 1538143163 1879578497 3465647384 1529465067 3850552367 1637224607 376084481 3546448586 1013306879 2152761823 2726276875 38105650 1098328251 1247410316 1719124244 1512028186 3702101367 3113159462 4141614130 1496497808 1049043692 2092006253 1056406392 3788460884 1268277603 3168739015 1297440231 2595738660 1708540469 3462237065 3831507804 2105283169 1044104949 741712675 3369083536 1745182722 2017488194 1085348274 1261385933 2892204568 3873286604 3089380539 3256982179 2628810372 1599634925 204488512 1233448672 1959198706 2292752653 2604909045 1512290013 1042835854 1778930254 1496707099 991542296 3839056980 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	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.09/0.19	c  0.0s |       0 |        0 |        0 |     1580      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     1828 |        1 |     1580      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.005s
0.19/0.20	c #wall_clock_time = 0.005s
0.19/0.20	c #decision = 1828
0.19/0.20	c #random_decision = 3
0.19/0.20	c #conflict = 1
0.19/0.20	c #restart = 0
0.19/0.20	o 459
0.19/0.20	c BCD2: updating upper bound: 91107 -> 458
0.19/0.21	c BCD2: 0 <= obj <= 458
0.19/0.21	c BCD2: #cores=0, #unrelaxed=1802, #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 |     1580      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     1983 |      100 |     1739      0 |        0 |        0
0.19/0.27	c  0.1s |       2 |     4005 |      250 |     1739      0 |        0 |        0
0.29/0.32	c  0.1s |       3 |     6198 |      475 |     1913      0 |        0 |        0
0.29/0.38	c  0.2s |       4 |     8513 |      813 |     2105      0 |        0 |        0
0.49/0.55	c  0.3s |       5 |    11047 |     1320 |     2316      0 |        0 |        0
0.69/0.79	c  0.6s |       6 |    13960 |     2081 |     2803      0 |        0 |        0
1.10/1.20	c  1.0s |       7 |    17372 |     3223 |     3084      0 |        0 |        0
1.89/1.92	c  1.7s |       8 |    21504 |     4936 |     3393      1 |        0 |        0
3.09/3.13	c  2.9s |       9 |    26835 |     7506 |     3733      2 |        0 |        0
5.19/5.22	c  5.0s |       9 |    32870 |    10706 |     3733      3 |        0 |        0
5.50/5.60	c  5.4s |      10 |    33762 |    11361 |     4107      3 |        0 |        0
7.59/7.60	c  7.4s |      10 |    39609 |    14361 |     4107      4 |        0 |        0
9.69/9.71	c  9.5s |      10 |    42465 |    16661 |     4107      5 |        0 |        0
10.00/10.06	c  9.8s |      11 |    43077 |    17144 |     4518      5 |        0 |        0
12.10/12.12	c 11.9s |      11 |    48096 |    19644 |     4518      6 |        0 |        0
14.09/14.15	c 13.9s |      11 |    50770 |    21744 |     4518      7 |        0 |        0
16.09/16.18	c 16.0s |      11 |    55979 |    25444 |     4518      8 |        0 |        0
16.29/16.39	c 16.2s |      12 |    56513 |    25819 |     4970      8 |        0 |        0
18.39/18.45	c 18.2s |      12 |    62880 |    29019 |     4970      9 |        0 |        0
20.39/20.46	c 20.2s |      12 |    67215 |    32119 |     4970     10 |        0 |        0
22.49/22.51	c 22.3s |      12 |    72628 |    35719 |     4970     11 |        0 |        0
24.09/24.18	c 24.0s |      13 |    77615 |    38832 |     5467     12 |        0 |        0
26.18/26.25	c 26.0s |      13 |    83331 |    41432 |     5467     12 |        0 |        0
28.18/28.28	c 28.1s |      13 |    87337 |    44032 |     5467     13 |        0 |        0
30.29/30.33	c 30.1s |      13 |    90007 |    45932 |     5467     14 |        0 |        0
32.39/32.44	c 32.2s |      13 |    93070 |    47832 |     5467     14 |        0 |        0
34.38/34.48	c 34.3s |      13 |    96522 |    50132 |     5467     15 |        0 |        0
36.39/36.49	c 36.3s |      13 |   100657 |    52732 |     5467     15 |        0 |        0
38.50/38.56	c 38.3s |      13 |   104196 |    54932 |     5467     16 |        0 |        0
40.59/40.63	c 40.4s |      13 |   107344 |    56732 |     5467     17 |        0 |        0
41.19/41.29	c 41.1s |      13 |   108270 |    57308 |     5467     17 |        0 |        0
41.19/41.29	c #cpu_time = 40.974s
41.19/41.29	c #wall_clock_time = 41.079s
41.19/41.29	c #decision = 108270
41.19/41.29	c #random_decision = 75
41.19/41.29	c #conflict = 57308
41.19/41.29	c #restart = 13
41.19/41.30	c BCD2: found a new core of size 1722: cost of the new core is >=1
41.19/41.30	c lower bound updated to 1
41.29/41.30	c BCD2: 1 <= obj <= 458
41.29/41.30	c BCD2: #cores=1, #unrelaxed=80, #relaxed=1722, #hardened=0
41.29/41.30	c BCD2: #sat=1 #unsat=2 bias=2/3
41.29/41.30	c Solving starts ...
41.29/41.30	c ============================[ Search Statistics ]============================
41.29/41.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
41.29/41.30	c       |         |          |          |    Limit     GC | Var      | Constra 
41.29/41.30	c =============================================================================
41.29/41.30	c  0.0s |       0 |        0 |        0 |     5467      0 |        0 |        0
41.29/41.36	c  0.1s |       0 |     1852 |        1 |     5467      0 |        0 |        0
41.29/41.36	c #cpu_time = 0.058s
41.29/41.36	c #wall_clock_time = 0.058s
41.29/41.36	c #decision = 1852
41.29/41.36	c #random_decision = 6
41.29/41.36	c #conflict = 1
41.29/41.36	c #restart = 0
41.29/41.36	o 50
41.29/41.36	c BCD2: hardening fixes 919 literals
41.29/41.37	c BCD2: updating upper bound: 458 -> 49
41.29/41.37	c BCD2: 1 <= obj <= 49
41.29/41.37	c BCD2: #cores=1, #unrelaxed=42, #relaxed=841, #hardened=919
41.29/41.37	c BCD2: #sat=2 #unsat=2 bias=2/4
41.29/41.37	c Solving starts ...
41.29/41.37	c ============================[ Search Statistics ]============================
41.29/41.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
41.29/41.37	c       |         |          |          |    Limit     GC | Var      | Constra 
41.29/41.37	c =============================================================================
41.29/41.37	c  0.0s |       0 |        0 |        0 |     5467      0 |      919 |        1
41.49/41.51	c  0.1s |       1 |      254 |      100 |     5467      0 |      919 |        1
41.59/41.68	c  0.3s |       2 |      595 |      250 |     5467      0 |      919 |        1
41.89/41.92	c  0.5s |       3 |      998 |      475 |     5467      0 |      919 |        1
42.18/42.20	c  0.8s |       4 |     1555 |      813 |     6014      0 |      919 |        1
42.28/42.35	c  1.0s |       4 |     1792 |      918 |     6014      0 |      919 |        1
42.28/42.35	c #cpu_time = 0.977s
42.28/42.35	c #wall_clock_time = 0.980s
42.28/42.35	c #decision = 1792
42.28/42.35	c #random_decision = 0
42.28/42.35	c #conflict = 918
42.28/42.35	c #restart = 4
42.28/42.35	o 20
42.28/42.35	c BCD2: hardening fixes 540 literals
42.28/42.35	c BCD2: updating upper bound: 49 -> 19
42.28/42.35	c BCD2: 1 <= obj <= 19
42.28/42.35	c BCD2: #cores=1, #unrelaxed=14, #relaxed=329, #hardened=1459
42.28/42.35	c BCD2: #sat=3 #unsat=2 bias=2/5
42.28/42.36	c Solving starts ...
42.28/42.36	c ============================[ Search Statistics ]============================
42.28/42.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
42.28/42.36	c       |         |          |          |    Limit     GC | Var      | Constra 
42.28/42.36	c =============================================================================
42.28/42.36	c  0.0s |       0 |        0 |        0 |     6014      0 |     1459 |        2
42.38/42.46	c  0.1s |       1 |      159 |      100 |     6014      0 |     1459 |        2
42.48/42.59	c  0.2s |       2 |      407 |      250 |     6014      0 |     1459 |        2
42.68/42.76	c  0.4s |       3 |      760 |      475 |     6014      0 |     1459 |        2
42.99/43.01	c  0.7s |       4 |     1344 |      813 |     6014      0 |     1459 |        2
43.19/43.23	c  0.9s |       4 |     1910 |     1181 |     6014      0 |     1459 |        2
43.19/43.23	c #cpu_time = 0.873s
43.19/43.23	c #wall_clock_time = 0.876s
43.19/43.23	c #decision = 1910
43.19/43.23	c #random_decision = 1
43.19/43.23	c #conflict = 1181
43.19/43.23	c #restart = 4
43.19/43.23	o 10
43.19/43.23	c BCD2: hardening fixes 195 literals
43.19/43.23	c BCD2: updating upper bound: 19 -> 9
43.19/43.23	c BCD2: 1 <= obj <= 9
43.19/43.23	c BCD2: #cores=1, #unrelaxed=7, #relaxed=141, #hardened=1654
43.19/43.23	c BCD2: #sat=4 #unsat=2 bias=2/6
43.19/43.23	c Solving starts ...
43.19/43.23	c ============================[ Search Statistics ]============================
43.19/43.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
43.19/43.23	c       |         |          |          |    Limit     GC | Var      | Constra 
43.19/43.23	c =============================================================================
43.19/43.23	c  0.0s |       0 |        0 |        0 |     6014      0 |     1654 |        3
43.29/43.34	c  0.1s |       1 |      171 |      100 |     6014      0 |     1654 |        3
43.39/43.46	c  0.2s |       2 |      390 |      250 |     6014      0 |     1654 |        3
43.59/43.62	c  0.4s |       3 |      705 |      475 |     6014      0 |     1654 |        3
43.79/43.84	c  0.6s |       4 |     1182 |      813 |     6014      0 |     1654 |        3
43.99/44.00	c  0.8s |       4 |     1587 |     1060 |     6014      0 |     1654 |        3
43.99/44.00	c #cpu_time = 0.767s
43.99/44.00	c #wall_clock_time = 0.768s
43.99/44.00	c #decision = 1587
43.99/44.00	c #random_decision = 2
43.99/44.00	c #conflict = 1060
43.99/44.00	c #restart = 4
43.99/44.00	o 4
43.99/44.00	c BCD2: hardening fixes 93 literals
43.99/44.00	c BCD2: updating upper bound: 9 -> 3
43.99/44.00	c BCD2: 1 <= obj <= 3
43.99/44.00	c BCD2: #cores=1, #unrelaxed=4, #relaxed=51, #hardened=1747
43.99/44.00	c BCD2: #sat=5 #unsat=2 bias=2/7
43.99/44.01	c Solving starts ...
43.99/44.01	c ============================[ Search Statistics ]============================
43.99/44.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
43.99/44.01	c       |         |          |          |    Limit     GC | Var      | Constra 
43.99/44.01	c =============================================================================
43.99/44.01	c  0.0s |       0 |        0 |        0 |     6014      0 |     1747 |        4
43.99/44.10	c  0.1s |       1 |      156 |      100 |     6014      0 |     1747 |        5
44.19/44.24	c  0.2s |       2 |      372 |      250 |     6014      0 |     1747 |        5
44.29/44.39	c  0.4s |       3 |      706 |      475 |     6014      0 |     1747 |        5
44.59/44.68	c  0.7s |       4 |     1268 |      813 |     6014      1 |     1747 |        5
44.69/44.75	c  0.7s |       4 |     1515 |      964 |     6014      1 |     1747 |        5
44.69/44.75	c #cpu_time = 0.741s
44.69/44.75	c #wall_clock_time = 0.742s
44.69/44.75	c #decision = 1515
44.69/44.75	c #random_decision = 7
44.69/44.75	c #conflict = 964
44.69/44.75	c #restart = 4
44.69/44.75	o 1
44.69/44.75	s OPTIMUM FOUND
44.69/44.75	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
44.69/44.75	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20
44.69/44.75	v x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
44.69/44.75	v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40
44.69/44.75	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
44.69/44.75	v x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60
44.69/44.75	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
44.69/44.75	v -x71 -x72 -x73 -x74 -x75 x76 -x77 x78 -x79 -x80
44.69/44.75	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
44.69/44.75	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
44.69/44.75	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
44.69/44.75	v -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120
44.69/44.75	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
44.69/44.75	v -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
44.69/44.75	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150
44.69/44.75	v -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160
44.69/44.75	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
44.69/44.75	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
44.69/44.75	v -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190
44.69/44.75	v -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
44.69/44.75	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
44.69/44.75	v x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
44.69/44.75	v -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230
44.69/44.75	v -x231
44.69/44.75	c total CPU time = 44.638s
44.69/44.75	c total wall clock time = 44.752s

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

pid=8359
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.31 2.29 2.05 3/179 8362
/proc/meminfo: memFree=29058128/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 2880 0 0 0 0 0 0 0 20 0 4 0 36451847 788983808 3241 33554432000 4194304 16246674 140735885684384 140735885683808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 193135 3252 441 2943 0 190029 0
[pid=8362/tid=8363] ppid=8359 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 806809600 3309 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 811003904 3325 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36451847 815198208 3340 33554432000 4194304 16246674 140735885684384 139902568090800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100209 s]
/proc/loadavg: 2.31 2.29 2.05 3/179 8362
/proc/meminfo: memFree=29058128/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 24855 0 0 0 6 3 0 0 20 0 4 0 36451847 1247350784 25209 33554432000 4194304 16246674 140735885684384 140735885683808 12500869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 304529 25210 619 2943 0 301423 0
[pid=8362/tid=8363] ppid=8359 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1247350784 25212 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1247350784 25215 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36451847 1247350784 25219 33554432000 4194304 16246674 140735885684384 139902568090800 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.20049 s]
/proc/loadavg: 2.31 2.29 2.05 3/179 8362
/proc/meminfo: memFree=29058128/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 33055 0 0 0 16 3 0 0 20 0 4 0 36451847 1250496512 33363 33554432000 4194304 16246674 140735885684384 140735885683696 5984255 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 305297 33363 914 2943 0 302191 0
[pid=8362/tid=8363] ppid=8359 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1250496512 33363 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1250496512 33363 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1250496512 33363 33554432000 4194304 16246674 140735885684384 139902568090800 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.300472 s]
/proc/loadavg: 2.31 2.29 2.05 3/179 8362
/proc/meminfo: memFree=29058128/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 51157 0 0 0 24 5 0 0 20 0 4 0 36451847 1334382592 51465 33554432000 4194304 16246674 140735885684384 140735885666304 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 325777 51474 922 2943 0 322671 0
[pid=8362/tid=8363] ppid=8359 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1334382592 51477 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1334382592 51482 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1334382592 51485 33554432000 4194304 16246674 140735885684384 139902568090800 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) 1303108

[startup+0.700384 s]
/proc/loadavg: 2.31 2.29 2.05 3/179 8362
/proc/meminfo: memFree=29058128/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 106502 0 0 0 54 15 0 0 20 0 4 0 36451847 1338576896 106810 33554432000 4194304 16246674 140735885684384 140735885666304 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 326801 106810 924 2943 0 323695 0
[pid=8362/tid=8363] ppid=8359 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1338576896 106810 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1338576896 106810 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1338576896 106810 33554432000 4194304 16246674 140735885684384 139902568090800 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.50037 s]
/proc/loadavg: 2.31 2.29 2.05 3/183 8366
/proc/meminfo: memFree=28631828/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 139329 0 0 0 131 18 0 0 20 0 4 0 36451847 1338576896 139637 33554432000 4194304 16246674 140735885684384 140735885666304 5545721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 326801 139637 930 2943 0 323695 0
[pid=8362/tid=8363] ppid=8359 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1338576896 139637 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1338576896 139637 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1338576896 139637 33554432000 4194304 16246674 140735885684384 139902568090800 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.10041 s]
/proc/loadavg: 2.31 2.29 2.05 3/183 8366
/proc/meminfo: memFree=28500016/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 139430 0 0 0 291 18 0 0 20 0 4 0 36451847 1339625472 139738 33554432000 4194304 16246674 140735885684384 140735885667384 5672848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 327057 139738 931 2943 0 323951 0
[pid=8362/tid=8363] ppid=8359 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1339625472 139738 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1339625472 139738 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1339625472 139738 33554432000 4194304 16246674 140735885684384 139902568090800 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.29 2.28 2.05 3/183 8366
/proc/meminfo: memFree=28497940/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 140099 0 0 0 610 19 0 0 20 0 4 0 36451847 1341722624 140407 33554432000 4194304 16246674 140735885684384 140735885683560 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 327569 140407 932 2943 0 324463 0
[pid=8362/tid=8363] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 140407 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 140407 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 140407 33554432000 4194304 16246674 140735885684384 139902568090800 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.26 2.28 2.05 4/183 8366
/proc/meminfo: memFree=28498336/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 140099 0 0 0 1250 19 0 0 20 0 4 0 36451847 1341722624 140407 33554432000 4194304 16246674 140735885684384 140735885666304 6021328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 327569 140407 932 2943 0 324463 0
[pid=8362/tid=8363] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 140407 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 140407 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 140407 33554432000 4194304 16246674 140735885684384 139902568090800 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) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.27 2.28 2.06 3/183 8366
/proc/meminfo: memFree=28495472/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1310276 CPUtime=25.48 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 140099 0 0 0 2529 19 0 0 20 0 4 0 36451847 1341722624 141415 33554432000 4194304 16246674 140735885684384 140735885666304 12466784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 327569 141415 932 2943 0 324463 0
[pid=8362/tid=8363] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 141415 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 141415 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 141415 33554432000 4194304 16246674 140735885684384 139902568090800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

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

[startup+25.6005 s]
/proc/loadavg: 2.27 2.28 2.06 3/183 8366
/proc/meminfo: memFree=28495472/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1310276 CPUtime=25.58 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 140099 0 0 0 2539 19 0 0 20 0 4 0 36451847 1341722624 141415 33554432000 4194304 16246674 140735885684384 140735885666304 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 327569 141415 932 2943 0 324463 0
[pid=8362/tid=8363] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 141415 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 141415 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1341722624 141415 33554432000 4194304 16246674 140735885684384 139902568090800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 1310276

[startup+38.4004 s]
/proc/loadavg: 2.23 2.27 2.06 3/183 8366
/proc/meminfo: memFree=28477800/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1312324 CPUtime=38.39 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 140408 0 0 0 3818 21 0 0 20 0 4 0 36451847 1343819776 145756 33554432000 4194304 16246674 140735885684384 140735885683560 6021162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 328081 145756 932 2943 0 324975 0
[pid=8362/tid=8363] ppid=8359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1343819776 145756 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1343819776 145756 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1343819776 145756 33554432000 4194304 16246674 140735885684384 139902568090800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 1312324

[startup+41.6004 s]
/proc/loadavg: 2.21 2.27 2.06 3/183 8366
/proc/meminfo: memFree=28478048/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1312324 CPUtime=41.59 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 140417 0 0 0 4138 21 0 0 20 0 4 0 36451847 1343819776 145765 33554432000 4194304 16246674 140735885684384 140735885683560 5545704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 328081 145765 941 2943 0 324975 0
[pid=8362/tid=8363] ppid=8359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1343819776 145765 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1343819776 145765 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1343819776 145765 33554432000 4194304 16246674 140735885684384 139902568090800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 41.59
Current children cumulated vsize (KiB) 1312324

[startup+43.2004 s]
/proc/loadavg: 2.21 2.27 2.06 3/183 8366
/proc/meminfo: memFree=28045288/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1313348 CPUtime=43.19 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 264347 0 0 0 4283 36 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 140735885666304 12478347 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 328337 269695 941 2943 0 325231 0
[pid=8362/tid=8363] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902568090800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 43.19
Current children cumulated vsize (KiB) 1313348

[startup+44.0004 s]
/proc/loadavg: 2.21 2.27 2.06 3/183 8366
/proc/meminfo: memFree=27982668/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1313348 CPUtime=43.99 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 264347 0 0 0 4363 36 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 140735885666304 5822472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 328337 269695 941 2943 0 325231 0
[pid=8362/tid=8363] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902568090800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 43.99
Current children cumulated vsize (KiB) 1313348

[startup+44.4004 s]
/proc/loadavg: 2.21 2.27 2.06 3/183 8366
/proc/meminfo: memFree=27982668/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=1313348 CPUtime=44.39 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202496 264347 0 0 0 4403 36 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 140735885666304 5532363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 328337 269695 941 2943 0 325231 0
[pid=8362/tid=8363] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8363/stat : 8363 (toysat) S 8359 8362 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902589054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8362/tid=8364] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8364/stat : 8364 (toysat) S 8359 8362 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902578564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8362/tid=8365] ppid=8359 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8362/task/8365/stat : 8365 (toysat) S 8359 8362 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36451847 1344868352 269695 33554432000 4194304 16246674 140735885684384 139902568090800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 44.39
Current children cumulated vsize (KiB) 1313348

[startup+44.8004 s]
/proc/loadavg: 2.21 2.27 2.06 3/183 8366
/proc/meminfo: memFree=27982668/32872528 swapFree=1431120/1543540
[pid=8362] ppid=8359 vsize=0 CPUtime=44.78 cores=0,2,4,6
/proc/8362/stat : 8362 (toysat) R 8359 8362 7726 0 -1 4202500 264349 0 0 0 4438 40 0 0 20 0 1 0 36451847 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8362/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 44.78
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 44.8127
CPU time (s): 44.8062
CPU user time (s): 44.3853
CPU system time (s): 0.420936
CPU usage (%): 99.9855
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.3853
system time used= 0.420936
maximum resident set size= 1078784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 50

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.116982 second user time and 0.171973 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-19 15:47:11
IDJOB=4109766
IDBENCH=78917
IDSOLVER=2553
FILE ID=node116/4109766-1466344031
RUNJOBID= node116-1466341822-7742
PBS_JOBID= 19922036
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= 124472bd94dbe4a4a7a86c80941ffe16
RANDOM SEED=992352406

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.781
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.781
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.54
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.781
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.55
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.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29058508 kB
Buffers:          142908 kB
Cached:           281956 kB
SwapCached:         2316 kB
Active:          1254244 kB
Inactive:         262620 kB
Active(anon):    1090040 kB
Inactive(anon):     3928 kB
Active(file):     164204 kB
Inactive(file):   258692 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2697776 kB
Mapped:            12224 kB
Shmem:                 0 kB
Slab:             616272 kB
SReclaimable:      60328 kB
SUnreclaim:       555944 kB
KernelStack:        1520 kB
PageTables:         9232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2774280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1257472 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= 71660 MiB
End job on node116 at 2016-06-19 15:47:56