Trace number 4109690

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 108.778 108.801

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo
MD5SUM91e040f5c30df15d8a8ea402735ab864
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 benchmark42.3926
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 constraints1848
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 94973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 713
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T15:45:22+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-4109690-1466343922.wbo"]
0.00/0.01	c use --random-gen="3766009462 2865878955 3045978587 23163178 3258268259 2315164584 204507098 2217935399 4054074107 2448946046 1923542577 4250890446 2636220982 1158292517 1718876435 1382796605 493172219 958847172 471275901 1366724069 118698085 698289270 3526661614 3447794513 2396505741 3845475609 3515707567 2410301495 1082785667 1313505502 1327282166 620569488 1681106940 530169457 1894069899 2910561630 1237132807 2073296643 1923628771 1867820108 2468699705 1719434318 2610856052 69118066 3355026225 3971673674 3114473659 1505074794 2350558134 2699021849 4274108451 963815755 2243093346 3300821001 2271873826 1351586904 2238126214 1534336500 2590302042 1183070978 980521131 3964480210 221244899 1655527665 650786318 2198445959 3923166969 2666849493 2563237710 3317299967 943370061 1189225093 1360001159 3961558650 4128942157 701776416 4110867466 1665038112 2579952045 1234445661 515887476 4259378530 1173372461 1055162407 3175851994 4081176354 969270080 1284348217 1152159502 32582749 4145207896 1736313538 549138297 2691704903 3619853334 1132703785 3286671425 2349121503 1080141628 334127420 2898901347 1994171613 1349083027 1575976782 3638987744 814069193 1790380070 2606814003 3682096374 155441110 2977251895 313383017 731912551 2951787654 1339605587 234056147 836958500 252469231 1463201902 3372610707 2881034407 568210394 62486316 3956707233 3825341247 2584942280 3159398973 3418862027 2795804867 4016329480 261890015 1133479630 1675895923 717564428 2419752552 2237397600 3377294825 2640665536 4132492004 1191824434 1455717823 945017864 2928544575 2044161442 4097759320 1756135052 2527318683 1354366083 1943935101 530010489 3647065375 850440266 509334857 3486497594 2168943820 2622788327 2497234935 3363396821 899135648 2362597037 1724011727 961885236 309007667 1110093387 2933312147 1254285972 1853300752 1975798360 1838128175 1114441642 1253255475 2769447646 3675317455 1540850845 1960534524 214001916 2655656472 184778685 3810272416 3922563791 2301676991 3102043392 2500593237 997565431 3657477371 2282809289 3486186473 625518374 481886377 78694103 2789956951 3806630905 3491014657 3678842424 67883714 3282248004 12793169 3180138691 402266857 3285654047 3631131913 3728905663 3969933026 2613717284 3389901388 1066213394 2005356426 417835776 3578184746 3294605955 2927795802 2021704692 183613278 4122533609 1884252113 2525280284 2814207607 1731314791 1560560119 2704251158 1590881572 2535233430 894459918 4121214481 1485325569 909898451 1571725998 4057242013 3427115034 1012130816 353178523 979419223 2004322564 879306419 4284185383 2343633281 2352021841 3241542606 2715474294 3793389741 1448206782 384694645 2864424270 3893642671 219972967 3995674895 3694058504 12041777 2618230948 1737456601 3036352794 500103926 727141979 3801057216 3946699587 2659817603 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	c #constraints 2707
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1595      0 |        0 |        0
0.19/0.21	c  0.0s |       0 |     3050 |       42 |     1595      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.013s
0.19/0.21	c #wall_clock_time = 0.013s
0.19/0.21	c #decision = 3050
0.19/0.21	c #random_decision = 14
0.19/0.21	c #conflict = 42
0.19/0.21	c #restart = 0
0.19/0.21	o 395
0.19/0.21	c BCD2: updating upper bound: 94972 -> 394
0.19/0.23	c BCD2: 0 <= obj <= 394
0.19/0.23	c BCD2: #cores=0, #unrelaxed=1848, #relaxed=0, #hardened=0
0.19/0.23	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     1595      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |     2018 |      100 |     1755      0 |        0 |        0
0.19/0.29	c  0.1s |       2 |     4125 |      250 |     1931      0 |        0 |        0
0.29/0.35	c  0.1s |       3 |     6376 |      475 |     2125      0 |        0 |        0
0.38/0.43	c  0.2s |       4 |     8894 |      813 |     2338      0 |        0 |        0
0.58/0.66	c  0.4s |       5 |    11486 |     1320 |     2572      0 |        0 |        0
0.89/0.95	c  0.7s |       6 |    14533 |     2081 |     2830      0 |        0 |        0
1.29/1.38	c  1.2s |       7 |    17959 |     3223 |     3114      0 |        0 |        0
2.09/2.10	c  1.9s |       8 |    22527 |     4936 |     3426      1 |        0 |        0
2.99/3.09	c  2.9s |       9 |    28297 |     7506 |     3769      2 |        0 |        0
4.69/4.70	c  4.5s |      10 |    35909 |    11361 |     4146      3 |        0 |        0
6.70/6.72	c  6.5s |      10 |    42477 |    14461 |     4146      4 |        0 |        0
8.69/8.73	c  8.5s |      10 |    45185 |    16361 |     4146      5 |        0 |        0
9.29/9.39	c  9.2s |      11 |    46345 |    17144 |     4561      5 |        0 |        0
11.39/11.43	c 11.2s |      11 |    52626 |    20144 |     4561      6 |        0 |        0
13.48/13.54	c 13.3s |      11 |    56296 |    22744 |     4561      7 |        0 |        0
15.58/15.60	c 15.4s |      11 |    58920 |    24544 |     4561      8 |        0 |        0
16.88/16.90	c 16.7s |      12 |    60714 |    25819 |     5018      8 |        0 |        0
18.89/18.96	c 18.7s |      12 |    64906 |    27419 |     5018      8 |        0 |        0
21.00/21.07	c 20.8s |      12 |    67017 |    28819 |     5018      9 |        0 |        0
23.10/23.20	c 23.0s |      12 |    69392 |    30319 |     5018      9 |        0 |        0
25.19/25.26	c 25.0s |      12 |    72191 |    32219 |     5018     10 |        0 |        0
27.28/27.32	c 27.1s |      12 |    75705 |    34519 |     5018     10 |        0 |        0
29.28/29.34	c 29.1s |      12 |    80037 |    37019 |     5018     11 |        0 |        0
30.68/30.73	c 30.5s |      13 |    83231 |    38832 |     5520     12 |        0 |        0
32.69/32.75	c 32.5s |      13 |    89199 |    41232 |     5520     12 |        0 |        0
34.79/34.85	c 34.6s |      13 |    92424 |    43332 |     5520     13 |        0 |        0
36.88/36.90	c 36.7s |      13 |    96484 |    45732 |     5520     13 |        0 |        0
38.88/38.92	c 38.7s |      13 |    99672 |    47832 |     5520     14 |        0 |        0
40.88/40.95	c 40.7s |      13 |   103388 |    50132 |     5520     15 |        0 |        0
42.89/42.96	c 42.7s |      13 |   106927 |    52232 |     5520     15 |        0 |        0
44.98/45.00	c 44.8s |      13 |   110753 |    54432 |     5520     16 |        0 |        0
46.98/47.04	c 46.8s |      13 |   114274 |    56532 |     5520     16 |        0 |        0
48.49/48.57	c 48.3s |      14 |   117351 |    58352 |     6073     17 |        0 |        0
50.48/50.58	c 50.4s |      14 |   122677 |    60352 |     6073     17 |        0 |        0
52.58/52.63	c 52.4s |      14 |   125727 |    62152 |     6073     18 |        0 |        0
54.68/54.76	c 54.5s |      14 |   128298 |    63752 |     6073     18 |        0 |        0
56.78/56.87	c 56.6s |      14 |   131334 |    65552 |     6073     19 |        0 |        0
58.88/58.92	c 58.7s |      14 |   135021 |    67452 |     6073     19 |        0 |        0
60.88/60.96	c 60.7s |      14 |   138507 |    69352 |     6073     19 |        0 |        0
62.98/63.09	c 62.9s |      14 |   141371 |    71052 |     6073     20 |        0 |        0
65.08/65.10	c 64.9s |      14 |   143965 |    72552 |     6073     20 |        0 |        0
67.09/67.11	c 66.9s |      14 |   147153 |    74252 |     6073     21 |        0 |        0
69.08/69.11	c 68.9s |      14 |   149593 |    75752 |     6073     21 |        0 |        0
71.08/71.16	c 70.9s |      14 |   151994 |    77152 |     6073     21 |        0 |        0
73.18/73.24	c 73.0s |      14 |   154273 |    78452 |     6073     22 |        0 |        0
75.18/75.27	c 75.0s |      14 |   156210 |    79652 |     6073     22 |        0 |        0
77.28/77.31	c 77.1s |      14 |   159349 |    81452 |     6073     23 |        0 |        0
79.29/79.32	c 79.1s |      14 |   162619 |    83352 |     6073     23 |        0 |        0
81.28/81.34	c 81.1s |      14 |   165645 |    85052 |     6073     23 |        0 |        0
83.37/83.40	c 83.2s |      14 |   168091 |    86552 |     6073     24 |        0 |        0
83.68/83.72	c 83.5s |      14 |   168403 |    86766 |     6073     24 |        0 |        0
83.68/83.72	c #cpu_time = 83.282s
83.68/83.72	c #wall_clock_time = 83.496s
83.68/83.72	c #decision = 168403
83.68/83.72	c #random_decision = 149
83.68/83.72	c #conflict = 86766
83.68/83.72	c #restart = 14
83.68/83.72	c BCD2: found a new core of size 1846: cost of the new core is >=1
83.68/83.72	c lower bound updated to 1
83.68/83.73	c BCD2: 1 <= obj <= 394
83.68/83.73	c BCD2: #cores=1, #unrelaxed=2, #relaxed=1846, #hardened=0
83.68/83.73	c BCD2: #sat=1 #unsat=2 bias=2/3
83.68/83.73	c Solving starts ...
83.68/83.73	c ============================[ Search Statistics ]============================
83.68/83.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
83.68/83.73	c       |         |          |          |    Limit     GC | Var      | Constra 
83.68/83.73	c =============================================================================
83.68/83.73	c  0.0s |       0 |        0 |        0 |     6073      0 |        0 |        0
83.68/83.79	c  0.1s |       0 |     1908 |        0 |     6073      0 |        0 |        0
83.68/83.79	c #cpu_time = 0.057s
83.68/83.79	c #wall_clock_time = 0.057s
83.68/83.79	c #decision = 1908
83.68/83.79	c #random_decision = 5
83.68/83.79	c #conflict = 0
83.68/83.79	c #restart = 0
83.68/83.79	o 94
83.68/83.79	c BCD2: hardening fixes 114 literals
83.68/83.79	c BCD2: updating upper bound: 394 -> 93
83.77/83.80	c BCD2: 1 <= obj <= 93
83.77/83.80	c BCD2: #cores=1, #unrelaxed=2, #relaxed=1732, #hardened=114
83.77/83.80	c BCD2: #sat=2 #unsat=2 bias=2/4
83.77/83.81	c Solving starts ...
83.77/83.81	c ============================[ Search Statistics ]============================
83.77/83.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
83.77/83.81	c       |         |          |          |    Limit     GC | Var      | Constra 
83.77/83.81	c =============================================================================
83.77/83.81	c  0.0s |       0 |        0 |        0 |     6073      0 |      114 |        1
83.87/83.98	c  0.2s |       1 |      306 |      100 |     6073      0 |      114 |        1
83.97/84.05	c  0.2s |       1 |      421 |      129 |     6073      0 |      114 |        1
83.97/84.05	c #cpu_time = 0.242s
83.97/84.05	c #wall_clock_time = 0.242s
83.97/84.05	c #decision = 421
83.97/84.05	c #random_decision = 0
83.97/84.05	c #conflict = 129
83.97/84.05	c #restart = 1
83.97/84.05	o 46
83.97/84.05	c BCD2: hardening fixes 938 literals
83.97/84.06	c BCD2: updating upper bound: 93 -> 45
83.97/84.06	c BCD2: 1 <= obj <= 45
83.97/84.06	c BCD2: #cores=1, #unrelaxed=0, #relaxed=796, #hardened=1052
83.97/84.06	c BCD2: #sat=3 #unsat=2 bias=2/5
83.97/84.06	c Solving starts ...
83.97/84.06	c ============================[ Search Statistics ]============================
83.97/84.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
83.97/84.06	c       |         |          |          |    Limit     GC | Var      | Constra 
83.97/84.06	c =============================================================================
83.97/84.06	c  0.0s |       0 |        0 |        0 |     6073      0 |     1052 |        4
84.17/84.21	c  0.1s |       1 |      166 |      100 |     6073      0 |     1052 |        4
84.27/84.32	c  0.3s |       2 |      427 |      250 |     6681      0 |     1052 |        4
84.48/84.52	c  0.5s |       3 |      730 |      475 |     6681      0 |     1052 |        4
84.58/84.70	c  0.6s |       4 |     1255 |      813 |     6681      0 |     1052 |        4
84.79/84.81	c  0.7s |       4 |     1465 |      939 |     6681      0 |     1052 |        4
84.79/84.81	c #cpu_time = 0.741s
84.79/84.81	c #wall_clock_time = 0.743s
84.79/84.81	c #decision = 1465
84.79/84.81	c #random_decision = 1
84.79/84.81	c #conflict = 939
84.79/84.81	c #restart = 4
84.79/84.81	o 12
84.79/84.81	c BCD2: hardening fixes 604 literals
84.79/84.81	c BCD2: updating upper bound: 45 -> 11
84.79/84.81	c BCD2: 1 <= obj <= 11
84.79/84.81	c BCD2: #cores=1, #unrelaxed=0, #relaxed=192, #hardened=1656
84.79/84.81	c BCD2: #sat=4 #unsat=2 bias=2/6
84.79/84.81	c Solving starts ...
84.79/84.81	c ============================[ Search Statistics ]============================
84.79/84.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
84.79/84.81	c       |         |          |          |    Limit     GC | Var      | Constra 
84.79/84.81	c =============================================================================
84.79/84.81	c  0.0s |       0 |        0 |        0 |     6681      0 |     1656 |        6
84.87/84.93	c  0.1s |       1 |      133 |      100 |     6681      0 |     1656 |        6
85.07/85.13	c  0.3s |       2 |      398 |      250 |     6681      0 |     1656 |        6
85.17/85.26	c  0.4s |       3 |      798 |      475 |     6681      0 |     1656 |        6
85.37/85.44	c  0.6s |       4 |     1415 |      813 |     6681      0 |     1656 |        6
85.57/85.67	c  0.9s |       5 |     2199 |     1320 |     6681      0 |     1656 |        6
86.18/86.25	c  1.4s |       6 |     3377 |     2081 |     6681      1 |     1656 |        6
86.68/86.74	c  1.9s |       7 |     5196 |     3223 |     6681      1 |     1656 |        6
87.28/87.38	c  2.6s |       8 |     7870 |     4936 |     6681      1 |     1656 |        6
88.18/88.23	c  3.4s |       8 |    10913 |     6898 |     6681      2 |     1656 |        6
88.18/88.23	c #cpu_time = 3.411s
88.18/88.23	c #wall_clock_time = 3.420s
88.18/88.23	c #decision = 10913
88.18/88.23	c #random_decision = 17
88.18/88.23	c #conflict = 6898
88.18/88.23	c #restart = 8
88.18/88.23	o 6
88.18/88.23	c BCD2: hardening fixes 109 literals
88.18/88.23	c BCD2: updating upper bound: 11 -> 5
88.18/88.23	c BCD2: 1 <= obj <= 5
88.18/88.23	c BCD2: #cores=1, #unrelaxed=0, #relaxed=83, #hardened=1765
88.18/88.23	c BCD2: #sat=5 #unsat=2 bias=2/7
88.18/88.23	c Solving starts ...
88.18/88.23	c ============================[ Search Statistics ]============================
88.18/88.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
88.18/88.23	c       |         |          |          |    Limit     GC | Var      | Constra 
88.18/88.23	c =============================================================================
88.18/88.23	c  0.0s |       0 |        0 |        0 |     6681      0 |     1765 |        8
88.18/88.29	c  0.1s |       1 |      152 |      100 |     6681      0 |     1765 |        8
88.28/88.36	c  0.1s |       2 |      369 |      250 |     6681      0 |     1765 |        8
88.38/88.45	c  0.2s |       3 |      712 |      475 |     6681      0 |     1765 |        8
88.48/88.57	c  0.3s |       4 |     1209 |      813 |     6681      0 |     1765 |        8
88.68/88.78	c  0.5s |       5 |     2028 |     1320 |     6681      0 |     1765 |        8
88.98/89.10	c  0.9s |       6 |     3326 |     2081 |     6681      0 |     1765 |        8
89.48/89.55	c  1.3s |       7 |     5279 |     3223 |     6681      0 |     1765 |        8
90.08/90.12	c  1.9s |       8 |     8338 |     4936 |     6681      1 |     1765 |        8
90.88/90.99	c  2.8s |       9 |    12533 |     7506 |     6681      1 |     1765 |        8
92.18/92.22	c  4.0s |      10 |    19040 |    11361 |     6681      2 |     1765 |        8
94.17/94.20	c  6.0s |      11 |    27849 |    17144 |     6681      4 |     1765 |        8
96.17/96.20	c  8.0s |      11 |    35420 |    22044 |     6681      5 |     1765 |        8
97.37/97.47	c  9.2s |      12 |    41314 |    25819 |     6681      6 |     1765 |        8
99.47/99.51	c 11.3s |      12 |    50858 |    32019 |     6681      7 |     1765 |        8
101.47/101.53	c 13.3s |      12 |    59636 |    37819 |     7350      8 |     1765 |        8
101.87/101.96	c 13.7s |      13 |    61206 |    38832 |     7350      9 |     1765 |        8
103.97/104.02	c 15.8s |      13 |    70218 |    44532 |     7350     10 |     1765 |        8
105.97/106.04	c 17.8s |      13 |    80434 |    51132 |     7350     11 |     1765 |        8
107.96/108.05	c 19.8s |      13 |    90584 |    57332 |     7350     13 |     1765 |        8
108.26/108.36	c 20.1s |      14 |    92152 |    58352 |     7350     13 |     1765 |        8
108.66/108.74	c 20.5s |      14 |    94058 |    59587 |     7350     13 |     1765 |        8
108.66/108.74	c #cpu_time = 20.445s
108.66/108.74	c #wall_clock_time = 20.501s
108.66/108.74	c #decision = 94058
108.66/108.74	c #random_decision = 231
108.66/108.74	c #conflict = 59587
108.66/108.74	c #restart = 14
108.66/108.74	o 1
108.66/108.74	s OPTIMUM FOUND
108.66/108.74	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 x10
108.66/108.74	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
108.66/108.74	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
108.66/108.74	v -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40
108.66/108.74	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
108.66/108.74	v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60
108.66/108.74	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
108.66/108.74	v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
108.66/108.74	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
108.66/108.74	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
108.66/108.74	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
108.66/108.74	v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
108.66/108.74	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130
108.66/108.74	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
108.66/108.74	v -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
108.66/108.74	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
108.66/108.74	v x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
108.66/108.74	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180
108.66/108.74	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
108.66/108.74	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
108.66/108.74	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
108.66/108.74	v -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220
108.66/108.74	v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230
108.66/108.74	v -x231
108.66/108.74	c total CPU time = 108.457s
108.66/108.74	c total wall clock time = 108.740s

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

