Trace number 4109806

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 67.5467 67.5577

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo
MD5SUMe60bec5d313c91289af640357d00991f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark33.4349
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 constraints904
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 44120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44119
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T15:49:12+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-4109806-1466344152.wbo"]
0.00/0.01	c use --random-gen="387812705 825937699 4230919498 3447732153 3186002022 1771097217 3982099106 1376073459 965409928 258708293 3790188156 4067427883 1836673950 503440960 3073919547 1995120426 2620678829 4193758538 4110632374 3209726653 1536069240 2269459932 610259746 160806769 100237975 4269658700 335650873 664441367 3452883160 3081903001 3782012404 2770487277 3834352650 3343279669 1744645446 877786143 2112451843 480527514 2037578349 519481781 2438648129 1626437680 920770104 817355621 133467339 927261386 2863351662 2295967094 3240001525 3340747541 725884555 315880115 3929951436 1987728628 2867426615 2424870615 2124869868 3669835351 1285671959 474038042 2615101385 1749988272 2849659706 795241213 729619350 3246408178 140612394 1269600449 2631594688 3321325650 2243782930 4099212225 1794528674 2159849290 1723949128 2247652646 1250920015 1420464577 514974950 662962605 3037698821 1425004518 280094865 2533416760 1950086102 1631951411 3823789995 1317261996 375274415 3381774639 3336826008 2049253493 364950967 4090631029 2052653725 984396167 657832631 2125842753 1194484477 1893871308 2086668432 910259275 596492244 1375178936 3193821290 3605792194 454593760 3675610274 1513683468 369951990 2512175618 1011961367 3248057424 3296183736 2469318832 1635354885 3739212146 1152801350 3655801317 3394697050 1603463007 444885841 879183172 3210913567 1899831563 2913874315 604676098 1751765686 3108864385 2253352277 3862657573 2203538616 2140630312 618463163 583114783 2161302555 992825807 3106715665 3490465272 4051144054 2546085828 3025727516 1288903772 2418785949 3017522690 1516275804 187499636 2530702201 3404484307 2201363585 224780474 3363174491 4241698983 515307593 632228948 2720972220 273255457 3716068879 3761549655 3639568484 3255285470 3492404057 3841199026 2160158560 240950917 4291563145 893352409 3272143717 864994325 3177396286 1055120617 485164152 1378226889 1827397745 1043386439 4275656728 3840373463 3646183408 4131450822 1884294776 3371249395 1429214339 1980685283 1288455527 2002560263 1365890568 851574150 2715334672 245682659 1104966855 621610867 3920476556 1863881555 561145417 3302267788 1344084100 850522402 1638250687 126445392 563658583 1241360014 1788817268 1040578124 2089069877 3517717674 3620772646 852954502 212050028 1567196939 678839559 1604912835 3813607216 2231678186 1659638952 59426860 1731597355 1414183276 4071838334 3773304793 2927867181 3832380351 1699577874 1318315133 1319234334 3470675931 3535505908 247897233 3990525424 1170125028 3634919462 4168501537 4226797820 722435476 1804485569 3390388293 4129288121 1585158433 1952027524 521007600 2165698367 2547399433 910873432 2389179890 2294077402 39790464 5558141 3654648848 4152677415 1921498842 2866750229 1907938270 2995794610 1437216540 1773977375 1753767167 1970054641 255 362436" option to reproduce the execution
0.09/0.13	c #vars 231
0.09/0.13	c #constraints 2707
0.09/0.18	c BCD2: Hardening is enabled.
0.09/0.18	c BCD2: BiasedSearch is enabled.
0.09/0.18	c Solving starts ...
0.09/0.18	c ============================[ Search Statistics ]============================
0.09/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.18	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1280      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |      940 |        8 |     1280      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.014s
0.19/0.20	c #wall_clock_time = 0.014s
0.19/0.20	c #decision = 940
0.19/0.20	c #random_decision = 2
0.19/0.20	c #conflict = 8
0.19/0.20	c #restart = 0
0.19/0.20	o 292
0.19/0.20	c BCD2: updating upper bound: 44119 -> 291
0.19/0.20	c BCD2: 0 <= obj <= 291
0.19/0.20	c BCD2: #cores=0, #unrelaxed=904, #relaxed=0, #hardened=0
0.19/0.20	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1280      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     1070 |      100 |     1408      0 |        0 |        0
0.19/0.24	c  0.0s |       2 |     2210 |      250 |     1549      0 |        0 |        0
0.19/0.28	c  0.1s |       3 |     3464 |      475 |     1704      0 |        0 |        0
0.29/0.39	c  0.2s |       4 |     4869 |      813 |     1875      0 |        0 |        0
0.49/0.55	c  0.4s |       5 |     6576 |     1320 |     2063      0 |        0 |        0
0.69/0.77	c  0.6s |       6 |     8566 |     2081 |     2270      0 |        0 |        0
1.19/1.20	c  1.0s |       7 |    11289 |     3223 |     2497      0 |        0 |        0
1.89/1.91	c  1.7s |       8 |    14770 |     4936 |     2747      1 |        0 |        0
2.89/2.95	c  2.8s |       9 |    19667 |     7506 |     3022      3 |        0 |        0
4.49/4.52	c  4.3s |      10 |    26566 |    11361 |     3325      5 |        0 |        0
6.49/6.58	c  6.4s |      10 |    33318 |    15361 |     3325      6 |        0 |        0
7.49/7.57	c  7.4s |      11 |    36068 |    17144 |     3658      7 |        0 |        0
9.58/9.60	c  9.4s |      11 |    43330 |    21244 |     3658      9 |        0 |        0
11.59/11.61	c 11.4s |      11 |    50722 |    25444 |     3658     11 |        0 |        0
11.69/11.73	c 11.5s |      12 |    51348 |    25819 |     4024     11 |        0 |        0
13.69/13.75	c 13.5s |      12 |    62434 |    31319 |     4024     13 |        0 |        0
15.69/15.76	c 15.6s |      12 |    70450 |    36119 |     4024     15 |        0 |        0
16.99/17.07	c 16.9s |      13 |    75111 |    38832 |     4427     16 |        0 |        0
18.99/19.09	c 18.9s |      13 |    82381 |    42832 |     4427     18 |        0 |        0
21.09/21.10	c 20.9s |      13 |    88695 |    46632 |     4427     19 |        0 |        0
23.09/23.11	c 22.9s |      13 |    95954 |    51032 |     4427     21 |        0 |        0
25.09/25.13	c 24.9s |      13 |   104474 |    55832 |     4427     22 |        0 |        0
26.18/26.29	c 26.1s |      14 |   108989 |    58352 |     4870     23 |        0 |        0
28.28/28.34	c 28.1s |      14 |   117513 |    62752 |     4870     25 |        0 |        0
30.28/30.38	c 30.2s |      14 |   124902 |    67252 |     4870     26 |        0 |        0
32.38/32.40	c 32.2s |      14 |   132091 |    71452 |     4870     28 |        0 |        0
34.38/34.47	c 34.3s |      14 |   140771 |    76252 |     4870     30 |        0 |        0
36.48/36.50	c 36.3s |      14 |   148940 |    80652 |     4870     31 |        0 |        0
38.49/38.54	c 38.3s |      14 |   155678 |    84552 |     4870     32 |        0 |        0
39.98/40.08	c 39.9s |      15 |   160884 |    87632 |     5357     33 |        0 |        0
41.98/42.09	c 41.9s |      15 |   167833 |    91332 |     5357     35 |        0 |        0
43.99/44.10	c 43.9s |      15 |   176247 |    95832 |     5357     36 |        0 |        0
46.08/46.11	c 45.9s |      15 |   185078 |   100632 |     5357     37 |        0 |        0
48.08/48.13	c 47.9s |      15 |   193259 |   105332 |     5357     39 |        0 |        0
50.08/50.18	c 50.0s |      15 |   201265 |   109832 |     5357     40 |        0 |        0
52.18/52.20	c 52.0s |      15 |   208849 |   114232 |     5357     42 |        0 |        0
54.18/54.22	c 54.0s |      15 |   215830 |   118432 |     5357     43 |        0 |        0
56.18/56.24	c 56.0s |      15 |   222548 |   122332 |     5357     44 |        0 |        0
58.18/58.25	c 58.1s |      15 |   230226 |   126632 |     5357     46 |        0 |        0
60.18/60.26	c 60.1s |      15 |   236120 |   130032 |     5357     47 |        0 |        0
60.68/60.74	c 60.5s |      15 |   237628 |   130875 |     5893     47 |        0 |        0
60.68/60.74	c #cpu_time = 60.542s
60.68/60.74	c #wall_clock_time = 60.539s
60.68/60.74	c #decision = 237628
60.68/60.74	c #random_decision = 361
60.68/60.74	c #conflict = 130875
60.68/60.74	c #restart = 15
60.68/60.74	c BCD2: found a new core of size 853: cost of the new core is >=1
60.68/60.74	c lower bound updated to 1
60.68/60.74	c BCD2: 1 <= obj <= 291
60.68/60.74	c BCD2: #cores=1, #unrelaxed=51, #relaxed=853, #hardened=0
60.68/60.74	c BCD2: #sat=1 #unsat=2 bias=2/3
60.68/60.74	c Solving starts ...
60.68/60.74	c ============================[ Search Statistics ]============================
60.68/60.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
60.68/60.74	c       |         |          |          |    Limit     GC | Var      | Constra 
60.68/60.74	c =============================================================================
60.68/60.74	c  0.0s |       0 |        0 |        0 |     5893      0 |        0 |        0
60.78/60.84	c  0.1s |       1 |      699 |      100 |     5893      0 |        0 |        0
60.88/60.95	c  0.2s |       2 |      997 |      250 |     5893      0 |        0 |        0
61.08/61.17	c  0.4s |       3 |     1406 |      475 |     5893      0 |        0 |        0
61.38/61.42	c  0.7s |       4 |     2097 |      813 |     5893      0 |        0 |        0
61.78/61.84	c  1.1s |       5 |     2984 |     1320 |     5893      1 |        0 |        0
61.98/62.00	c  1.3s |       5 |     3529 |     1575 |     5893      1 |        0 |        0
61.98/62.00	c #cpu_time = 1.260s
61.98/62.00	c #wall_clock_time = 1.260s
61.98/62.00	c #decision = 3529
61.98/62.00	c #random_decision = 15
61.98/62.00	c #conflict = 1575
61.98/62.00	c #restart = 5
61.98/62.01	o 183
61.98/62.01	c BCD2: updating upper bound: 291 -> 182
61.98/62.01	c BCD2: 1 <= obj <= 182
61.98/62.01	c BCD2: #cores=1, #unrelaxed=51, #relaxed=853, #hardened=0
61.98/62.01	c BCD2: #sat=2 #unsat=2 bias=2/4
61.98/62.01	c Solving starts ...
61.98/62.01	c ============================[ Search Statistics ]============================
61.98/62.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
61.98/62.01	c       |         |          |          |    Limit     GC | Var      | Constra 
61.98/62.01	c =============================================================================
61.98/62.01	c  0.0s |       0 |        0 |        0 |     5893      0 |        0 |        1
61.98/62.09	c  0.1s |       1 |      238 |      100 |     5893      0 |        0 |        1
62.08/62.12	c  0.1s |       1 |      398 |      112 |     5893      0 |        0 |        1
62.08/62.12	c #cpu_time = 0.106s
62.08/62.12	c #wall_clock_time = 0.106s
62.08/62.12	c #decision = 398
62.08/62.12	c #random_decision = 0
62.08/62.12	c #conflict = 112
62.08/62.12	c #restart = 1
62.08/62.12	o 126
62.08/62.12	c BCD2: updating upper bound: 182 -> 125
62.08/62.12	c BCD2: 1 <= obj <= 125
62.08/62.12	c BCD2: #cores=1, #unrelaxed=51, #relaxed=853, #hardened=0
62.08/62.12	c BCD2: #sat=3 #unsat=2 bias=2/5
62.08/62.14	c Solving starts ...
62.08/62.14	c ============================[ Search Statistics ]============================
62.08/62.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.08/62.14	c       |         |          |          |    Limit     GC | Var      | Constra 
62.08/62.14	c =============================================================================
62.08/62.14	c  0.0s |       0 |        0 |        0 |     5893      0 |        0 |        2
62.18/62.20	c  0.1s |       1 |      221 |      100 |     5893      0 |        0 |        2
62.18/62.29	c  0.2s |       2 |      509 |      250 |     5893      0 |        0 |        2
62.38/62.43	c  0.3s |       3 |      896 |      475 |     5893      0 |        0 |        2
62.58/62.62	c  0.5s |       4 |     1464 |      813 |     5893      0 |        0 |        2
62.88/62.91	c  0.8s |       5 |     2396 |     1320 |     5893      0 |        0 |        2
62.98/63.05	c  0.9s |       5 |     2733 |     1510 |     5893      0 |        0 |        2
62.98/63.05	c #cpu_time = 0.910s
62.98/63.05	c #wall_clock_time = 0.909s
62.98/63.05	c #decision = 2733
62.98/63.05	c #random_decision = 3
62.98/63.05	c #conflict = 1510
62.98/63.05	c #restart = 5
62.98/63.05	o 13
62.98/63.05	c BCD2: hardening fixes 795 literals
62.98/63.05	c BCD2: updating upper bound: 125 -> 12
62.98/63.05	c BCD2: 1 <= obj <= 12
62.98/63.05	c BCD2: #cores=1, #unrelaxed=9, #relaxed=100, #hardened=795
62.98/63.05	c BCD2: #sat=4 #unsat=2 bias=2/6
62.98/63.05	c Solving starts ...
62.98/63.05	c ============================[ Search Statistics ]============================
62.98/63.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.98/63.05	c       |         |          |          |    Limit     GC | Var      | Constra 
62.98/63.05	c =============================================================================
62.98/63.05	c  0.0s |       0 |        0 |        0 |     5893      0 |      795 |        3
63.08/63.11	c  0.1s |       1 |      220 |      100 |     5893      0 |      795 |        3
63.08/63.17	c  0.1s |       2 |      480 |      250 |     5893      0 |      795 |        3
63.18/63.27	c  0.2s |       3 |      867 |      475 |     5893      0 |      795 |        3
63.28/63.37	c  0.3s |       3 |     1188 |      650 |     5893      0 |      795 |        3
63.28/63.37	c #cpu_time = 0.319s
63.28/63.37	c #wall_clock_time = 0.319s
63.28/63.37	c #decision = 1188
63.28/63.37	c #random_decision = 1
63.28/63.37	c #conflict = 650
63.28/63.37	c #restart = 3
63.28/63.37	o 8
63.28/63.37	c BCD2: hardening fixes 37 literals
63.28/63.37	c BCD2: updating upper bound: 12 -> 7
63.28/63.37	c BCD2: 1 <= obj <= 7
63.28/63.37	c BCD2: #cores=1, #unrelaxed=4, #relaxed=68, #hardened=832
63.28/63.37	c BCD2: #sat=5 #unsat=2 bias=2/7
63.28/63.37	c Solving starts ...
63.28/63.37	c ============================[ Search Statistics ]============================
63.28/63.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
63.28/63.37	c       |         |          |          |    Limit     GC | Var      | Constra 
63.28/63.37	c =============================================================================
63.28/63.37	c  0.0s |       0 |        0 |        0 |     5893      0 |      832 |        4
63.38/63.42	c  0.1s |       1 |      179 |      100 |     5893      0 |      832 |        4
63.48/63.50	c  0.1s |       2 |      449 |      250 |     5893      0 |      832 |        4
63.58/63.60	c  0.2s |       3 |      793 |      475 |     5893      0 |      832 |        4
63.68/63.75	c  0.4s |       4 |     1335 |      813 |     5893      0 |      832 |        4
63.89/63.94	c  0.6s |       5 |     2164 |     1320 |     5893      0 |      832 |        4
64.18/64.22	c  0.9s |       6 |     3440 |     2081 |     5893      0 |      832 |        4
64.68/64.74	c  1.4s |       7 |     5177 |     3223 |     5893      1 |      832 |        4
65.18/65.27	c  1.9s |       8 |     8078 |     4936 |     5893      1 |      832 |        4
66.18/66.22	c  2.9s |       9 |    11993 |     7506 |     5893      2 |      832 |        4
66.48/66.53	c  3.2s |       9 |    13191 |     8294 |     5893      2 |      832 |        4
66.48/66.53	c #cpu_time = 3.156s
66.48/66.53	c #wall_clock_time = 3.156s
66.48/66.53	c #decision = 13191
66.48/66.53	c #random_decision = 34
66.48/66.53	c #conflict = 8294
66.48/66.53	c #restart = 9
66.48/66.53	o 4
66.48/66.53	c BCD2: hardening fixes 45 literals
66.48/66.53	c BCD2: updating upper bound: 7 -> 3
66.48/66.53	c BCD2: 1 <= obj <= 3
66.48/66.53	c BCD2: #cores=1, #unrelaxed=1, #relaxed=26, #hardened=877
66.48/66.53	c BCD2: #sat=6 #unsat=2 bias=2/8
66.48/66.53	c Solving starts ...
66.48/66.53	c ============================[ Search Statistics ]============================
66.48/66.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
66.48/66.53	c       |         |          |          |    Limit     GC | Var      | Constra 
66.48/66.53	c =============================================================================
66.48/66.53	c  0.0s |       0 |        0 |        0 |     5893      0 |      877 |        5
66.48/66.59	c  0.1s |       1 |      134 |      100 |     5893      0 |      877 |        7
66.58/66.67	c  0.1s |       2 |      396 |      250 |     5893      0 |      877 |        7
66.68/66.78	c  0.2s |       3 |      705 |      475 |     5893      0 |      877 |        7
66.88/66.93	c  0.4s |       4 |     1280 |      813 |     5893      1 |      877 |        7
66.98/67.09	c  0.6s |       5 |     2158 |     1320 |     5893      1 |      877 |        7
67.28/67.34	c  0.8s |       6 |     3742 |     2081 |     5893      1 |      877 |        7
67.38/67.49	c  1.0s |       6 |     4840 |     2545 |     5893      1 |      877 |        7
67.38/67.49	c #cpu_time = 0.963s
67.38/67.49	c #wall_clock_time = 0.963s
67.38/67.49	c #decision = 4840
67.38/67.49	c #random_decision = 15
67.38/67.49	c #conflict = 2545
67.38/67.49	c #restart = 6
67.38/67.49	o 1
67.38/67.49	s OPTIMUM FOUND
67.38/67.49	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10
67.38/67.49	v -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20
67.38/67.49	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
67.38/67.49	v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
67.38/67.49	v -x41 x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
67.38/67.49	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
67.38/67.49	v -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70
67.38/67.49	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
67.38/67.49	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
67.38/67.49	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100
67.38/67.49	v -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
67.38/67.49	v -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120
67.38/67.49	v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130
67.38/67.49	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140
67.38/67.49	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150
67.38/67.49	v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
67.38/67.49	v -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
67.38/67.49	v -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180
67.38/67.49	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
67.38/67.49	v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
67.38/67.49	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
67.38/67.49	v -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220
67.38/67.49	v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230
67.38/67.49	v -x231
67.38/67.49	c total CPU time = 67.499s
67.38/67.49	c total wall clock time = 67.495s

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-4109806-1466344152/watcher-4109806-1466344152 -o /tmp/evaluation-result-4109806-1466344152/solver-4109806-1466344152 -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-4109806-1466344152.wbo 

