Trace number 4109466

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 22.1736 22.1786

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo
MD5SUM933a31389d3b5781af16184cd4c2b51e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark3.9224
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints29
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1556
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1555
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1237
Number of bits of the biggest sum of numbers11
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:42:37+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-4109466-1466343757.wbo"]
0.00/0.01	c use --random-gen="3194691465 3096370863 3131598374 3097469495 284129243 4236747411 2067730278 72247485 3233428607 509598171 3835147640 954398159 886563208 3953130612 3705191996 3462033614 2165245753 4118167508 1303083130 2036973637 463475689 2019713841 2834867839 903212275 2468409892 3247439415 1733419375 2026635624 4117606119 1641287353 2709291525 2343598151 3534312027 560014889 1358777556 100132002 4050562353 3577696392 697048886 3912992109 3059153973 3235275325 2125489805 1997819517 804683559 3269866146 3401954721 271077919 636387025 481966444 2612186386 1479409602 3695488371 1445141316 3095080177 1930204203 1759756225 52263825 3973227262 1559044210 586848708 1228269761 2806454690 351514400 3046569970 1948317481 2011755513 36632029 2068362587 3968174726 3707860804 1698048044 2655689594 4168211708 1439699015 1699730329 715490333 2849080642 1800025936 4084253295 2339231859 1325217599 2698175553 1437721308 1764168023 1932149973 4897709 2088743331 2829502266 3239205996 2217724847 186895152 2112763144 1273938978 553514564 2339388604 2394383460 2968411009 4171508019 349279085 1774548737 3257589029 2974923222 2477947805 654821507 4073794866 3998379347 2982445891 3801666096 4275189382 277491490 4201887777 1316262984 3553483729 1872759714 4234569681 2573340279 3656607051 3231406137 498989705 47418086 2279255348 204430292 3650615691 3586278256 2971482214 4021015570 1611160537 2419514311 2740624259 3126259528 1558570782 2661267547 4019489281 2321209139 3425724684 4241929238 2871881098 854437916 3770225000 1661350513 379027664 2278069278 3974667387 366552354 1647056994 2989782481 1676076202 2289384789 1707957455 1908678953 3199256404 1669585735 357193053 2278448494 236700619 3127796775 1396210751 3325337162 3409956147 774968852 3952637479 4108665687 868014759 59098648 593186094 4205757669 976166271 3154588079 3837745142 3783268723 1781151069 2953014685 182350169 2755596816 3803213219 2230590017 902050244 818780884 2978346942 1608828738 3090763294 2285543719 3220341202 3856258790 3247741244 2347116488 3731888126 610044455 3090020108 607162975 519389309 4236478696 3932782577 1199821742 189786082 3596204268 3414052166 730059524 2597366642 3106397024 2969392473 3226030882 1623121026 4270631296 1075076749 2223108928 3682005116 77584806 3372319472 2530398638 2954451088 648297069 1460539024 766067668 1819322314 3177700345 1927661940 3714448239 3730774056 2622646483 765617851 3173533268 541776802 1523142631 3003655926 2533842390 101571449 3824372572 968096602 1376955431 3134009135 756564588 236116690 571228134 3596235260 1567712879 3600398775 1886497832 4008247127 913765700 3770127216 1585624310 2461199223 1110378265 905734494 4100766695 2420296432 818928972 2281451866 3374135133 3401375075 218162787 3283075203 3409304694 4235366756 255 362436" option to reproduce the execution
0.19/0.24	c #vars 169
0.19/0.24	c #constraints 101
0.19/0.25	c BCD2: Hardening is enabled.
0.19/0.25	c BCD2: BiasedSearch is enabled.
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |       99      0 |        0 |        0
0.19/0.26	c  0.0s |       1 |      203 |      100 |       99      0 |        0 |        0
0.19/0.28	c  0.0s |       2 |      474 |      250 |      109      1 |        0 |        0
0.19/0.29	c  0.0s |       2 |      653 |      340 |      120      2 |        0 |        0
0.19/0.29	c #cpu_time = 0.045s
0.19/0.29	c #wall_clock_time = 0.045s
0.19/0.29	c #decision = 653
0.19/0.29	c #random_decision = 0
0.19/0.29	c #conflict = 340
0.19/0.29	c #restart = 2
0.19/0.29	o 376
0.19/0.29	c BCD2: updating upper bound: 1555 -> 375
0.19/0.29	c BCD2: 0 <= obj <= 375
0.19/0.29	c BCD2: #cores=0, #unrelaxed=29, #relaxed=0, #hardened=0
0.19/0.29	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.29	c Solving starts ...
0.19/0.29	c ============================[ Search Statistics ]============================
0.19/0.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.29	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.29	c =============================================================================
0.19/0.29	c  0.0s |       0 |        0 |        0 |      120      0 |        0 |        0
0.29/0.31	c  0.0s |       1 |      204 |      100 |      120      1 |        0 |        0
0.29/0.33	c  0.0s |       2 |      491 |      250 |      132      2 |        0 |        0
0.29/0.37	c  0.1s |       3 |      916 |      475 |      132      5 |        0 |        0
0.39/0.42	c  0.1s |       4 |     1507 |      813 |      146      7 |        0 |        0
0.49/0.50	c  0.2s |       5 |     2330 |     1320 |      161     11 |        0 |        0
0.59/0.61	c  0.3s |       6 |     3546 |     2081 |      178     17 |        0 |        0
0.69/0.78	c  0.5s |       7 |     5325 |     3223 |      196     25 |        0 |        0
0.99/1.06	c  0.8s |       8 |     7991 |     4936 |      216     36 |        0 |        0
1.38/1.47	c  1.2s |       9 |    11818 |     7506 |      238     52 |        0 |        0
1.89/1.94	c  1.6s |      10 |    17345 |    11361 |      262     74 |        0 |        0
2.59/2.62	c  2.3s |      11 |    25545 |    17144 |      289    105 |        0 |        0
3.59/3.66	c  3.4s |      12 |    38096 |    25819 |      318    149 |        0 |        0
5.09/5.18	c  4.9s |      13 |    56416 |    38832 |      350    210 |        0 |        0
7.09/7.19	c  6.9s |      13 |    80693 |    55632 |      350    285 |        0 |        0
7.49/7.52	c  7.2s |      14 |    84688 |    58352 |      386    297 |        0 |        0
9.49/9.52	c  9.2s |      14 |   109028 |    75252 |      386    367 |        0 |        0
10.89/10.91	c 10.6s |      14 |   125197 |    86292 |      386    415 |        0 |        0
10.89/10.91	c #cpu_time = 10.613s
10.89/10.91	c #wall_clock_time = 10.612s
10.89/10.91	c #decision = 125197
10.89/10.91	c #random_decision = 307
10.89/10.91	c #conflict = 86292
10.89/10.91	c #restart = 14
10.89/10.91	c BCD2: found a new core of size 29: cost of the new core is >=1
10.89/10.91	c lower bound updated to 1
10.89/10.91	c BCD2: 1 <= obj <= 375
10.89/10.91	c BCD2: #cores=1, #unrelaxed=0, #relaxed=29, #hardened=0
10.89/10.91	c BCD2: #sat=1 #unsat=2 bias=2/3
10.89/10.91	c Solving starts ...
10.89/10.91	c ============================[ Search Statistics ]============================
10.89/10.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.89/10.91	c       |         |          |          |    Limit     GC | Var      | Constra 
10.89/10.91	c =============================================================================
10.89/10.91	c  0.0s |       0 |        0 |        0 |      386      0 |        0 |        0
10.89/10.92	c  0.0s |       1 |      256 |      100 |      386      0 |        0 |        0
10.89/10.94	c  0.0s |       2 |      503 |      250 |      386      1 |        0 |        0
10.89/10.95	c  0.0s |       2 |      681 |      363 |      386      1 |        0 |        0
10.89/10.95	c #cpu_time = 0.042s
10.89/10.95	c #wall_clock_time = 0.042s
10.89/10.95	c #decision = 681
10.89/10.95	c #random_decision = 2
10.89/10.95	c #conflict = 363
10.89/10.95	c #restart = 2
10.89/10.95	o 371
10.89/10.95	c BCD2: updating upper bound: 375 -> 370
10.89/10.95	c BCD2: 1 <= obj <= 370
10.89/10.95	c BCD2: #cores=1, #unrelaxed=0, #relaxed=29, #hardened=0
10.89/10.95	c BCD2: #sat=2 #unsat=2 bias=2/4
10.89/10.95	c Solving starts ...
10.89/10.95	c ============================[ Search Statistics ]============================
10.89/10.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.89/10.95	c       |         |          |          |    Limit     GC | Var      | Constra 
10.89/10.95	c =============================================================================
10.89/10.95	c  0.0s |       0 |        0 |        0 |      386      0 |        0 |        2
10.89/10.96	c  0.0s |       1 |      160 |      100 |      425      0 |        0 |        2
10.89/10.98	c  0.0s |       2 |      401 |      250 |      425      1 |        0 |        2
10.89/11.00	c  0.1s |       3 |      758 |      475 |      425      2 |        0 |        2
11.00/11.04	c  0.1s |       4 |     1317 |      813 |      425      3 |        0 |        2
11.10/11.11	c  0.2s |       5 |     2131 |     1320 |      425      6 |        0 |        2
11.10/11.19	c  0.2s |       6 |     3416 |     2081 |      425      9 |        0 |        2
11.29/11.32	c  0.4s |       7 |     5291 |     3223 |      425     14 |        0 |        2
11.49/11.50	c  0.6s |       8 |     8299 |     4936 |      425     21 |        0 |        2
11.69/11.78	c  0.8s |       9 |    12320 |     7506 |      425     31 |        0 |        2
12.10/12.19	c  1.2s |       9 |    18074 |    11255 |      425     46 |        0 |        2
12.10/12.19	c #cpu_time = 1.243s
12.10/12.19	c #wall_clock_time = 1.243s
12.10/12.19	c #decision = 18074
12.10/12.19	c #random_decision = 56
12.10/12.19	c #conflict = 11255
12.10/12.19	c #restart = 9
12.10/12.19	o 182
12.10/12.19	c BCD2: updating upper bound: 370 -> 181
12.10/12.19	c BCD2: 1 <= obj <= 181
12.10/12.19	c BCD2: #cores=1, #unrelaxed=0, #relaxed=29, #hardened=0
12.10/12.19	c BCD2: #sat=3 #unsat=2 bias=2/5
12.10/12.19	c Solving starts ...
12.10/12.19	c ============================[ Search Statistics ]============================
12.10/12.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.10/12.19	c       |         |          |          |    Limit     GC | Var      | Constra 
12.10/12.19	c =============================================================================
12.10/12.19	c  0.0s |       0 |        0 |        0 |      425      0 |        0 |        4
12.20/12.20	c  0.0s |       1 |      147 |      100 |      425      0 |        0 |        4
12.20/12.22	c  0.0s |       2 |      390 |      250 |      425      1 |        0 |        4
12.20/12.25	c  0.1s |       3 |      749 |      475 |      425      2 |        0 |        4
12.20/12.29	c  0.1s |       4 |     1299 |      813 |      425      3 |        0 |        4
12.29/12.34	c  0.2s |       5 |     2021 |     1320 |      425      5 |        0 |        4
12.39/12.43	c  0.2s |       6 |     3067 |     2081 |      425      8 |        0 |        4
12.49/12.55	c  0.4s |       7 |     4767 |     3223 |      425     13 |        0 |        4
12.69/12.73	c  0.5s |       8 |     7527 |     4936 |      425     20 |        0 |        4
12.99/13.00	c  0.8s |       9 |    11542 |     7506 |      425     30 |        0 |        4
13.39/13.42	c  1.2s |      10 |    17069 |    11361 |      425     45 |        0 |        4
13.99/14.02	c  1.8s |      11 |    25564 |    17144 |      425     68 |        0 |        4
13.99/14.06	c  1.9s |      11 |    26157 |    17519 |      425     69 |        0 |        4
13.99/14.06	c #cpu_time = 1.865s
13.99/14.06	c #wall_clock_time = 1.865s
13.99/14.06	c #decision = 26157
13.99/14.06	c #random_decision = 71
13.99/14.06	c #conflict = 17519
13.99/14.06	c #restart = 11
13.99/14.06	o 19
13.99/14.06	c BCD2: hardening fixes 25 literals
13.99/14.06	c BCD2: updating upper bound: 181 -> 18
13.99/14.06	c BCD2: 1 <= obj <= 18
13.99/14.06	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=25
13.99/14.06	c BCD2: #sat=4 #unsat=2 bias=2/6
13.99/14.06	c Solving starts ...
13.99/14.06	c ============================[ Search Statistics ]============================
13.99/14.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.99/14.06	c       |         |          |          |    Limit     GC | Var      | Constra 
13.99/14.06	c =============================================================================
13.99/14.06	c  0.0s |       0 |        0 |        0 |      425      0 |       25 |        6
13.99/14.07	c  0.0s |       1 |      148 |      100 |      425      0 |       25 |        6
13.99/14.09	c  0.0s |       2 |      363 |      250 |      425      1 |       25 |        6
14.09/14.11	c  0.0s |       3 |      708 |      475 |      425      2 |       25 |        6
14.09/14.14	c  0.1s |       4 |     1210 |      813 |      425      3 |       25 |        6
14.09/14.19	c  0.1s |       5 |     1899 |     1320 |      425      5 |       25 |        6
14.19/14.27	c  0.2s |       6 |     2991 |     2081 |      425      8 |       25 |        6
14.30/14.38	c  0.3s |       7 |     4600 |     3223 |      425     12 |       25 |        6
14.49/14.55	c  0.5s |       8 |     7138 |     4936 |      425     19 |       25 |        6
14.79/14.81	c  0.8s |       9 |    10767 |     7506 |      425     28 |       25 |        6
15.09/15.19	c  1.1s |      10 |    16130 |    11361 |      425     43 |       25 |        6
15.69/15.79	c  1.7s |      11 |    24050 |    17144 |      468     64 |       25 |        6
16.60/16.69	c  2.6s |      12 |    36978 |    25819 |      468     95 |       25 |        6
17.79/17.83	c  3.8s |      12 |    51595 |    36009 |      468    133 |       26 |        8
17.79/17.83	c #cpu_time = 3.775s
17.79/17.83	c #wall_clock_time = 3.775s
17.79/17.83	c #decision = 51595
17.79/17.83	c #random_decision = 138
17.79/17.83	c #conflict = 36009
17.79/17.83	c #restart = 12
17.79/17.83	c BCD2: updating lower bound of a core
17.79/17.83	c BCD2: refineLB: 13 -> 14
17.79/17.83	c lower bound updated to 14
17.79/17.83	c BCD2: 14 <= obj <= 18
17.79/17.83	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=25
17.79/17.83	c BCD2: #sat=4 #unsat=3 bias=3/7
17.79/17.83	c Solving starts ...
17.79/17.83	c ============================[ Search Statistics ]============================
17.79/17.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
17.79/17.83	c       |         |          |          |    Limit     GC | Var      | Constra 
17.79/17.83	c =============================================================================
17.79/17.83	c  0.0s |       0 |        0 |        0 |      468      0 |       26 |        8
17.79/17.84	c  0.0s |       1 |      160 |      100 |      468      0 |       26 |        8
17.79/17.86	c  0.0s |       2 |      375 |      250 |      468      0 |       26 |        8
17.79/17.88	c  0.1s |       3 |      732 |      475 |      468      1 |       26 |        8
17.89/17.92	c  0.1s |       4 |     1254 |      813 |      468      2 |       26 |        8
17.89/17.97	c  0.1s |       5 |     1942 |     1320 |      468      4 |       26 |        8
17.99/18.05	c  0.2s |       6 |     3018 |     2081 |      468      7 |       26 |        8
18.09/18.17	c  0.3s |       7 |     4627 |     3223 |      468     11 |       26 |        8
18.29/18.35	c  0.5s |       8 |     7188 |     4936 |      468     17 |       26 |        8
18.59/18.61	c  0.8s |       9 |    10807 |     7506 |      468     25 |       26 |        8
18.99/19.00	c  1.2s |      10 |    16222 |    11361 |      468     39 |       26 |        8
19.49/19.58	c  1.7s |      11 |    24410 |    17144 |      468     59 |       26 |        8
20.39/20.48	c  2.6s |      12 |    36833 |    25819 |      468     89 |       26 |        8
21.79/21.89	c  4.1s |      13 |    55757 |    38832 |      468    136 |       26 |        8
22.09/22.11	c  4.3s |      13 |    58546 |    40740 |      468    143 |       27 |       10
22.09/22.11	c #cpu_time = 4.280s
22.09/22.11	c #wall_clock_time = 4.280s
22.09/22.11	c #decision = 58546
22.09/22.11	c #random_decision = 122
22.09/22.11	c #conflict = 40740
22.09/22.11	c #restart = 13
22.09/22.11	c BCD2: updating lower bound of a core
22.09/22.11	c BCD2: refineLB: 23 -> 24
22.09/22.11	c lower bound updated to 24
22.09/22.11	s OPTIMUM FOUND
22.09/22.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
22.09/22.11	v x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20
22.09/22.11	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
22.09/22.11	v -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
22.09/22.11	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50
22.09/22.11	v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
22.09/22.11	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
22.09/22.11	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80
22.09/22.11	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
22.09/22.11	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
22.09/22.11	v -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
22.09/22.11	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
22.09/22.11	v -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130
22.09/22.11	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
22.09/22.11	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
22.09/22.11	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
22.09/22.11	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169
22.09/22.11	c total CPU time = 22.118s
22.09/22.11	c total wall clock time = 22.117s

