Trace number 4109914

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 48.6066 48.6154

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo
MD5SUMebc456211cf99aa767d1987ef9daf648
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark40.8798
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 constraints1777
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 90281
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90280
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
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:53:22+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-4109914-1466344402.wbo"]
0.00/0.01	c use --random-gen="2810726628 2201628038 2183756082 27976056 213268814 2125016431 2882848309 291287570 167428146 3745156231 156070855 2290593502 2770194184 3944685664 842408325 1477147246 3577994428 1599033102 511525015 2539590046 223877636 1211899997 656643440 1821138986 2329187447 96821805 1461454352 3049227299 3549401003 3103123022 3953487479 3861743013 2627869058 2904430512 738050386 3506602421 1379795410 1502449372 3851969114 1575970092 608682817 2523104158 2768986972 3026362077 2638526382 3698871080 471891603 174876817 454810414 2291880116 3915194076 4195608651 2801817756 1634511668 4063343047 633047951 2492778381 1328256430 1623373167 1900853224 1756825952 3469738724 2083085655 3599082238 4007338968 4281389414 2491837995 1017675417 2364907417 2943503664 1432537796 4145590732 3177602023 1171623151 3295712798 2280347729 1986934558 165330425 2896843967 1003642242 2610087795 1299179356 1648598095 257877512 788012673 4190247189 4268927058 830304247 1511332485 3308384720 3413129826 3208420353 1488337747 2126028880 576269721 2094770226 4141622465 3229258082 3626490384 683599766 45485717 3744342668 709102469 2712007401 632937324 3367197041 1075245637 1333141878 1400477299 2357800531 3591952808 2000592328 3754941120 3536406816 4221551223 859134180 605188333 1773052949 2804569083 1623756549 1494664389 386011732 948274224 2080975304 2920738196 2177946422 3127867302 1471369079 2908128517 2364583715 1140969128 949018973 383726263 3523258670 3156444323 4083297576 3787025813 3133820931 3399266151 2151700566 1418449702 2512421288 1428926424 435757955 1604291904 2286002185 123035497 1553740105 3631109428 1079649229 3314700795 1639610887 3097923573 615763557 289925728 4016722440 4100947364 1968641886 72120957 2992593776 4106283241 1043737398 1882032658 3181736861 933028863 766354963 2783143930 3303894042 899116070 3268421171 4054083208 3965509729 1048761126 3370381924 1146372895 2576750349 2707762307 2123773811 1987221229 1547175386 2804621130 2941246429 2955317833 3053651340 381939322 1548294654 3373061589 257918530 3108360969 206077726 2091801302 2311275496 721338972 3697155160 2559621432 3402625954 1278054131 3188897412 296942745 3848633178 1981019601 453038234 849349576 3561848861 4006768295 1189968602 376593035 1400872457 1917224607 2818916807 3056320787 1760492894 2941040072 2500868294 3539238617 3784803070 1954724516 3783862567 4002127735 243737004 2771559401 45581305 2293120364 1600463688 1948379694 3333778915 1787798585 384966376 3270272716 384839290 3084940169 88171281 764079086 1524072668 3025016540 3707657392 1364288583 213839360 1940672396 2652975818 1542029575 3918598209 1110290701 3152963855 1704323675 1921370461 3647587021 2000719714 261740234 4035047925 1103535018 1731628744 2252501001 19838366 3150757229 964858158 255 362436" option to reproduce the execution
0.08/0.14	c #vars 231
0.08/0.14	c #constraints 2707
0.08/0.19	c BCD2: Hardening is enabled.
0.08/0.19	c BCD2: BiasedSearch is enabled.
0.08/0.19	c Solving starts ...
0.08/0.19	c ============================[ Search Statistics ]============================
0.08/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.19	c =============================================================================
0.08/0.19	c  0.0s |       0 |        0 |        0 |     1571      0 |        0 |        0
0.19/0.21	c  0.0s |       1 |     1965 |      100 |     1571      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     3802 |      100 |     1571      0 |        0 |        0
0.19/0.22	c #cpu_time = 0.026s
0.19/0.22	c #wall_clock_time = 0.026s
0.19/0.22	c #decision = 3802
0.19/0.22	c #random_decision = 18
0.19/0.22	c #conflict = 100
0.19/0.22	c #restart = 1
0.19/0.22	o 382
0.19/0.22	c BCD2: updating upper bound: 90280 -> 381
0.19/0.24	c BCD2: 0 <= obj <= 381
0.19/0.24	c BCD2: #cores=0, #unrelaxed=1777, #relaxed=0, #hardened=0
0.19/0.24	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.24	c Solving starts ...
0.19/0.24	c ============================[ Search Statistics ]============================
0.19/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.24	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     1571      0 |        0 |        0
0.19/0.26	c  0.0s |       1 |     1990 |      100 |     1729      0 |        0 |        0
0.29/0.30	c  0.1s |       2 |     4109 |      250 |     1902      0 |        0 |        0
0.29/0.37	c  0.1s |       3 |     6345 |      475 |     2093      0 |        0 |        0
0.49/0.52	c  0.3s |       4 |     8615 |      813 |     2303      0 |        0 |        0
0.68/0.75	c  0.5s |       5 |    11261 |     1320 |     2534      0 |        0 |        0
0.99/1.08	c  0.8s |       6 |    14185 |     2081 |     2788      0 |        0 |        0
1.59/1.62	c  1.4s |       7 |    17763 |     3223 |     3067      0 |        0 |        0
2.38/2.44	c  2.2s |       8 |    22362 |     4936 |     3374      1 |        0 |        0
3.88/3.93	c  3.7s |       9 |    28320 |     7506 |     3712      2 |        0 |        0
5.89/5.93	c  5.7s |       9 |    34145 |    10206 |     3712      3 |        0 |        0
6.70/6.76	c  6.5s |      10 |    36119 |    11361 |     4084      3 |        0 |        0
8.68/8.79	c  8.6s |      10 |    41739 |    13761 |     4084      4 |        0 |        0
10.79/10.82	c 10.6s |      10 |    45120 |    15961 |     4084      5 |        0 |        0
11.99/12.09	c 11.9s |      11 |    47041 |    17144 |     4493      5 |        0 |        0
14.09/14.15	c 13.9s |      11 |    51793 |    19044 |     4493      6 |        0 |        0
16.18/16.27	c 16.0s |      11 |    54533 |    20844 |     4493      6 |        0 |        0
18.29/18.34	c 18.1s |      11 |    58805 |    23244 |     4493      7 |        0 |        0
20.19/20.26	c 20.0s |      12 |    62861 |    25819 |     4943      8 |        0 |        0
22.29/22.32	c 22.1s |      12 |    67834 |    27919 |     4943      9 |        0 |        0
24.29/24.37	c 24.1s |      12 |    71786 |    30219 |     4943      9 |        0 |        0
26.39/26.43	c 26.2s |      12 |    75252 |    32219 |     4943     10 |        0 |        0
28.48/28.58	c 28.3s |      12 |    79055 |    34519 |     4943     11 |        0 |        0
30.69/30.72	c 30.5s |      12 |    82761 |    36719 |     4943     11 |        0 |        0
32.59/32.61	c 32.4s |      13 |    86504 |    38832 |     5438     12 |        0 |        0
34.58/34.62	c 34.4s |      13 |    92011 |    41032 |     5438     12 |        0 |        0
36.68/36.71	c 36.5s |      13 |    94808 |    42732 |     5438     13 |        0 |        0
38.68/38.74	c 38.5s |      13 |    98526 |    44832 |     5438     13 |        0 |        0
40.79/40.84	c 40.6s |      13 |   101781 |    46832 |     5438     14 |        0 |        0
42.78/42.84	c 42.6s |      13 |   105667 |    48932 |     5438     14 |        0 |        0
44.58/44.63	c 44.4s |      13 |   108247 |    50383 |     5438     15 |        0 |        0
44.58/44.63	c #cpu_time = 44.277s
44.58/44.63	c #wall_clock_time = 44.390s
44.58/44.63	c #decision = 108247
44.58/44.63	c #random_decision = 68
44.58/44.63	c #conflict = 50383
44.58/44.63	c #restart = 13
44.58/44.63	c BCD2: found a new core of size 1714: cost of the new core is >=1
44.58/44.63	c lower bound updated to 1
44.58/44.63	c BCD2: 1 <= obj <= 381
44.58/44.63	c BCD2: #cores=1, #unrelaxed=63, #relaxed=1714, #hardened=0
44.58/44.63	c BCD2: #sat=1 #unsat=2 bias=2/3
44.58/44.64	c Solving starts ...
44.58/44.64	c ============================[ Search Statistics ]============================
44.58/44.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
44.58/44.64	c       |         |          |          |    Limit     GC | Var      | Constra 
44.58/44.64	c =============================================================================
44.58/44.64	c  0.0s |       0 |        0 |        0 |     5438      0 |        0 |        0
44.68/44.70	c  0.1s |       0 |     3829 |        8 |     5438      0 |        0 |        0
44.68/44.70	c #cpu_time = 0.063s
44.68/44.70	c #wall_clock_time = 0.063s
44.68/44.70	c #decision = 3829
44.68/44.70	c #random_decision = 19
44.68/44.70	c #conflict = 8
44.68/44.70	c #restart = 0
44.68/44.70	o 205
44.68/44.71	c BCD2: updating upper bound: 381 -> 204
44.68/44.71	c BCD2: 1 <= obj <= 204
44.68/44.71	c BCD2: #cores=1, #unrelaxed=63, #relaxed=1714, #hardened=0
44.68/44.71	c BCD2: #sat=2 #unsat=2 bias=2/4
44.68/44.72	c Solving starts ...
44.68/44.72	c ============================[ Search Statistics ]============================
44.68/44.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
44.68/44.72	c       |         |          |          |    Limit     GC | Var      | Constra 
44.68/44.72	c =============================================================================
44.68/44.72	c  0.0s |       0 |        0 |        0 |     5438      0 |        0 |        1
44.68/44.79	c  0.1s |       0 |      573 |       18 |     5438      0 |        0 |        1
44.68/44.79	c #cpu_time = 0.067s
44.68/44.79	c #wall_clock_time = 0.067s
44.68/44.79	c #decision = 573
44.68/44.79	c #random_decision = 1
44.68/44.79	c #conflict = 18
44.68/44.79	c #restart = 0
44.68/44.79	o 126
44.68/44.79	c BCD2: updating upper bound: 204 -> 125
44.68/44.80	c BCD2: 1 <= obj <= 125
44.68/44.80	c BCD2: #cores=1, #unrelaxed=63, #relaxed=1714, #hardened=0
44.68/44.80	c BCD2: #sat=3 #unsat=2 bias=2/5
44.78/44.81	c Solving starts ...
44.78/44.81	c ============================[ Search Statistics ]============================
44.78/44.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
44.78/44.81	c       |         |          |          |    Limit     GC | Var      | Constra 
44.78/44.81	c =============================================================================
44.78/44.81	c  0.0s |       0 |        0 |        0 |     5438      0 |        0 |        2
44.78/44.89	c  0.1s |       0 |      211 |       17 |     5438      0 |        0 |        2
44.78/44.89	c #cpu_time = 0.083s
44.78/44.89	c #wall_clock_time = 0.083s
44.78/44.89	c #decision = 211
44.78/44.89	c #random_decision = 1
44.78/44.89	c #conflict = 17
44.78/44.89	c #restart = 0
44.78/44.89	o 54
44.78/44.89	c BCD2: hardening fixes 830 literals
44.78/44.89	c BCD2: updating upper bound: 125 -> 53
44.78/44.89	c BCD2: 1 <= obj <= 53
44.78/44.89	c BCD2: #cores=1, #unrelaxed=27, #relaxed=920, #hardened=830
44.78/44.89	c BCD2: #sat=4 #unsat=2 bias=2/6
44.88/44.91	c Solving starts ...
44.88/44.91	c ============================[ Search Statistics ]============================
44.88/44.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
44.88/44.91	c       |         |          |          |    Limit     GC | Var      | Constra 
44.88/44.91	c =============================================================================
44.88/44.91	c  0.0s |       0 |        0 |        0 |     5438      0 |      830 |        3
44.98/45.02	c  0.1s |       1 |      187 |      100 |     5438      0 |      830 |        3
45.09/45.16	c  0.3s |       2 |      490 |      250 |     5438      0 |      830 |        3
45.28/45.35	c  0.4s |       3 |      857 |      475 |     5438      0 |      830 |        3
45.58/45.62	c  0.7s |       4 |     1439 |      813 |     5438      0 |      830 |        3
45.88/45.92	c  1.0s |       5 |     2204 |     1320 |     5438      0 |      830 |        3
46.29/46.35	c  1.4s |       6 |     3410 |     2081 |     5438      1 |      830 |        3
46.98/47.02	c  2.1s |       7 |     5124 |     3223 |     5438      1 |      830 |        3
47.39/47.43	c  2.5s |       7 |     6340 |     3909 |     5438      1 |      830 |        3
47.39/47.43	c #cpu_time = 2.515s
47.39/47.43	c #wall_clock_time = 2.522s
47.39/47.43	c #decision = 6340
47.39/47.43	c #random_decision = 4
47.39/47.43	c #conflict = 3909
47.39/47.43	c #restart = 7
47.39/47.43	o 15
47.39/47.43	c BCD2: hardening fixes 719 literals
47.39/47.43	c BCD2: updating upper bound: 53 -> 14
47.39/47.43	c BCD2: 1 <= obj <= 14
47.39/47.43	c BCD2: #cores=1, #unrelaxed=8, #relaxed=220, #hardened=1549
47.39/47.43	c BCD2: #sat=5 #unsat=2 bias=2/7
47.39/47.43	c Solving starts ...
47.39/47.43	c ============================[ Search Statistics ]============================
47.39/47.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
47.39/47.43	c       |         |          |          |    Limit     GC | Var      | Constra 
47.39/47.43	c =============================================================================
47.39/47.43	c  0.0s |       0 |        0 |        0 |     5438      0 |     1549 |        4
47.49/47.51	c  0.1s |       1 |      177 |      100 |     5438      0 |     1549 |        4
47.49/47.59	c  0.2s |       2 |      406 |      250 |     5438      0 |     1549 |        4
47.69/47.71	c  0.3s |       3 |      800 |      475 |     5438      0 |     1549 |        4
47.89/47.90	c  0.5s |       4 |     1346 |      813 |     5438      0 |     1549 |        4
48.09/48.17	c  0.7s |       5 |     2154 |     1320 |     5438      0 |     1549 |        4
48.19/48.25	c  0.8s |       5 |     2264 |     1356 |     5438      1 |     1549 |        4
48.19/48.25	c #cpu_time = 0.817s
48.19/48.25	c #wall_clock_time = 0.819s
48.19/48.25	c #decision = 2264
48.19/48.25	c #random_decision = 1
48.19/48.25	c #conflict = 1356
48.19/48.25	c #restart = 5
48.19/48.25	o 3
48.19/48.25	c BCD2: hardening fixes 197 literals
48.19/48.25	c BCD2: updating upper bound: 14 -> 2
48.19/48.25	c BCD2: 1 <= obj <= 2
48.19/48.25	c BCD2: #cores=1, #unrelaxed=1, #relaxed=30, #hardened=1746
48.19/48.25	c BCD2: #sat=6 #unsat=2 bias=2/8
48.19/48.25	c Solving starts ...
48.19/48.25	c ============================[ Search Statistics ]============================
48.19/48.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
48.19/48.25	c       |         |          |          |    Limit     GC | Var      | Constra 
48.19/48.25	c =============================================================================
48.19/48.26	c  0.0s |       0 |        0 |        0 |     5438      0 |     1746 |        5
48.29/48.31	c  0.0s |       1 |      185 |      100 |     5438      0 |     1746 |        8
48.29/48.38	c  0.1s |       2 |      433 |      250 |     5438      0 |     1746 |        8
48.39/48.49	c  0.2s |       3 |      751 |      475 |     5438      0 |     1746 |        8
48.49/48.55	c  0.3s |       3 |      901 |      581 |     5438      0 |     1746 |        8
48.49/48.55	c #cpu_time = 0.288s
48.49/48.55	c #wall_clock_time = 0.289s
48.49/48.55	c #decision = 901
48.49/48.55	c #random_decision = 1
48.49/48.55	c #conflict = 581
48.49/48.55	c #restart = 3
48.49/48.55	o 1
48.49/48.55	s OPTIMUM FOUND
48.49/48.55	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10
48.49/48.55	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
48.49/48.55	v x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30
48.49/48.55	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
48.49/48.55	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
48.49/48.55	v -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60
48.49/48.55	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
48.49/48.55	v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
48.49/48.55	v -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90
48.49/48.55	v -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
48.49/48.55	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
48.49/48.55	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
48.49/48.55	v -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130
48.49/48.55	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140
48.49/48.55	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
48.49/48.55	v x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
48.49/48.55	v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170
48.49/48.55	v -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
48.49/48.55	v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190
48.49/48.55	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
48.49/48.55	v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
48.49/48.55	v -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220
48.49/48.55	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230
48.49/48.55	v -x231
48.49/48.55	c total CPU time = 48.428s
48.49/48.55	c total wall clock time = 48.553s

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109914-1466344402/watcher-4109914-1466344402 -o /tmp/evaluation-result-4109914-1466344402/solver-4109914-1466344402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29123 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109914-1466344402.wbo 

