Trace number 4093650

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 72.6909 72.7044

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo
MD5SUMca8c0bf53108e4446976d449224bf298
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark26.87
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136368
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136367
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-16T18:26:53+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-4093650-1466094413.wbo"]
0.00/0.01	c use --random-gen="1246298674 462328946 2835701890 1184954403 3827231491 886810968 3912573793 1255939029 2004500074 1107469626 643559329 3674873120 4204313104 2097456878 2483166472 2854389113 717093330 3057069283 3582937841 4235050125 900839997 396344102 2934233152 1623097081 3759603686 3594407668 3885587531 383885201 796639567 1008564289 1332529459 4014032409 385422193 3831401225 489113464 15373738 3485301479 2234444359 1791174973 3269279770 130446643 4237258883 793130852 1901337846 524604715 518405369 1889588628 2161933978 2759787187 2017543818 3936068529 1871781989 2576368711 1477762432 4141220714 1664470810 1207723915 2728612050 1262720907 1259909314 2286262165 2771605235 1757304878 4288700216 483086486 3208257714 1346287504 50414692 4099408693 3674784950 1652941011 2970334440 2520347747 542683751 2351033292 4219831233 2949308709 2061829200 3614202865 3126911387 1290483341 2435449126 4024789875 16578085 3999138089 344669543 1294097122 2444573592 221891598 3070795054 2290345858 3846657322 1800094709 1295078364 2936888470 3255389037 120394639 2312174483 3719363396 2242318986 585829679 2836716854 2351496515 332026916 3639470635 1833047663 29172873 2811480654 2190029670 2988787570 3350084343 613329840 939795050 1968025813 3075653232 3704502976 1927853872 707490053 2170561225 2988099282 1216473295 3618872820 4223918391 2932380747 1723068784 3849151796 2436154512 3008871669 1867480230 1806483177 178036158 1797321555 2049529422 3098269820 723253053 3001994833 2094459701 1225595903 1880656801 1872283227 981766090 605252787 2005685978 1496904046 647768886 3582733902 1034923454 3271070608 1578332807 1244275913 1560773827 2500940842 595465270 3820228107 263250753 3624215192 3600004167 1132491288 2035425463 2330935883 2579278517 1816745548 1340645398 974687531 3013866983 734711144 4249662630 2702207110 3667196477 2727011264 351847405 2630237798 2162720468 2002022879 3828381568 2388987761 848723675 2589118619 1143635655 425495579 4157903316 2676574081 397561253 3133054383 1826619089 681169601 3098543016 2809233954 2300810156 2631099214 883939721 1962363346 1368599303 251697185 2717692868 3911431082 2606159502 2631073176 1958078841 562873317 1408659815 2827568012 4023012178 1694063404 63476135 1705447548 2907670589 1710737304 2034225054 1953674702 2035989196 4008356020 3122844198 2908061794 3310013162 4181805969 3270203599 164203492 1615320825 1894610183 1677974270 2487815333 2570509595 4246056140 4223313664 597079101 1887006 3402925799 3693126542 1288422727 4187866926 84793699 486457696 3480678911 2528882545 3469481425 3400931257 1800456869 4231588673 1526687030 2873747226 3725913790 4269888451 190287078 1935248276 3363811111 937890442 3285493724 2442792581 2304296743 2317481857 392211304 3275819791 59448778 283227523 1841767311 255 362436" option to reproduce the execution
0.09/0.16	c #vars 231
0.09/0.16	c #constraints 2707
0.18/0.21	c BCD2: Hardening is enabled.
0.18/0.21	c BCD2: BiasedSearch is enabled.
0.18/0.21	c Solving starts ...
0.18/0.21	c ============================[ Search Statistics ]============================
0.18/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.21	c =============================================================================
0.18/0.21	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.18/0.23	c  0.0s |       0 |     2718 |        0 |     1881      0 |        0 |        0
0.18/0.23	c #cpu_time = 0.017s
0.18/0.23	c #wall_clock_time = 0.017s
0.18/0.23	c #decision = 2718
0.18/0.23	c #random_decision = 16
0.18/0.23	c #conflict = 0
0.18/0.23	c #restart = 0
0.18/0.23	o 600
0.18/0.23	c BCD2: updating upper bound: 136367 -> 599
0.18/0.25	c BCD2: 0 <= obj <= 599
0.18/0.25	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.18/0.25	c BCD2: #sat=1 #unsat=1 bias=1/2
0.18/0.25	c Solving starts ...
0.18/0.25	c ============================[ Search Statistics ]============================
0.18/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.25	c =============================================================================
0.18/0.25	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.18/0.28	c  0.0s |       1 |     2872 |      100 |     1881      0 |        0 |        0
0.28/0.32	c  0.1s |       2 |     5851 |      250 |     2070      0 |        0 |        0
0.28/0.37	c  0.1s |       3 |     8937 |      475 |     2277      0 |        0 |        0
0.38/0.47	c  0.2s |       4 |    12202 |      813 |     2505      0 |        0 |        0
0.59/0.64	c  0.4s |       5 |    15681 |     1320 |     2756      0 |        0 |        0
0.79/0.89	c  0.6s |       6 |    19540 |     2081 |     3336      0 |        0 |        0
1.19/1.29	c  1.0s |       7 |    23842 |     3223 |     3670      0 |        0 |        0
2.08/2.11	c  1.9s |       8 |    28765 |     4936 |     4038      0 |        0 |        0
3.58/3.66	c  3.4s |       9 |    34753 |     7506 |     4442      1 |        0 |        0
5.69/5.73	c  5.5s |       9 |    40240 |     9706 |     4442      2 |        0 |        0
7.49/7.55	c  7.3s |      10 |    42301 |    11361 |     4887      2 |        0 |        0
9.49/9.55	c  9.3s |      10 |    50089 |    15061 |     4887      3 |        0 |        0
10.39/10.49	c 10.2s |      11 |    52901 |    17144 |     5376      4 |        0 |        0
12.48/12.59	c 12.3s |      11 |    60081 |    20444 |     5376      5 |        0 |        0
14.58/14.64	c 14.4s |      11 |    63661 |    23044 |     5376      5 |        0 |        0
16.60/16.65	c 16.4s |      11 |    66220 |    25044 |     5376      6 |        0 |        0
16.99/17.09	c 16.8s |      12 |    67275 |    25819 |     5914      6 |        0 |        0
19.09/19.10	c 18.8s |      12 |    73683 |    28419 |     5914      6 |        0 |        0
21.18/21.20	c 20.9s |      12 |    77334 |    30919 |     5914      7 |        0 |        0
23.19/23.27	c 23.0s |      12 |    79689 |    32619 |     5914      7 |        0 |        0
25.29/25.32	c 25.1s |      12 |    81901 |    34219 |     5914      8 |        0 |        0
27.39/27.45	c 27.2s |      12 |    85831 |    36619 |     5914      8 |        0 |        0
29.29/29.38	c 29.1s |      13 |    89834 |    38832 |     6506      9 |        0 |        0
31.38/31.45	c 31.2s |      13 |    96056 |    40832 |     6506      9 |        0 |        0
33.48/33.51	c 33.3s |      13 |    98989 |    42632 |     6506     10 |        0 |        0
35.49/35.53	c 35.3s |      13 |   102152 |    44432 |     6506     10 |        0 |        0
37.49/37.59	c 37.3s |      13 |   105087 |    46232 |     6506     10 |        0 |        0
39.59/39.63	c 39.4s |      13 |   108374 |    48032 |     6506     11 |        0 |        0
41.59/41.64	c 41.4s |      13 |   111950 |    49932 |     6506     11 |        0 |        0
43.58/43.66	c 43.4s |      13 |   115107 |    51632 |     6506     11 |        0 |        0
45.58/45.67	c 45.4s |      13 |   118197 |    53232 |     6506     12 |        0 |        0
47.69/47.73	c 47.5s |      13 |   121730 |    55132 |     6506     12 |        0 |        0
49.68/49.78	c 49.5s |      13 |   124565 |    56632 |     6506     13 |        0 |        0
51.88/51.91	c 51.7s |      13 |   127638 |    58232 |     7157     13 |        0 |        0
51.98/52.05	c 51.8s |      14 |   127829 |    58352 |     7157     13 |        0 |        0
54.08/54.12	c 53.9s |      14 |   133205 |    59852 |     7157     13 |        0 |        0
56.09/56.20	c 56.0s |      14 |   135543 |    61152 |     7157     13 |        0 |        0
58.18/58.30	c 58.0s |      14 |   138401 |    62552 |     7157     14 |        0 |        0
60.28/60.38	c 60.1s |      14 |   141142 |    63952 |     7157     14 |        0 |        0
61.98/62.08	c 61.8s |      14 |   142654 |    64837 |     7157     14 |        0 |        0
61.98/62.08	c #cpu_time = 61.666s
61.98/62.08	c #wall_clock_time = 61.825s
61.98/62.08	c #decision = 142654
61.98/62.08	c #random_decision = 45
61.98/62.08	c #conflict = 64837
61.98/62.08	c #restart = 14
61.98/62.08	c BCD2: found a new core of size 2652: cost of the new core is >=1
61.98/62.08	c lower bound updated to 1
61.98/62.08	c BCD2: 1 <= obj <= 599
61.98/62.08	c BCD2: #cores=1, #unrelaxed=55, #relaxed=2652, #hardened=0
61.98/62.08	c BCD2: #sat=1 #unsat=2 bias=2/3
62.08/62.10	c Solving starts ...
62.08/62.10	c ============================[ Search Statistics ]============================
62.08/62.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.08/62.10	c       |         |          |          |    Limit     GC | Var      | Constra 
62.08/62.10	c =============================================================================
62.08/62.10	c  0.0s |       0 |        0 |        0 |     7157      0 |        0 |        0
62.28/62.38	c  0.3s |       0 |     2788 |       19 |     7157      1 |        0 |        0
62.28/62.38	c #cpu_time = 0.277s
62.28/62.38	c #wall_clock_time = 0.277s
62.28/62.38	c #decision = 2788
62.28/62.38	c #random_decision = 12
62.28/62.38	c #conflict = 19
62.28/62.38	c #restart = 0
62.28/62.38	o 23
62.28/62.38	c BCD2: hardening fixes 2130 literals
62.28/62.38	c BCD2: updating upper bound: 599 -> 22
62.28/62.38	c BCD2: 1 <= obj <= 22
62.28/62.38	c BCD2: #cores=1, #unrelaxed=6, #relaxed=571, #hardened=2130
62.28/62.38	c BCD2: #sat=2 #unsat=2 bias=2/4
62.28/62.38	c Solving starts ...
62.28/62.38	c ============================[ Search Statistics ]============================
62.28/62.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.28/62.38	c       |         |          |          |    Limit     GC | Var      | Constra 
62.28/62.38	c =============================================================================
62.28/62.38	c  0.0s |       0 |        0 |        0 |     7157      0 |     2130 |        1
62.57/62.60	c  0.2s |       1 |      218 |      100 |     7157      0 |     2130 |        1
62.68/62.74	c  0.4s |       2 |      539 |      250 |     7157      0 |     2130 |        1
62.97/63.02	c  0.6s |       3 |      982 |      475 |     7157      0 |     2130 |        1
63.17/63.24	c  0.9s |       4 |     1612 |      813 |     7157      0 |     2130 |        1
63.47/63.51	c  1.1s |       4 |     2224 |     1246 |     7157      0 |     2130 |        1
63.47/63.51	c #cpu_time = 1.125s
63.47/63.51	c #wall_clock_time = 1.128s
63.47/63.51	c #decision = 2224
63.47/63.51	c #random_decision = 2
63.47/63.51	c #conflict = 1246
63.47/63.51	c #restart = 4
63.47/63.51	o 12
63.47/63.51	c BCD2: hardening fixes 289 literals
63.47/63.51	c BCD2: updating upper bound: 22 -> 11
63.47/63.52	c BCD2: 1 <= obj <= 11
63.47/63.52	c BCD2: #cores=1, #unrelaxed=3, #relaxed=285, #hardened=2419
63.47/63.52	c BCD2: #sat=3 #unsat=2 bias=2/5
63.47/63.52	c Solving starts ...
63.47/63.52	c ============================[ Search Statistics ]============================
63.47/63.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
63.47/63.52	c       |         |          |          |    Limit     GC | Var      | Constra 
63.47/63.52	c =============================================================================
63.47/63.52	c  0.0s |       0 |        0 |        0 |     7157      0 |     2419 |        2
63.57/63.63	c  0.1s |       1 |      170 |      100 |     7157      0 |     2419 |        2
63.67/63.76	c  0.2s |       2 |      438 |      250 |     7157      0 |     2419 |        2
63.88/63.93	c  0.4s |       3 |      752 |      475 |     7157      0 |     2419 |        2
64.07/64.16	c  0.6s |       4 |     1197 |      813 |     7157      0 |     2419 |        2
64.37/64.45	c  0.9s |       5 |     2022 |     1320 |     7157      0 |     2419 |        2
64.77/64.87	c  1.4s |       6 |     3204 |     2081 |     7157      0 |     2419 |        2
64.98/65.01	c  1.5s |       6 |     3545 |     2273 |     7157      0 |     2419 |        2
64.98/65.01	c #cpu_time = 1.492s
64.98/65.01	c #wall_clock_time = 1.495s
64.98/65.01	c #decision = 3545
64.98/65.01	c #random_decision = 5
64.98/65.01	c #conflict = 2273
64.98/65.01	c #restart = 6
64.98/65.01	o 5
64.98/65.01	c BCD2: hardening fixes 179 literals
64.98/65.01	c BCD2: updating upper bound: 11 -> 4
64.98/65.02	c BCD2: 1 <= obj <= 4
64.98/65.02	c BCD2: #cores=1, #unrelaxed=0, #relaxed=109, #hardened=2598
64.98/65.02	c BCD2: #sat=4 #unsat=2 bias=2/6
64.98/65.02	c Solving starts ...
64.98/65.02	c ============================[ Search Statistics ]============================
64.98/65.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
64.98/65.02	c       |         |          |          |    Limit     GC | Var      | Constra 
64.98/65.02	c =============================================================================
64.98/65.02	c  0.0s |       0 |        0 |        0 |     7157      0 |     2598 |        6
65.07/65.14	c  0.1s |       1 |      172 |      100 |     7157      0 |     2598 |        6
65.17/65.27	c  0.3s |       2 |      417 |      250 |     7157      0 |     2598 |        6
65.37/65.44	c  0.4s |       3 |      867 |      475 |     7157      0 |     2598 |        6
65.57/65.64	c  0.6s |       4 |     1440 |      813 |     7157      0 |     2598 |        6
65.88/65.94	c  0.9s |       5 |     2177 |     1320 |     7157      0 |     2598 |        6
66.28/66.32	c  1.3s |       6 |     3393 |     2081 |     7157      0 |     2598 |        6
66.88/66.98	c  2.0s |       7 |     5363 |     3223 |     7157      1 |     2598 |        6
67.28/67.32	c  2.3s |       7 |     6855 |     4096 |     7157      1 |     2598 |        6
67.28/67.32	c #cpu_time = 2.297s
67.28/67.32	c #wall_clock_time = 2.303s
67.28/67.32	c #decision = 6855
67.28/67.32	c #random_decision = 12
67.28/67.32	c #conflict = 4096
67.28/67.32	c #restart = 7
67.28/67.32	o 2
67.28/67.32	c BCD2: hardening fixes 73 literals
67.28/67.32	c BCD2: updating upper bound: 4 -> 1
67.28/67.32	c BCD2: 1 <= obj <= 1
67.28/67.32	c BCD2: #cores=1, #unrelaxed=0, #relaxed=36, #hardened=2671
67.28/67.32	c BCD2: #sat=5 #unsat=2 bias=2/7
67.28/67.32	c Solving starts ...
67.28/67.32	c ============================[ Search Statistics ]============================
67.28/67.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
67.28/67.32	c       |         |          |          |    Limit     GC | Var      | Constra 
67.28/67.32	c =============================================================================
67.28/67.32	c  0.0s |       0 |        0 |        0 |     7157      0 |     2671 |        8
67.38/67.40	c  0.1s |       1 |      172 |      100 |     7157      0 |     2671 |        8
67.38/67.49	c  0.2s |       2 |      472 |      250 |     7157      0 |     2671 |        8
67.58/67.62	c  0.3s |       3 |      858 |      475 |     7157      0 |     2671 |        8
67.67/67.78	c  0.5s |       4 |     1452 |      813 |     7157      0 |     2671 |        8
67.98/68.06	c  0.7s |       5 |     2279 |     1320 |     7157      0 |     2671 |        8
68.38/68.40	c  1.1s |       6 |     3576 |     2081 |     7157      0 |     2671 |        8
68.78/68.86	c  1.5s |       7 |     5535 |     3223 |     7157      0 |     2671 |        8
69.28/69.39	c  2.1s |       8 |     8526 |     4936 |     7157      1 |     2671 |        8
70.28/70.35	c  3.0s |       9 |    12935 |     7506 |     7157      1 |     2671 |        8
71.58/71.62	c  4.3s |      10 |    19690 |    11361 |     7157      2 |     2671 |        8
72.58/72.64	c  5.3s |      10 |    23990 |    14063 |     7157      3 |     2671 |        8
72.58/72.64	c #cpu_time = 5.299s
72.58/72.64	c #wall_clock_time = 5.313s
72.58/72.64	c #decision = 23990
72.58/72.64	c #random_decision = 75
72.58/72.64	c #conflict = 14063
72.58/72.64	c #restart = 10
72.58/72.64	o 1
72.58/72.64	s OPTIMUM FOUND
72.58/72.64	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
72.58/72.64	v -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20
72.58/72.64	v -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
72.58/72.64	v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40
72.58/72.64	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50
72.58/72.64	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
72.58/72.64	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
72.58/72.64	v -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80
72.58/72.64	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90
72.58/72.64	v -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100
72.58/72.64	v x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
72.58/72.64	v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
72.58/72.64	v -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
72.58/72.64	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
72.58/72.64	v -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150
72.58/72.64	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160
72.58/72.64	v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170
72.58/72.64	v -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180
72.58/72.64	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
72.58/72.64	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
72.58/72.64	v x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
72.58/72.64	v -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220
72.58/72.64	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230
72.58/72.64	v -x231
72.58/72.64	c total CPU time = 72.454s
72.58/72.64	c total wall clock time = 72.640s

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

