Trace number 4093337

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 61.8326 61.8548

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
MD5SUM32bdb0ca9ee10d9e7c56deff56e319ba
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 benchmark38.5961
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 constraints1777
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 90281
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90280
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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-16T16:18:30+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-4093337-1466086710.wbo"]
0.00/0.01	c use --random-gen="3531974224 1684243654 3500418537 363414992 1148333168 2090551702 993707817 2189939197 3129359184 2085575898 4142792938 4277181352 1457238754 1036916012 3902989638 232959024 698032589 2875706616 1056799584 2520040113 819236704 3611530541 3475134585 3436811791 1240038520 2901591249 1219559708 2694474330 1695269117 3110544971 2011749419 809742143 840851673 1289120324 3507288030 4285783317 1399614005 2665159455 1759627839 2284289349 4016565422 3173985904 1349146661 3122097018 2114844280 1540113573 3779861486 2909589467 2682833076 1248663914 3960967371 1855055248 1227725919 4123620508 2305281797 1175204409 145409004 4134241480 3738236988 3563753169 1356071520 2056911113 3068623869 3677941248 1453866299 1263533040 3661480304 970734041 1515072816 3471538661 2173170785 2431074826 2361671453 4231434145 1786616714 2499838487 386769652 2953694436 1726649784 2625362441 3964822169 3103622703 89985153 1416642994 3825138834 266542026 143406408 303390294 986781484 861957954 81128236 3306301989 1533029267 2012593195 3466084163 958162522 3057894380 169930246 841433264 4257540422 4145506184 3748027625 159840860 3955811235 1367133416 307356900 2775942661 1650522289 3938360623 1960689385 3767093094 2797207303 2412537681 1127269016 2230878383 3077915432 4102767955 1086853531 922956958 1851034908 3481774499 1085180993 2066460296 3122703651 1587394785 3794748976 3513172830 2569964227 1113411362 1864045816 112787116 2848953084 2761899930 3549436878 2369401715 1075806996 3374703888 3268566066 3535059575 551304973 2731244824 132683813 3397506587 1023844148 1018845888 3832480740 3380393410 3316658854 2798326145 3852738683 2454951255 3913701708 1959417366 2130778241 1460319352 3727060835 3621704334 4211102725 3610569082 1775184678 3162862269 1331527430 2545585477 648508806 4104344287 1272020627 1066347786 3437771337 2856028882 1242261631 637412255 2228074733 2864163750 3574141633 401325233 3031480197 1343189530 3451082465 3214212996 1805179765 1988220284 671978929 789807762 846595274 140574313 2812107111 1032320381 3924854453 1188262785 1503342047 2057194579 2280056847 2747712816 2625727999 1018827434 3465081606 3590974234 3109853301 2629259268 1569645601 2951815528 435245241 4037338925 3338788899 2742970806 1679643970 4006077087 2097272886 1256177816 922357277 3681798635 3564704337 575212107 2455860122 3170328171 1705751703 1883940319 2455059096 3128889883 999109711 1424467692 4133937538 1488756289 3705433156 1894825129 4037708279 3582610709 3079329606 1068285244 3295754786 2662167167 2067181914 3190260646 715986354 644439527 3203736540 420642650 4172336880 1337357890 2852282211 1149231386 2102050527 495487884 2166860977 226711296 1961421045 3469255805 2562514969 4103024074 3810445773 863764155 2420588954 4037328823 1824568322 1278700322 2299513153 255 362436" option to reproduce the execution
0.08/0.14	c #vars 231
0.08/0.14	c #constraints 2707
0.08/0.19	c BCD2: Hardening is enabled.
0.08/0.19	c BCD2: BiasedSearch is enabled.
0.08/0.19	c Solving starts ...
0.08/0.19	c ============================[ Search Statistics ]============================
0.08/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.19	c =============================================================================
0.08/0.19	c  0.0s |       0 |        0 |        0 |     1571      0 |        0 |        0
0.18/0.20	c  0.0s |       0 |     1798 |       10 |     1571      0 |        0 |        0
0.18/0.20	c #cpu_time = 0.007s
0.18/0.20	c #wall_clock_time = 0.007s
0.18/0.20	c #decision = 1798
0.18/0.20	c #random_decision = 10
0.18/0.20	c #conflict = 10
0.18/0.20	c #restart = 0
0.18/0.20	o 397
0.18/0.20	c BCD2: updating upper bound: 90280 -> 396
0.18/0.21	c BCD2: 0 <= obj <= 396
0.18/0.21	c BCD2: #cores=0, #unrelaxed=1777, #relaxed=0, #hardened=0
0.18/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.18/0.21	c Solving starts ...
0.18/0.21	c ============================[ Search Statistics ]============================
0.18/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.21	c =============================================================================
0.18/0.21	c  0.0s |       0 |        0 |        0 |     1571      0 |        0 |        0
0.18/0.24	c  0.0s |       1 |     1965 |      100 |     1729      0 |        0 |        0
0.18/0.28	c  0.1s |       2 |     4014 |      250 |     1902      0 |        0 |        0
0.28/0.33	c  0.1s |       3 |     6216 |      475 |     2093      0 |        0 |        0
0.38/0.42	c  0.2s |       4 |     8484 |      813 |     2303      0 |        0 |        0
0.59/0.60	c  0.4s |       5 |    11017 |     1320 |     2534      0 |        0 |        0
0.79/0.83	c  0.6s |       6 |    13991 |     2081 |     2788      0 |        0 |        0
1.19/1.28	c  1.1s |       7 |    17457 |     3223 |     3067      0 |        0 |        0
2.08/2.12	c  1.9s |       8 |    22002 |     4936 |     3374      1 |        0 |        0
3.39/3.46	c  3.2s |       9 |    27443 |     7506 |     3712      2 |        0 |        0
5.38/5.50	c  5.3s |       9 |    34471 |    11106 |     3712      3 |        0 |        0
5.68/5.71	c  5.5s |      10 |    34917 |    11361 |     4084      3 |        0 |        0
7.69/7.78	c  7.6s |      10 |    42756 |    14761 |     4084      4 |        0 |        0
9.09/9.11	c  8.9s |      11 |    47077 |    17144 |     4493      5 |        0 |        0
11.09/11.13	c 10.9s |      11 |    53864 |    20044 |     4493      6 |        0 |        0
13.09/13.18	c 13.0s |      11 |    57958 |    22444 |     4493      7 |        0 |        0
15.18/15.21	c 15.0s |      11 |    63148 |    25344 |     4493      8 |        0 |        0
15.49/15.52	c 15.3s |      12 |    64033 |    25819 |     4943      8 |        0 |        0
17.48/17.53	c 17.3s |      12 |    70561 |    28619 |     4943      9 |        0 |        0
19.48/19.57	c 19.4s |      12 |    74990 |    31319 |     4943     10 |        0 |        0
21.58/21.64	c 21.4s |      12 |    79442 |    34019 |     4943     10 |        0 |        0
23.68/23.70	c 23.5s |      12 |    84376 |    36719 |     4943     11 |        0 |        0
25.39/25.47	c 25.3s |      13 |    87948 |    38832 |     5438     12 |        0 |        0
27.48/27.51	c 27.3s |      13 |    94383 |    41632 |     5438     12 |        0 |        0
29.48/29.52	c 29.3s |      13 |    97572 |    43432 |     5438     13 |        0 |        0
31.48/31.57	c 31.4s |      13 |   102538 |    46332 |     5438     14 |        0 |        0
33.58/33.68	c 33.5s |      13 |   106707 |    48632 |     5438     14 |        0 |        0
35.78/35.80	c 35.6s |      13 |   111374 |    51132 |     5438     15 |        0 |        0
37.78/37.85	c 37.6s |      13 |   114994 |    53232 |     5438     16 |        0 |        0
39.78/39.88	c 39.7s |      13 |   118199 |    55032 |     5438     16 |        0 |        0
41.88/41.93	c 41.7s |      13 |   121786 |    56832 |     5438     17 |        0 |        0
43.58/43.63	c 43.4s |      14 |   124450 |    58352 |     5982     17 |        0 |        0
45.68/45.71	c 45.5s |      14 |   129681 |    60252 |     5982     17 |        0 |        0
47.68/47.72	c 47.5s |      14 |   132577 |    61852 |     5982     18 |        0 |        0
49.68/49.80	c 49.6s |      14 |   135123 |    63352 |     5982     18 |        0 |        0
51.78/51.88	c 51.7s |      14 |   137467 |    64752 |     5982     19 |        0 |        0
53.89/53.98	c 53.8s |      14 |   140584 |    66452 |     5982     19 |        0 |        0
56.08/56.12	c 55.9s |      14 |   142608 |    67652 |     5982     19 |        0 |        0
57.47/57.54	c 57.3s |      14 |   143929 |    68425 |     5982     20 |        0 |        0
57.47/57.54	c #cpu_time = 57.174s
57.47/57.54	c #wall_clock_time = 57.326s
57.47/57.54	c #decision = 143929
57.47/57.54	c #random_decision = 97
57.47/57.54	c #conflict = 68425
57.47/57.54	c #restart = 14
57.47/57.54	c BCD2: found a new core of size 1737: cost of the new core is >=1
57.47/57.54	c lower bound updated to 1
57.47/57.55	c BCD2: 1 <= obj <= 396
57.47/57.55	c BCD2: #cores=1, #unrelaxed=40, #relaxed=1737, #hardened=0
57.47/57.55	c BCD2: #sat=1 #unsat=2 bias=2/3
57.47/57.55	c Solving starts ...
57.47/57.55	c ============================[ Search Statistics ]============================
57.47/57.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
57.47/57.55	c       |         |          |          |    Limit     GC | Var      | Constra 
57.47/57.55	c =============================================================================
57.47/57.55	c  0.0s |       0 |        0 |        0 |     5982      0 |        0 |        0
57.57/57.60	c  0.1s |       0 |     1838 |        0 |     5982      0 |        0 |        0
57.57/57.60	c #cpu_time = 0.048s
57.57/57.60	c #wall_clock_time = 0.048s
57.57/57.60	c #decision = 1838
57.57/57.60	c #random_decision = 8
57.57/57.60	c #conflict = 0
57.57/57.60	c #restart = 0
57.57/57.60	o 82
57.57/57.60	c BCD2: hardening fixes 359 literals
57.57/57.60	c BCD2: updating upper bound: 396 -> 81
57.57/57.61	c BCD2: 1 <= obj <= 81
57.57/57.61	c BCD2: #cores=1, #unrelaxed=33, #relaxed=1385, #hardened=359
57.57/57.61	c BCD2: #sat=2 #unsat=2 bias=2/4
57.57/57.62	c Solving starts ...
57.57/57.62	c ============================[ Search Statistics ]============================
57.57/57.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
57.57/57.62	c       |         |          |          |    Limit     GC | Var      | Constra 
57.57/57.62	c =============================================================================
57.57/57.62	c  0.0s |       0 |        0 |        0 |     5982      0 |      359 |        1
57.78/57.84	c  0.2s |       1 |      591 |      100 |     5982      0 |      359 |        1
57.98/58.04	c  0.4s |       2 |      854 |      250 |     5982      0 |      359 |        1
58.18/58.27	c  0.7s |       2 |     1204 |      464 |     5982      0 |      359 |        1
58.18/58.27	c #cpu_time = 0.652s
58.18/58.27	c #wall_clock_time = 0.654s
58.18/58.27	c #decision = 1204
58.18/58.27	c #random_decision = 0
58.18/58.27	c #conflict = 464
58.18/58.27	c #restart = 2
58.18/58.27	o 41
58.18/58.27	c BCD2: hardening fixes 710 literals
58.18/58.28	c BCD2: updating upper bound: 81 -> 40
58.18/58.28	c BCD2: 1 <= obj <= 40
58.18/58.28	c BCD2: #cores=1, #unrelaxed=15, #relaxed=693, #hardened=1069
58.18/58.28	c BCD2: #sat=3 #unsat=2 bias=2/5
58.18/58.28	c Solving starts ...
58.18/58.28	c ============================[ Search Statistics ]============================
58.18/58.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
58.18/58.28	c       |         |          |          |    Limit     GC | Var      | Constra 
58.18/58.28	c =============================================================================
58.18/58.28	c  0.0s |       0 |        0 |        0 |     5982      0 |     1069 |        2
58.29/58.39	c  0.1s |       1 |      183 |      100 |     5982      0 |     1069 |        2
58.48/58.51	c  0.2s |       2 |      429 |      250 |     5982      0 |     1069 |        2
58.58/58.66	c  0.4s |       3 |      746 |      475 |     5982      0 |     1069 |        2
58.77/58.87	c  0.6s |       4 |     1260 |      813 |     5982      0 |     1069 |        2
58.98/59.04	c  0.8s |       4 |     1467 |      955 |     5982      0 |     1069 |        2
58.98/59.04	c #cpu_time = 0.750s
58.98/59.04	c #wall_clock_time = 0.752s
58.98/59.04	c #decision = 1467
58.98/59.04	c #random_decision = 1
58.98/59.04	c #conflict = 955
58.98/59.04	c #restart = 4
58.98/59.04	o 17
58.98/59.04	c BCD2: hardening fixes 447 literals
58.98/59.04	c BCD2: updating upper bound: 40 -> 16
58.98/59.04	c BCD2: 1 <= obj <= 16
58.98/59.04	c BCD2: #cores=1, #unrelaxed=3, #relaxed=258, #hardened=1516
58.98/59.04	c BCD2: #sat=4 #unsat=2 bias=2/6
58.98/59.04	c Solving starts ...
58.98/59.04	c ============================[ Search Statistics ]============================
58.98/59.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
58.98/59.04	c       |         |          |          |    Limit     GC | Var      | Constra 
58.98/59.04	c =============================================================================
58.98/59.04	c  0.0s |       0 |        0 |        0 |     5982      0 |     1516 |        3
59.07/59.16	c  0.1s |       1 |      181 |      100 |     5982      0 |     1516 |        3
59.27/59.30	c  0.3s |       2 |      420 |      250 |     5982      0 |     1516 |        3
59.38/59.43	c  0.4s |       3 |      803 |      475 |     5982      0 |     1516 |        3
59.57/59.61	c  0.6s |       4 |     1318 |      813 |     5982      0 |     1516 |        3
59.77/59.87	c  0.8s |       5 |     2115 |     1320 |     5982      0 |     1516 |        3
60.17/60.26	c  1.2s |       6 |     3378 |     2081 |     5982      0 |     1516 |        3
60.58/60.61	c  1.6s |       6 |     4346 |     2668 |     5982      1 |     1516 |        3
60.58/60.61	c #cpu_time = 1.567s
60.58/60.61	c #wall_clock_time = 1.574s
60.58/60.61	c #decision = 4346
60.58/60.61	c #random_decision = 3
60.58/60.61	c #conflict = 2668
60.58/60.61	c #restart = 6
60.58/60.62	o 6
60.58/60.62	c BCD2: hardening fixes 190 literals
60.58/60.62	c BCD2: updating upper bound: 16 -> 5
60.58/60.62	c BCD2: 1 <= obj <= 5
60.58/60.62	c BCD2: #cores=1, #unrelaxed=1, #relaxed=70, #hardened=1706
60.58/60.62	c BCD2: #sat=5 #unsat=2 bias=2/7
60.58/60.62	c Solving starts ...
60.58/60.62	c ============================[ Search Statistics ]============================
60.58/60.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
60.58/60.62	c       |         |          |          |    Limit     GC | Var      | Constra 
60.58/60.62	c =============================================================================
60.58/60.62	c  0.0s |       0 |        0 |        0 |     5982      0 |     1706 |        4
60.58/60.65	c  0.0s |       0 |      107 |       41 |     5982      0 |     1706 |        5
60.58/60.65	c #cpu_time = 0.035s
60.58/60.65	c #wall_clock_time = 0.035s
60.58/60.65	c #decision = 107
60.58/60.65	c #random_decision = 0
60.58/60.65	c #conflict = 41
60.58/60.65	c #restart = 0
60.58/60.65	o 2
60.58/60.65	c BCD2: hardening fixes 50 literals
60.58/60.65	c BCD2: updating upper bound: 5 -> 1
60.58/60.66	c BCD2: 1 <= obj <= 1
60.58/60.66	c BCD2: #cores=1, #unrelaxed=0, #relaxed=21, #hardened=1756
60.58/60.66	c BCD2: #sat=6 #unsat=2 bias=2/8
60.58/60.66	c Solving starts ...
60.58/60.66	c ============================[ Search Statistics ]============================
60.58/60.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
60.58/60.66	c       |         |          |          |    Limit     GC | Var      | Constra 
60.58/60.66	c =============================================================================
60.58/60.66	c  0.0s |       0 |        0 |        0 |     5982      0 |     1756 |       10
60.67/60.70	c  0.0s |       1 |      153 |      100 |     5982      0 |     1756 |       10
60.67/60.77	c  0.1s |       2 |      442 |      250 |     5982      0 |     1756 |       10
60.77/60.86	c  0.2s |       3 |      788 |      475 |     5982      0 |     1756 |       10
60.87/60.97	c  0.3s |       4 |     1374 |      813 |     5982      0 |     1756 |       10
61.07/61.15	c  0.5s |       5 |     2280 |     1320 |     5982      0 |     1756 |       10
61.37/61.44	c  0.8s |       6 |     3395 |     2081 |     5982      0 |     1756 |       10
61.68/61.79	c  1.1s |       6 |     4329 |     2736 |     5982      0 |     1756 |       10
61.68/61.79	c #cpu_time = 1.133s
61.68/61.79	c #wall_clock_time = 1.135s
61.68/61.79	c #decision = 4329
61.68/61.79	c #random_decision = 19
61.68/61.79	c #conflict = 2736
61.68/61.79	c #restart = 6
61.68/61.79	o 1
61.68/61.79	s OPTIMUM FOUND
61.68/61.79	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
61.68/61.79	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
61.68/61.79	v -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30
61.68/61.79	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
61.68/61.79	v -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
61.68/61.79	v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
61.68/61.79	v -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
61.68/61.79	v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
61.68/61.79	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
61.68/61.79	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
61.68/61.79	v -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
61.68/61.79	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120
61.68/61.79	v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130
61.68/61.79	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140
61.68/61.79	v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150
61.68/61.79	v -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160
61.68/61.79	v -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170
61.68/61.79	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180
61.68/61.79	v -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190
61.68/61.79	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
61.68/61.79	v x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
61.68/61.79	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
61.68/61.79	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
61.68/61.79	v -x231
61.68/61.79	c total CPU time = 61.627s
61.68/61.79	c total wall clock time = 61.792s

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

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.14 2.10 3/179 13520
/proc/meminfo: memFree=30228236/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=243132 CPUtime=0 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 825 0 0 0 0 0 0 0 20 0 4 0 10720235 248967168 1186 33554432000 4194304 16246674 140735661598688 140735661598112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 61295 1194 441 2943 0 58189 0
[pid=13520/tid=13521] ppid=13517 vsize=259516 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 265744384 1248 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=263612 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 269938688 1264 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=267708 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 274132992 1279 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.13 2.14 2.10 3/179 13520
/proc/meminfo: memFree=30228236/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 24428 0 0 0 5 3 0 0 20 0 4 0 10720235 1247350784 24781 33554432000 4194304 16246674 140735661598688 140735661598112 12503308 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 304529 24786 619 2943 0 301423 0
[pid=13520/tid=13521] ppid=13517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1247350784 24791 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1247350784 24796 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1247350784 24797 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200567 s]
/proc/loadavg: 2.13 2.14 2.10 3/179 13520
/proc/meminfo: memFree=30228236/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1221188 CPUtime=0.18 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 32601 0 0 0 14 4 0 0 20 0 4 0 10720235 1250496512 32908 33554432000 4194304 16246674 140735661598688 140735661598000 5711404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 305297 32908 913 2943 0 302191 0
[pid=13520/tid=13521] ppid=13517 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1250496512 32908 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1250496512 32908 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1250496512 32908 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300485 s]
/proc/loadavg: 2.13 2.14 2.10 3/179 13520
/proc/meminfo: memFree=30228236/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1303108 CPUtime=0.28 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 50009 0 0 0 21 7 0 0 20 0 4 0 10720235 1334382592 50316 33554432000 4194304 16246674 140735661598688 140735661598000 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 325777 50328 923 2943 0 322671 0
[pid=13520/tid=13521] ppid=13517 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1334382592 50335 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1334382592 50340 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1334382592 50347 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1303108

