Trace number 4080189

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT2 66.3139 66.3235

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb
MD5SUMa998edafd51e17056858d37f83d42bbc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.081986
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables126
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)294
Sum of products size (including duplicates)588
Number of different products294
Sum of products size588

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-07T01:15:43+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","--pb","--search=bcd2","HOME/instance-4080189-1465254943.opb"]
0.00/0.01	c use --random-gen="1345321555 464650719 2748393048 16978207 2973361741 3763410342 3354408127 1207374937 3299494523 1687748291 3263903970 2250620409 568527761 863876342 1013519469 1068044490 2344217636 4173126840 3191334724 476285716 3892990914 1646651701 2251531422 1797079562 570978035 174465300 1584517153 1197145901 848191538 1231658347 1767505643 2175322044 1446336869 2230115643 2042420339 200470440 2363749648 1351969820 1375384171 3064221360 1823037264 1377041953 2172840305 1972138898 181870755 3520496917 328377403 3095571886 545771202 3743137915 3579665453 652965584 1857718365 2816986876 83389329 550517077 1856958179 816160973 3680449277 3492231601 908041647 4176730207 2901699417 4281201820 635606479 1501922173 3070330151 2127525983 2279441853 505957394 216592783 3026882393 3356010932 2334713122 1631412965 380457758 3067868348 3404122765 3853743221 3059821410 868962698 2357160781 169964942 1339298234 14260834 2781844122 2137172842 3912063953 750908384 519639727 1325073960 2525175767 3778825693 2488919162 1608826668 1243533497 2003068953 2017062623 1882000202 626920879 1890962663 4279772532 3341582544 3546911618 2069335515 4279932735 3298906338 1944647247 1605154839 3074069652 3856670740 1015176746 4266893547 4001905703 3979269800 1883930052 2237712406 3640144639 3664297695 1023217920 1413775655 2185455437 2442522200 1570427696 2331667696 2514591906 3461610248 3498447024 731885941 3076132828 2656613326 1735780093 3403125389 3918082622 757039128 3678957116 3972992373 1287953154 2053371952 1524004608 1738823141 1083219063 1595492085 4076502551 2777958201 1165225414 3649434946 3945346827 653371584 2795136525 2270982124 3191574481 1090080913 1480018713 2037533822 3927537837 2360281061 4205953565 1762379196 661522769 3347618679 659671574 2564240180 3526758196 1408100027 300057344 1435900621 2417938302 2510963845 4237447055 2916596441 147375159 2033336649 4204180422 2765765313 4140899101 1827620176 89351726 728382920 3345599092 1834780281 1469637817 4172269031 650767759 794779563 2397916157 1230163552 970798145 1836367264 1822382202 2849664892 3076206543 3557907137 710538129 777352877 4023593337 1975859580 827502843 134296945 1182224881 1809626965 3224923525 964229143 2023218983 1426400834 43871318 246059341 922282096 1298466514 3836016449 1150350141 2649793844 1765386922 2249418126 3907332346 697830733 815610532 3211273086 3455117804 1122961242 94419339 1024039258 384135311 91969400 1855775310 3775902538 1442192167 1527921388 297820341 2588188320 150070910 1907872156 1500381981 2334706570 1493169722 2271622041 2555222224 3973872061 2443304958 3369338559 1096275764 4079975653 3269665688 3528672180 1849690269 3935389293 1700830409 1143828827 1297641693 1460725124 2282503998 2050819449 4208180723 310240497 3823270486 587992051 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 13
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      440      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      132 |      100 |      440      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      372 |      250 |      485      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      694 |      475 |      534      0 |        0 |        0
0.19/0.23	c  0.2s |       4 |     1097 |      813 |      588      0 |        0 |        0
0.29/0.31	c  0.3s |       4 |     1509 |     1114 |      647      1 |        0 |        0
0.29/0.31	c #cpu_time = 0.289s
0.29/0.31	c #wall_clock_time = 0.290s
0.29/0.31	c #decision = 1509
0.29/0.31	c #random_decision = 8
0.29/0.31	c #conflict = 1114
0.29/0.31	c #restart = 4
0.29/0.31	o 125
0.29/0.31	c BCD2: updating upper bound: 127 -> 124
0.29/0.31	c BCD2: 0 <= obj <= 124
0.29/0.31	c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0
0.29/0.31	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.31	c Solving starts ...
0.29/0.31	c ============================[ Search Statistics ]============================
0.29/0.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.31	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.31	c =============================================================================
0.29/0.31	c  0.0s |       0 |        0 |        0 |      647      0 |        0 |        0
0.29/0.31	c  0.0s |       0 |        5 |        0 |      647      1 |        0 |        0
0.29/0.31	c #cpu_time = 0.005s
0.29/0.31	c #wall_clock_time = 0.005s
0.29/0.31	c #decision = 5
0.29/0.31	c #random_decision = 0
0.29/0.31	c #conflict = 0
0.29/0.31	c #restart = 0
0.29/0.31	c BCD2: found a new core of size 6: cost of the new core is >=2
0.29/0.31	c lower bound updated to 2
0.29/0.31	c BCD2: 2 <= obj <= 124
0.29/0.31	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0
0.29/0.31	c BCD2: #sat=1 #unsat=2 bias=2/3
0.29/0.31	c Solving starts ...
0.29/0.31	c ============================[ Search Statistics ]============================
0.29/0.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.31	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.31	c =============================================================================
0.29/0.31	c  0.0s |       0 |        0 |        0 |      647      0 |        0 |        0
0.29/0.34	c  0.0s |       1 |      163 |      100 |      647      0 |        0 |        0
0.39/0.42	c  0.1s |       2 |      362 |      250 |      712      0 |        0 |        0
0.49/0.52	c  0.2s |       3 |      685 |      475 |      712      0 |        0 |        0
0.59/0.63	c  0.3s |       4 |     1151 |      813 |      712      1 |        0 |        0
0.69/0.79	c  0.5s |       5 |     1742 |     1320 |      784      2 |        0 |        0
0.99/1.08	c  0.8s |       6 |     2623 |     2081 |      784      4 |        0 |        0
1.29/1.35	c  1.0s |       7 |     3961 |     3223 |      863      6 |        0 |        0
1.59/1.64	c  1.3s |       8 |     5760 |     4936 |      950      8 |        0 |        0
2.30/2.31	c  2.0s |       9 |     8553 |     7506 |     1045     12 |        0 |        0
2.99/3.05	c  2.7s |      10 |    12688 |    11361 |     1150     18 |        0 |        0
4.40/4.47	c  4.2s |      11 |    19135 |    17144 |     1265     26 |        0 |        0
6.19/6.23	c  5.9s |      12 |    28562 |    25819 |     1392     37 |        0 |        0
8.19/8.25	c  7.9s |      12 |    38124 |    33519 |     1392     47 |        0 |        0
9.49/9.57	c  9.3s |      13 |    44815 |    38832 |     1532     53 |        0 |        0
11.49/11.60	c 11.3s |      13 |    54971 |    48132 |     1532     63 |        0 |        0
13.59/13.60	c 13.3s |      13 |    64713 |    57232 |     1686     72 |        0 |        0
13.79/13.85	c 13.5s |      14 |    65885 |    58352 |     1686     73 |        0 |        0
15.79/15.87	c 15.6s |      14 |    74554 |    65652 |     1686     81 |        0 |        0
17.79/17.89	c 17.6s |      14 |    82291 |    72352 |     1686     88 |        0 |        0
19.79/19.90	c 19.6s |      14 |    90218 |    79452 |     1686     95 |        0 |        0
21.89/21.90	c 21.6s |      14 |    97882 |    86352 |     1855    102 |        0 |        0
22.19/22.22	c 21.9s |      15 |    99257 |    87632 |     1855    103 |        0 |        0
24.19/24.24	c 23.9s |      15 |   109862 |    97532 |     1855    112 |        0 |        0
26.19/26.24	c 25.9s |      15 |   119425 |   106432 |     1855    120 |        0 |        0
28.19/28.25	c 27.9s |      15 |   128289 |   114832 |     1855    128 |        0 |        0
30.19/30.26	c 29.9s |      15 |   136707 |   122632 |     1855    135 |        0 |        0
32.19/32.28	c 32.0s |      15 |   145348 |   130732 |     2041    143 |        0 |        0
32.39/32.49	c 32.2s |      16 |   146194 |   131552 |     2041    143 |        0 |        0
34.48/34.50	c 34.2s |      16 |   153759 |   137652 |     2041    149 |        0 |        0
36.48/36.51	c 36.2s |      16 |   161247 |   144252 |     2041    154 |        0 |        0
37.49/37.50	c 37.2s |      16 |   164791 |   147246 |     2041    157 |        0 |        0
37.49/37.50	c #cpu_time = 37.091s
37.49/37.50	c #wall_clock_time = 37.188s
37.49/37.50	c #decision = 164791
37.49/37.50	c #random_decision = 535
37.49/37.50	c #conflict = 147246
37.49/37.50	c #restart = 16
37.49/37.50	o 74
37.49/37.50	c BCD2: updating upper bound: 124 -> 73
37.49/37.50	c BCD2: 2 <= obj <= 73
37.49/37.50	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0
37.49/37.50	c BCD2: #sat=2 #unsat=2 bias=2/4
37.49/37.50	c Solving starts ...
37.49/37.50	c ============================[ Search Statistics ]============================
37.49/37.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
37.49/37.50	c       |         |          |          |    Limit     GC | Var      | Constra 
37.49/37.50	c =============================================================================
37.49/37.50	c  0.0s |       0 |        0 |        0 |     2041      0 |        0 |        0
37.49/37.53	c  0.0s |       1 |      196 |      100 |     2041      0 |        0 |        0
37.49/37.55	c  0.0s |       2 |      431 |      250 |     2041      0 |        0 |        0
37.58/37.64	c  0.1s |       3 |      806 |      475 |     2041      0 |        0 |        0
37.68/37.71	c  0.2s |       4 |     1203 |      813 |     2041      1 |        0 |        0
37.78/37.82	c  0.3s |       5 |     1792 |     1320 |     2041      1 |        0 |        0
37.88/37.96	c  0.5s |       6 |     2635 |     2081 |     2041      2 |        0 |        0
38.08/38.15	c  0.6s |       7 |     3821 |     3223 |     2041      3 |        0 |        0
38.68/38.75	c  1.2s |       8 |     5859 |     4936 |     2041      4 |        0 |        0
39.18/39.28	c  1.8s |       9 |     8808 |     7506 |     2041      7 |        0 |        0
40.28/40.31	c  2.8s |      10 |    13272 |    11361 |     2041     10 |        0 |        0
42.18/42.24	c  4.7s |      11 |    19556 |    17144 |     2041     15 |        0 |        0
44.18/44.26	c  6.8s |      11 |    29573 |    25744 |     2041     23 |        0 |        0
44.18/44.28	c  6.8s |      12 |    29647 |    25819 |     2041     23 |        0 |        0
46.19/46.30	c  8.8s |      12 |    35503 |    30319 |     2041     26 |        0 |        0
48.28/48.31	c 10.8s |      12 |    43204 |    37119 |     2041     32 |        0 |        0
48.88/48.92	c 11.4s |      13 |    45218 |    38832 |     2041     34 |        0 |        0
50.88/50.94	c 13.4s |      13 |    54744 |    47732 |     2246     41 |        0 |        0
52.89/52.96	c 15.5s |      13 |    63217 |    55832 |     2246     47 |        0 |        0
53.48/53.54	c 16.0s |      14 |    65915 |    58352 |     2246     49 |        0 |        0
55.48/55.57	c 18.1s |      14 |    73700 |    64452 |     2246     54 |        0 |        0
57.48/57.59	c 20.1s |      14 |    80737 |    70352 |     2246     59 |        0 |        0
59.58/59.62	c 22.1s |      14 |    87170 |    76352 |     2246     64 |        0 |        0
61.58/61.67	c 24.2s |      14 |    94468 |    82952 |     2246     69 |        0 |        0
63.08/63.13	c 25.6s |      15 |   100460 |    87632 |     2246     73 |        0 |        0
65.08/65.15	c 27.6s |      15 |   110947 |    95932 |     2246     79 |        0 |        0
66.18/66.26	c 28.8s |      15 |   115793 |   100302 |     2246     83 |        0 |        0
66.18/66.26	c #cpu_time = 28.679s
66.18/66.26	c #wall_clock_time = 28.754s
66.18/66.26	c #decision = 115793
66.18/66.26	c #random_decision = 388
66.18/66.26	c #conflict = 100302
66.18/66.26	c #restart = 15
66.18/66.26	o 2
66.18/66.26	s OPTIMUM FOUND
66.18/66.26	v -x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10
66.18/66.26	v -x11 x12 -x13 -x14 x15 -x16 -x17 -x18 x19 x20
66.18/66.26	v -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30
66.18/66.26	v -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 x39 x40
66.18/66.26	v -x41 -x42 x43 x44 x45 x46 x47 x48 -x49 -x50
66.18/66.26	v x51 x52 -x53 -x54 x55 -x56 -x57 x58 x59 -x60
66.18/66.26	v -x61 -x62 x63 -x64 x65 x66 x67 x68 -x69 x70
66.18/66.26	v -x71 x72 -x73 x74 x75 -x76 -x77 -x78 x79 -x80
66.18/66.26	v -x81 x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90
66.18/66.26	v -x91 -x92 x93 x94 x95 -x96 -x97 -x98 -x99 x100
66.18/66.26	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
66.18/66.26	v -x111 -x112 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120
66.18/66.26	v -x121 -x122 x123 x124 x125 -x126
66.18/66.26	c total CPU time = 66.088s
66.18/66.26	c total wall clock time = 66.262s

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-4080189-1465254943/watcher-4080189-1465254943 -o /tmp/evaluation-result-4080189-1465254943/solver-4080189-1465254943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080189-1465254943.opb 

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.19 1.53 3/171 13587
/proc/meminfo: memFree=30376788/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 2763 0 0 0 0 0 0 0 20 0 4 0 107426283 757526528 2612 33554432000 4194304 16246674 140733744212416 140733744211840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 185711 2622 441 2943 0 182605 0
[pid=13587/tid=13589] ppid=13583 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 775352320 2681 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 780595200 2701 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 784789504 2718 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10012 s]
/proc/loadavg: 0.99 1.19 1.53 3/171 13587
/proc/meminfo: memFree=30376788/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 21768 0 0 0 5 4 0 0 20 0 4 0 107426283 1247350784 21605 33554432000 4194304 16246674 140733744212416 140733744211840 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 304529 21614 758 2943 0 301423 0
[pid=13587/tid=13589] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 21618 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 21621 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 21626 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200486 s]
/proc/loadavg: 0.99 1.19 1.53 3/171 13587
/proc/meminfo: memFree=30376788/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 41176 0 0 0 12 7 0 0 20 0 4 0 107426283 1247350784 41014 33554432000 4194304 16246674 140733744212416 140733744211840 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 304529 41025 758 2943 0 301423 0
[pid=13587/tid=13589] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 41033 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 41045 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 41058 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300441 s]
/proc/loadavg: 0.99 1.19 1.53 3/171 13587
/proc/meminfo: memFree=30376788/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 62084 0 0 0 19 10 0 0 20 0 4 0 107426283 1247350784 61921 33554432000 4194304 16246674 140733744212416 140733744211840 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 304529 61927 765 2943 0 301423 0
[pid=13587/tid=13589] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 61933 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 61939 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 61950 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700364 s]
/proc/loadavg: 0.99 1.19 1.53 3/171 13587
/proc/meminfo: memFree=30376788/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 137887 0 0 0 48 21 0 0 20 0 4 0 107426283 1247350784 137723 33554432000 4194304 16246674 140733744212416 140733744211840 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 304529 137732 793 2943 0 301423 0
[pid=13587/tid=13589] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 137737 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 137744 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 137750 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 0.99 1.19 1.53 3/183 13599
/proc/meminfo: memFree=28760096/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 245990 0 0 0 111 38 0 0 20 0 4 0 107426283 1249447936 245804 33554432000 4194304 16246674 140733744212416 140733744211728 12476916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 305041 245804 849 2943 0 301935 0
[pid=13587/tid=13589] ppid=13583 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1249447936 245804 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1249447936 245804 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1249447936 245804 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10037 s]
/proc/loadavg: 1.07 1.20 1.53 3/183 13599
/proc/meminfo: memFree=28311812/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 267575 0 0 0 268 41 0 0 20 0 4 0 107426283 1337528320 267389 33554432000 4194304 16246674 140733744212416 140733744194304 6021076 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 326545 267389 849 2943 0 323439 0
[pid=13587/tid=13589] ppid=13583 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1337528320 267389 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1337528320 267389 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1337528320 267389 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 1.07 1.20 1.53 3/183 13599
/proc/meminfo: memFree=28233372/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268156 0 0 0 588 41 0 0 20 0 4 0 107426283 1339625472 267970 33554432000 4194304 16246674 140733744212416 140733744194304 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327057 267970 853 2943 0 323951 0
[pid=13587/tid=13589] ppid=13583 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267970 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267970 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267970 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 1.21 1.23 1.53 3/183 13599
/proc/meminfo: memFree=28232076/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268156 0 0 0 1228 41 0 0 20 0 4 0 107426283 1339625472 267970 33554432000 4194304 16246674 140733744212416 140733744195416 5677492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327057 267970 853 2943 0 323951 0
[pid=13587/tid=13589] ppid=13583 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267970 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267970 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267970 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.33 1.25 1.54 3/183 13599
/proc/meminfo: memFree=28228648/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268666 0 0 0 2508 41 0 0 20 0 4 0 107426283 1341722624 268480 33554432000 4194304 16246674 140733744212416 140733744195416 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268480 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268480 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268480 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268480 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 1.70 1.34 1.56 3/183 13599
/proc/meminfo: memFree=28228408/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268668 0 0 0 5067 41 0 0 20 0 4 0 107426283 1341722624 268482 33554432000 4194304 16246674 140733744212416 140733744194304 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268482 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

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