pid=17070
running on 4 cores: 1,3,5,7

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.27 2.23 2.18 3/179 17073
/proc/meminfo: memFree=30568784/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=542140 CPUtime=0 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 1993 0 0 0 0 0 0 0 20 0 4 0 11490207 555151360 1843 33554432000 4194304 16246674 140733870166592 140733870166016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 136303 1851 441 2943 0 133197 0
[pid=17073/tid=17074] ppid=17070 vsize=559548 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 572977152 1908 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=563644 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 577171456 1925 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=567740 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11490207 581365760 1942 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.27 2.23 2.18 3/179 17073
/proc/meminfo: memFree=30568784/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 24846 0 0 0 5 4 0 0 20 0 4 0 11490207 1247350784 24689 33554432000 4194304 16246674 140733870166592 140733870166016 13807766 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 304529 24696 615 2943 0 301423 0
[pid=17073/tid=17074] ppid=17070 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1247350784 24700 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1247350784 24704 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11490207 1247350784 24707 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200549 s]
/proc/loadavg: 2.27 2.23 2.18 3/179 17073
/proc/meminfo: memFree=30568784/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1223236 CPUtime=0.18 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 35230 0 0 0 13 5 0 0 20 0 4 0 11490207 1252593664 35026 33554432000 4194304 16246674 140733870166592 140733870165904 5512569 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 305809 35026 862 2943 0 302703 0
[pid=17073/tid=17074] ppid=17070 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1252593664 35026 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1252593664 35026 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1252593664 35026 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1223236