pid=8308
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.32 2.28 2.03 3/179 8311
/proc/meminfo: memFree=29060348/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=806332 CPUtime=0 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 3022 0 0 0 0 0 0 0 20 0 4 0 36440924 825683968 2873 33554432000 4194304 16246674 140733874993728 140733874993152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 202351 2882 441 2943 0 199245 0
[pid=8311/tid=8312] ppid=8308 vsize=823740 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 843509760 2941 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=827836 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 847704064 2958 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=831932 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36440924 851898368 2974 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.32 2.28 2.03 3/179 8311
/proc/meminfo: memFree=29060348/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 24885 0 0 0 6 3 0 0 20 0 4 0 36440924 1247350784 24728 33554432000 4194304 16246674 140733874993728 140733874993152 6144396 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 304529 24729 617 2943 0 301423 0
[pid=8311/tid=8312] ppid=8308 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1247350784 24733 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1247350784 24736 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36440924 1247350784 24741 33554432000 4194304 16246674 140733874993728 139865889950896 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.200452 s]
/proc/loadavg: 2.32 2.28 2.03 3/179 8311
/proc/meminfo: memFree=29060348/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 33185 0 0 0 15 4 0 0 20 0 4 0 36440924 1250496512 32982 33554432000 4194304 16246674 140733874993728 140733874993040 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 305297 32982 899 2943 0 302191 0
[pid=8311/tid=8312] ppid=8308 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1250496512 32982 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1250496512 32982 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1250496512 32982 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300417 s]
/proc/loadavg: 2.32 2.28 2.03 3/179 8311
/proc/meminfo: memFree=29060348/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 48378 0 0 0 23 6 0 0 20 0 4 0 36440924 1334382592 48176 33554432000 4194304 16246674 140733874993728 140733874993040 5991173 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 325777 48187 920 2943 0 322671 0
[pid=8311/tid=8312] ppid=8308 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1334382592 48194 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1334382592 48202 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1334382592 48209 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700396 s]
/proc/loadavg: 2.32 2.28 2.03 3/179 8311
/proc/meminfo: memFree=29060348/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1303108 CPUtime=0.69 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 125821 0 0 0 51 18 0 0 20 0 4 0 36440924 1334382592 125618 33554432000 4194304 16246674 140733874993728 140733874975616 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 325777 125625 920 2943 0 322671 0
[pid=8311/tid=8312] ppid=8308 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1334382592 125631 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1334382592 125639 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1334382592 125652 33554432000 4194304 16246674 140733874993728 139865889950896 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) 1303108

