Trace number 4110274

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 39.717 39.7347

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-0-100-0.wbo
MD5SUMce2f0c2ecab27de55430c0b612897947
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3.64545
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1248
Number of bits of the biggest sum of numbers11
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-19T16:00:46+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-4110274-1466344846.wbo"]
0.00/0.01	c use --random-gen="2139512136 277858120 2479060850 2578845500 2770899903 2658454924 1664448174 3878534152 824230645 3351505782 3534740378 1546704316 3557682350 833510400 1433488894 2538493499 3227036648 1208451343 2604553330 3937369575 1800454158 2868164610 1195060708 3992779596 1432097239 1210390869 3737702140 1013362431 2763598185 146254014 685756692 3401542343 3919450551 3543525805 3266463861 1916361429 1548406111 2795648599 2976814047 3006995807 448755556 3063535564 1465323748 2132462959 1128062068 2534153370 3434143495 2974132809 1680445234 2471339416 3836032800 441397170 4152613738 4292940822 3659377597 220112369 388061203 593081864 2709589569 2311708590 1108245389 1678461676 3704301871 4063648994 1506471667 3101982240 3181755053 347147554 1693658241 385050660 1965068675 445879460 2357826294 1278157630 2252772984 3660664668 2567099063 1374202473 3681942356 133259568 2557654984 3038804712 885162982 2629046000 3909925297 2800207888 799696520 4267319071 2381800345 493266272 1913257005 1805795185 501869994 2150014335 1048829090 3174328172 3675791633 1768150999 2332378704 1016246059 3721587519 3986935064 860959826 4156012832 1932154655 4222338794 3063223790 3411094954 4040244198 3706380336 1053503510 1789502588 2162791876 2284185262 774388264 1480544046 1411721541 1333504113 89741597 3010262815 1547838731 3217644465 2947772027 1537334096 1907728145 984922134 982752166 1297652128 516072109 4107531824 3780655263 1712310971 321704706 1742021390 3466704053 1833401217 3517118593 2327320628 1692487568 1692943220 2512909969 1547216898 1517509144 3626837968 3439517071 1670620102 1853522265 2913078176 737710482 2218269214 3213237724 2365913963 3080131322 3202435362 637384496 3199588154 2361320093 1775711214 3497994843 841711763 2046492777 845823011 2812617938 2798087150 171110152 2034202012 3834177101 937647825 1652639907 4157384304 936661189 3783670630 3250806706 1140812481 294107309 2271845597 1997402022 3073520071 3313244656 1141324512 2860878171 486782467 768232558 900226742 2825184467 2015810187 3040586436 2136839720 2428568765 2818608549 2559947563 3661716195 1626047447 3406221804 1807018572 827685253 612657676 2054803891 4068659654 3666680561 1277536133 295640965 3716546976 65738088 3979609000 164081061 1107331169 3060661628 88224352 3249681935 3930790743 1867274206 1789906297 3597062972 1026384929 1417556413 3992480509 1635559538 3812058116 746661784 2050662052 1967336800 4122759874 335627049 1068195378 158390718 739772066 1814705877 2667219560 3334341779 3336684005 2022587911 1672340973 703968893 3181068552 1221354019 2480486596 1490100959 2352285795 3083378699 827339583 2992256473 3123881895 4070356026 1602212037 279711285 2351300441 882456397 500347545 1071526354 2118189868 768941204 3932022959 520002925 127741368 3939508870 255 362436" option to reproduce the execution
0.19/0.24	c #vars 169
0.19/0.24	c #constraints 101
0.19/0.25	c BCD2: Hardening is enabled.
0.19/0.25	c BCD2: BiasedSearch is enabled.
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |      123      0 |        0 |        0
0.19/0.25	c  0.0s |       0 |      109 |        0 |      123      0 |        0 |        0
0.19/0.25	c #cpu_time = 0.001s
0.19/0.25	c #wall_clock_time = 0.001s
0.19/0.25	c #decision = 109
0.19/0.25	c #random_decision = 0
0.19/0.25	c #conflict = 0
0.19/0.25	c #restart = 0
0.19/0.25	o 437
0.19/0.25	c BCD2: updating upper bound: 5033 -> 436
0.19/0.25	c BCD2: 0 <= obj <= 436
0.19/0.25	c BCD2: #cores=0, #unrelaxed=101, #relaxed=0, #hardened=0
0.19/0.25	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |      123      0 |        0 |        0
0.19/0.27	c  0.0s |       1 |      237 |      100 |      123      0 |        0 |        0
0.29/0.30	c  0.0s |       2 |      536 |      250 |      136      0 |        0 |        0
0.29/0.35	c  0.1s |       3 |      984 |      475 |      150      2 |        0 |        0
0.39/0.42	c  0.2s |       4 |     1609 |      813 |      165      4 |        0 |        0
0.48/0.54	c  0.3s |       5 |     2433 |     1320 |      182      7 |        0 |        0
0.69/0.70	c  0.4s |       6 |     3650 |     2081 |      222     11 |        0 |        0
0.89/0.95	c  0.7s |       7 |     5367 |     3223 |      245     17 |        0 |        0
1.29/1.34	c  1.1s |       8 |     7723 |     4936 |      270     25 |        0 |        0
1.69/1.79	c  1.5s |       9 |    11375 |     7506 |      297     36 |        0 |        0
2.30/2.38	c  2.1s |      10 |    16954 |    11361 |      327     52 |        0 |        0
3.19/3.23	c  3.0s |      11 |    25576 |    17144 |      360     75 |        0 |        0
4.50/4.56	c  4.3s |      12 |    37891 |    25819 |      397    107 |        0 |        0
6.49/6.56	c  6.3s |      12 |    55052 |    38119 |      397    150 |        0 |        0
6.60/6.68	c  6.4s |      13 |    56083 |    38832 |      437    153 |        0 |        0
8.59/8.69	c  8.4s |      13 |    73240 |    50632 |      437    192 |        0 |        0
10.39/10.43	c 10.2s |      14 |    84067 |    58352 |      481    218 |        0 |        0
12.39/12.44	c 12.2s |      14 |   101875 |    70952 |      481    257 |        0 |        0
14.40/14.44	c 14.2s |      14 |   117382 |    82252 |      481    292 |        0 |        0
15.49/15.59	c 15.3s |      15 |   124798 |    87632 |      530    308 |        0 |        0
17.49/17.60	c 17.3s |      15 |   142356 |    99832 |      530    343 |        0 |        0
19.59/19.61	c 19.4s |      15 |   157553 |   110932 |      530    375 |        0 |        0
21.58/21.62	c 21.4s |      15 |   171737 |   121032 |      530    404 |        0 |        0
22.88/22.91	c 22.7s |      15 |   179319 |   126665 |      530    421 |        0 |        0
22.88/22.91	c #cpu_time = 22.600s
22.88/22.91	c #wall_clock_time = 22.658s
22.88/22.91	c #decision = 179319
22.88/22.91	c #random_decision = 407
22.88/22.91	c #conflict = 126665
22.88/22.91	c #restart = 15
22.88/22.91	c BCD2: found a new core of size 101: cost of the new core is >=1
22.88/22.91	c lower bound updated to 1
22.88/22.91	c BCD2: 1 <= obj <= 436
22.88/22.91	c BCD2: #cores=1, #unrelaxed=0, #relaxed=101, #hardened=0
22.88/22.91	c BCD2: #sat=1 #unsat=2 bias=2/3
22.88/22.91	c Solving starts ...
22.88/22.91	c ============================[ Search Statistics ]============================
22.88/22.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.88/22.91	c       |         |          |          |    Limit     GC | Var      | Constra 
22.88/22.91	c =============================================================================
22.88/22.91	c  0.0s |       0 |        0 |        0 |      530      0 |        0 |        0
22.88/22.91	c  0.0s |       0 |      173 |       10 |      530      0 |        0 |        0
22.88/22.91	c #cpu_time = 0.004s
22.88/22.91	c #wall_clock_time = 0.004s
22.88/22.91	c #decision = 173
22.88/22.91	c #random_decision = 1
22.88/22.91	c #conflict = 10
22.88/22.91	c #restart = 0
22.88/22.91	o 10
22.88/22.91	c BCD2: hardening fixes 89 literals
22.88/22.91	c BCD2: updating upper bound: 436 -> 9
22.88/22.91	c BCD2: 1 <= obj <= 9
22.88/22.91	c BCD2: #cores=1, #unrelaxed=0, #relaxed=12, #hardened=89
22.88/22.91	c BCD2: #sat=2 #unsat=2 bias=2/4
22.88/22.91	c Solving starts ...
22.88/22.91	c ============================[ Search Statistics ]============================
22.88/22.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.88/22.91	c       |         |          |          |    Limit     GC | Var      | Constra 
22.88/22.91	c =============================================================================
22.88/22.91	c  0.0s |       0 |        0 |        0 |      530      0 |       89 |        2
22.88/22.93	c  0.0s |       1 |      157 |      100 |      530      0 |       89 |        2
22.88/22.95	c  0.0s |       2 |      435 |      250 |      530      1 |       89 |        2
22.88/22.97	c  0.1s |       3 |      750 |      475 |      530      1 |       89 |        2
22.98/23.01	c  0.1s |       4 |     1307 |      813 |      530      2 |       89 |        2
22.98/23.07	c  0.2s |       5 |     2069 |     1320 |      530      4 |       89 |        2
23.09/23.15	c  0.2s |       6 |     3230 |     2081 |      530      6 |       89 |        2
23.19/23.27	c  0.4s |       7 |     5090 |     3223 |      530      9 |       89 |        2
23.38/23.45	c  0.5s |       8 |     7653 |     4936 |      583     14 |       89 |        2
23.68/23.73	c  0.8s |       9 |    11418 |     7506 |      583     21 |       89 |        2
24.08/24.14	c  1.2s |      10 |    17183 |    11361 |      583     31 |       89 |        2
24.68/24.76	c  1.8s |      11 |    26013 |    17144 |      583     46 |       89 |        2
25.59/25.70	c  2.8s |      12 |    38975 |    25819 |      583     69 |       89 |        2
26.58/26.66	c  3.7s |      12 |    52166 |    34790 |      583     93 |       89 |        2
26.58/26.66	c #cpu_time = 3.739s
26.58/26.66	c #wall_clock_time = 3.748s
26.58/26.66	c #decision = 52166
26.58/26.66	c #random_decision = 128
26.58/26.66	c #conflict = 34790
26.58/26.66	c #restart = 12
26.58/26.66	o 9
26.58/26.66	c BCD2: updating upper bound: 9 -> 8
26.58/26.66	c BCD2: 1 <= obj <= 8
26.58/26.66	c BCD2: #cores=1, #unrelaxed=0, #relaxed=12, #hardened=89
26.58/26.66	c BCD2: #sat=3 #unsat=2 bias=2/5
26.58/26.66	c Solving starts ...
26.58/26.66	c ============================[ Search Statistics ]============================
26.58/26.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.58/26.66	c       |         |          |          |    Limit     GC | Var      | Constra 
26.58/26.66	c =============================================================================
26.58/26.66	c  0.0s |       0 |        0 |        0 |      583      0 |       89 |        4
26.58/26.68	c  0.0s |       1 |      134 |      100 |      583      0 |       89 |        4
26.58/26.69	c  0.0s |       2 |      330 |      250 |      583      1 |       89 |        4
26.68/26.72	c  0.1s |       3 |      624 |      475 |      583      1 |       89 |        4
26.68/26.76	c  0.1s |       4 |     1072 |      813 |      583      2 |       89 |        4
26.78/26.82	c  0.2s |       5 |     1812 |     1320 |      583      4 |       89 |        4
26.88/26.91	c  0.2s |       6 |     2938 |     2081 |      583      6 |       89 |        4
26.98/27.04	c  0.4s |       7 |     4442 |     3223 |      583      9 |       89 |        4
27.18/27.25	c  0.6s |       8 |     6908 |     4936 |      583     13 |       89 |        4
27.49/27.55	c  0.9s |       9 |    10568 |     7506 |      583     20 |       89 |        4
27.98/28.01	c  1.4s |      10 |    16023 |    11361 |      583     30 |       89 |        4
28.69/28.71	c  2.0s |      11 |    24261 |    17144 |      583     45 |       89 |        4
29.69/29.79	c  3.1s |      12 |    36600 |    25819 |      583     68 |       89 |        4
31.28/31.35	c  4.7s |      13 |    54624 |    38832 |      642    102 |       89 |        4
32.48/32.59	c  5.9s |      13 |    68042 |    48452 |      642    125 |       89 |        4
32.48/32.59	c #cpu_time = 5.908s
32.48/32.59	c #wall_clock_time = 5.923s
32.48/32.59	c #decision = 68042
32.48/32.59	c #random_decision = 175
32.48/32.59	c #conflict = 48452
32.48/32.59	c #restart = 13
32.48/32.59	o 2
32.48/32.59	c BCD2: hardening fixes 11 literals
32.48/32.59	c BCD2: updating upper bound: 8 -> 1
32.48/32.59	c BCD2: 1 <= obj <= 1
32.48/32.59	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1, #hardened=100
32.48/32.59	c BCD2: #sat=4 #unsat=2 bias=2/6
32.48/32.59	c Solving starts ...
32.48/32.59	c ============================[ Search Statistics ]============================
32.48/32.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.48/32.59	c       |         |          |          |    Limit     GC | Var      | Constra 
32.48/32.59	c =============================================================================
32.48/32.59	c  0.0s |       0 |        0 |        0 |      642      0 |      101 |        4
32.58/32.60	c  0.0s |       1 |      140 |      100 |      642      1 |      101 |        8
32.58/32.62	c  0.0s |       2 |      391 |      250 |      642      1 |      101 |        8
32.58/32.65	c  0.1s |       3 |      686 |      475 |      642      1 |      101 |        8
32.58/32.69	c  0.1s |       4 |     1151 |      813 |      642      2 |      101 |        8
32.68/32.75	c  0.2s |       5 |     1883 |     1320 |      642      4 |      101 |        8
32.78/32.84	c  0.3s |       6 |     2988 |     2081 |      642      5 |      101 |        8
32.88/32.98	c  0.4s |       7 |     4694 |     3223 |      642      8 |      101 |        8
33.09/33.18	c  0.6s |       8 |     7215 |     4936 |      642     12 |      101 |        8
33.38/33.48	c  0.9s |       9 |    10874 |     7506 |      642     18 |      101 |        8
33.88/33.93	c  1.3s |      10 |    16608 |    11361 |      642     28 |      101 |        8
34.58/34.63	c  2.0s |      11 |    24320 |    17144 |      642     42 |      101 |        8
35.68/35.74	c  3.2s |      12 |    36005 |    25819 |      642     63 |      101 |        8
37.28/37.34	c  4.8s |      13 |    54042 |    38832 |      642     95 |      101 |        8
39.28/39.35	c  6.8s |      13 |    77059 |    55132 |      642    135 |      101 |        8
39.59/39.67	c  7.1s |      13 |    80535 |    57559 |      642    142 |      103 |       10
39.59/39.67	c #cpu_time = 7.064s
39.59/39.67	c #wall_clock_time = 7.082s
39.59/39.67	c #decision = 80535
39.59/39.67	c #random_decision = 172
39.59/39.67	c #conflict = 57559
39.59/39.67	c #restart = 13
39.59/39.67	c BCD2: updating lower bound of a core
39.59/39.67	c lower bound updated to 3
39.59/39.67	s OPTIMUM FOUND
39.59/39.67	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
39.59/39.67	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
39.59/39.67	v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
39.59/39.67	v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
39.59/39.67	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50
39.59/39.67	v -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60
39.59/39.67	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70
39.59/39.67	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
39.59/39.67	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90
39.59/39.67	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
39.59/39.67	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
39.59/39.67	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
39.59/39.67	v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130
39.59/39.67	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
39.59/39.67	v -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
39.59/39.67	v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160
39.59/39.67	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
39.59/39.67	c total CPU time = 39.571s
39.59/39.67	c total wall clock time = 39.673s

