Trace number 4093354

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 99.1349 99.1513

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
MD5SUM8591b35e74198f55af565a685d4a35ec
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 benchmark51.3322
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 constraints1837
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 93832
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93831
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
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:26:25+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-4093354-1466087185.wbo"]
0.00/0.01	c use --random-gen="2890617707 1360029730 79193807 4208608016 2094888199 571570639 4101769284 2453490290 674880705 4118832751 215295668 558721696 3037476822 1093462144 2226586230 3728781332 1700159512 853284401 1987231989 1190742416 3808116582 4069237508 440792473 327620332 2299307966 2605753156 4057221415 2603604416 3291420506 3697312696 2645018737 242064843 2332689839 3391210357 1983198750 611851188 692269616 3074004841 1601917831 2213811279 541007206 1682568432 4273721869 1160577500 439065980 1348550125 3123044652 4232286735 2003917831 3622097867 3414840480 1746051905 2419213104 1050832781 1220701961 2186954181 2132018048 535371712 3188100955 1047357710 2894349666 3237684749 1270379264 870471315 2665450670 938254719 1733592239 307028126 3252625105 3784987194 106806796 1742662403 2912078058 1161905128 3817996415 1764541750 1379657698 3768647669 1411488859 3958744194 1638608148 373602544 259265092 2047460553 2818341853 648380162 890029199 43610107 3822861925 1506212213 3141800312 1239953048 4123765223 3726167025 2585800451 1340658157 3941297471 1851368794 2140231502 3070360654 549692854 4090566632 3297581181 2436664611 2386972358 2763402172 1197026411 3844562893 4049248676 3146552804 1401211344 3255114086 1755387298 3648221019 3363972318 2482163045 600066227 1553356633 2236094756 2308353547 26149597 3092143158 1174660063 3454027785 4196725065 1927290394 873398018 3428686674 2944530491 3823952392 2318887213 3823908237 1025403053 3686475665 3670991436 1335630995 4011856871 2092200241 2882083851 2307834907 980943458 3415662422 235630484 680655768 1302798822 157774532 2796827944 1919536212 613951525 866636721 3963667610 3200600491 2897247290 224018262 590598830 3236015360 3786170535 3949823296 1509729309 1927191866 3534451645 839704075 2782821647 3921064196 954178955 3705092340 3119994345 4076935095 3903654858 333960532 949545588 2369112655 3155831697 3128527512 1680619544 1153706521 1938837966 4275609095 192690227 837306263 704265150 3107011590 3596833891 2838520284 2890895495 2308153576 3768029641 966116480 1981723739 1283337707 3825200550 260652817 4015435333 2180554965 736319524 3368605028 192521063 3849710549 4069747529 3331606800 3756133584 237606245 4220662573 302607978 3146278465 82464586 4027710829 3988489420 2735649724 1799484145 3334508144 756840089 3490942351 1717608510 2034179469 705298766 1127061273 3890914479 4238179683 1828880984 31784307 576946197 825445837 1231825556 3454002855 1066012767 3321494469 1962999453 2059131541 1419441791 3400331493 474342881 452151175 3866916609 1281646893 98728979 2883184500 2661788932 4111655389 2706131243 4018642139 787168850 4098241528 2775685609 211757104 2386228533 2334871096 898078062 2072176658 478492998 926911449 1653321874 1570174931 2330024444 2605233091 2505088243 255 362436" option to reproduce the execution
0.09/0.15	c #vars 231
0.09/0.15	c #constraints 2707
0.19/0.20	c BCD2: Hardening is enabled.
0.19/0.20	c BCD2: BiasedSearch is enabled.
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.48	c  0.0s |       0 |        0 |        0 |     1591      0 |        0 |        0
0.19/0.48	c  0.0s |       0 |     1857 |        5 |     1591      0 |        0 |        0
0.19/0.48	c #cpu_time = 0.006s
0.19/0.48	c #wall_clock_time = 0.006s
0.19/0.48	c #decision = 1857
0.19/0.48	c #random_decision = 11
0.19/0.48	c #conflict = 5
0.19/0.48	c #restart = 0
0.19/0.48	o 505
0.19/0.48	c BCD2: updating upper bound: 93831 -> 504
0.19/0.48	c BCD2: 0 <= obj <= 504
0.19/0.48	c BCD2: #cores=0, #unrelaxed=1837, #relaxed=0, #hardened=0
0.19/0.48	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.48	c Solving starts ...
0.19/0.48	c ============================[ Search Statistics ]============================
0.19/0.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.48	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.48	c =============================================================================
0.19/0.48	c  0.0s |       0 |        0 |        0 |     1591      0 |        0 |        0
0.19/0.48	c  0.0s |       1 |     2002 |      100 |     1751      0 |        0 |        0
0.19/0.48	c  0.1s |       2 |     4072 |      250 |     1927      0 |        0 |        0
0.19/0.48	c  0.1s |       3 |     6226 |      475 |     2120      0 |        0 |        0
0.19/0.48	c  0.2s |       4 |     8570 |      813 |     2332      0 |        0 |        0
0.59/0.67	c  0.4s |       5 |    11126 |     1320 |     2566      0 |        0 |        0
0.89/0.91	c  0.7s |       6 |    14042 |     2081 |     2823      0 |        0 |        0
1.30/1.39	c  1.2s |       7 |    17369 |     3223 |     3106      0 |        0 |        0
2.29/2.33	c  2.1s |       8 |    21381 |     4936 |     3417      1 |        0 |        0
3.29/3.32	c  3.1s |       9 |    26836 |     7506 |     3759      2 |        0 |        0
4.70/4.75	c  4.5s |      10 |    34083 |    11361 |     4135      3 |        0 |        0
6.69/6.76	c  6.5s |      10 |    42294 |    15961 |     4135      5 |        0 |        0
7.49/7.56	c  7.3s |      11 |    43726 |    17144 |     4549      5 |        0 |        0
9.59/9.63	c  9.4s |      11 |    48662 |    19544 |     4549      6 |        0 |        0
11.59/11.68	c 11.5s |      11 |    52619 |    22244 |     4549      7 |        0 |        0
13.69/13.76	c 13.5s |      11 |    55282 |    24244 |     4549      7 |        0 |        0
15.09/15.16	c 14.9s |      12 |    57768 |    25819 |     5004      8 |        0 |        0
17.09/17.17	c 16.9s |      12 |    63564 |    28419 |     5004      9 |        0 |        0
19.19/19.21	c 19.0s |      12 |    67620 |    31019 |     5004      9 |        0 |        0
21.28/21.32	c 21.1s |      12 |    71065 |    33319 |     5004     10 |        0 |        0
23.29/23.32	c 23.1s |      12 |    74285 |    35319 |     5004     11 |        0 |        0
25.29/25.38	c 25.2s |      12 |    78936 |    38119 |     5004     11 |        0 |        0
25.99/26.03	c 25.8s |      13 |    80165 |    38832 |     5505     12 |        0 |        0
27.99/28.04	c 27.8s |      13 |    86513 |    41632 |     5505     12 |        0 |        0
30.18/30.24	c 30.0s |      13 |    90732 |    44132 |     5505     13 |        0 |        0
32.28/32.35	c 32.1s |      13 |    94353 |    46232 |     5505     14 |        0 |        0
34.29/34.36	c 34.1s |      13 |    98969 |    49132 |     5505     14 |        0 |        0
36.38/36.45	c 36.2s |      13 |   102304 |    51332 |     5505     15 |        0 |        0
38.49/38.57	c 38.3s |      13 |   105278 |    53232 |     5505     15 |        0 |        0
40.48/40.57	c 40.3s |      13 |   108954 |    55232 |     5505     16 |        0 |        0
42.58/42.64	c 42.4s |      13 |   111960 |    57032 |     5505     16 |        0 |        0
43.88/43.90	c 43.7s |      14 |   114135 |    58352 |     6056     17 |        0 |        0
45.88/45.94	c 45.7s |      14 |   119254 |    60452 |     6056     17 |        0 |        0
47.98/48.01	c 47.8s |      14 |   122942 |    62652 |     6056     18 |        0 |        0
49.98/50.04	c 49.8s |      14 |   126751 |    64852 |     6056     18 |        0 |        0
51.99/52.09	c 51.9s |      14 |   129476 |    66552 |     6056     19 |        0 |        0
54.09/54.11	c 53.9s |      14 |   132589 |    68452 |     6056     19 |        0 |        0
56.08/56.15	c 55.9s |      14 |   136641 |    70852 |     6056     20 |        0 |        0
58.28/58.31	c 58.1s |      14 |   140833 |    73252 |     6056     21 |        0 |        0
60.28/60.34	c 60.1s |      14 |   145612 |    76152 |     6056     21 |        0 |        0
62.38/62.41	c 62.2s |      14 |   149453 |    78452 |     6056     22 |        0 |        0
64.38/64.42	c 64.2s |      14 |   153111 |    80552 |     6056     22 |        0 |        0
66.38/66.46	c 66.2s |      14 |   156518 |    82552 |     6056     23 |        0 |        0
68.48/68.51	c 68.3s |      14 |   160367 |    84652 |     6056     23 |        0 |        0
70.48/70.54	c 70.3s |      14 |   164830 |    87252 |     6662     24 |        0 |        0
70.78/70.86	c 70.6s |      15 |   165474 |    87632 |     6662     24 |        0 |        0
72.78/72.89	c 72.7s |      15 |   170934 |    89732 |     6662     24 |        0 |        0
74.87/74.93	c 74.7s |      15 |   175130 |    92132 |     6662     25 |        0 |        0
76.88/76.93	c 76.7s |      15 |   178978 |    94332 |     6662     26 |        0 |        0
78.88/78.98	c 78.8s |      15 |   182425 |    96432 |     6662     26 |        0 |        0
80.98/81.05	c 80.8s |      15 |   184809 |    98132 |     6662     26 |        0 |        0
83.08/83.13	c 82.9s |      15 |   187022 |    99632 |     6662     27 |        0 |        0
85.07/85.15	c 84.9s |      15 |   189695 |   101232 |     6662     27 |        0 |        0
87.28/87.39	c 87.2s |      15 |   191762 |   102532 |     6662     28 |        0 |        0
89.47/89.60	c 89.4s |      15 |   194133 |   103932 |     6662     28 |        0 |        0
91.49/91.60	c 91.4s |      15 |   196788 |   105532 |     6662     28 |        0 |        0
92.68/92.74	c 92.5s |      15 |   198275 |   106411 |     6662     28 |        0 |        0
92.68/92.74	c #cpu_time = 92.273s
92.68/92.74	c #wall_clock_time = 92.517s
92.68/92.74	c #decision = 198275
92.68/92.74	c #random_decision = 144
92.68/92.74	c #conflict = 106411
92.68/92.74	c #restart = 15
92.68/92.74	c BCD2: found a new core of size 1823: cost of the new core is >=1
92.68/92.74	c lower bound updated to 1
92.68/92.75	c BCD2: 1 <= obj <= 504
92.68/92.75	c BCD2: #cores=1, #unrelaxed=14, #relaxed=1823, #hardened=0
92.68/92.75	c BCD2: #sat=1 #unsat=2 bias=2/3
92.68/92.75	c Solving starts ...
92.68/92.75	c ============================[ Search Statistics ]============================
92.68/92.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
92.68/92.75	c       |         |          |          |    Limit     GC | Var      | Constra 
92.68/92.75	c =============================================================================
92.68/92.75	c  0.0s |       0 |        0 |        0 |     6662      0 |        0 |        0
92.87/92.98	c  0.2s |       0 |     3067 |       11 |     6662      1 |        0 |        0
92.87/92.98	c #cpu_time = 0.225s
92.87/92.98	c #wall_clock_time = 0.226s
92.87/92.98	c #decision = 3067
92.87/92.98	c #random_decision = 9
92.87/92.98	c #conflict = 11
92.87/92.98	c #restart = 0
92.87/92.98	o 8
92.87/92.98	c BCD2: hardening fixes 1707 literals
92.87/92.98	c BCD2: updating upper bound: 504 -> 7
92.87/92.98	c BCD2: 1 <= obj <= 7
92.87/92.98	c BCD2: #cores=1, #unrelaxed=0, #relaxed=130, #hardened=1707
92.87/92.98	c BCD2: #sat=2 #unsat=2 bias=2/4
92.87/92.98	c Solving starts ...
92.87/92.98	c ============================[ Search Statistics ]============================
92.87/92.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
92.87/92.98	c       |         |          |          |    Limit     GC | Var      | Constra 
92.87/92.98	c =============================================================================
92.87/92.98	c  0.0s |       0 |        0 |        0 |     6662      0 |     1707 |        2
92.97/93.09	c  0.1s |       1 |      339 |      100 |     6662      0 |     1707 |        2
93.17/93.26	c  0.3s |       2 |      624 |      250 |     6662      0 |     1707 |        2
93.37/93.41	c  0.4s |       3 |      952 |      475 |     6662      0 |     1707 |        2
93.57/93.60	c  0.6s |       4 |     1489 |      813 |     6662      0 |     1707 |        2
93.78/93.83	c  0.8s |       5 |     2290 |     1320 |     6662      0 |     1707 |        2
94.07/94.14	c  1.2s |       6 |     3466 |     2081 |     6662      0 |     1707 |        2
94.67/94.70	c  1.7s |       7 |     5280 |     3223 |     6662      0 |     1707 |        2
95.07/95.16	c  2.2s |       7 |     6648 |     4184 |     6662      0 |     1707 |        2
95.07/95.16	c #cpu_time = 2.172s
95.07/95.16	c #wall_clock_time = 2.178s
95.07/95.16	c #decision = 6648
95.07/95.16	c #random_decision = 4
95.07/95.16	c #conflict = 4184
95.07/95.16	c #restart = 7
95.07/95.16	o 7
95.07/95.17	c BCD2: hardening fixes 17 literals
95.07/95.17	c BCD2: updating upper bound: 7 -> 6
95.07/95.17	c BCD2: 1 <= obj <= 6
95.07/95.17	c BCD2: #cores=1, #unrelaxed=0, #relaxed=113, #hardened=1724
95.07/95.17	c BCD2: #sat=3 #unsat=2 bias=2/5
95.07/95.17	c Solving starts ...
95.07/95.17	c ============================[ Search Statistics ]============================
95.07/95.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
95.07/95.17	c       |         |          |          |    Limit     GC | Var      | Constra 
95.07/95.17	c =============================================================================
95.07/95.17	c  0.0s |       0 |        0 |        0 |     6662      0 |     1724 |        4
95.17/95.27	c  0.1s |       1 |      157 |      100 |     6662      0 |     1724 |        4
95.37/95.48	c  0.3s |       2 |      364 |      250 |     6662      1 |     1724 |        4
95.47/95.59	c  0.4s |       3 |      712 |      475 |     6662      1 |     1724 |        4
95.67/95.72	c  0.5s |       4 |     1278 |      813 |     6662      1 |     1724 |        4
95.77/95.89	c  0.7s |       5 |     2123 |     1320 |     6662      1 |     1724 |        4
95.98/96.09	c  0.9s |       5 |     2764 |     1765 |     6662      1 |     1724 |        4
95.98/96.09	c #cpu_time = 0.912s
95.98/96.09	c #wall_clock_time = 0.914s
95.98/96.09	c #decision = 2764
95.98/96.09	c #random_decision = 7
95.98/96.09	c #conflict = 1765
95.98/96.09	c #restart = 5
95.98/96.09	o 2
95.98/96.09	c BCD2: hardening fixes 96 literals
95.98/96.09	c BCD2: updating upper bound: 6 -> 1
95.98/96.09	c BCD2: 1 <= obj <= 1
95.98/96.09	c BCD2: #cores=1, #unrelaxed=0, #relaxed=17, #hardened=1820
95.98/96.09	c BCD2: #sat=4 #unsat=2 bias=2/6
95.98/96.09	c Solving starts ...
95.98/96.09	c ============================[ Search Statistics ]============================
95.98/96.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
95.98/96.09	c       |         |          |          |    Limit     GC | Var      | Constra 
95.98/96.09	c =============================================================================
95.98/96.09	c  0.0s |       0 |        0 |        0 |     6662      0 |     1820 |        6
96.07/96.16	c  0.1s |       1 |      132 |      100 |     6662      0 |     1820 |        6
96.17/96.23	c  0.1s |       2 |      359 |      250 |     6662      0 |     1820 |        6
96.27/96.33	c  0.2s |       3 |      744 |      475 |     6662      0 |     1820 |        6
96.37/96.46	c  0.4s |       4 |     1337 |      813 |     6662      0 |     1820 |        6
96.57/96.67	c  0.6s |       5 |     2171 |     1320 |     6662      0 |     1820 |        6
96.87/96.97	c  0.9s |       6 |     3326 |     2081 |     6662      0 |     1820 |        6
97.37/97.41	c  1.3s |       7 |     5168 |     3223 |     6662      1 |     1820 |        6
97.97/98.04	c  2.0s |       8 |     7838 |     4936 |     6662      1 |     1820 |        6
98.87/98.98	c  2.9s |       9 |    12173 |     7506 |     6662      2 |     1820 |        6
98.97/99.05	c  3.0s |       9 |    12545 |     7722 |     6662      2 |     1820 |        6
98.97/99.05	c #cpu_time = 2.957s
98.97/99.05	c #wall_clock_time = 2.964s
98.97/99.05	c #decision = 12545
98.97/99.05	c #random_decision = 23
98.97/99.05	c #conflict = 7722
98.97/99.05	c #restart = 9
98.97/99.06	o 1
98.97/99.06	s OPTIMUM FOUND
98.97/99.06	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10
98.97/99.06	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
98.97/99.06	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
98.97/99.06	v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
98.97/99.06	v -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50
98.97/99.06	v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
98.97/99.06	v -x61 x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70
98.97/99.06	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
98.97/99.06	v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90
98.97/99.06	v -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 x100
98.97/99.06	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
98.97/99.06	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120
98.97/99.06	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
98.97/99.06	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
98.97/99.06	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
98.97/99.06	v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
98.97/99.06	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
98.97/99.06	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
98.97/99.06	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
98.97/99.06	v -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
98.97/99.06	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
98.97/99.06	v x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220
98.97/99.06	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
98.97/99.06	v x231
98.97/99.06	c total CPU time = 98.797s
98.97/99.06	c total wall clock time = 99.059s

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

