Trace number 4109758

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 50.9533 50.9619

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T15:46:20+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-4109758-1466343980.wbo"]
0.00/0.01	c use --random-gen="3221970845 2329181300 635840832 3540322029 2984335817 1487727854 3632394353 2019226156 3917452116 788299295 689901905 1173708345 3486377602 817398806 3222378614 3658361633 20554826 1796520471 2003551625 2835449404 2115719357 3366233868 3387951521 2560525216 4285513172 431142000 1786545385 2523974718 4260334065 960719676 211935116 1813034282 1400940154 569118126 4275262563 2549693318 2977142632 4116847819 3462925816 3396358497 236571650 1703491853 3220089929 2266078778 658203699 3219350618 2571924398 3053121013 2823990311 3717224240 2019234558 4002850538 2882036582 1497269575 448208671 285984936 2983001327 2444183498 3466813895 4227938318 2431893550 2188688858 3335261224 2786348407 3463802090 4117020267 3391989172 1839763320 2114394155 2937831881 345981705 2165949398 473069846 1528141047 2176888920 2818185071 4166085920 3585853440 3556127613 2559277489 187313098 2755172150 3700924332 1231130065 2890579857 127955552 3701017582 1947399242 707564099 1081848965 2189694170 2688364912 110030610 3242519670 2053041739 1979553365 3623695316 337477555 3410390631 3896840801 2996949147 946438708 1942280884 1641809613 411680658 1958935111 2359930614 1867664392 685064798 613746464 1290715268 271232836 610393158 2770714961 1266023401 2832850928 3537501030 3493516009 2532201176 3433199192 3046263044 337920791 2035380794 3978985565 1801174289 2122077102 1916794725 1406176242 1689517644 2833189765 2224780734 4176837257 3973327122 1090332409 3703982922 2338139690 1596926009 2418178259 2386918153 2845193682 3997646740 514687250 2127402905 2546398112 1028980612 3560678820 2590559187 3057462332 3937325408 1488270624 3494974747 3321555121 4223201076 1536180806 1673139683 278968849 1155554207 350659566 328434621 3651770063 2573579713 3208977231 636581556 3347579632 720568186 3259561516 3085254658 3401134263 2510502537 606493494 2289240233 3819867901 2940317167 3585086721 945130487 1377300839 3237586640 569570682 96044531 3718095161 394726693 3578404240 341952338 3790054784 4224262137 734348753 4051473008 574981605 690235120 3055754359 1564964662 3061783290 2303590168 2401867728 2883324637 1354415074 808947316 1209500312 2233688719 2581035706 3677325141 418036704 327517255 1779858193 1929271248 1105118506 454026827 1107206472 3925137320 2971502087 3487321774 2361857493 4277325709 761812938 3459233392 1927852029 2156370324 1839084308 1510853311 1575270128 923672866 916951319 3375230971 6270631 3061993529 1474587256 1781407728 2371066006 4191861563 2428387030 14934795 2508620893 264692709 1453467740 535940791 658012752 2612678292 2340769478 250354165 3303751835 2841305779 3659146891 3404834426 3710357721 3348385755 317368006 1318952950 1937158182 914200701 3035769616 1223526178 3766340559 4132639142 3935391754 48393241 3876420673 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	c #constraints 2707
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1589      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     1842 |        1 |     1589      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.005s
0.19/0.20	c #wall_clock_time = 0.005s
0.19/0.20	c #decision = 1842
0.19/0.20	c #random_decision = 12
0.19/0.20	c #conflict = 1
0.19/0.20	c #restart = 0
0.19/0.20	o 308
0.19/0.20	c BCD2: updating upper bound: 92326 -> 307
0.19/0.21	c BCD2: 0 <= obj <= 307
0.19/0.21	c BCD2: #cores=0, #unrelaxed=1830, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1589      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     2013 |      100 |     1748      0 |        0 |        0
0.19/0.29	c  0.1s |       2 |     4100 |      250 |     1748      0 |        0 |        0
0.29/0.34	c  0.1s |       3 |     6370 |      475 |     1923      0 |        0 |        0
0.39/0.45	c  0.2s |       4 |     8799 |      813 |     2116      0 |        0 |        0
0.59/0.62	c  0.4s |       5 |    11630 |     1320 |     2328      0 |        0 |        0
0.89/0.98	c  0.8s |       6 |    14682 |     2081 |     2818      0 |        0 |        0
1.59/1.63	c  1.4s |       7 |    18340 |     3223 |     3100      0 |        0 |        0
2.49/2.59	c  2.4s |       8 |    22763 |     4936 |     3411      1 |        0 |        0
4.39/4.46	c  4.2s |       9 |    28838 |     7506 |     3753      2 |        0 |        0
6.39/6.46	c  6.2s |       9 |    35506 |    10606 |     3753      3 |        0 |        0
6.98/7.00	c  6.8s |      10 |    36733 |    11361 |     4129      3 |        0 |        0
8.98/9.04	c  8.8s |      10 |    43779 |    14261 |     4129      4 |        0 |        0
11.00/11.07	c 10.9s |      10 |    48835 |    16961 |     4129      5 |        0 |        0
11.19/11.24	c 11.0s |      11 |    49159 |    17144 |     4542      5 |        0 |        0
13.19/13.25	c 13.0s |      11 |    55646 |    19944 |     4542      6 |        0 |        0
15.19/15.28	c 15.1s |      11 |    61406 |    23044 |     4542      7 |        0 |        0
16.99/17.00	c 16.8s |      12 |    66291 |    25819 |     4997      8 |        0 |        0
18.98/19.02	c 18.8s |      12 |    72773 |    28519 |     4997      9 |        0 |        0
20.99/21.04	c 20.8s |      12 |    77930 |    31519 |     4997      9 |        0 |        0
22.98/23.05	c 22.8s |      12 |    82589 |    34319 |     4997     10 |        0 |        0
25.09/25.13	c 24.9s |      12 |    86961 |    36919 |     4997     11 |        0 |        0
26.49/26.59	c 26.4s |      13 |    90209 |    38832 |     5497     12 |        0 |        0
28.59/28.63	c 28.4s |      13 |    95936 |    41032 |     5497     12 |        0 |        0
30.79/30.81	c 30.6s |      13 |    99948 |    43432 |     5497     13 |        0 |        0
32.79/32.86	c 32.6s |      13 |   103626 |    45632 |     5497     13 |        0 |        0
34.89/34.93	c 34.7s |      13 |   107387 |    47932 |     5497     14 |        0 |        0
36.88/36.98	c 36.8s |      13 |   111431 |    50332 |     5497     15 |        0 |        0
38.98/39.00	c 38.8s |      13 |   115349 |    52732 |     5497     15 |        0 |        0
40.98/41.09	c 40.9s |      13 |   118731 |    54732 |     5497     16 |        0 |        0
42.59/42.68	c 42.5s |      13 |   121114 |    56122 |     5497     16 |        0 |        0
42.59/42.68	c #cpu_time = 42.357s
42.59/42.68	c #wall_clock_time = 42.466s
42.59/42.68	c #decision = 121114
42.59/42.68	c #random_decision = 81
42.59/42.68	c #conflict = 56122
42.59/42.68	c #restart = 13
42.59/42.68	c BCD2: found a new core of size 1705: cost of the new core is >=1
42.59/42.68	c lower bound updated to 1
42.59/42.69	c BCD2: 1 <= obj <= 307
42.59/42.69	c BCD2: #cores=1, #unrelaxed=125, #relaxed=1705, #hardened=0
42.59/42.69	c BCD2: #sat=1 #unsat=2 bias=2/3
42.59/42.69	c Solving starts ...
42.59/42.69	c ============================[ Search Statistics ]============================
42.59/42.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
42.59/42.69	c       |         |          |          |    Limit     GC | Var      | Constra 
42.59/42.69	c =============================================================================
42.59/42.69	c  0.0s |       0 |        0 |        0 |     5497      0 |        0 |        0
42.79/42.85	c  0.2s |       0 |     1929 |        1 |     5497      1 |        0 |        0
42.79/42.85	c #cpu_time = 0.158s
42.79/42.85	c #wall_clock_time = 0.159s
42.79/42.85	c #decision = 1929
42.79/42.85	c #random_decision = 4
42.79/42.85	c #conflict = 1
42.79/42.85	c #restart = 0
42.79/42.85	o 71
42.79/42.85	c BCD2: hardening fixes 559 literals
42.79/42.85	c BCD2: updating upper bound: 307 -> 70
42.79/42.86	c BCD2: 1 <= obj <= 70
42.79/42.86	c BCD2: #cores=1, #unrelaxed=81, #relaxed=1190, #hardened=559
42.79/42.86	c BCD2: #sat=2 #unsat=2 bias=2/4
42.79/42.87	c Solving starts ...
42.79/42.87	c ============================[ Search Statistics ]============================
42.79/42.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
42.79/42.87	c       |         |          |          |    Limit     GC | Var      | Constra 
42.79/42.87	c =============================================================================
42.79/42.87	c  0.0s |       0 |        0 |        0 |     5497      0 |      559 |        1
42.99/43.00	c  0.1s |       1 |      387 |      100 |     5497      0 |      559 |        1
43.09/43.16	c  0.3s |       2 |      739 |      250 |     5497      0 |      559 |        1
43.29/43.39	c  0.5s |       2 |     1141 |      415 |     5497      0 |      559 |        1
43.29/43.39	c #cpu_time = 0.518s
43.29/43.39	c #wall_clock_time = 0.519s
43.29/43.39	c #decision = 1141
43.29/43.39	c #random_decision = 1
43.29/43.39	c #conflict = 415
43.29/43.39	c #restart = 2
43.29/43.39	o 29
43.29/43.39	c BCD2: hardening fixes 762 literals
43.29/43.39	c BCD2: updating upper bound: 70 -> 28
43.29/43.39	c BCD2: 1 <= obj <= 28
43.29/43.39	c BCD2: #cores=1, #unrelaxed=39, #relaxed=470, #hardened=1321
43.29/43.39	c BCD2: #sat=3 #unsat=2 bias=2/5
43.29/43.39	c Solving starts ...
43.29/43.39	c ============================[ Search Statistics ]============================
43.29/43.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
43.29/43.39	c       |         |          |          |    Limit     GC | Var      | Constra 
43.29/43.39	c =============================================================================
43.29/43.39	c  0.0s |       0 |        0 |        0 |     5497      0 |     1321 |        2
43.39/43.48	c  0.1s |       1 |      240 |      100 |     5497      0 |     1321 |        2
43.59/43.65	c  0.3s |       2 |      573 |      250 |     5497      0 |     1321 |        2
43.79/43.80	c  0.4s |       3 |     1051 |      475 |     5497      0 |     1321 |        2
43.89/43.97	c  0.6s |       4 |     1644 |      813 |     5497      0 |     1321 |        2
44.19/44.23	c  0.8s |       5 |     2538 |     1320 |     5497      0 |     1321 |        2
44.68/44.71	c  1.3s |       5 |     3642 |     2033 |     6047      0 |     1321 |        2
44.68/44.71	c #cpu_time = 1.318s
44.68/44.71	c #wall_clock_time = 1.321s
44.68/44.71	c #decision = 3642
44.68/44.71	c #random_decision = 6
44.68/44.71	c #conflict = 2033
44.68/44.71	c #restart = 5
44.68/44.71	o 15
44.68/44.71	c BCD2: hardening fixes 253 literals
44.68/44.71	c BCD2: updating upper bound: 28 -> 14
44.68/44.72	c BCD2: 1 <= obj <= 14
44.68/44.72	c BCD2: #cores=1, #unrelaxed=20, #relaxed=236, #hardened=1574
44.68/44.72	c BCD2: #sat=4 #unsat=2 bias=2/6
44.68/44.72	c Solving starts ...
44.68/44.72	c ============================[ Search Statistics ]============================
44.68/44.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
44.68/44.72	c       |         |          |          |    Limit     GC | Var      | Constra 
44.68/44.72	c =============================================================================
44.68/44.72	c  0.0s |       0 |        0 |        0 |     6047      0 |     1574 |        3
44.78/44.81	c  0.1s |       1 |      166 |      100 |     6047      0 |     1574 |        3
44.88/44.92	c  0.2s |       2 |      430 |      250 |     6047      0 |     1574 |        3
44.98/45.05	c  0.3s |       3 |      830 |      475 |     6047      0 |     1574 |        3
45.19/45.22	c  0.5s |       4 |     1419 |      813 |     6047      0 |     1574 |        3
45.38/45.48	c  0.8s |       5 |     2274 |     1320 |     6047      0 |     1574 |        3
45.89/45.94	c  1.2s |       6 |     3662 |     2081 |     6047      0 |     1574 |        3
46.19/46.28	c  1.6s |       6 |     4573 |     2569 |     6047      1 |     1574 |        3
46.19/46.28	c #cpu_time = 1.556s
46.19/46.28	c #wall_clock_time = 1.560s
46.19/46.28	c #decision = 4573
46.19/46.28	c #random_decision = 9
46.19/46.28	c #conflict = 2569
46.19/46.28	c #restart = 6
46.19/46.28	o 4
46.19/46.28	c BCD2: hardening fixes 197 literals
46.19/46.28	c BCD2: updating upper bound: 14 -> 3
46.19/46.28	c BCD2: 1 <= obj <= 3
46.19/46.28	c BCD2: #cores=1, #unrelaxed=6, #relaxed=53, #hardened=1771
46.19/46.28	c BCD2: #sat=5 #unsat=2 bias=2/7
46.19/46.28	c Solving starts ...
46.19/46.28	c ============================[ Search Statistics ]============================
46.19/46.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
46.19/46.28	c       |         |          |          |    Limit     GC | Var      | Constra 
46.19/46.28	c =============================================================================
46.19/46.28	c  0.0s |       0 |        0 |        0 |     6047      0 |     1771 |        4
46.29/46.33	c  0.0s |       1 |      192 |      100 |     6047      0 |     1771 |        5
46.29/46.39	c  0.1s |       2 |      464 |      250 |     6047      0 |     1771 |        5
46.39/46.48	c  0.2s |       3 |      798 |      475 |     6047      0 |     1771 |        5
46.49/46.59	c  0.3s |       4 |     1411 |      813 |     6047      0 |     1771 |        5
46.69/46.74	c  0.5s |       5 |     2405 |     1320 |     6047      0 |     1771 |        5
46.89/46.97	c  0.7s |       6 |     3795 |     2081 |     6047      0 |     1771 |        5
47.39/47.42	c  1.1s |       7 |     5752 |     3223 |     6047      0 |     1771 |        5
47.99/48.07	c  1.8s |       8 |     8735 |     4936 |     6047      1 |     1771 |        5
48.99/49.02	c  2.7s |       9 |    13292 |     7506 |     6047      1 |     1771 |        5
50.29/50.38	c  4.1s |      10 |    19922 |    11361 |     6047      2 |     1771 |        5
50.79/50.90	c  4.6s |      10 |    22655 |    12806 |     6047      3 |     1771 |        5
50.79/50.90	c #cpu_time = 4.603s
50.79/50.90	c #wall_clock_time = 4.615s
50.79/50.90	c #decision = 22655
50.79/50.90	c #random_decision = 30
50.79/50.90	c #conflict = 12806
50.79/50.90	c #restart = 10
50.79/50.90	o 1
50.79/50.90	s OPTIMUM FOUND
50.89/50.90	v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10
50.89/50.90	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
50.89/50.90	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
50.89/50.90	v x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40
50.89/50.90	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
50.89/50.90	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
50.89/50.90	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
50.89/50.90	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
50.89/50.90	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
50.89/50.90	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
50.89/50.90	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
50.89/50.90	v -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120
50.89/50.90	v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
50.89/50.90	v -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
50.89/50.90	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150
50.89/50.90	v -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160
50.89/50.90	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
50.89/50.90	v x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180
50.89/50.90	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
50.89/50.90	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
50.89/50.90	v -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
50.89/50.90	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
50.89/50.90	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230
50.89/50.90	v -x231
50.89/50.90	c total CPU time = 50.769s
50.89/50.90	c total wall clock time = 50.899s

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

