Trace number 4093331

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 79.13 79.1427

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
MD5SUM97e6423088cc7ef1f08dcccdf9e01ef4
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 benchmark25.5471
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 741
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:31:49+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-4093331-1466087509.wbo"]
0.00/0.01	c use --random-gen="3385257427 1577767648 817058670 2906060491 4213271393 1853062443 1407112774 2857234005 1925469663 2626408543 1297013365 1841180868 3638074007 3300020291 1416708685 1252668016 2672541241 2928403880 462778345 2003554136 2431604458 99838241 2710712988 4119744389 4128510758 630028871 317672026 3414318066 3546633740 3862096866 3752227216 879875041 2119643270 948882110 3377320285 2659905025 4165859728 1795482255 723029414 147788401 1679555875 2476410272 2728110918 1603605362 1285499534 781419123 1986970666 3102620028 3245849027 2900675486 1154215402 2362894180 2249621369 2485556983 2229755017 3926835277 748861500 193716857 811590731 2459964840 2007466380 3703166230 2598894632 4124742164 834423963 426291118 223030565 581069430 563725496 3619881257 3137730014 258095063 2551024297 3153006447 2949182483 759486484 329235146 69652332 1150745537 2435838264 4160822650 3829081509 2404019866 91436913 1237335260 347879883 3097600150 1795661419 1240982120 358273308 2257463990 4141760618 2551219957 276898855 133262299 3273974229 2412017921 2622616207 98426429 991435567 2431773280 2702350939 2542410210 579449243 1287493386 195445169 1505716170 4059965942 839442722 2395936902 3097744793 2972360054 2411837069 1899067238 1453163742 2335624471 4272173981 2346338379 3959829925 1038226962 2576128148 2265537642 544587379 3623843473 3535407211 257278037 4167300340 2796537743 1356384354 1172735383 400687953 605874273 2162449065 2951419740 2337316628 3449524225 1065931943 410376658 3565030244 1761640172 430132837 2552667519 54759651 990543856 3259981696 599889886 1010413207 1369246568 3280924438 2024552868 1410122894 2217753551 1661960377 876260852 4089242896 1011914142 934435355 4087810390 1308410926 164708827 662791827 3008476873 3617760632 2656623856 1239107433 2153120467 905834122 3173699235 1937128188 3929719080 944171022 1673902473 4030533326 980519171 1092745528 1090794274 2927465446 2797453210 1241600910 1466882644 2604014400 3545051303 1881747591 913804892 748459471 1777125845 1954842303 1168954358 4197296390 2586324536 234874781 150170691 2651423565 61001839 4061230184 3221434275 2722039912 1327709097 2828494829 1830211090 2181402948 1177597095 935889651 2407389617 3563379544 818556316 1679712661 125583542 2785034904 2495337684 3461160338 4185110900 3874380302 142707290 2026681717 1924112770 1442979206 149533090 753102802 3849822126 3846204932 1762817382 3171157689 2519660841 3040718747 406991388 2512054358 3931161022 4185337315 546592460 2449263998 2812821380 637388796 2359670987 3463825632 1250855427 3566557635 804692345 53508387 3425109897 4200460623 3719568313 2855101409 1351732123 2441987950 1275614513 1120779721 1535588183 1658761357 3459504566 2172709801 2200290094 2117958417 492809805 3742219382 643051339 255 362436" option to reproduce the execution
0.08/0.13	c #vars 231
0.08/0.13	c #constraints 2707
0.08/0.19	c BCD2: Hardening is enabled.
0.08/0.19	c BCD2: BiasedSearch is enabled.
0.08/0.19	c Solving starts ...
0.08/0.19	c ============================[ Search Statistics ]============================
0.08/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.19	c =============================================================================
0.08/0.19	c  0.0s |       0 |        0 |        0 |     1598      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     2189 |       44 |     1598      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.013s
0.19/0.20	c #wall_clock_time = 0.013s
0.19/0.20	c #decision = 2189
0.19/0.20	c #random_decision = 15
0.19/0.20	c #conflict = 44
0.19/0.20	c #restart = 0
0.19/0.20	o 357
0.19/0.20	c BCD2: updating upper bound: 93862 -> 356
0.19/0.22	c BCD2: 0 <= obj <= 356
0.19/0.22	c BCD2: #cores=0, #unrelaxed=1857, #relaxed=0, #hardened=0
0.19/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1598      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |     2078 |      100 |     1758      0 |        0 |        0
0.29/0.53	c  0.1s |       2 |     4187 |      250 |     1934      0 |        0 |        0
0.29/0.53	c  0.1s |       3 |     6408 |      475 |     2128      0 |        0 |        0
0.29/0.53	c  0.2s |       4 |     8823 |      813 |     2341      0 |        0 |        0
0.29/0.61	c  0.4s |       5 |    11460 |     1320 |     2576      0 |        0 |        0
0.89/0.96	c  0.7s |       6 |    14513 |     2081 |     2834      0 |        0 |        0
1.40/1.48	c  1.3s |       7 |    18095 |     3223 |     3118      0 |        0 |        0
2.50/2.53	c  2.3s |       8 |    22658 |     4936 |     3430      1 |        0 |        0
4.29/4.31	c  4.1s |       9 |    28515 |     7506 |     3774      2 |        0 |        0
6.28/6.32	c  6.1s |       9 |    36472 |    11006 |     3774      3 |        0 |        0
6.48/6.50	c  6.3s |      10 |    37146 |    11361 |     4152      3 |        0 |        0
8.49/8.51	c  8.3s |      10 |    44087 |    14561 |     4152      4 |        0 |        0
10.29/10.32	c 10.1s |      11 |    48297 |    17144 |     4568      5 |        0 |        0
12.30/12.36	c 12.1s |      11 |    56023 |    20344 |     4568      6 |        0 |        0
14.39/14.43	c 14.2s |      11 |    59588 |    22444 |     4568      7 |        0 |        0
16.38/16.45	c 16.2s |      11 |    64670 |    25444 |     4568      8 |        0 |        0
16.58/16.69	c 16.5s |      12 |    65255 |    25819 |     5025      8 |        0 |        0
18.68/18.75	c 18.5s |      12 |    71875 |    28619 |     5025      9 |        0 |        0
20.79/20.84	c 20.6s |      12 |    76527 |    31219 |     5025      9 |        0 |        0
22.79/22.87	c 22.7s |      12 |    80510 |    33519 |     5025     10 |        0 |        0
24.89/24.92	c 24.7s |      12 |    87474 |    37719 |     5025     11 |        0 |        0
25.39/25.45	c 25.2s |      13 |    89186 |    38832 |     5528     11 |        0 |        0
27.48/27.53	c 27.3s |      13 |    95461 |    41832 |     5528     12 |        0 |        0
29.48/29.56	c 29.3s |      13 |    98781 |    44232 |     5528     13 |        0 |        0
31.58/31.61	c 31.4s |      13 |   102339 |    46632 |     5528     14 |        0 |        0
33.58/33.62	c 33.4s |      13 |   105360 |    48732 |     5528     14 |        0 |        0
35.58/35.64	c 35.4s |      13 |   108095 |    50632 |     5528     15 |        0 |        0
37.59/37.67	c 37.5s |      13 |   113025 |    53632 |     5528     15 |        0 |        0
39.59/39.68	c 39.5s |      13 |   118973 |    57232 |     5528     16 |        0 |        0
40.29/40.39	c 40.2s |      14 |   120794 |    58352 |     6081     17 |        0 |        0
42.49/42.52	c 42.3s |      14 |   126839 |    61052 |     6081     17 |        0 |        0
44.48/44.59	c 44.4s |      14 |   130083 |    63052 |     6081     18 |        0 |        0
46.58/46.63	c 46.4s |      14 |   133173 |    65052 |     6081     18 |        0 |        0
48.68/48.71	c 48.5s |      14 |   135513 |    66552 |     6081     19 |        0 |        0
50.79/50.84	c 50.6s |      14 |   138986 |    68652 |     6081     19 |        0 |        0
52.78/52.89	c 52.7s |      14 |   141371 |    70152 |     6081     20 |        0 |        0
54.88/54.93	c 54.7s |      14 |   145327 |    72552 |     6081     20 |        0 |        0
56.88/56.94	c 56.7s |      14 |   148715 |    74552 |     6081     21 |        0 |        0
58.88/58.95	c 58.7s |      14 |   150915 |    75952 |     6081     21 |        0 |        0
60.98/61.09	c 60.9s |      14 |   152766 |    77152 |     6081     21 |        0 |        0
63.08/63.12	c 62.9s |      14 |   154556 |    78252 |     6081     22 |        0 |        0
65.08/65.18	c 65.0s |      14 |   156525 |    79452 |     6081     22 |        0 |        0
67.18/67.25	c 67.0s |      14 |   159039 |    81052 |     6081     22 |        0 |        0
69.18/69.28	c 69.1s |      14 |   161277 |    82322 |     6081     23 |        0 |        0
69.18/69.28	c #cpu_time = 68.885s
69.18/69.28	c #wall_clock_time = 69.065s
69.18/69.28	c #decision = 161277
69.18/69.28	c #random_decision = 136
69.18/69.28	c #conflict = 82322
69.18/69.28	c #restart = 14
69.18/69.29	c BCD2: found a new core of size 1808: cost of the new core is >=1
69.18/69.29	c lower bound updated to 1
69.18/69.29	c BCD2: 1 <= obj <= 356
69.18/69.29	c BCD2: #cores=1, #unrelaxed=49, #relaxed=1808, #hardened=0
69.18/69.29	c BCD2: #sat=1 #unsat=2 bias=2/3
69.18/69.30	c Solving starts ...
69.18/69.30	c ============================[ Search Statistics ]============================
69.18/69.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
69.18/69.30	c       |         |          |          |    Limit     GC | Var      | Constra 
69.18/69.30	c =============================================================================
69.18/69.30	c  0.0s |       0 |        0 |        0 |     6081      0 |        0 |        0
69.28/69.39	c  0.1s |       0 |     1903 |        1 |     6081      0 |        0 |        0
69.28/69.39	c #cpu_time = 0.095s
69.28/69.39	c #wall_clock_time = 0.095s
69.28/69.39	c #decision = 1903
69.28/69.39	c #random_decision = 5
69.28/69.39	c #conflict = 1
69.28/69.39	c #restart = 0
69.28/69.39	o 35
69.38/69.40	c BCD2: hardening fixes 1221 literals
69.38/69.40	c BCD2: updating upper bound: 356 -> 34
69.38/69.40	c BCD2: 1 <= obj <= 34
69.38/69.40	c BCD2: #cores=1, #unrelaxed=14, #relaxed=622, #hardened=1221
69.38/69.40	c BCD2: #sat=2 #unsat=2 bias=2/4
69.38/69.40	c Solving starts ...
69.38/69.40	c ============================[ Search Statistics ]============================
69.38/69.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
69.38/69.40	c       |         |          |          |    Limit     GC | Var      | Constra 
69.38/69.40	c =============================================================================
69.38/69.40	c  0.0s |       0 |        0 |        0 |     6081      0 |     1221 |        1
69.48/69.57	c  0.2s |       1 |      318 |      100 |     6081      0 |     1221 |        1
69.68/69.75	c  0.4s |       2 |      700 |      250 |     6081      0 |     1221 |        1
69.98/70.05	c  0.6s |       3 |     1113 |      475 |     6081      0 |     1221 |        1
70.38/70.42	c  1.0s |       4 |     1655 |      813 |     6081      0 |     1221 |        1
70.68/70.79	c  1.4s |       5 |     2501 |     1320 |     6081      0 |     1221 |        1
71.28/71.32	c  1.9s |       6 |     3562 |     2081 |     6081      0 |     1221 |        1
72.18/72.20	c  2.8s |       7 |     5376 |     3223 |     6081      1 |     1221 |        1
72.98/73.09	c  3.7s |       8 |     7947 |     4936 |     6690      1 |     1221 |        1
74.58/74.63	c  5.2s |       9 |    11620 |     7506 |     6690      1 |     1221 |        1
75.88/75.98	c  6.6s |       9 |    14810 |     9668 |     6690      2 |     1221 |        1
75.88/75.98	c #cpu_time = 6.558s
75.88/75.98	c #wall_clock_time = 6.575s
75.88/75.98	c #decision = 14810
75.88/75.98	c #random_decision = 26
75.88/75.98	c #conflict = 9668
75.88/75.98	c #restart = 9
75.88/75.98	o 15
75.88/75.98	c BCD2: hardening fixes 371 literals
75.88/75.98	c BCD2: updating upper bound: 34 -> 14
75.88/75.98	c BCD2: 1 <= obj <= 14
75.88/75.98	c BCD2: #cores=1, #unrelaxed=4, #relaxed=261, #hardened=1592
75.88/75.98	c BCD2: #sat=3 #unsat=2 bias=2/5
75.88/75.98	c Solving starts ...
75.88/75.98	c ============================[ Search Statistics ]============================
75.88/75.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
75.88/75.98	c       |         |          |          |    Limit     GC | Var      | Constra 
75.88/75.98	c =============================================================================
75.88/75.98	c  0.0s |       0 |        0 |        0 |     6690      0 |     1592 |        2
75.98/76.07	c  0.1s |       1 |      126 |      100 |     6690      0 |     1592 |        2
76.08/76.20	c  0.2s |       2 |      354 |      250 |     6690      0 |     1592 |        2
76.28/76.35	c  0.4s |       3 |      706 |      475 |     6690      0 |     1592 |        2
76.48/76.55	c  0.6s |       4 |     1181 |      813 |     6690      0 |     1592 |        2
76.88/76.93	c  0.9s |       5 |     1877 |     1320 |     6690      0 |     1592 |        2
76.98/77.01	c  1.0s |       5 |     2091 |     1436 |     6690      0 |     1592 |        2
76.98/77.01	c #cpu_time = 1.020s
76.98/77.01	c #wall_clock_time = 1.023s
76.98/77.01	c #decision = 2091
76.98/77.01	c #random_decision = 4
76.98/77.01	c #conflict = 1436
76.98/77.01	c #restart = 5
76.98/77.01	o 3
76.98/77.01	c BCD2: hardening fixes 232 literals
76.98/77.01	c BCD2: updating upper bound: 14 -> 2
76.98/77.01	c BCD2: 1 <= obj <= 2
76.98/77.01	c BCD2: #cores=1, #unrelaxed=0, #relaxed=33, #hardened=1824
76.98/77.01	c BCD2: #sat=4 #unsat=2 bias=2/6
76.98/77.01	c Solving starts ...
76.98/77.01	c ============================[ Search Statistics ]============================
76.98/77.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
76.98/77.01	c       |         |          |          |    Limit     GC | Var      | Constra 
76.98/77.01	c =============================================================================
76.98/77.01	c  0.0s |       0 |        0 |        0 |     6690      0 |     1824 |        6
76.98/77.09	c  0.1s |       1 |      140 |      100 |     6690      0 |     1824 |        6
77.08/77.19	c  0.2s |       2 |      383 |      250 |     6690      0 |     1824 |        6
77.28/77.32	c  0.3s |       3 |      710 |      475 |     6690      0 |     1824 |        6
77.48/77.51	c  0.5s |       4 |     1145 |      813 |     6690      0 |     1824 |        6
77.68/77.73	c  0.7s |       5 |     1971 |     1320 |     6690      0 |     1824 |        6
78.08/78.10	c  1.1s |       6 |     3019 |     2081 |     6690      1 |     1824 |        6
78.47/78.56	c  1.6s |       7 |     4691 |     3223 |     6690      1 |     1824 |        6
78.57/78.65	c  1.6s |       7 |     4974 |     3391 |     6690      1 |     1824 |        6
78.57/78.65	c #cpu_time = 1.634s
78.57/78.65	c #wall_clock_time = 1.638s
78.57/78.65	c #decision = 4974
78.57/78.65	c #random_decision = 12
78.57/78.65	c #conflict = 3391
78.57/78.65	c #restart = 7
78.57/78.65	o 2
78.57/78.65	c BCD2: hardening fixes 21 literals
78.57/78.65	c BCD2: updating upper bound: 2 -> 1
78.57/78.65	c BCD2: 1 <= obj <= 1
78.57/78.65	c BCD2: #cores=1, #unrelaxed=0, #relaxed=12, #hardened=1845
78.57/78.65	c BCD2: #sat=5 #unsat=2 bias=2/7
78.57/78.65	c Solving starts ...
78.57/78.65	c ============================[ Search Statistics ]============================
78.57/78.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
78.57/78.65	c       |         |          |          |    Limit     GC | Var      | Constra 
78.57/78.65	c =============================================================================
78.57/78.65	c  0.0s |       0 |        0 |        0 |     6690      0 |     1845 |        8
78.67/78.71	c  0.1s |       1 |      163 |      100 |     6690      0 |     1845 |        8
78.67/78.79	c  0.1s |       2 |      379 |      250 |     6690      0 |     1845 |        8
78.77/78.88	c  0.2s |       3 |      754 |      475 |     6690      0 |     1845 |        8
78.97/79.02	c  0.4s |       4 |     1343 |      813 |     6690      0 |     1845 |        8
78.97/79.08	c  0.4s |       4 |     1552 |      919 |     6690      0 |     1845 |        8
78.97/79.08	c #cpu_time = 0.430s
78.97/79.08	c #wall_clock_time = 0.431s
78.97/79.08	c #decision = 1552
78.97/79.08	c #random_decision = 6
78.97/79.08	c #conflict = 919
78.97/79.08	c #restart = 4
78.97/79.08	o 1
78.97/79.08	s OPTIMUM FOUND
78.97/79.08	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
78.97/79.08	v -x11 x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20
78.97/79.08	v -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30
78.97/79.08	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
78.97/79.08	v -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
78.97/79.08	v -x51 x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60
78.97/79.08	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70
78.97/79.08	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
78.97/79.08	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90
78.97/79.08	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100
78.97/79.08	v -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
78.97/79.08	v -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120
78.97/79.08	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130
78.97/79.08	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
78.97/79.08	v -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
78.97/79.08	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
78.97/79.08	v x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170
78.97/79.08	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180
78.97/79.08	v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190
78.97/79.08	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
78.97/79.08	v -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210
78.97/79.08	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
78.97/79.08	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230
78.97/79.08	v -x231
78.97/79.08	c total CPU time = 78.877s
78.97/79.08	c total wall clock time = 79.085s

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.05 2.02 3/179 10936
/proc/meminfo: memFree=30048668/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 2764 0 0 0 0 0 0 0 20 0 4 0 10800946 757526528 2613 33554432000 4194304 16246674 140736923986944 140736923986368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 185711 2622 441 2943 0 182605 0
[pid=10936/tid=10937] ppid=10933 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 776400896 2683 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 780595200 2701 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10800946 784789504 2716 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.12 2.05 2.02 3/179 10936
/proc/meminfo: memFree=30048668/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 24805 0 0 0 4 4 0 0 20 0 4 0 10800946 1247350784 24647 33554432000 4194304 16246674 140736923986944 140736923986368 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 304529 24657 621 2943 0 301423 0
[pid=10936/tid=10937] ppid=10933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1247350784 24660 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1247350784 24664 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10800946 1247350784 24667 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200542 s]
/proc/loadavg: 2.12 2.05 2.02 3/179 10936
/proc/meminfo: memFree=30048668/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 32638 0 0 0 13 6 0 0 20 0 4 0 10800946 1250496512 32434 33554432000 4194304 16246674 140736923986944 140736923986256 5661021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 305297 32434 913 2943 0 302191 0
[pid=10936/tid=10937] ppid=10933 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1250496512 32434 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1250496512 32434 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1250496512 32434 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.30048 s]
/proc/loadavg: 2.12 2.05 2.02 3/179 10936
/proc/meminfo: memFree=30048668/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 50486 0 0 0 21 8 0 0 20 0 4 0 10800946 1334382592 50283 33554432000 4194304 16246674 140736923986944 140736923969936 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 325777 50301 923 2943 0 322671 0
[pid=10936/tid=10937] ppid=10933 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1334382592 50310 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1334382592 50320 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1334382592 50330 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700472 s]
/proc/loadavg: 2.12 2.05 2.02 3/179 10936
/proc/meminfo: memFree=30048668/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 108739 0 0 0 53 16 0 0 20 0 4 0 10800946 1339625472 108535 33554432000 4194304 16246674 140736923986944 140736923969936 6049762 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 327057 108535 929 2943 0 323951 0
[pid=10936/tid=10937] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108535 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108535 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108535 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50048 s]
/proc/loadavg: 2.12 2.05 2.02 3/183 10940
/proc/meminfo: memFree=29615972/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 108739 0 0 0 133 16 0 0 20 0 4 0 10800946 1339625472 108535 33554432000 4194304 16246674 140736923986944 140736923968832 5530748 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 327057 108535 929 2943 0 323951 0
[pid=10936/tid=10937] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108535 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108535 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108535 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10047 s]
/proc/loadavg: 2.11 2.05 2.02 3/183 10940
/proc/meminfo: memFree=29615600/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 108743 0 0 0 293 16 0 0 20 0 4 0 10800946 1339625472 108539 33554432000 4194304 16246674 140736923986944 140736923986120 6013376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 327057 108539 933 2943 0 323951 0
[pid=10936/tid=10937] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108539 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108539 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1339625472 108539 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30045 s]
/proc/loadavg: 2.11 2.05 2.02 3/183 10940
/proc/meminfo: memFree=29615864/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1309252 CPUtime=6.28 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 108968 0 0 0 612 16 0 0 20 0 4 0 10800946 1340674048 108764 33554432000 4194304 16246674 140736923986944 140736923986040 5672201 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 327313 108764 933 2943 0 324207 0
[pid=10936/tid=10937] ppid=10933 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1340674048 108764 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1340674048 108764 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1340674048 108764 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1309252