Verifier Data 

OK	19

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.12 1.83 2/179 5184
/proc/meminfo: memFree=30225140/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 2701 0 0 0 0 0 0 0 20 0 4 0 36425590 740749312 3062 33554432000 4194304 16246674 140737263523936 140737263523360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 181615 3072 441 2943 0 178509 0
[pid=5184/tid=5185] ppid=5181 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 759623680 3132 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 764866560 3151 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 769060864 3167 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.12 2.12 1.83 2/179 5184
/proc/meminfo: memFree=30225140/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 18343 0 0 0 7 2 0 0 20 0 4 0 36425590 1247350784 18697 33554432000 4194304 16246674 140737263523936 140737263523360 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 304529 18702 618 2943 0 301423 0
[pid=5184/tid=5185] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 18702 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 18703 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1247350784 18706 33554432000 4194304 16246674 140737263523936 139906412178608 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.200493 s]
/proc/loadavg: 2.12 2.12 1.83 2/179 5184
/proc/meminfo: memFree=30225140/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 26275 0 0 0 16 3 0 0 20 0 4 0 36425590 1247350784 26629 33554432000 4194304 16246674 140737263523936 140737263523360 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 304529 26632 618 2943 0 301423 0
[pid=5184/tid=5185] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 26637 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 26637 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1247350784 26641 33554432000 4194304 16246674 140737263523936 139906412178608 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) 1218116