[startup+51.2005 s]
/proc/loadavg: 1.70 1.34 1.56 3/183 13599
/proc/meminfo: memFree=28228408/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=51.18 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268668 0 0 0 5077 41 0 0 20 0 4 0 107426283 1341722624 268482 33554432000 4194304 16246674 140733744212416 140733744194304 13001425 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268482 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1310276

[startup+57.6004 s]
/proc/loadavg: 1.75 1.36 1.56 3/183 13599
/proc/meminfo: memFree=28228412/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=57.58 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268668 0 0 0 5717 41 0 0 20 0 4 0 107426283 1341722624 268482 33554432000 4194304 16246674 140733744212416 140733744194304 12478347 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268482 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 1310276

[startup+60.8004 s]
/proc/loadavg: 1.75 1.36 1.56 3/183 13600
/proc/meminfo: memFree=28227792/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=60.78 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268668 0 0 0 6037 41 0 0 20 0 4 0 107426283 1341722624 268482 33554432000 4194304 16246674 140733744212416 140733744194304 5823320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268482 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 60.78
Current children cumulated vsize (KiB) 1310276

[startup+64.0004 s]
/proc/loadavg: 1.77 1.37 1.57 3/183 13600
/proc/meminfo: memFree=28227916/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=63.98 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268668 0 0 0 6357 41 0 0 20 0 4 0 107426283 1341722624 268482 33554432000 4194304 16246674 140733744212416 140733744194304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268482 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 1310276