Verifier Data 

OK	2

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

pid=8915
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.17 2.20 2.10 2/180 8918
/proc/meminfo: memFree=29348904/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 2653 0 0 0 0 0 0 0 20 0 4 0 36533345 729214976 3015 33554432000 4194304 16246674 140734631701968 140734631701392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 178543 3024 441 2943 0 175437 0
[pid=8918/tid=8919] ppid=8915 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 747040768 3084 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 751235072 3100 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36533345 755429376 3116 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.17 2.20 2.10 2/180 8918
/proc/meminfo: memFree=29348904/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 18386 0 0 0 6 3 0 0 20 0 4 0 36533345 1247350784 18740 33554432000 4194304 16246674 140734631701968 140734631701392 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 304529 18745 611 2943 0 301423 0
[pid=8918/tid=8919] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 18745 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 18747 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 18748 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200502 s]
/proc/loadavg: 2.17 2.20 2.10 2/180 8918
/proc/meminfo: memFree=29348904/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 26353 0 0 0 15 4 0 0 20 0 4 0 36533345 1247350784 26707 33554432000 4194304 16246674 140734631701968 140734631701392 13807435 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 304529 26707 611 2943 0 301423 0
[pid=8918/tid=8919] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 26708 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 26708 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 26708 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.17 2.20 2.10 2/180 8918
/proc/meminfo: memFree=29348904/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 39461 0 0 0 23 6 0 0 20 0 4 0 36533345 1247350784 39808 33554432000 4194304 16246674 140734631701968 140734631683840 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 304529 39810 809 2943 0 301423 0
[pid=8918/tid=8919] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 39814 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 39821 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 39835 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.17 2.20 2.10 2/180 8918
/proc/meminfo: memFree=29348904/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 118083 0 0 0 52 17 0 0 20 0 4 0 36533345 1247350784 118430 33554432000 4194304 16246674 140734631701968 140734631683840 5664948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 304529 118438 815 2943 0 301423 0
[pid=8918/tid=8919] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 118439 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 118441 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36533345 1247350784 118443 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.17 2.20 2.10 3/184 8922
/proc/meminfo: memFree=28543280/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 245879 0 0 0 116 33 0 0 20 0 4 0 36533345 1248399360 246204 33554432000 4194304 16246674 140734631701968 140734631701280 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 304785 246204 873 2943 0 301679 0
[pid=8918/tid=8919] ppid=8915 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1248399360 246204 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1248399360 246204 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1248399360 246204 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.17 2.20 2.10 3/184 8922
/proc/meminfo: memFree=28278664/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267545 0 0 0 273 36 0 0 20 0 4 0 36533345 1337528320 267870 33554432000 4194304 16246674 140734631701968 140734631683840 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326545 267870 873 2943 0 323439 0
[pid=8918/tid=8919] ppid=8915 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1337528320 267870 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1337528320 267870 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1337528320 267870 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.23 2.21 2.11 3/184 8922
/proc/meminfo: memFree=28277496/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267557 0 0 0 593 36 0 0 20 0 4 0 36533345 1337528320 267882 33554432000 4194304 16246674 140734631701968 140734631683840 6024626 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326545 267882 874 2943 0 323439 0
[pid=8918/tid=8919] ppid=8915 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1337528320 267882 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1337528320 267882 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1337528320 267882 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.30 2.22 2.11 4/184 8922
/proc/meminfo: memFree=28276884/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267734 0 0 0 1233 36 0 0 20 0 4 0 36533345 1338576896 268059 33554432000 4194304 16246674 140734631701968 140734631684968 5553636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268059 876 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268059 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268059 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268059 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.30 2.23 2.11 3/184 8945
/proc/meminfo: memFree=28269676/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267933 0 0 0 2512 36 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140734631683840 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268258 885 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

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