[startup+1.50041 s]
/proc/loadavg: 2.32 2.28 2.03 3/183 8315
/proc/meminfo: memFree=28525868/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 134143 0 0 0 130 19 0 0 20 0 4 0 36440924 1339625472 133940 33554432000 4194304 16246674 140733874993728 140733874975616 5675449 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 327057 133940 928 2943 0 323951 0
[pid=8311/tid=8312] ppid=8308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1339625472 133940 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1339625472 133940 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1339625472 133940 33554432000 4194304 16246674 140733874993728 139865889950896 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) 1308228

[startup+3.1004 s]
/proc/loadavg: 2.32 2.28 2.03 3/183 8315
/proc/meminfo: memFree=28525616/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 134147 0 0 0 290 19 0 0 20 0 4 0 36440924 1339625472 133944 33554432000 4194304 16246674 140733874993728 140733874976728 5531312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 327057 133944 932 2943 0 323951 0
[pid=8311/tid=8312] ppid=8308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1339625472 133944 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1339625472 133944 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1339625472 133944 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.37 2.30 2.03 3/183 8315
/proc/meminfo: memFree=28524528/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 134403 0 0 0 610 19 0 0 20 0 4 0 36440924 1340674048 134200 33554432000 4194304 16246674 140733874993728 140733874975616 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 327313 134200 932 2943 0 324207 0
[pid=8311/tid=8312] ppid=8308 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1340674048 134200 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1340674048 134200 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1340674048 134200 33554432000 4194304 16246674 140733874993728 139865889950896 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) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.34 2.29 2.03 3/183 8315
/proc/meminfo: memFree=28524300/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 134403 0 0 0 1250 19 0 0 20 0 4 0 36440924 1340674048 134200 33554432000 4194304 16246674 140733874993728 140733874975616 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 327313 134200 932 2943 0 324207 0
[pid=8311/tid=8312] ppid=8308 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1340674048 134200 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1340674048 134200 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1340674048 134200 33554432000 4194304 16246674 140733874993728 139865889950896 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) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.34 2.29 2.04 3/183 8315
/proc/meminfo: memFree=28523544/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1311300 CPUtime=25.49 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 134727 0 0 0 2529 20 0 0 20 0 4 0 36440924 1342771200 134524 33554432000 4194304 16246674 140733874993728 140733874992904 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 327825 134524 932 2943 0 324719 0
[pid=8311/tid=8312] ppid=8308 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1342771200 134524 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1342771200 134524 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1342771200 134524 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.28 2.28 2.04 3/183 8315
/proc/meminfo: memFree=28522784/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 134841 0 0 0 5085 23 0 0 20 0 4 0 36440924 1342771200 134638 33554432000 4194304 16246674 140733874993728 140733874992904 13928624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 327825 134638 932 2943 0 324719 0
[pid=8311/tid=8312] ppid=8308 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1342771200 134638 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1342771200 134638 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1342771200 134638 33554432000 4194304 16246674 140733874993728 139865889950896 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) 1311300