pid=5383
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.09 2.10 1.91 3/179 5386
/proc/meminfo: memFree=29924560/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 2634 0 0 0 0 0 0 0 20 0 4 0 36465127 723972096 2995 33554432000 4194304 16246674 140737194474624 140737194474048 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 177519 3005 441 2943 0 174413 0
[pid=5386/tid=5387] ppid=5383 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 741797888 3064 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 747040768 3083 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36465128 751235072 3098 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100206 s]
/proc/loadavg: 2.09 2.10 1.91 3/179 5386
/proc/meminfo: memFree=29924560/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 24558 0 0 0 5 4 0 0 20 0 4 0 36465127 1247350784 24912 33554432000 4194304 16246674 140737194474624 140737194474048 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 304529 24916 619 2943 0 301423 0
[pid=5386/tid=5387] ppid=5383 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1247350784 24919 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1247350784 24924 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36465128 1247350784 24927 33554432000 4194304 16246674 140737194474624 140242990386352 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.200495 s]
/proc/loadavg: 2.09 2.10 1.91 3/179 5386
/proc/meminfo: memFree=29924560/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 40258 0 0 0 14 5 0 0 20 0 4 0 36465127 1251545088 40583 33554432000 4194304 16246674 140737194474624 140737194473936 5553792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 305553 40583 861 2943 0 302447 0
[pid=5386/tid=5387] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 40583 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 40583 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 40583 33554432000 4194304 16246674 140737194474624 140242990386352 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) 1222212