pid=30142
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.15 2.14 1.99 3/179 30145
/proc/meminfo: memFree=29564504/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 2916 0 0 0 0 0 0 0 20 0 4 0 36489164 797372416 2766 33554432000 4194304 16246674 140736674720880 140736674720304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 195439 2774 441 2943 0 192333 0
[pid=30145/tid=30146] ppid=30142 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 815198208 2834 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 819392512 2850 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36489164 824635392 2868 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.15 2.14 1.99 3/179 30145
/proc/meminfo: memFree=29564504/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 24800 0 0 0 5 3 0 0 20 0 4 0 36489164 1247350784 24642 33554432000 4194304 16246674 140736674720880 140736674702784 12503308 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 304529 24647 617 2943 0 301423 0
[pid=30145/tid=30146] ppid=30142 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1247350784 24651 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1247350784 24655 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36489164 1247350784 24658 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200574 s]
/proc/loadavg: 2.15 2.14 1.99 3/179 30145
/proc/meminfo: memFree=29564504/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 32929 0 0 0 15 4 0 0 20 0 4 0 36489164 1250496512 32725 33554432000 4194304 16246674 140736674720880 140736674720192 13954619 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 305297 32725 899 2943 0 302191 0
[pid=30145/tid=30146] ppid=30142 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1250496512 32725 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1250496512 32725 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1250496512 32725 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300503 s]
/proc/loadavg: 2.15 2.14 1.99 3/179 30145
/proc/meminfo: memFree=29564504/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 46422 0 0 0 22 7 0 0 20 0 4 0 36489164 1334382592 46219 33554432000 4194304 16246674 140736674720880 140736674720192 6836249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 325777 46228 920 2943 0 322671 0
[pid=30145/tid=30146] ppid=30142 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1334382592 46234 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1334382592 46238 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1334382592 46240 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.70036 s]
/proc/loadavg: 2.15 2.14 1.99 3/179 30145
/proc/meminfo: memFree=29564504/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1303108 CPUtime=0.68 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 128629 0 0 0 50 18 0 0 20 0 4 0 36489164 1334382592 128426 33554432000 4194304 16246674 140736674720880 140736674720192 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 325777 128437 920 2943 0 322671 0
[pid=30145/tid=30146] ppid=30142 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1334382592 128445 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1334382592 128452 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1334382592 128458 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1303108