[startup+0.300462 s]
/proc/loadavg: 2.12 2.12 1.83 2/179 5184
/proc/meminfo: memFree=30225140/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 36927 0 0 0 24 5 0 0 20 0 4 0 36425590 1247350784 37274 33554432000 4194304 16246674 140737263523936 140737263523360 6843278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 304529 37281 812 2943 0 301423 0
[pid=5184/tid=5185] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 37286 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 37292 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1247350784 37294 33554432000 4194304 16246674 140737263523936 139906412178608 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) 1218116

[startup+0.700387 s]
/proc/loadavg: 2.12 2.12 1.83 2/179 5184
/proc/meminfo: memFree=30225140/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 100899 0 0 0 54 15 0 0 20 0 4 0 36425590 1247350784 101246 33554432000 4194304 16246674 140737263523936 140737263523360 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 304529 101251 813 2943 0 301423 0
[pid=5184/tid=5185] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 101254 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 101260 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1247350784 101263 33554432000 4194304 16246674 140737263523936 139906412178608 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) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.12 2.12 1.83 3/183 5188
/proc/meminfo: memFree=29541580/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 239794 0 0 0 115 33 0 0 20 0 4 0 36425590 1247350784 240141 33554432000 4194304 16246674 140737263523936 140737263506928 13965592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 304529 240151 813 2943 0 301423 0
[pid=5184/tid=5185] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 240153 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1247350784 240156 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1247350784 240163 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.11 2.12 1.83 3/183 5188
/proc/meminfo: memFree=29241748/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1305156 CPUtime=3.09 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267319 0 0 0 272 37 0 0 20 0 4 0 36425590 1336479744 267644 33554432000 4194304 16246674 140737263523936 140737263505856 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326289 267644 872 2943 0 323183 0
[pid=5184/tid=5185] ppid=5181 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1336479744 267644 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1336479744 267644 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1336479744 267644 33554432000 4194304 16246674 140737263523936 139906412178608 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) 1305156