pid=30032
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.09 2.11 1.91 3/179 30035
/proc/meminfo: memFree=29579732/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=776772 CPUtime=0 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 2907 0 0 0 0 0 0 0 20 0 4 0 36446923 795414528 3268 33554432000 4194304 16246674 140733249618704 140733249618128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 194705 3276 442 2943 0 191599 0
[pid=30035/tid=30036] ppid=30032 vsize=793156 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 812191744 3335 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=798276 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 817434624 3353 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=802372 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36446923 821628928 3369 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.09 2.11 1.91 3/179 30035
/proc/meminfo: memFree=29579732/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 24861 0 0 0 6 3 0 0 20 0 4 0 36446923 1247350784 25214 33554432000 4194304 16246674 140733249618704 140733249618128 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 304529 25218 619 2943 0 301423 0
[pid=30035/tid=30036] ppid=30032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1247350784 25225 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1247350784 25226 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36446923 1247350784 25229 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200489 s]
/proc/loadavg: 2.09 2.11 1.91 3/179 30035
/proc/meminfo: memFree=29579732/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 33045 0 0 0 15 4 0 0 20 0 4 0 36446923 1250496512 33352 33554432000 4194304 16246674 140733249618704 140733249618016 5984255 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 305297 33352 914 2943 0 302191 0
[pid=30035/tid=30036] ppid=30032 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1250496512 33352 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1250496512 33352 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1250496512 33352 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300467 s]
/proc/loadavg: 2.09 2.11 1.91 3/179 30035
/proc/meminfo: memFree=29579732/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 52627 0 0 0 23 6 0 0 20 0 4 0 36446923 1334382592 52934 33554432000 4194304 16246674 140733249618704 140733249618016 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 325777 52941 923 2943 0 322671 0
[pid=30035/tid=30036] ppid=30032 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1334382592 52946 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1334382592 52949 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1334382592 52954 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700392 s]
/proc/loadavg: 2.09 2.11 1.91 3/179 30035
/proc/meminfo: memFree=29579732/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1303108 CPUtime=0.68 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 126854 0 0 0 53 15 0 0 20 0 4 0 36446923 1334382592 127162 33554432000 4194304 16246674 140733249618704 140733249600576 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 325777 127184 923 2943 0 322671 0
[pid=30035/tid=30036] ppid=30032 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1334382592 127194 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1334382592 127209 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1334382592 127217 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1303108