[startup+1.50042 s]
/proc/loadavg: 2.15 2.14 1.99 3/183 30149
/proc/meminfo: memFree=28945360/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 155377 0 0 0 127 22 0 0 20 0 4 0 36489164 1339625472 155173 33554432000 4194304 16246674 140736674720880 140736674702784 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327057 155173 926 2943 0 323951 0
[pid=30145/tid=30146] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155173 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155173 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155173 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10042 s]
/proc/loadavg: 2.14 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28944392/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1308228 CPUtime=3.08 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 155381 0 0 0 286 22 0 0 20 0 4 0 36489164 1339625472 155177 33554432000 4194304 16246674 140736674720880 140736674702784 12479221 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327057 155177 930 2943 0 323951 0
[pid=30145/tid=30146] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155177 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155177 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155177 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.30041 s]
/proc/loadavg: 2.14 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28944860/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 155383 0 0 0 606 23 0 0 20 0 4 0 36489164 1339625472 155179 33554432000 4194304 16246674 140736674720880 140736674702784 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327057 155179 932 2943 0 323951 0
[pid=30145/tid=30146] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155179 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155179 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1339625472 155179 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.12 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28943236/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 155896 0 0 0 1245 24 0 0 20 0 4 0 36489164 1341722624 155692 33554432000 4194304 16246674 140736674720880 140736674719976 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327569 155692 933 2943 0 324463 0
[pid=30145/tid=30146] ppid=30142 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1341722624 155692 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1341722624 155692 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1341722624 155692 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.18 2.14 1.99 3/183 30149
/proc/meminfo: memFree=28941872/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 156102 0 0 0 2523 25 0 0 20 0 4 0 36489164 1342771200 155898 33554432000 4194304 16246674 140736674720880 140736674720056 5861450 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327825 155898 933 2943 0 324719 0
[pid=30145/tid=30146] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155898 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155898 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155898 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

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