pid=14561
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: 1.95 1.98 1.99 3/181 14564
/proc/meminfo: memFree=31018484/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 2676 0 0 0 0 0 0 0 20 0 4 0 10764432 735506432 3038 33554432000 4194304 16246674 140737187636048 140737187635472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 180079 3048 441 2943 0 176973 0
[pid=14564/tid=14565] ppid=14561 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 753332224 3108 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 757526528 3125 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10764432 761720832 3141 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 14564
/proc/meminfo: memFree=31018484/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 24851 0 0 0 6 3 0 0 20 0 4 0 10764432 1247350784 25205 33554432000 4194304 16246674 140737187636048 140737187635472 6191726 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 304529 25208 616 2943 0 301423 0
[pid=14564/tid=14565] ppid=14561 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1247350784 25211 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1247350784 25216 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10764432 1247350784 25216 33554432000 4194304 16246674 140737187636048 140245022526640 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.20051 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 14564
/proc/meminfo: memFree=31018484/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 33748 0 0 0 16 3 0 0 20 0 4 0 10764432 1250496512 34056 33554432000 4194304 16246674 140737187636048 140737187635360 5592643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 305297 34056 868 2943 0 302191 0
[pid=14564/tid=14565] ppid=14561 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1250496512 34056 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1250496512 34057 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1250496512 34057 33554432000 4194304 16246674 140737187636048 140245022526640 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.581626 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 14564
/proc/meminfo: memFree=31018484/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1303108 CPUtime=0.57 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 94954 0 0 0 46 11 0 0 20 0 4 0 10764432 1334382592 95263 33554432000 4194304 16246674 140737187636048 140737187617920 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 325777 95287 922 2943 0 322671 0
[pid=14564/tid=14565] ppid=14561 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1334382592 95301 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1334382592 95318 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1334382592 95332 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 1303108