[startup+1.50042 s]
/proc/loadavg: 2.09 2.11 1.91 3/183 30039
/proc/meminfo: memFree=29054604/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 131458 0 0 0 133 16 0 0 20 0 4 0 36446923 1339625472 131765 33554432000 4194304 16246674 140733249618704 140733249600576 5664856 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 327057 131765 929 2943 0 323951 0
[pid=30035/tid=30036] ppid=30032 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1339625472 131765 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1339625472 131765 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1339625472 131765 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.1004 s]
/proc/loadavg: 2.09 2.11 1.91 3/183 30039
/proc/meminfo: memFree=29053984/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 131462 0 0 0 293 16 0 0 20 0 4 0 36446923 1339625472 131769 33554432000 4194304 16246674 140733249618704 140733249600576 5822938 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 327057 131769 933 2943 0 323951 0
[pid=30035/tid=30036] ppid=30032 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1339625472 131769 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1339625472 131769 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1339625472 131769 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.09 2.11 1.91 4/183 30039
/proc/meminfo: memFree=29052788/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 131699 0 0 0 613 16 0 0 20 0 4 0 36446923 1340674048 132006 33554432000 4194304 16246674 140733249618704 140733249600576 5672209 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 327313 132006 933 2943 0 324207 0
[pid=30035/tid=30036] ppid=30032 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1340674048 132006 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1340674048 132006 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1340674048 132006 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.08 2.10 1.91 3/183 30039
/proc/meminfo: memFree=29049208/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 132598 0 0 0 1252 17 0 0 20 0 4 0 36446923 1344868352 132905 33554432000 4194304 16246674 140733249618704 140733249600576 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 328337 132905 933 2943 0 325231 0
[pid=30035/tid=30036] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 132905 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 132905 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 132905 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.06 2.10 1.91 3/183 30040
/proc/meminfo: memFree=29048556/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 132742 0 0 0 2531 18 0 0 20 0 4 0 36446923 1344868352 133049 33554432000 4194304 16246674 140733249618704 140733249617880 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 328337 133049 933 2943 0 325231 0
[pid=30035/tid=30036] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 133049 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 133049 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 133049 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

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