[startup+65.6004 s]
/proc/loadavg: 1.77 1.37 1.57 3/183 13600
/proc/meminfo: memFree=28228048/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=65.58 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268668 0 0 0 6517 41 0 0 20 0 4 0 107426283 1341722624 268482 33554432000 4194304 16246674 140733744212416 140733744194304 5674593 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268482 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 65.58
Current children cumulated vsize (KiB) 1310276

[startup+66.0004 s]
/proc/loadavg: 1.77 1.37 1.57 3/183 13600
/proc/meminfo: memFree=28228048/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=65.98 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268668 0 0 0 6557 41 0 0 20 0 4 0 107426283 1341722624 268482 33554432000 4194304 16246674 140733744212416 140733744194304 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268482 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 65.98
Current children cumulated vsize (KiB) 1310276

[startup+66.2004 s]
/proc/loadavg: 1.77 1.37 1.57 3/183 13600
/proc/meminfo: memFree=28228048/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=1310276 CPUtime=66.18 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202496 268668 0 0 0 6577 41 0 0 20 0 4 0 107426283 1341722624 268482 33554432000 4194304 16246674 140733744212416 140733744194304 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 327569 268482 853 2943 0 324463 0
[pid=13587/tid=13589] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13589/stat : 13589 (toysat) S 13583 13587 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659970587888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13587/tid=13590] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13590/stat : 13590 (toysat) S 13583 13587 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659960098032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13587/tid=13591] ppid=13583 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13587/task/13591/stat : 13591 (toysat) S 13583 13587 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1341722624 268482 33554432000 4194304 16246674 140733744212416 139659949624496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 66.18
Current children cumulated vsize (KiB) 1310276

