Trace number 4109674

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 35.1357 35.1406

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
MD5SUMb6831e02f19f517e205ea45f0a3f162b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark33.007
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 constraints1839
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 91769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91768
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T15:44:55+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-4109674-1466343895.wbo"]
0.00/0.01	c use --random-gen="3561722531 3985759984 3965086807 3399038681 1441384711 256761764 3604330772 2091352531 204514468 1717637378 1892466229 487928267 1613453490 881216812 581266422 1527126729 2442688260 876739662 3199227781 527500073 3216328919 1837296310 2426719896 2845930104 1331767454 2804313423 3044897055 3007937950 946149159 4204431313 3886728060 3292785278 2675904966 2521778762 4116550394 671302757 461261344 2332909510 4282171828 4023785684 3006885521 3927057354 3847124895 1021830367 1477375381 3222017507 1149058168 3545344220 4016438196 485896566 1128368816 121126916 3045040868 731846173 1292202380 490804295 2191087299 3940371523 3612277180 1898763703 159600611 3398095684 1014306431 1941178236 832988470 2180586248 4247450151 2565202813 168391179 2759929289 2329900560 3448963229 514043201 3726526035 1785024227 780191738 1019624994 1218823382 3362305625 2321725305 550176833 3250985251 1213198905 2165189811 698537161 1371124328 1907577995 1266156755 3357753551 2194272053 1377664194 1981998879 2597374460 2429145230 2430013002 3254762008 375072370 3763806026 261960588 2869994486 341969354 1878632707 962517624 2187159353 3144540322 2434604201 3007649142 3115105989 1774128987 676918802 3429481387 3793787135 1478954328 2510420984 559183499 3620280089 2518874065 2006453666 4237432881 1098963929 1592038210 1974219620 4248736014 4092341404 1517947249 1706203636 223028590 3909696818 4283631361 3788115148 2736655571 682182436 3917660307 4263093524 3008932755 380984034 2060691252 340407761 2570343017 4105252106 1421027489 3961477831 949187070 1958414787 3222507719 1975192771 2641592032 2728253170 1403038555 3037658016 2927824774 1798108467 1887670161 545917237 151201833 3950612041 725400236 566415172 1484477241 2591074680 365173717 1153313761 2214470331 1672192508 3505689172 1340845988 1008939100 917020438 4116239770 1538670718 3769542426 1721505626 4282871801 841974048 486012618 2741242263 4022672221 2316708214 2455304956 347266519 789279929 668637322 2069159898 3658922269 1948696097 1542214426 770173367 1233117450 177741487 3168134511 316330787 2722356221 528474791 4226563356 607445585 918604292 1251286881 4255223982 4101525517 1127384367 748444641 4049406243 2123933312 1051256886 4162965437 1650396897 2407707515 893837392 1119907527 3133346981 3509383674 708990972 856303290 2305301808 839703365 3079047220 1886353171 950288026 2535633317 2741279898 2185842138 3234380609 3513747976 2570976524 1061318404 427576414 3473769316 3499316322 1247300613 2989985471 3250786033 1007256721 25483267 2390172387 231263975 2512679252 3730072496 3178340272 2502917116 1775941320 3780735739 2465184731 1973140664 2495295952 3026215614 1981565341 341181196 145218372 3761714074 3050934937 3932330718 1764644922 2922065943 2556796377 2805667987 2993364 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	c #constraints 2707
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1592      0 |        0 |        0
0.09/0.20	c  0.0s |       0 |     1915 |       17 |     1592      0 |        0 |        0
0.09/0.20	c #cpu_time = 0.007s
0.09/0.20	c #wall_clock_time = 0.007s
0.09/0.20	c #decision = 1915
0.09/0.20	c #random_decision = 7
0.09/0.20	c #conflict = 17
0.09/0.20	c #restart = 0
0.09/0.20	o 526
0.19/0.20	c BCD2: updating upper bound: 91768 -> 525
0.19/0.21	c BCD2: 0 <= obj <= 525
0.19/0.21	c BCD2: #cores=0, #unrelaxed=1839, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1592      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     2045 |      100 |     1752      0 |        0 |        0
0.19/0.28	c  0.1s |       2 |     4130 |      250 |     1928      0 |        0 |        0
0.29/0.33	c  0.1s |       3 |     6356 |      475 |     2121      0 |        0 |        0
0.39/0.43	c  0.2s |       4 |     8760 |      813 |     2334      0 |        0 |        0
0.59/0.63	c  0.4s |       5 |    11376 |     1320 |     2568      0 |        0 |        0
0.79/0.88	c  0.7s |       6 |    14316 |     2081 |     2825      0 |        0 |        0
1.19/1.27	c  1.1s |       7 |    17893 |     3223 |     3108      0 |        0 |        0
1.99/2.06	c  1.8s |       8 |    22377 |     4936 |     3419      1 |        0 |        0
2.99/3.05	c  2.8s |       9 |    28594 |     7506 |     3761      2 |        0 |        0
4.99/5.06	c  4.9s |       9 |    36430 |    11206 |     3761      3 |        0 |        0
5.09/5.16	c  4.9s |      10 |    36714 |    11361 |     4138      3 |        0 |        0
7.09/7.18	c  7.0s |      10 |    43669 |    14261 |     4138      4 |        0 |        0
8.69/8.70	c  8.5s |      11 |    49048 |    17144 |     4552      5 |        0 |        0
10.69/10.76	c 10.5s |      11 |    57124 |    20344 |     4552      6 |        0 |        0
12.69/12.78	c 12.6s |      11 |    62448 |    23044 |     4552      7 |        0 |        0
14.69/14.80	c 14.6s |      11 |    66348 |    25144 |     4552      8 |        0 |        0
15.49/15.56	c 15.3s |      12 |    67763 |    25819 |     5008      8 |        0 |        0
17.59/17.62	c 17.4s |      12 |    73045 |    27819 |     5008      8 |        0 |        0
19.58/19.65	c 19.4s |      12 |    76166 |    29619 |     5008      9 |        0 |        0
21.09/21.16	c 20.9s |      12 |    78364 |    30698 |     5008      9 |        0 |        0
21.09/21.16	c #cpu_time = 20.894s
21.09/21.16	c #wall_clock_time = 20.949s
21.09/21.16	c #decision = 78364
21.09/21.16	c #random_decision = 38
21.09/21.16	c #conflict = 30698
21.09/21.16	c #restart = 12
21.09/21.16	c BCD2: found a new core of size 1620: cost of the new core is >=1
21.09/21.16	c lower bound updated to 1
21.09/21.17	c BCD2: 1 <= obj <= 525
21.09/21.17	c BCD2: #cores=1, #unrelaxed=219, #relaxed=1620, #hardened=0
21.09/21.17	c BCD2: #sat=1 #unsat=2 bias=2/3
21.09/21.17	c Solving starts ...
21.09/21.17	c ============================[ Search Statistics ]============================
21.09/21.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.09/21.17	c       |         |          |          |    Limit     GC | Var      | Constra 
21.09/21.17	c =============================================================================
21.09/21.17	c  0.0s |       0 |        0 |        0 |     5008      0 |        0 |        0
21.29/21.34	c  0.2s |       0 |     2269 |        4 |     5008      1 |        0 |        0
21.29/21.34	c #cpu_time = 0.162s
21.29/21.34	c #wall_clock_time = 0.163s
21.29/21.34	c #decision = 2269
21.29/21.34	c #random_decision = 2
21.29/21.34	c #conflict = 4
21.29/21.34	c #restart = 0
21.29/21.34	o 111
21.29/21.34	c BCD2: updating upper bound: 525 -> 110
21.29/21.35	c BCD2: 1 <= obj <= 110
21.29/21.35	c BCD2: #cores=1, #unrelaxed=219, #relaxed=1620, #hardened=0
21.29/21.35	c BCD2: #sat=2 #unsat=2 bias=2/4
21.29/21.35	c Solving starts ...
21.29/21.35	c ============================[ Search Statistics ]============================
21.29/21.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.29/21.35	c       |         |          |          |    Limit     GC | Var      | Constra 
21.29/21.35	c =============================================================================
21.29/21.35	c  0.0s |       0 |        0 |        0 |     5008      0 |        0 |        1
21.39/21.40	c  0.0s |       0 |      442 |        1 |     5008      0 |        0 |        1
21.39/21.40	c #cpu_time = 0.047s
21.39/21.40	c #wall_clock_time = 0.047s
21.39/21.40	c #decision = 442
21.39/21.40	c #random_decision = 0
21.39/21.40	c #conflict = 1
21.39/21.40	c #restart = 0
21.39/21.40	o 45
21.39/21.41	c BCD2: hardening fixes 1007 literals
21.39/21.41	c BCD2: updating upper bound: 110 -> 44
21.39/21.41	c BCD2: 1 <= obj <= 44
21.39/21.41	c BCD2: #cores=1, #unrelaxed=110, #relaxed=722, #hardened=1007
21.39/21.41	c BCD2: #sat=3 #unsat=2 bias=2/5
21.39/21.41	c Solving starts ...
21.39/21.41	c ============================[ Search Statistics ]============================
21.39/21.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.39/21.41	c       |         |          |          |    Limit     GC | Var      | Constra 
21.39/21.41	c =============================================================================
21.39/21.41	c  0.0s |       0 |        0 |        0 |     5008      0 |     1007 |        2
21.49/21.52	c  0.1s |       1 |      639 |      100 |     5008      0 |     1007 |        2
21.59/21.67	c  0.3s |       2 |     1032 |      250 |     5008      0 |     1007 |        2
21.79/21.83	c  0.4s |       3 |     1556 |      475 |     5008      0 |     1007 |        2
21.99/22.08	c  0.7s |       4 |     2268 |      813 |     5008      0 |     1007 |        2
22.29/22.36	c  0.9s |       5 |     3235 |     1320 |     5008      0 |     1007 |        2
22.69/22.75	c  1.3s |       6 |     4581 |     2081 |     5008      0 |     1007 |        2
23.29/23.37	c  2.0s |       7 |     6697 |     3223 |     5008      0 |     1007 |        2
24.08/24.20	c  2.8s |       8 |     9777 |     4936 |     5008      1 |     1007 |        2
25.48/25.55	c  4.1s |       9 |    13920 |     7506 |     5008      2 |     1007 |        2
27.49/27.56	c  6.1s |       9 |    19745 |    11306 |     5509      3 |     1007 |        2
27.49/27.58	c  6.2s |      10 |    19849 |    11361 |     5509      3 |     1007 |        2
28.18/28.23	c  6.8s |      10 |    21802 |    12512 |     5509      3 |     1007 |        2
28.18/28.23	c #cpu_time = 6.803s
28.18/28.23	c #wall_clock_time = 6.821s
28.18/28.23	c #decision = 21802
28.18/28.23	c #random_decision = 24
28.18/28.23	c #conflict = 12512
28.18/28.23	c #restart = 10
28.18/28.23	o 17
28.18/28.23	c BCD2: hardening fixes 537 literals
28.18/28.24	c BCD2: updating upper bound: 44 -> 16
28.18/28.24	c BCD2: 1 <= obj <= 16
28.18/28.24	c BCD2: #cores=1, #unrelaxed=43, #relaxed=252, #hardened=1544
28.18/28.24	c BCD2: #sat=4 #unsat=2 bias=2/6
28.18/28.24	c Solving starts ...
28.18/28.24	c ============================[ Search Statistics ]============================
28.18/28.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.18/28.24	c       |         |          |          |    Limit     GC | Var      | Constra 
28.18/28.24	c =============================================================================
28.18/28.24	c  0.0s |       0 |        0 |        0 |     5509      0 |     1544 |        3
28.18/28.30	c  0.1s |       1 |      257 |      100 |     5509      0 |     1544 |        3
28.28/28.40	c  0.2s |       2 |      520 |      250 |     5509      0 |     1544 |        3
28.48/28.52	c  0.3s |       3 |      935 |      475 |     5509      0 |     1544 |        3
28.59/28.69	c  0.5s |       4 |     1510 |      813 |     5509      0 |     1544 |        3
28.88/28.90	c  0.7s |       4 |     2105 |     1132 |     5509      0 |     1544 |        3
28.88/28.90	c #cpu_time = 0.664s
28.88/28.90	c #wall_clock_time = 0.666s
28.88/28.90	c #decision = 2105
28.88/28.90	c #random_decision = 3
28.88/28.90	c #conflict = 1132
28.88/28.90	c #restart = 4
28.88/28.90	o 6
28.88/28.91	c BCD2: hardening fixes 211 literals
28.88/28.91	c BCD2: updating upper bound: 16 -> 5
28.88/28.91	c BCD2: 1 <= obj <= 5
28.88/28.91	c BCD2: #cores=1, #unrelaxed=11, #relaxed=73, #hardened=1755
28.88/28.91	c BCD2: #sat=5 #unsat=2 bias=2/7
28.88/28.91	c Solving starts ...
28.88/28.91	c ============================[ Search Statistics ]============================
28.88/28.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.88/28.91	c       |         |          |          |    Limit     GC | Var      | Constra 
28.88/28.91	c =============================================================================
28.88/28.91	c  0.0s |       0 |        0 |        0 |     5509      0 |     1755 |        4
28.88/28.98	c  0.1s |       1 |      191 |      100 |     5509      0 |     1755 |        5
28.98/29.05	c  0.1s |       2 |      463 |      250 |     5509      0 |     1755 |        5
29.08/29.17	c  0.3s |       3 |      889 |      475 |     5509      0 |     1755 |        5
29.28/29.34	c  0.4s |       4 |     1597 |      813 |     5509      1 |     1755 |        5
29.48/29.51	c  0.6s |       5 |     2539 |     1320 |     5509      1 |     1755 |        5
29.79/29.82	c  0.9s |       6 |     3662 |     2081 |     5509      1 |     1755 |        5
29.88/29.93	c  1.0s |       6 |     4115 |     2329 |     5509      1 |     1755 |        5
29.88/29.93	c #cpu_time = 1.022s
29.88/29.93	c #wall_clock_time = 1.024s
29.88/29.93	c #decision = 4115
29.88/29.93	c #random_decision = 4
29.88/29.93	c #conflict = 2329
29.88/29.93	c #restart = 6
29.88/29.93	o 2
29.88/29.94	c BCD2: hardening fixes 70 literals
29.88/29.94	c BCD2: updating upper bound: 5 -> 1
29.88/29.94	c BCD2: 1 <= obj <= 1
29.88/29.94	c BCD2: #cores=1, #unrelaxed=0, #relaxed=14, #hardened=1825
29.88/29.94	c BCD2: #sat=6 #unsat=2 bias=2/8
29.88/29.94	c Solving starts ...
29.88/29.94	c ============================[ Search Statistics ]============================
29.88/29.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
29.88/29.94	c       |         |          |          |    Limit     GC | Var      | Constra 
29.88/29.94	c =============================================================================
29.88/29.94	c  0.0s |       0 |        0 |        0 |     5509      0 |     1825 |       10
29.88/29.98	c  0.0s |       1 |      155 |      100 |     5509      0 |     1825 |       10
29.98/30.05	c  0.1s |       2 |      420 |      250 |     5509      0 |     1825 |       10
30.08/30.13	c  0.2s |       3 |      842 |      475 |     5509      0 |     1825 |       10
30.18/30.26	c  0.3s |       4 |     1387 |      813 |     5509      0 |     1825 |       10
30.38/30.41	c  0.5s |       5 |     2325 |     1320 |     5509      0 |     1825 |       10
30.58/30.67	c  0.7s |       6 |     3680 |     2081 |     5509      0 |     1825 |       10
30.98/31.06	c  1.1s |       7 |     5616 |     3223 |     5509      1 |     1825 |       10
31.48/31.53	c  1.6s |       8 |     8738 |     4936 |     5509      1 |     1825 |       10
32.28/32.33	c  2.4s |       9 |    12972 |     7506 |     5509      2 |     1825 |       10
33.38/33.47	c  3.5s |      10 |    19712 |    11361 |     6060      3 |     1825 |       10
34.99/35.07	c  5.1s |      10 |    29371 |    17022 |     6060      4 |     1826 |       12
34.99/35.07	c #cpu_time = 5.116s
34.99/35.07	c #wall_clock_time = 5.129s
34.99/35.07	c #decision = 29371
34.99/35.07	c #random_decision = 97
34.99/35.07	c #conflict = 17022
34.99/35.07	c #restart = 10
34.99/35.07	c BCD2: updating lower bound of a core
34.99/35.07	c lower bound updated to 2
34.99/35.07	s OPTIMUM FOUND
34.99/35.07	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10
34.99/35.07	v -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20
34.99/35.07	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30
34.99/35.07	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40
34.99/35.07	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
34.99/35.07	v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60
34.99/35.07	v -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
34.99/35.07	v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
34.99/35.07	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
34.99/35.07	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
34.99/35.07	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
34.99/35.07	v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
34.99/35.07	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
34.99/35.07	v x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
34.99/35.07	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
34.99/35.07	v -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160
34.99/35.07	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
34.99/35.07	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180
34.99/35.07	v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190
34.99/35.07	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
34.99/35.07	v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
34.99/35.07	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
34.99/35.07	v -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
34.99/35.07	v -x231
34.99/35.07	c total CPU time = 34.980s
34.99/35.07	c total wall clock time = 35.072s

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