[startup+0.300511 s]
/proc/loadavg: 2.27 2.23 2.18 3/179 17073
/proc/meminfo: memFree=30568784/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1307204 CPUtime=0.28 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 48312 0 0 0 21 7 0 0 20 0 4 0 11490207 1338576896 48108 33554432000 4194304 16246674 140733870166592 140733870165904 5515837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 326801 48117 918 2943 0 323695 0
[pid=17073/tid=17074] ppid=17070 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1338576896 48122 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1338576896 48125 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1338576896 48130 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1307204

[startup+0.700395 s]
/proc/loadavg: 2.27 2.23 2.18 3/179 17073
/proc/meminfo: memFree=30568784/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 80240 0 0 0 58 11 0 0 20 0 4 0 11490207 1339625472 80036 33554432000 4194304 16246674 140733870166592 140733870148480 5516226 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 327057 80036 920 2943 0 323951 0
[pid=17073/tid=17074] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 80036 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 80036 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 80036 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50037 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 17077
/proc/meminfo: memFree=30234432/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1308228 CPUtime=1.48 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 102925 0 0 0 134 14 0 0 20 0 4 0 11490207 1339625472 102721 33554432000 4194304 16246674 140733870166592 140733870148480 13808416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 327057 102721 923 2943 0 323951 0
[pid=17073/tid=17074] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102721 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102721 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102721 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1308228