[startup+0.30045 s]
/proc/loadavg: 2.09 2.10 1.91 3/179 5386
/proc/meminfo: memFree=29924560/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 40272 0 0 0 24 5 0 0 20 0 4 0 36465127 1251545088 40597 33554432000 4194304 16246674 140737194474624 140737194473936 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 305553 40597 870 2943 0 302447 0
[pid=5386/tid=5387] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 40597 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 40597 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 40597 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700386 s]
/proc/loadavg: 2.09 2.10 1.91 3/179 5386
/proc/meminfo: memFree=29924560/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 126838 0 0 0 51 18 0 0 20 0 4 0 36465127 1251545088 127164 33554432000 4194304 16246674 140737194474624 140737194456512 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 305553 127174 870 2943 0 302447 0
[pid=5386/tid=5387] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 127182 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 127187 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1251545088 127191 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.5004 s]
/proc/loadavg: 2.09 2.10 1.91 3/183 5390
/proc/meminfo: memFree=29043444/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 267665 0 0 0 113 36 0 0 20 0 4 0 36465127 1337528320 267990 33554432000 4194304 16246674 140737194474624 140737194456512 5599971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 326545 267990 876 2943 0 323439 0
[pid=5386/tid=5387] ppid=5383 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1337528320 267990 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1337528320 267990 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1337528320 267990 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10041 s]
/proc/loadavg: 2.08 2.09 1.91 3/182 5390
/proc/meminfo: memFree=28852724/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 267923 0 0 0 273 36 0 0 20 0 4 0 36465127 1338576896 268248 33554432000 4194304 16246674 140737194474624 140737194473800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 326801 268248 876 2943 0 323695 0
[pid=5386/tid=5387] ppid=5383 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1338576896 268248 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1338576896 268248 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1338576896 268248 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.08 2.09 1.91 3/182 5390
/proc/meminfo: memFree=28851512/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 268063 0 0 0 593 36 0 0 20 0 4 0 36465127 1339625472 268388 33554432000 4194304 16246674 140737194474624 140737194456512 5711829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 327057 268388 876 2943 0 323951 0
[pid=5386/tid=5387] ppid=5383 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1339625472 268388 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1339625472 268388 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1339625472 268388 33554432000 4194304 16246674 140737194474624 140242990386352 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.07 2.09 1.91 3/183 5391
/proc/meminfo: memFree=28841044/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=12.69 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270680 0 0 0 1232 37 0 0 20 0 4 0 36465127 1350111232 271005 33554432000 4194304 16246674 140737194474624 140737194457624 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271005 876 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271005 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271005 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271005 33554432000 4194304 16246674 140737194474624 140242990386352 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) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.06 2.09 1.91 3/183 5391
/proc/meminfo: memFree=28841204/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=25.48 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270739 0 0 0 2511 37 0 0 20 0 4 0 36465127 1350111232 271064 33554432000 4194304 16246674 140737194474624 140737194473800 5823254 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271064 876 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.11 2.10 1.92 3/184 5394
/proc/meminfo: memFree=28840588/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270739 0 0 0 5071 37 0 0 20 0 4 0 36465127 1350111232 271064 33554432000 4194304 16246674 140737194474624 140737194457624 5663122 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271064 876 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

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