[startup+12.7005 s]
/proc/loadavg: 2.09 2.05 2.02 3/183 10940
/proc/meminfo: memFree=29611172/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 110010 0 0 0 1252 17 0 0 20 0 4 0 10800946 1344868352 109806 33554432000 4194304 16246674 140736923986944 140736923986120 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 328337 109806 933 2943 0 325231 0
[pid=10936/tid=10937] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 109806 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 109806 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 109806 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.08 2.05 2.02 3/183 10940
/proc/meminfo: memFree=29610968/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 110023 0 0 0 2531 18 0 0 20 0 4 0 10800946 1344868352 109819 33554432000 4194304 16246674 140736923986944 140736923986120 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 328337 109819 933 2943 0 325231 0
[pid=10936/tid=10937] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 109819 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 109819 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 109819 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.05 2.04 2.02 3/183 10940
/proc/meminfo: memFree=29572932/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 110023 0 0 0 5088 20 0 0 20 0 4 0 10800946 1344868352 119395 33554432000 4194304 16246674 140736923986944 140736923986120 5992473 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 328337 119395 933 2943 0 325231 0
[pid=10936/tid=10937] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 119395 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 119395 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 119395 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

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

[startup+51.4005 s]
/proc/loadavg: 2.05 2.04 2.02 3/183 10940
/proc/meminfo: memFree=29572932/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1313348 CPUtime=51.38 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 110023 0 0 0 5118 20 0 0 20 0 4 0 10800946 1344868352 119395 33554432000 4194304 16246674 140736923986944 140736923986120 12478373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 328337 119395 933 2943 0 325231 0
[pid=10936/tid=10937] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 119395 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 119395 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 119395 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.38
Current children cumulated vsize (KiB) 1313348