[startup+0.700391 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 14564
/proc/meminfo: memFree=31018484/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 100744 0 0 0 57 12 0 0 20 0 4 0 10764432 1338576896 101052 33554432000 4194304 16246674 140737187636048 140737187617920 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 326801 101052 928 2943 0 323695 0
[pid=14564/tid=14565] ppid=14561 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1338576896 101052 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1338576896 101052 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1338576896 101052 33554432000 4194304 16246674 140737187636048 140245022526640 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) 1307204

[startup+1.50049 s]
/proc/loadavg: 1.95 1.98 1.99 3/185 14568
/proc/meminfo: memFree=30615372/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 102404 0 0 0 137 12 0 0 20 0 4 0 10764432 1338576896 102712 33554432000 4194304 16246674 140737187636048 140737187617920 5600342 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 326801 102712 931 2943 0 323695 0
[pid=14564/tid=14565] ppid=14561 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1338576896 102712 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1338576896 102712 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1338576896 102712 33554432000 4194304 16246674 140737187636048 140245022526640 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) 1307204

[startup+3.10041 s]
/proc/loadavg: 1.95 1.98 1.99 3/185 14568
/proc/meminfo: memFree=30608048/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 167341 0 0 0 288 21 0 0 20 0 4 0 10764432 1339625472 167649 33554432000 4194304 16246674 140737187636048 140737187617920 5974116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 327057 167649 932 2943 0 323951 0
[pid=14564/tid=14565] ppid=14561 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1339625472 167649 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1339625472 167649 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1339625472 167649 33554432000 4194304 16246674 140737187636048 140245022526640 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.30041 s]
/proc/loadavg: 1.95 1.98 1.99 3/185 14568
/proc/meminfo: memFree=29929668/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 268097 0 0 0 595 34 0 0 20 0 4 0 10764432 1339625472 268405 33554432000 4194304 16246674 140737187636048 140737187617920 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 327057 268405 932 2943 0 323951 0
[pid=14564/tid=14565] ppid=14561 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1339625472 268405 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1339625472 268405 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1339625472 268405 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 1.96 1.98 1.99 3/185 14568
/proc/meminfo: memFree=29926340/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 268877 0 0 0 1235 34 0 0 20 0 4 0 10764432 1342771200 269185 33554432000 4194304 16246674 140737187636048 140737187635224 5823835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 327825 269185 932 2943 0 324719 0
[pid=14564/tid=14565] ppid=14561 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1342771200 269185 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1342771200 269185 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1342771200 269185 33554432000 4194304 16246674 140737187636048 140245022526640 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) 1311300