[startup+0.700424 s]
/proc/loadavg: 2.13 2.14 2.10 3/179 13520
/proc/meminfo: memFree=30228236/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 81926 0 0 0 57 12 0 0 20 0 4 0 10720235 1338576896 82233 33554432000 4194304 16246674 140735661598688 140735661581680 12477844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 326801 82233 925 2943 0 323695 0
[pid=13520/tid=13521] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 82233 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 82233 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 82233 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50043 s]
/proc/loadavg: 2.13 2.14 2.10 3/183 13524
/proc/meminfo: memFree=29797828/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 107614 0 0 0 133 15 0 0 20 0 4 0 10720235 1338576896 107921 33554432000 4194304 16246674 140735661598688 140735661597784 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 326801 107921 932 2943 0 323695 0
[pid=13520/tid=13521] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 107921 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 107921 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 107921 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 2.13 2.14 2.10 3/183 13524
/proc/meminfo: memFree=29796464/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 107615 0 0 0 293 15 0 0 20 0 4 0 10720235 1338576896 107922 33554432000 4194304 16246674 140735661598688 140735661580608 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 326801 107922 933 2943 0 323695 0
[pid=13520/tid=13521] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 107922 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 107922 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1338576896 107922 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.20 2.15 2.10 3/183 13573
/proc/meminfo: memFree=29792540/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 108639 0 0 0 613 16 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140735661597864 5523400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 327825 108946 933 2943 0 324719 0
[pid=13520/tid=13521] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.26 2.17 2.11 4/183 13573
/proc/meminfo: memFree=29787152/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 108639 0 0 0 1253 16 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140735661597864 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 327825 108946 933 2943 0 324719 0
[pid=13520/tid=13521] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 13573
/proc/meminfo: memFree=29785620/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 108639 0 0 0 2531 17 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140735661597784 13955776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 327825 108946 933 2943 0 324719 0
[pid=13520/tid=13521] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 108946 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1006 s]
/proc/loadavg: 2.19 2.16 2.11 3/183 13573
/proc/meminfo: memFree=29747148/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 108639 0 0 0 5087 21 0 0 20 0 4 0 10720235 1342771200 118018 33554432000 4194304 16246674 140735661598688 140735661597864 5722656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 327825 118018 933 2943 0 324719 0
[pid=13520/tid=13521] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118018 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118018 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118018 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

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