[startup+3.1004 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 17077
/proc/meminfo: memFree=30158420/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1308228 CPUtime=3.08 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 102933 0 0 0 294 14 0 0 20 0 4 0 11490207 1339625472 102729 33554432000 4194304 16246674 140733870166592 140733870148480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 327057 102729 931 2943 0 323951 0
[pid=17073/tid=17074] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102729 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102729 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102729 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.30041 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 17077
/proc/meminfo: memFree=30158588/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 102933 0 0 0 614 15 0 0 20 0 4 0 11490207 1339625472 102729 33554432000 4194304 16246674 140733870166592 140733870148480 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 327057 102729 931 2943 0 323951 0
[pid=17073/tid=17074] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102729 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102729 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1339625472 102729 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 17077
/proc/meminfo: memFree=30055568/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1310276 CPUtime=12.68 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 128585 0 0 0 1249 19 0 0 20 0 4 0 11490207 1341722624 128381 33554432000 4194304 16246674 140733870166592 140733870165768 5673527 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 327569 128381 931 2943 0 324463 0
[pid=17073/tid=17074] ppid=17070 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1341722624 128381 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1341722624 128381 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1341722624 128381 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 17077
/proc/meminfo: memFree=30055728/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 128585 0 0 0 2528 21 0 0 20 0 4 0 11490207 1341722624 128381 33554432000 4194304 16246674 140733870166592 140733870165768 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 327569 128381 931 2943 0 324463 0
[pid=17073/tid=17074] ppid=17070 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1341722624 128381 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1341722624 128381 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1341722624 128381 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 17077
/proc/meminfo: memFree=30052264/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 129411 0 0 0 5083 25 0 0 20 0 4 0 11490207 1344868352 129207 33554432000 4194304 16246674 140733870166592 140733870148416 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 328337 129207 931 2943 0 325231 0
[pid=17073/tid=17074] ppid=17070 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1344868352 129207 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1344868352 129207 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1344868352 129207 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

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

[startup+51.2005 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 17077
/proc/meminfo: memFree=30052264/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1313348 CPUtime=51.18 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 129411 0 0 0 5093 25 0 0 20 0 4 0 11490207 1344868352 129207 33554432000 4194304 16246674 140733870166592 140733870148416 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 328337 129207 931 2943 0 325231 0
[pid=17073/tid=17074] ppid=17070 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1344868352 129207 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1344868352 129207 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1344868352 129207 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1313348

[startup+64.0004 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 17078
/proc/meminfo: memFree=30051016/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1314372 CPUtime=63.97 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 129675 0 0 0 6370 27 0 0 20 0 4 0 11490207 1345916928 129471 33554432000 4194304 16246674 140733870166592 140733870148480 5531892 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 328593 129471 939 2943 0 325487 0
[pid=17073/tid=17074] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 129471 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 129471 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 129471 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 63.97
Current children cumulated vsize (KiB) 1314372

[startup+67.2074 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 17078
/proc/meminfo: memFree=29978256/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1314372 CPUtime=67.19 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 147865 0 0 0 6689 30 0 0 20 0 4 0 11490207 1345916928 147661 33554432000 4194304 16246674 140733870166592 140733870148480 13943608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 328593 147661 939 2943 0 325487 0
[pid=17073/tid=17074] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 147661 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 147661 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 147661 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 67.19
Current children cumulated vsize (KiB) 1314372

[startup+70.4004 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 17078
/proc/meminfo: memFree=29490688/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1314372 CPUtime=70.38 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 269814 0 0 0 6992 46 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 140733870148480 5674036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 328593 269610 940 2943 0 325487 0
[pid=17073/tid=17074] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 70.38
Current children cumulated vsize (KiB) 1314372

[startup+72.0004 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 17078
/proc/meminfo: memFree=29490688/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1314372 CPUtime=71.98 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 269814 0 0 0 7152 46 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 140733870148480 5676464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 328593 269610 940 2943 0 325487 0
[pid=17073/tid=17074] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 71.98
Current children cumulated vsize (KiB) 1314372

[startup+72.4004 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 17078
/proc/meminfo: memFree=29490688/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1314372 CPUtime=72.38 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 269814 0 0 0 7192 46 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 140733870148480 5523188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 328593 269610 940 2943 0 325487 0
[pid=17073/tid=17074] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 72.38
Current children cumulated vsize (KiB) 1314372

[startup+72.6004 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 17078
/proc/meminfo: memFree=29490688/32872528 swapFree=876280/941688
[pid=17073] ppid=17070 vsize=1314372 CPUtime=72.58 cores=1,3,5,7
/proc/17073/stat : 17073 (toysat) R 17070 17073 7213 0 -1 4202496 269814 0 0 0 7212 46 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 140733870148480 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17073/statm: 328593 269610 940 2943 0 325487 0
[pid=17073/tid=17074] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17074/stat : 17074 (toysat) S 17070 17073 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924509535472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17073/tid=17075] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17075/stat : 17075 (toysat) S 17070 17073 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924499045616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17073/tid=17076] ppid=17070 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17073/task/17076/stat : 17076 (toysat) S 17070 17073 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11490207 1345916928 269610 33554432000 4194304 16246674 140733870166592 139924488572080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 72.58
Current children cumulated vsize (KiB) 1314372

Child status: 0
Real time (s): 72.7044
CPU time (s): 72.6909
CPU user time (s): 72.165
CPU system time (s): 0.52592
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.165
system time used= 0.52592
maximum resident set size= 1078448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269816
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= 17
involuntary context switches= 77

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186971 second user time and 0.284956 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 18:26:53
IDJOB=4093650
IDBENCH=79265
IDSOLVER=2553
FILE ID=node113/4093650-1466094413
RUNJOBID= node113-1466075295-13239
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= ca8c0bf53108e4446976d449224bf298
RANDOM SEED=429842199

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
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.799
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.799
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.799
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.54
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.799
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:        30569048 kB
Buffers:           52620 kB
Cached:           116072 kB
SwapCached:         2160 kB
Active:           575116 kB
Inactive:          83484 kB
Active(anon):     491172 kB
Inactive(anon):     1612 kB
Active(file):      83944 kB
Inactive(file):    81872 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1433240 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             568624 kB
SReclaimable:      12864 kB
SUnreclaim:       555760 kB
KernelStack:        1488 kB
PageTables:         8408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2166108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node113 at 2016-06-16 18:28:06