pid=6824
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.31 2.27 2.02 3/179 6827
/proc/meminfo: memFree=28827652/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 2699 0 0 0 0 0 0 0 20 0 4 0 36436121 740749312 3059 33554432000 4194304 16246674 140737222926256 140737222925680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 181615 3068 441 2943 0 178509 0
[pid=6827/tid=6828] ppid=6824 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 763817984 3147 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 768012288 3163 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436121 773255168 3179 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10015 s]
/proc/loadavg: 2.31 2.27 2.02 3/179 6827
/proc/meminfo: memFree=28827652/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 24787 0 0 0 7 2 0 0 20 0 4 0 36436121 1247350784 25140 33554432000 4194304 16246674 140737222926256 140737222925680 6144396 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 304529 25140 619 2943 0 301423 0
[pid=6827/tid=6828] ppid=6824 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1247350784 25141 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1247350784 25142 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36436121 1247350784 25148 33554432000 4194304 16246674 140737222926256 139937127058608 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.200445 s]
/proc/loadavg: 2.31 2.27 2.02 3/179 6827
/proc/meminfo: memFree=28827652/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 32602 0 0 0 15 4 0 0 20 0 4 0 36436121 1250496512 32909 33554432000 4194304 16246674 140737222926256 140737222925568 14073233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 305297 32909 914 2943 0 302191 0
[pid=6827/tid=6828] ppid=6824 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1250496512 32909 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1250496512 32909 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1250496512 32909 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300462 s]
/proc/loadavg: 2.31 2.27 2.02 3/179 6827
/proc/meminfo: memFree=28827652/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 50679 0 0 0 23 6 0 0 20 0 4 0 36436121 1334382592 50986 33554432000 4194304 16246674 140737222926256 140737222925568 12476789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 325777 50996 922 2943 0 322671 0
[pid=6827/tid=6828] ppid=6824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1334382592 51007 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1334382592 51013 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1334382592 51017 33554432000 4194304 16246674 140737222926256 139937127058608 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) 1303108