[startup+25.6005 s]
/proc/loadavg: 2.06 2.10 1.91 3/183 30040
/proc/meminfo: memFree=29048556/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1313348 CPUtime=25.59 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 132742 0 0 0 2541 18 0 0 20 0 4 0 36446923 1344868352 133049 33554432000 4194304 16246674 140733249618704 140733249617880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 328337 133049 933 2943 0 325231 0
[pid=30035/tid=30036] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 133049 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 133049 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1344868352 133049 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1313348

[startup+38.4004 s]
/proc/loadavg: 2.13 2.11 1.92 3/183 30040
/proc/meminfo: memFree=29045696/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1316420 CPUtime=38.38 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 133460 0 0 0 3819 19 0 0 20 0 4 0 36446923 1348014080 133767 33554432000 4194304 16246674 140733249618704 140733249617880 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 329105 133767 933 2943 0 325999 0
[pid=30035/tid=30036] ppid=30032 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1348014080 133767 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1348014080 133767 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1348014080 133767 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 38.38
Current children cumulated vsize (KiB) 1316420

[startup+44.8004 s]
/proc/loadavg: 2.19 2.12 1.92 3/183 30040
/proc/meminfo: memFree=29041340/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1320516 CPUtime=44.78 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 193533 0 0 0 4450 28 0 0 20 0 4 0 36446923 1352208384 193840 33554432000 4194304 16246674 140733249618704 140733249600576 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 330129 193840 942 2943 0 327023 0
[pid=30035/tid=30036] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 193840 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 193840 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 193840 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 44.78
Current children cumulated vsize (KiB) 1320516