[startup+51.2005 s]
/proc/loadavg: 2.11 2.10 1.92 3/184 5394
/proc/meminfo: memFree=28840588/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=51.18 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270739 0 0 0 5081 37 0 0 20 0 4 0 36465127 1350111232 271064 33554432000 4194304 16246674 140737194474624 140737194457624 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271064 876 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1318468

[startup+57.6004 s]
/proc/loadavg: 2.17 2.11 1.92 3/184 5394
/proc/meminfo: memFree=28840804/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=57.58 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270739 0 0 0 5721 37 0 0 20 0 4 0 36465127 1350111232 271064 33554432000 4194304 16246674 140737194474624 140737194456512 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271064 876 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271064 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 1318468

[startup+64.0004 s]
/proc/loadavg: 2.15 2.11 1.92 3/184 5395
/proc/meminfo: memFree=28840628/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=63.98 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270749 0 0 0 6360 38 0 0 20 0 4 0 36465127 1350111232 271074 33554432000 4194304 16246674 140737194474624 140737194456512 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271074 886 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 1318468

[startup+65.6004 s]
/proc/loadavg: 2.15 2.11 1.92 3/184 5395
/proc/meminfo: memFree=28840628/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=65.58 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270749 0 0 0 6520 38 0 0 20 0 4 0 36465127 1350111232 271074 33554432000 4194304 16246674 140737194474624 140737194456512 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271074 886 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 65.58
Current children cumulated vsize (KiB) 1318468