[startup+0.700352 s]
/proc/loadavg: 2.31 2.27 2.02 3/179 6827
/proc/meminfo: memFree=28827652/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 105300 0 0 0 55 14 0 0 20 0 4 0 36436121 1338576896 105607 33554432000 4194304 16246674 140737222926256 140737222908160 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 326801 105607 924 2943 0 323695 0
[pid=6827/tid=6828] ppid=6824 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1338576896 105607 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1338576896 105607 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1338576896 105607 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.5004 s]
/proc/loadavg: 2.31 2.27 2.02 3/183 6831
/proc/meminfo: memFree=28406360/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 163830 0 0 0 127 22 0 0 20 0 4 0 36436121 1339625472 164137 33554432000 4194304 16246674 140737222926256 140737222908160 6022340 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 327057 164137 931 2943 0 323951 0
[pid=6827/tid=6828] ppid=6824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1339625472 164137 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1339625472 164137 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1339625472 164137 33554432000 4194304 16246674 140737222926256 139937127058608 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) 1308228

[startup+3.10042 s]
/proc/loadavg: 2.28 2.26 2.02 3/183 6831
/proc/meminfo: memFree=28172000/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 163830 0 0 0 287 22 0 0 20 0 4 0 36436121 1339625472 164137 33554432000 4194304 16246674 140737222926256 140737222908160 5523203 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 327057 164137 931 2943 0 323951 0
[pid=6827/tid=6828] ppid=6824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1339625472 164137 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1339625472 164137 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1339625472 164137 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.28 2.26 2.02 3/183 6831
/proc/meminfo: memFree=28167844/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 164840 0 0 0 606 23 0 0 20 0 4 0 36436121 1342771200 165147 33554432000 4194304 16246674 140737222926256 140737222908160 6010852 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 327825 165147 932 2943 0 324719 0
[pid=6827/tid=6828] ppid=6824 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1342771200 165147 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1342771200 165147 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1342771200 165147 33554432000 4194304 16246674 140737222926256 139937127058608 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) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.24 2.26 2.02 3/183 6831
/proc/meminfo: memFree=28167856/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 164840 0 0 0 1246 23 0 0 20 0 4 0 36436121 1342771200 165147 33554432000 4194304 16246674 140737222926256 140737222925432 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 327825 165147 932 2943 0 324719 0
[pid=6827/tid=6828] ppid=6824 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1342771200 165147 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1342771200 165147 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1342771200 165147 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.20 2.25 2.02 3/183 6831
/proc/meminfo: memFree=27744440/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1318468 CPUtime=25.48 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 270838 0 0 0 2510 38 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 140737222908160 6836125 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 329617 271145 942 2943 0 326511 0
[pid=6827/tid=6828] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937127058608 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) 1318468

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