[startup+51.2005 s]
/proc/loadavg: 2.19 2.16 2.11 3/183 13573
/proc/meminfo: memFree=29747148/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1311300 CPUtime=51.18 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 108639 0 0 0 5097 21 0 0 20 0 4 0 10720235 1342771200 118018 33554432000 4194304 16246674 140735661598688 140735661597864 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 327825 118018 933 2943 0 324719 0
[pid=13520/tid=13521] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118018 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118018 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118018 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1311300

[startup+57.6004 s]
/proc/loadavg: 2.18 2.16 2.10 4/183 13573
/proc/meminfo: memFree=29745040/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1311300 CPUtime=57.57 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 108647 0 0 0 5735 22 0 0 20 0 4 0 10720235 1342771200 118026 33554432000 4194304 16246674 140735661598688 140735661597864 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 327825 118026 941 2943 0 324719 0
[pid=13520/tid=13521] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118026 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118026 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1342771200 118026 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 57.57
Current children cumulated vsize (KiB) 1311300

[startup+59.2004 s]
/proc/loadavg: 2.18 2.16 2.10 3/183 13573
/proc/meminfo: memFree=29742064/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1314372 CPUtime=59.17 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 206953 0 0 0 5881 36 0 0 20 0 4 0 10720235 1345916928 220364 33554432000 4194304 16246674 140735661598688 140735661580608 5530837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 328593 220378 943 2943 0 325487 0
[pid=13520/tid=13521] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 220393 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 220400 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 220409 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 59.17
Current children cumulated vsize (KiB) 1314372