[startup+66.4004 s]
/proc/loadavg: 2.15 2.11 1.92 3/184 5395
/proc/meminfo: memFree=28840752/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=66.38 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270749 0 0 0 6600 38 0 0 20 0 4 0 36465127 1350111232 271074 33554432000 4194304 16246674 140737194474624 140737194456512 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271074 886 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 66.38
Current children cumulated vsize (KiB) 1318468

[startup+67.2073 s]
/proc/loadavg: 2.14 2.10 1.92 3/184 5395
/proc/meminfo: memFree=28840756/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=67.19 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270749 0 0 0 6681 38 0 0 20 0 4 0 36465127 1350111232 271074 33554432000 4194304 16246674 140737194474624 140737194456512 5523352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271074 886 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 67.19
Current children cumulated vsize (KiB) 1318468

[startup+67.4004 s]
/proc/loadavg: 2.14 2.10 1.92 3/184 5395
/proc/meminfo: memFree=28840756/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=1318468 CPUtime=67.38 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202496 270749 0 0 0 6700 38 0 0 20 0 4 0 36465127 1350111232 271074 33554432000 4194304 16246674 140737194474624 140737194456512 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 329617 271074 886 2943 0 326511 0
[pid=5386/tid=5387] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5387/stat : 5387 (toysat) S 5383 5386 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243011349744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5386/tid=5388] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5388/stat : 5388 (toysat) S 5383 5386 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140243000859888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5386/tid=5389] ppid=5383 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/5386/task/5389/stat : 5389 (toysat) S 5383 5386 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36465128 1350111232 271074 33554432000 4194304 16246674 140737194474624 140242990386352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 67.38
Current children cumulated vsize (KiB) 1318468