[startup+25.5004 s]
/proc/loadavg: 1.97 1.98 1.99 3/185 14568
/proc/meminfo: memFree=29893832/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1311300 CPUtime=25.5 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 269037 0 0 0 2515 35 0 0 20 0 4 0 10764432 1342771200 269345 33554432000 4194304 16246674 140737187636048 140737187635224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 327825 269345 932 2943 0 324719 0
[pid=14564/tid=14565] ppid=14561 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1342771200 269345 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1342771200 269345 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1342771200 269345 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 1.98 1.98 1.99 3/185 14617
/proc/meminfo: memFree=30131488/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 269293 0 0 0 5071 38 0 0 20 0 4 0 10764432 1343819776 269601 33554432000 4194304 16246674 140737187636048 140737187635224 5808208 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 328081 269601 932 2943 0 324975 0
[pid=14564/tid=14565] ppid=14561 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1343819776 269601 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1343819776 269601 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1343819776 269601 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

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

[startup+51.4004 s]
/proc/loadavg: 1.98 1.98 1.99 3/185 14617
/proc/meminfo: memFree=30131488/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1312324 CPUtime=51.39 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 269293 0 0 0 5101 38 0 0 20 0 4 0 10764432 1343819776 269601 33554432000 4194304 16246674 140737187636048 140737187635224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 328081 269601 932 2943 0 324975 0
[pid=14564/tid=14565] ppid=14561 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1343819776 269601 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1343819776 269601 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1343819776 269601 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.39
Current children cumulated vsize (KiB) 1312324