[startup+60.8004 s]
/proc/loadavg: 2.24 2.17 2.11 3/183 13573
/proc/meminfo: memFree=29239104/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1314372 CPUtime=60.77 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 232825 0 0 0 6038 39 0 0 20 0 4 0 10720235 1345916928 246236 33554432000 4194304 16246674 140735661598688 140735661580608 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 328593 246236 943 2943 0 325487 0
[pid=13520/tid=13521] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 246236 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 246236 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 246236 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 60.77
Current children cumulated vsize (KiB) 1314372

[startup+61.6004 s]
/proc/loadavg: 2.24 2.17 2.11 3/183 13573
/proc/meminfo: memFree=29229308/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=1314372 CPUtime=61.58 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) R 13517 13520 7985 0 -1 4202496 232825 0 0 0 6119 39 0 0 20 0 4 0 10720235 1345916928 246236 33554432000 4194304 16246674 140735661598688 140735661580608 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 328593 246236 943 2943 0 325487 0
[pid=13520/tid=13521] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13521/stat : 13521 (toysat) S 13517 13520 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 246236 33554432000 4194304 16246674 140735661598688 140058741943536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13520/tid=13522] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13522/stat : 13522 (toysat) S 13517 13520 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 246236 33554432000 4194304 16246674 140735661598688 140058731453680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) S 13517 13520 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10720235 1345916928 246236 33554432000 4194304 16246674 140735661598688 140058615082160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 61.58
Current children cumulated vsize (KiB) 1314372