[startup+25.6005 s]
/proc/loadavg: 2.20 2.25 2.02 3/183 6831
/proc/meminfo: memFree=27744440/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1318468 CPUtime=25.58 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 270838 0 0 0 2520 38 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 140737222908160 5723956 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 329617 271145 942 2943 0 326511 0
[pid=6827/tid=6828] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 1318468

[startup+32.0073 s]
/proc/loadavg: 2.25 2.25 2.02 4/183 6831
/proc/meminfo: memFree=27744320/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1318468 CPUtime=31.99 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 270838 0 0 0 3161 38 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 140737222909256 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 329617 271145 942 2943 0 326511 0
[pid=6827/tid=6828] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937127058608 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) 1318468

[startup+33.6004 s]
/proc/loadavg: 2.25 2.25 2.02 4/183 6831
/proc/meminfo: memFree=27744320/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1318468 CPUtime=33.58 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 270838 0 0 0 3320 38 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 140737222908160 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 329617 271145 942 2943 0 326511 0
[pid=6827/tid=6828] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 33.58
Current children cumulated vsize (KiB) 1318468

[startup+34.4004 s]
/proc/loadavg: 2.25 2.25 2.02 3/183 6831
/proc/meminfo: memFree=27744320/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1318468 CPUtime=34.38 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 270838 0 0 0 3400 38 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 140737222908160 5823424 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 329617 271145 942 2943 0 326511 0
[pid=6827/tid=6828] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 34.38
Current children cumulated vsize (KiB) 1318468