[startup+66.3004 s]
/proc/loadavg: 1.77 1.37 1.57 3/183 13600
/proc/meminfo: memFree=28228048/32872528 swapFree=17452/1581112
[pid=13587] ppid=13583 vsize=0 CPUtime=66.28 cores=1,3,5,7
/proc/13587/stat : 13587 (toysat) R 13583 13587 13546 0 -1 4202500 268673 0 0 0 6583 45 0 0 20 0 1 0 107426283 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13587/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 66.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 66.3235
CPU time (s): 66.3139
CPU user time (s): 65.835
CPU system time (s): 0.478927
CPU usage (%): 99.9856
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.835
system time used= 0.478927
maximum resident set size= 1073944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 69

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.162975 second user time and 0.268959 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 01:15:43
IDJOB=4080189
IDBENCH=48019
IDSOLVER=2542
FILE ID=node139/4080189-1465254943
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080189-1465254943/watcher-4080189-1465254943 -o /tmp/evaluation-result-4080189-1465254943/solver-4080189-1465254943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080189-1465254943.opb

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

MD5SUM BENCH= a998edafd51e17056858d37f83d42bbc
RANDOM SEED=1752993355

node139.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.868
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.73
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.868
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.868
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.868
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.868
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.868
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.868
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.868
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:        30377308 kB
Buffers:           48240 kB
Cached:           160444 kB
SwapCached:         1488 kB
Active:           105188 kB
Inactive:         106176 kB
Active(anon):       3164 kB
Inactive(anon):     2200 kB
Active(file):     102024 kB
Inactive(file):   103976 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099764 kB
Dirty:             32644 kB
Writeback:             0 kB
AnonPages:       1583200 kB
Mapped:             7064 kB
Shmem:                 0 kB
Slab:             569772 kB
SReclaimable:      13768 kB
SUnreclaim:       556004 kB
KernelStack:        1392 kB
PageTables:         7024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1676916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1566720 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= 71700 MiB
End job on node139 at 2016-06-07 01:16:50