[startup+48.0004 s]
/proc/loadavg: 2.19 2.12 1.92 3/183 30040
/proc/meminfo: memFree=28494252/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1320516 CPUtime=47.99 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 271353 0 0 0 4761 38 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 140733249600576 6026640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 330129 271660 942 2943 0 327023 0
[pid=30035/tid=30036] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 47.99
Current children cumulated vsize (KiB) 1320516

[startup+49.6073 s]
/proc/loadavg: 2.18 2.12 1.92 3/183 30040
/proc/meminfo: memFree=28494380/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1320516 CPUtime=49.59 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 271353 0 0 0 4921 38 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 140733249600576 13943604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 330129 271660 942 2943 0 327023 0
[pid=30035/tid=30036] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 49.59
Current children cumulated vsize (KiB) 1320516

[startup+50.4004 s]
/proc/loadavg: 2.18 2.12 1.92 3/183 30040
/proc/meminfo: memFree=28494380/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1320516 CPUtime=50.39 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 271353 0 0 0 5001 38 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 140733249600576 5531016 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 330129 271660 942 2943 0 327023 0
[pid=30035/tid=30036] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 1320516

[startup+50.8004 s]
/proc/loadavg: 2.18 2.12 1.92 3/183 30040
/proc/meminfo: memFree=28494380/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1320516 CPUtime=50.79 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 271353 0 0 0 5041 38 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 140733249600576 5829844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 330129 271660 942 2943 0 327023 0
[pid=30035/tid=30036] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 1320516