[startup+102.3 s]
/proc/loadavg: 2.28 2.28 2.05 3/183 8317
/proc/meminfo: memFree=27980632/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1315396 CPUtime=102.27 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 262930 0 0 0 10180 47 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 140733874975616 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 328849 270122 940 2943 0 325743 0
[pid=8311/tid=8312] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396

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

[startup+102.407 s]
/proc/loadavg: 2.28 2.28 2.05 3/183 8317
/proc/meminfo: memFree=27980632/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1315396 CPUtime=102.37 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 262930 0 0 0 10190 47 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 140733874975616 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 328849 270122 940 2943 0 325743 0
[pid=8311/tid=8312] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 1315396

[startup+105.6 s]
/proc/loadavg: 2.34 2.29 2.05 3/183 8317
/proc/meminfo: memFree=27980368/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1315396 CPUtime=105.57 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 262930 0 0 0 10510 47 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 140733874976728 12483127 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 328849 270122 940 2943 0 325743 0
[pid=8311/tid=8312] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 105.57
Current children cumulated vsize (KiB) 1315396

[startup+107.2 s]
/proc/loadavg: 2.34 2.29 2.05 3/183 8317
/proc/meminfo: memFree=27980368/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1315396 CPUtime=107.16 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 262930 0 0 0 10669 47 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 140733874975616 5672201 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 328849 270122 940 2943 0 325743 0
[pid=8311/tid=8312] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 107.16
Current children cumulated vsize (KiB) 1315396