[startup+64.2004 s]
/proc/loadavg: 2.04 2.04 2.02 3/176 11211
/proc/meminfo: memFree=31202588/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1313348 CPUtime=64.18 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 122715 0 0 0 6394 24 0 0 20 0 4 0 10800946 1344868352 136119 33554432000 4194304 16246674 140736923986944 140736923986120 5677380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 328337 136119 933 2943 0 325231 0
[pid=10936/tid=10937] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 136119 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 136119 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 136119 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 64.18
Current children cumulated vsize (KiB) 1313348

[startup+70.6004 s]
/proc/loadavg: 2.04 2.04 2.02 3/183 11283
/proc/meminfo: memFree=30226340/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1313348 CPUtime=70.58 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 251830 0 0 0 7016 42 0 0 20 0 4 0 10800946 1344868352 269266 33554432000 4194304 16246674 140736923986944 140736923968832 5822818 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 328337 269266 943 2943 0 325231 0
[pid=10936/tid=10937] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 269266 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 269266 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1344868352 269266 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 70.58
Current children cumulated vsize (KiB) 1313348

[startup+73.8004 s]
/proc/loadavg: 2.03 2.04 2.02 4/183 11332
/proc/meminfo: memFree=30470688/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1316420 CPUtime=73.78 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 252579 0 0 0 7336 42 0 0 20 0 4 0 10800946 1348014080 270015 33554432000 4194304 16246674 140736923986944 140736923968832 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 329105 270015 943 2943 0 325999 0
[pid=10936/tid=10937] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270015 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270015 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270015 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 73.78
Current children cumulated vsize (KiB) 1316420