[startup+67.5004 s]
/proc/loadavg: 2.14 2.10 1.92 3/184 5395
/proc/meminfo: memFree=28840756/32872528 swapFree=163656/177964
[pid=5386] ppid=5383 vsize=0 CPUtime=67.48 cores=0,2,4,6
/proc/5386/stat : 5386 (toysat) R 5383 5386 4845 0 -1 4202500 270753 0 0 0 6710 38 0 0 20 0 1 0 36465127 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5386/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 67.48
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 67.5577
CPU time (s): 67.5467
CPU user time (s): 67.1048
CPU system time (s): 0.441932
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1318468

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168974 second user time and 0.267959 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-19 15:49:12
IDJOB=4109806
IDBENCH=78929
IDSOLVER=2553
FILE ID=node105/4109806-1466344152
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/tsp/normalized-t3002.11tsp11.1900576151--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-4109806-1466344152/watcher-4109806-1466344152 -o /tmp/evaluation-result-4109806-1466344152/solver-4109806-1466344152 -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-4109806-1466344152.wbo

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

MD5SUM BENCH= e60bec5d313c91289af640357d00991f
RANDOM SEED=787633278

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:        29925576 kB
Buffers:          127308 kB
Cached:           346132 kB
SwapCached:         1696 kB
Active:          1702048 kB
Inactive:         324792 kB
Active(anon):    1552532 kB
Inactive(anon):     3096 kB
Active(file):     149516 kB
Inactive(file):   321696 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67099304 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       1731080 kB
Mapped:            10784 kB
Shmem:                 0 kB
Slab:             609040 kB
SReclaimable:      52820 kB
SUnreclaim:       556220 kB
KernelStack:        1520 kB
PageTables:         7472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1875484 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:50:20