[startup+6.30036 s]
/proc/loadavg: 2.11 2.12 1.83 3/183 5188
/proc/meminfo: memFree=29154368/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267516 0 0 0 592 37 0 0 20 0 4 0 36425590 1337528320 267841 33554432000 4194304 16246674 140737263523936 140737263506936 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267841 872 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267841 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267841 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267841 33554432000 4194304 16246674 140737263523936 139906412178608 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.09 2.12 1.83 3/183 5188
/proc/meminfo: memFree=29154184/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267593 0 0 0 1232 37 0 0 20 0 4 0 36425590 1337528320 267918 33554432000 4194304 16246674 140737263523936 140737263505856 5523404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267918 882 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267918 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267918 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267918 33554432000 4194304 16246674 140737263523936 139906412178608 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) 1306180

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

[startup+12.8005 s]
/proc/loadavg: 2.09 2.12 1.83 3/183 5188
/proc/meminfo: memFree=29154184/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=12.79 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267593 0 0 0 1242 37 0 0 20 0 4 0 36425590 1337528320 267918 33554432000 4194304 16246674 140737263523936 140737263506936 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267918 882 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267918 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267918 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267918 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1306180

[startup+16.0004 s]
/proc/loadavg: 2.09 2.12 1.83 3/183 5188
/proc/meminfo: memFree=29154188/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=15.99 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267594 0 0 0 1562 37 0 0 20 0 4 0 36425590 1337528320 267919 33554432000 4194304 16246674 140737263523936 140737263506928 5711801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267919 883 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267919 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267919 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267919 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1306180