[startup+34.8004 s]
/proc/loadavg: 2.25 2.25 2.02 3/183 6831
/proc/meminfo: memFree=27744320/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1318468 CPUtime=34.79 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 270838 0 0 0 3440 39 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 140737222925352 5824098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 329617 271145 942 2943 0 326511 0
[pid=6827/tid=6828] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 34.79
Current children cumulated vsize (KiB) 1318468

[startup+35.0004 s]
/proc/loadavg: 2.25 2.25 2.02 3/183 6831
/proc/meminfo: memFree=27744320/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=1318468 CPUtime=34.99 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202496 270838 0 0 0 3460 39 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 140737222925352 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 329617 271145 942 2943 0 326511 0
[pid=6827/tid=6828] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6828/stat : 6828 (toysat) S 6824 6827 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937148022000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6827/tid=6829] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6829/stat : 6829 (toysat) S 6824 6827 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937137532144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6827/tid=6830] ppid=6824 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6827/task/6830/stat : 6830 (toysat) S 6824 6827 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36436121 1350111232 271145 33554432000 4194304 16246674 140737222926256 139937127058608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 34.99
Current children cumulated vsize (KiB) 1318468

[startup+35.1004 s]
/proc/loadavg: 2.25 2.25 2.02 3/183 6831
/proc/meminfo: memFree=27744320/32872528 swapFree=1542984/1696284
[pid=6827] ppid=6824 vsize=0 CPUtime=35.08 cores=0,2,4,6
/proc/6827/stat : 6827 (toysat) R 6824 6827 6047 0 -1 4202500 270840 0 0 0 3467 41 0 0 20 0 1 0 36436121 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6827/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 35.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 35.1406
CPU time (s): 35.1357
CPU user time (s): 34.6777
CPU system time (s): 0.45793
CPU usage (%): 99.9861
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.6777
system time used= 0.45793
maximum resident set size= 1084584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270840
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= 37

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109983 second user time and 0.122981 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 15:44:55
IDJOB=4109674
IDBENCH=78887
IDSOLVER=2553
FILE ID=node125/4109674-1466343895
RUNJOBID= node125-1466341817-6063
PBS_JOBID= 19922028
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= b6831e02f19f517e205ea45f0a3f162b
RANDOM SEED=1577305834

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28828444 kB
Buffers:          180068 kB
Cached:           350864 kB
SwapCached:          764 kB
Active:          1232260 kB
Inactive:         370152 kB
Active(anon):    1072664 kB
Inactive(anon):     1188 kB
Active(file):     159596 kB
Inactive(file):   368964 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             32824 kB
Writeback:             0 kB
AnonPages:       2771220 kB
Mapped:            10828 kB
Shmem:                 0 kB
Slab:             611184 kB
SReclaimable:      54768 kB
SUnreclaim:       556416 kB
KernelStack:        1520 kB
PageTables:         9468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2912968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 71712 MiB
End job on node125 at 2016-06-19 15:45:30