[startup+108 s]
/proc/loadavg: 2.34 2.29 2.05 3/183 8317
/proc/meminfo: memFree=27980368/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1315396 CPUtime=107.96 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 262930 0 0 0 10749 47 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 140733874975616 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 328849 270122 940 2943 0 325743 0
[pid=8311/tid=8312] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 107.96
Current children cumulated vsize (KiB) 1315396

[startup+108.4 s]
/proc/loadavg: 2.34 2.29 2.05 3/183 8317
/proc/meminfo: memFree=27980368/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=1315396 CPUtime=108.36 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202496 262930 0 0 0 10789 47 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 140733874975616 5823238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 328849 270122 940 2943 0 325743 0
[pid=8311/tid=8312] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8312/stat : 8312 (toysat) S 8308 8311 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865910914288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8311/tid=8313] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8313/stat : 8313 (toysat) S 8308 8311 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865900424432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8311/tid=8314] ppid=8308 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8314/stat : 8314 (toysat) S 8308 8311 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36440924 1346965504 270122 33554432000 4194304 16246674 140733874993728 139865889950896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 108.36
Current children cumulated vsize (KiB) 1315396

[startup+108.8 s]
/proc/loadavg: 2.34 2.29 2.05 3/183 8317
/proc/meminfo: memFree=27980368/32872528 swapFree=1431120/1543540
[pid=8311] ppid=8308 vsize=0 CPUtime=108.76 cores=0,2,4,6
/proc/8311/stat : 8311 (toysat) R 8308 8311 7726 0 -1 4202500 262932 0 0 0 10823 53 0 0 20 0 1 0 36440924 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8311/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 108.76
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 108.801
CPU time (s): 108.778
CPU user time (s): 108.24
CPU system time (s): 0.538918
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.24
system time used= 0.538918
maximum resident set size= 1080492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 120

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.254961 second user time and 0.448931 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-19 15:45:22
IDJOB=4109690
IDBENCH=78891
IDSOLVER=2553
FILE ID=node116/4109690-1466343922
RUNJOBID= node116-1466341822-7742
PBS_JOBID= 19922036
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= 91e040f5c30df15d8a8ea402735ab864
RANDOM SEED=960524075

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29060984 kB
Buffers:          142728 kB
Cached:           281880 kB
SwapCached:         2316 kB
Active:          1249724 kB
Inactive:         262460 kB
Active(anon):    1085648 kB
Inactive(anon):     3928 kB
Active(file):     164076 kB
Inactive(file):   258532 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16224 kB
Writeback:             0 kB
AnonPages:       2635720 kB
Mapped:            12232 kB
Shmem:                 0 kB
Slab:             616388 kB
SReclaimable:      60352 kB
SUnreclaim:       556036 kB
KernelStack:        1520 kB
PageTables:         9256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2774280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1122304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71660 MiB
End job on node116 at 2016-06-19 15:47:11