[startup+77.0004 s]
/proc/loadavg: 1.98 1.98 1.99 3/185 14617
/proc/meminfo: memFree=30129628/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1314372 CPUtime=76.98 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 269806 0 0 0 7657 41 0 0 20 0 4 0 10764432 1345916928 270116 33554432000 4194304 16246674 140737187636048 140737187635224 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 328593 270116 932 2943 0 325487 0
[pid=14564/tid=14565] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270116 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270116 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270116 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 76.98
Current children cumulated vsize (KiB) 1314372

[startup+89.8004 s]
/proc/loadavg: 2.07 2.00 2.00 3/185 14617
/proc/meminfo: memFree=30127628/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1314372 CPUtime=89.78 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 269807 0 0 0 8934 44 0 0 20 0 4 0 10764432 1345916928 270116 33554432000 4194304 16246674 140737187636048 140737187635224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 328593 270116 932 2943 0 325487 0
[pid=14564/tid=14565] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270116 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270116 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270116 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 89.78
Current children cumulated vsize (KiB) 1314372

[startup+93.0004 s]
/proc/loadavg: 2.06 2.00 2.00 3/185 14617
/proc/meminfo: memFree=30127380/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1314372 CPUtime=92.97 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 269815 0 0 0 9253 44 0 0 20 0 4 0 10764432 1345916928 270124 33554432000 4194304 16246674 140737187636048 140737187635224 12997672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 328593 270124 940 2943 0 325487 0
[pid=14564/tid=14565] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270124 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270124 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1345916928 270124 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 92.97
Current children cumulated vsize (KiB) 1314372