[startup+25.6005 s]
/proc/loadavg: 2.30 2.23 2.11 3/184 8945
/proc/meminfo: memFree=28269676/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=25.59 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267933 0 0 0 2523 36 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140734631683840 13954625 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268258 885 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1307204

[startup+32.0072 s]
/proc/loadavg: 2.27 2.22 2.11 3/184 8945
/proc/meminfo: memFree=28253772/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=31.99 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267933 0 0 0 3163 36 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140734631683840 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268258 885 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1307204

[startup+35.2004 s]
/proc/loadavg: 2.33 2.23 2.12 3/184 8945
/proc/meminfo: memFree=28254144/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=35.19 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267933 0 0 0 3483 36 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140734631683840 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268258 885 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 35.19
Current children cumulated vsize (KiB) 1307204

[startup+36.8003 s]
/proc/loadavg: 2.33 2.23 2.12 3/184 8945
/proc/meminfo: memFree=28254268/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=36.78 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267933 0 0 0 3642 36 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140734631683840 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268258 885 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 36.78
Current children cumulated vsize (KiB) 1307204

[startup+38.4004 s]
/proc/loadavg: 2.33 2.23 2.12 3/184 8945
/proc/meminfo: memFree=28254268/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=38.38 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267933 0 0 0 3802 36 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140734631683840 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268258 885 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.38
Current children cumulated vsize (KiB) 1307204