[startup+19.2004 s]
/proc/loadavg: 2.08 2.11 1.83 3/183 5188
/proc/meminfo: memFree=29153692/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=19.19 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267637 0 0 0 1882 37 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 140737263506936 5523404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267962 883 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 1306180

[startup+20.8004 s]
/proc/loadavg: 2.08 2.11 1.83 3/183 5188
/proc/meminfo: memFree=29153700/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=20.79 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267637 0 0 0 2042 37 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 140737263506936 5523352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267962 883 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 20.79
Current children cumulated vsize (KiB) 1306180

[startup+21.6004 s]
/proc/loadavg: 2.08 2.11 1.83 3/183 5188
/proc/meminfo: memFree=29154076/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=21.59 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267637 0 0 0 2122 37 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 140737263506936 6013156 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267962 883 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 21.59
Current children cumulated vsize (KiB) 1306180

[startup+22.0004 s]
/proc/loadavg: 2.08 2.11 1.83 3/183 5188
/proc/meminfo: memFree=29154076/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=21.99 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267637 0 0 0 2162 37 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 140737263505856 5546321 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267962 883 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 21.99
Current children cumulated vsize (KiB) 1306180

[startup+22.1073 s]
/proc/loadavg: 2.08 2.11 1.83 3/183 5188
/proc/meminfo: memFree=29154076/32872528 swapFree=163656/177964
[pid=5184] ppid=5181 vsize=1306180 CPUtime=22.09 cores=0,2,4,6
/proc/5184/stat : 5184 (toysat) R 5181 5184 4845 0 -1 4202496 267637 0 0 0 2172 37 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 140737263505856 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5184/statm: 326545 267962 883 2943 0 323439 0
[pid=5184/tid=5185] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5185/stat : 5185 (toysat) S 5181 5184 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906543234288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5184/tid=5186] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5186/stat : 5186 (toysat) S 5181 5184 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36425590 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906532744432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5184/tid=5187] ppid=5181 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5184/task/5187/stat : 5187 (toysat) S 5181 5184 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36425591 1337528320 267962 33554432000 4194304 16246674 140737263523936 139906412178608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.09
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 22.1786
CPU time (s): 22.1736
CPU user time (s): 21.7397
CPU system time (s): 0.433934
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.7397
system time used= 0.433934
maximum resident set size= 1071856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267641
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= 21
involuntary context switches= 24

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06199 second user time and 0.090986 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-19 15:42:37
IDJOB=4109466
IDBENCH=78821
IDSOLVER=2553
FILE ID=node105/4109466-1466343757
RUNJOBID= node105-1466341824-4861
PBS_JOBID= 19922043
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966688--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-4109466-1466343757/watcher-4109466-1466343757 -o /tmp/evaluation-result-4109466-1466343757/solver-4109466-1466343757 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4861 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109466-1466343757.wbo

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

MD5SUM BENCH= 933a31389d3b5781af16184cd4c2b51e
RANDOM SEED=1475550445

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30226420 kB
Buffers:          126748 kB
Cached:           346228 kB
SwapCached:         1696 kB
Active:          1402628 kB
Inactive:         324660 kB
Active(anon):    1253572 kB
Inactive(anon):     3096 kB
Active(file):     149056 kB
Inactive(file):   321564 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67099304 kB
Dirty:             16556 kB
Writeback:             0 kB
AnonPages:       1431468 kB
Mapped:            10740 kB
Shmem:                 0 kB
Slab:             609064 kB
SReclaimable:      52784 kB
SUnreclaim:       556280 kB
KernelStack:        1488 kB
PageTables:         7032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1575456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1173504 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= 71716 MiB
End job on node105 at 2016-06-19 15:42:59