[startup+50.9004 s]
/proc/loadavg: 2.18 2.12 1.92 3/183 30040
/proc/meminfo: memFree=28494380/32872528 swapFree=877056/942464
[pid=30035] ppid=30032 vsize=1320516 CPUtime=50.89 cores=0,2,4,6
/proc/30035/stat : 30035 (toysat) R 30032 30035 29107 0 -1 4202496 271353 0 0 0 5051 38 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 140733249600576 14073233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30035/statm: 330129 271660 942 2943 0 327023 0
[pid=30035/tid=30036] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30036/stat : 30036 (toysat) S 30032 30035 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719522364656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30035/tid=30037] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30037/stat : 30037 (toysat) S 30032 30035 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719511874800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30035/tid=30038] ppid=30032 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/30035/task/30038/stat : 30038 (toysat) S 30032 30035 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36446923 1352208384 271660 33554432000 4194304 16246674 140733249618704 139719501401264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 1320516

Child status: 0
Real time (s): 50.9619
CPU time (s): 50.9533
CPU user time (s): 50.5113
CPU system time (s): 0.441932
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.5113
system time used= 0.441932
maximum resident set size= 1086644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271355
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= 18
involuntary context switches= 54

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132979 second user time and 0.202969 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-19 15:46:20
IDJOB=4109758
IDBENCH=78915
IDSOLVER=2553
FILE ID=node113/4109758-1466343980
RUNJOBID= node113-1466341823-29123
PBS_JOBID= 19922039
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647--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-4109758-1466343980/watcher-4109758-1466343980 -o /tmp/evaluation-result-4109758-1466343980/solver-4109758-1466343980 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29123 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109758-1466343980.wbo

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

MD5SUM BENCH= 207bc6a3a4e34084510bb36853631f6d
RANDOM SEED=1152245690

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29580352 kB
Buffers:          151212 kB
Cached:           368900 kB
SwapCached:         1964 kB
Active:          1243148 kB
Inactive:         363324 kB
Active(anon):    1086116 kB
Inactive(anon):     2224 kB
Active(file):     157032 kB
Inactive(file):   361100 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2031588 kB
Mapped:            10624 kB
Shmem:                 0 kB
Slab:             608316 kB
SReclaimable:      52232 kB
SUnreclaim:       556084 kB
KernelStack:        1520 kB
PageTables:         8416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2171436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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= 71672 MiB
End job on node113 at 2016-06-19 15:47:11