[startup+77.0004 s]
/proc/loadavg: 2.03 2.04 2.02 3/183 11381
/proc/meminfo: memFree=30427776/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1316420 CPUtime=76.98 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 252692 0 0 0 7656 42 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140736923968832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 329105 270126 943 2943 0 325999 0
[pid=10936/tid=10937] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 76.98
Current children cumulated vsize (KiB) 1316420

[startup+77.8004 s]
/proc/loadavg: 2.03 2.04 2.02 3/183 11381
/proc/meminfo: memFree=30162632/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1316420 CPUtime=77.78 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 252692 0 0 0 7736 42 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140736923968832 13198369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 329105 270126 943 2943 0 325999 0
[pid=10936/tid=10937] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 77.78
Current children cumulated vsize (KiB) 1316420

[startup+78.6004 s]
/proc/loadavg: 2.03 2.04 2.02 3/183 11381
/proc/meminfo: memFree=30162808/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1316420 CPUtime=78.57 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 252692 0 0 0 7815 42 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140736923968832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 329105 270126 943 2943 0 325999 0
[pid=10936/tid=10937] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 78.57
Current children cumulated vsize (KiB) 1316420

[startup+79.0004 s]
/proc/loadavg: 2.03 2.04 2.02 3/183 11381
/proc/meminfo: memFree=30162808/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=1316420 CPUtime=78.97 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202496 252692 0 0 0 7855 42 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140736923968832 5722527 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 329105 270126 943 2943 0 325999 0
[pid=10936/tid=10937] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (toysat) S 10933 10936 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281350434032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10936/tid=10938] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (toysat) S 10933 10936 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281339944176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10936/tid=10939] ppid=10933 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (toysat) S 10933 10936 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10800946 1348014080 270126 33554432000 4194304 16246674 140736923986944 140281329470640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 78.97
Current children cumulated vsize (KiB) 1316420