[startup+96.2004 s]
/proc/loadavg: 2.06 2.00 2.00 3/185 14617
/proc/meminfo: memFree=30123024/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1319492 CPUtime=96.17 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 270883 0 0 0 9573 44 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140737187617920 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 329873 271191 941 2943 0 326767 0
[pid=14564/tid=14565] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 96.17
Current children cumulated vsize (KiB) 1319492

[startup+97.8004 s]
/proc/loadavg: 2.06 2.00 2.00 3/185 14618
/proc/meminfo: memFree=30125072/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1319492 CPUtime=97.77 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 270883 0 0 0 9733 44 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140737187617920 5675587 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 329873 271191 941 2943 0 326767 0
[pid=14564/tid=14565] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 97.77
Current children cumulated vsize (KiB) 1319492

[startup+98.6004 s]
/proc/loadavg: 2.06 2.00 2.00 3/185 14618
/proc/meminfo: memFree=30124944/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1319492 CPUtime=98.57 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 270883 0 0 0 9813 44 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140737187619048 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 329873 271191 941 2943 0 326767 0
[pid=14564/tid=14565] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 98.57
Current children cumulated vsize (KiB) 1319492

[startup+99.0004 s]
/proc/loadavg: 2.06 2.00 2.00 3/185 14618
/proc/meminfo: memFree=30124944/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=1319492 CPUtime=98.97 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202496 270883 0 0 0 9853 44 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140737187619048 5676396 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 329873 271191 941 2943 0 326767 0
[pid=14564/tid=14565] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14565/stat : 14565 (toysat) S 14561 14564 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245043490032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14564/tid=14566] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14566/stat : 14566 (toysat) S 14561 14564 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245033000176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14564/tid=14567] ppid=14561 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (toysat) S 14561 14564 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10764432 1351159808 271191 33554432000 4194304 16246674 140737187636048 140245022526640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 98.97
Current children cumulated vsize (KiB) 1319492