[startup+25.6032 s]
/proc/loadavg: 2.18 2.14 1.99 3/183 30149
/proc/meminfo: memFree=28941872/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1311300 CPUtime=25.59 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 156102 0 0 0 2534 25 0 0 20 0 4 0 36489164 1342771200 155898 33554432000 4194304 16246674 140736674720880 140736674720056 5546093 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327825 155898 933 2943 0 324719 0
[pid=30145/tid=30146] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155898 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155898 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155898 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1311300

[startup+38.4004 s]
/proc/loadavg: 2.14 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28942124/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1311300 CPUtime=38.38 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 156152 0 0 0 3812 26 0 0 20 0 4 0 36489164 1342771200 155948 33554432000 4194304 16246674 140736674720880 140736674720056 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327825 155948 933 2943 0 324719 0
[pid=30145/tid=30146] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155948 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155948 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155948 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 38.38
Current children cumulated vsize (KiB) 1311300

[startup+44.8004 s]
/proc/loadavg: 2.13 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28941984/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1311300 CPUtime=44.78 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 156161 0 0 0 4451 27 0 0 20 0 4 0 36489164 1342771200 155957 33554432000 4194304 16246674 140736674720880 140736674702784 5596356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327825 155957 942 2943 0 324719 0
[pid=30145/tid=30146] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155957 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155957 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 155957 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 44.78
Current children cumulated vsize (KiB) 1311300