[startup+39.2004 s]
/proc/loadavg: 2.33 2.23 2.12 3/184 8945
/proc/meminfo: memFree=28254144/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=39.18 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267933 0 0 0 3882 36 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140734631683840 5661057 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268258 885 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.18
Current children cumulated vsize (KiB) 1307204

[startup+39.6004 s]
/proc/loadavg: 2.33 2.23 2.12 3/184 8945
/proc/meminfo: memFree=28254356/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=1307204 CPUtime=39.59 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) R 8915 8918 7726 0 -1 4202496 267933 0 0 0 3923 36 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140734631684968 13950688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 326801 268258 885 2943 0 323695 0
[pid=8918/tid=8919] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (toysat) S 8915 8918 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453501447408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) S 8915 8918 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453416512752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8918/tid=8921] ppid=8915 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (toysat) S 8915 8918 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36533345 1338576896 268258 33554432000 4194304 16246674 140734631701968 140453406039216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.59
Current children cumulated vsize (KiB) 1307204

[startup+39.7073 s]
/proc/loadavg: 2.33 2.23 2.12 3/184 8945
/proc/meminfo: memFree=28254356/32872528 swapFree=1431120/1543540
[pid=8918] ppid=8915 vsize=0 CPUtime=39.69 cores=0,2,4,6
/proc/8918/stat : 8918 (toysat) Z 8915 8918 7726 0 -1 4202508 267937 0 0 0 3930 39 0 0 20 0 2 0 36533345 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8918/statm: 0 0 0 0 0 0 0
[pid=8918/tid=8920] ppid=8915 vsize=0 CPUtime=0.02 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (toysat) R 8915 8918 7726 0 -1 4203588 8 0 0 0 0 2 0 0 20 0 2 0 36533345 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.69
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 39.7347
CPU time (s): 39.717
CPU user time (s): 39.3
CPU system time (s): 0.416936
CPU usage (%): 99.9554
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.3
system time used= 0.416936
maximum resident set size= 1073040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267937
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= 19
involuntary context switches= 43

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.157975 second user time and 0.200969 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-19 16:00:46
IDJOB=4110274
IDBENCH=79226
IDSOLVER=2553
FILE ID=node116/4110274-1466344846
RUNJOBID= node116-1466341822-7742
PBS_JOBID= 19922036
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220546--soft-0-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-4110274-1466344846/watcher-4110274-1466344846 -o /tmp/evaluation-result-4110274-1466344846/solver-4110274-1466344846 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7742 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110274-1466344846.wbo

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

MD5SUM BENCH= ce2f0c2ecab27de55430c0b612897947
RANDOM SEED=26611897

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29348912 kB
Buffers:          144360 kB
Cached:           284384 kB
SwapCached:         2316 kB
Active:           963808 kB
Inactive:         263992 kB
Active(anon):     797372 kB
Inactive(anon):     3928 kB
Active(file):     166436 kB
Inactive(file):   260064 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2579036 kB
Mapped:            12612 kB
Shmem:                 0 kB
Slab:             616496 kB
SReclaimable:      60504 kB
SUnreclaim:       555992 kB
KernelStack:        1528 kB
PageTables:         9292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2799876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    354304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71660 MiB
End job on node116 at 2016-06-19 16:01:26