[startup+99.1004 s]
/proc/loadavg: 2.06 2.00 2.00 3/185 14618
/proc/meminfo: memFree=30124944/32872528 swapFree=7268/7268
[pid=14564] ppid=14561 vsize=0 CPUtime=99.08 cores=0,2,4,6
/proc/14564/stat : 14564 (toysat) R 14561 14564 9721 0 -1 4202500 271176 0 0 0 9863 45 0 0 20 0 1 0 10764432 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14564/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 99.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 99.1513
CPU time (s): 99.1349
CPU user time (s): 98.63
CPU system time (s): 0.504923
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.63
system time used= 0.504923
maximum resident set size= 1085932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.26296 second user time and 0.378942 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-16 16:26:25
IDJOB=4093354
IDBENCH=78959
IDSOLVER=2553
FILE ID=node133/4093354-1466087185
RUNJOBID= node133-1466075558-12321
PBS_JOBID= 19904006
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.1900581320--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-4093354-1466087185/watcher-4093354-1466087185 -o /tmp/evaluation-result-4093354-1466087185/solver-4093354-1466087185 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093354-1466087185.wbo

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

MD5SUM BENCH= 8591b35e74198f55af565a685d4a35ec
RANDOM SEED=1225049382

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31019236 kB
Buffers:           36084 kB
Cached:            99876 kB
SwapCached:         1876 kB
Active:          1089632 kB
Inactive:          57668 kB
Active(anon):    1012112 kB
Inactive(anon):     1228 kB
Active(file):      77520 kB
Inactive(file):    56440 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098888 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1019496 kB
Mapped:            10716 kB
Shmem:                 0 kB
Slab:             567268 kB
SReclaimable:      10984 kB
SUnreclaim:       556284 kB
KernelStack:        1536 kB
PageTables:         6608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1235800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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 node133 at 2016-06-16 16:28:04