[startup+46.4004 s]
/proc/loadavg: 2.13 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28795292/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1311300 CPUtime=46.38 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 192857 0 0 0 4607 31 0 0 20 0 4 0 36489164 1342771200 192653 33554432000 4194304 16246674 140736674720880 140736674702784 5711984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327825 192653 943 2943 0 324719 0
[pid=30145/tid=30146] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 192653 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 192653 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 192653 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 46.38
Current children cumulated vsize (KiB) 1311300

[startup+48.0004 s]
/proc/loadavg: 2.12 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28490500/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1311300 CPUtime=47.99 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 269049 0 0 0 4755 44 0 0 20 0 4 0 36489164 1342771200 268845 33554432000 4194304 16246674 140736674720880 140736674702784 5824066 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327825 268845 943 2943 0 324719 0
[pid=30145/tid=30146] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 268845 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 268845 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 268845 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 47.99
Current children cumulated vsize (KiB) 1311300

[startup+48.4004 s]
/proc/loadavg: 2.12 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28490500/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=1311300 CPUtime=48.39 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202496 269049 0 0 0 4795 44 0 0 20 0 4 0 36489164 1342771200 268845 33554432000 4194304 16246674 140736674720880 140736674702784 5712619 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 327825 268845 943 2943 0 324719 0
[pid=30145/tid=30146] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30146/stat : 30146 (toysat) S 30142 30145 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 268845 33554432000 4194304 16246674 140736674720880 139763255323888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30145/tid=30147] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30147/stat : 30147 (toysat) S 30142 30145 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 268845 33554432000 4194304 16246674 140736674720880 139763244834032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30145/tid=30148] ppid=30142 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30145/task/30148/stat : 30148 (toysat) S 30142 30145 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36489164 1342771200 268845 33554432000 4194304 16246674 140736674720880 139763234360496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 48.39
Current children cumulated vsize (KiB) 1311300