[startup+79.1005 s]
/proc/loadavg: 2.03 2.04 2.02 3/183 11381
/proc/meminfo: memFree=30162808/32872528 swapFree=240572/273276
[pid=10936] ppid=10933 vsize=0 CPUtime=79.08 cores=1,3,5,7
/proc/10936/stat : 10936 (toysat) R 10933 10936 7549 0 -1 4202500 252694 0 0 0 7864 44 0 0 20 0 1 0 10800946 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10936/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 79.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 79.1427
CPU time (s): 79.13
CPU user time (s): 78.646
CPU system time (s): 0.483926
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.646
system time used= 0.483926
maximum resident set size= 1080512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252694
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= 20
involuntary context switches= 87

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.249962 second user time and 0.301954 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 16:31:49
IDJOB=4093331
IDBENCH=78998
IDSOLVER=2553
FILE ID=node107/4093331-1466087509
RUNJOBID= node107-1466074715-9714
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 97e6423088cc7ef1f08dcccdf9e01ef4
RANDOM SEED=1167144654

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30049304 kB
Buffers:           36684 kB
Cached:           112160 kB
SwapCached:         2508 kB
Active:          1775568 kB
Inactive:          73344 kB
Active(anon):    1699888 kB
Inactive(anon):     2156 kB
Active(file):      75680 kB
Inactive(file):    71188 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       1973484 kB
Mapped:            10856 kB
Shmem:                 0 kB
Slab:             566952 kB
SReclaimable:      10756 kB
SUnreclaim:       556196 kB
KernelStack:        1520 kB
PageTables:         7904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2112736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1726464 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= 71680 MiB
End job on node107 at 2016-06-16 16:33:08