[startup+61.8004 s]
/proc/loadavg: 2.24 2.17 2.11 3/183 13573
/proc/meminfo: memFree=29229308/32872528 swapFree=681192/736380
[pid=13520] ppid=13517 vsize=0 CPUtime=61.77 cores=1,3,5,7
/proc/13520/stat : 13520 (toysat) Z 13517 13520 7985 0 -1 4202508 253199 0 0 0 6135 42 0 0 20 0 2 0 10720235 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13520/statm: 0 0 0 0 0 0 0
[pid=13520/tid=13523] ppid=13517 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/13520/task/13523/stat : 13523 (toysat) R 13517 13520 7985 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 2 0 10720235 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 61.77
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 61.8548
CPU time (s): 61.8326
CPU user time (s): 61.3547
CPU system time (s): 0.477927
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.3547
system time used= 0.477927
maximum resident set size= 1066436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253199
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= 24
involuntary context switches= 90

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.282956 second user time and 0.661899 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-16 16:18:30
IDJOB=4093337
IDBENCH=78893
IDSOLVER=2553
FILE ID=node112/4093337-1466086710
RUNJOBID= node112-1466075445-11101
PBS_JOBID= 19904024
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.1900556231--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-4093337-1466086710/watcher-4093337-1466086710 -o /tmp/evaluation-result-4093337-1466086710/solver-4093337-1466086710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11101 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093337-1466086710.wbo

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

MD5SUM BENCH= 32bdb0ca9ee10d9e7c56deff56e319ba
RANDOM SEED=709862526

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30228576 kB
Buffers:           36244 kB
Cached:            99216 kB
SwapCached:          696 kB
Active:          1150704 kB
Inactive:          57704 kB
Active(anon):    1074612 kB
Inactive(anon):      740 kB
Active(file):      76092 kB
Inactive(file):    56964 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             32948 kB
Writeback:             0 kB
AnonPages:       1816864 kB
Mapped:            10672 kB
Shmem:                 0 kB
Slab:             567340 kB
SReclaimable:      11272 kB
SUnreclaim:       556068 kB
KernelStack:        1520 kB
PageTables:         7196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1953516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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 node112 at 2016-06-16 16:19:32