[startup+48.6004 s]
/proc/loadavg: 2.12 2.13 1.99 3/183 30149
/proc/meminfo: memFree=28490500/32872528 swapFree=877056/942464
[pid=30145] ppid=30142 vsize=0 CPUtime=48.58 cores=0,2,4,6
/proc/30145/stat : 30145 (toysat) R 30142 30145 29107 0 -1 4202500 269051 0 0 0 4810 48 0 0 20 0 1 0 36489164 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30145/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 48.58
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 48.6154
CPU time (s): 48.6066
CPU user time (s): 48.1057
CPU system time (s): 0.500923
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.1057
system time used= 0.500923
maximum resident set size= 1075388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269051
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= 17
involuntary context switches= 51

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.250961 second user time and 0.494924 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-19 15:53:22
IDJOB=4109914
IDBENCH=78967
IDSOLVER=2553
FILE ID=node113/4109914-1466344402
RUNJOBID= node113-1466341823-29123
PBS_JOBID= 19922039
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= ebc456211cf99aa767d1987ef9daf648
RANDOM SEED=863625979

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29565048 kB
Buffers:          151884 kB
Cached:           369132 kB
SwapCached:         1964 kB
Active:          1257676 kB
Inactive:         364060 kB
Active(anon):    1100724 kB
Inactive(anon):     2224 kB
Active(file):     156952 kB
Inactive(file):   361836 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2042316 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             608208 kB
SReclaimable:      52196 kB
SUnreclaim:       556012 kB
KernelStack:        1520 kB
PageTables:         8460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2185664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    792576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node113 at 2016-06-19 15:54:11