Trace number 4106553

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-02OPT3 65.578 65.5987

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=131-P1=89-P2=127-P3=37-B.opb
MD5SUMb163134236a18751e6971651a3b5a0d9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.038994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables63
Total number of constraints7
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 constraints7
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)147
Sum of products size (including duplicates)294
Number of different products147
Sum of products size294

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-18T20:09:46+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106553-1466273386.opb"]
0.00/0.01	c use --random-gen="950940546 1185594833 1999418461 3403043981 974308094 2735424771 4166397986 2501731844 1424615411 712863971 3324460641 2404547227 4101348174 1128068826 1505998593 349313508 3644439264 3408942315 2032486329 2998901527 4082863442 1860980329 3585242351 1764485523 3382853494 2912463030 867037864 3216394738 3939849019 3736333704 1390246437 1065074164 3930606109 3203022636 4112694543 70141029 1300599629 588391143 1735139782 2030658152 2839411054 290072271 3918345702 2061381994 1831539183 729130379 1797043791 122042868 2612545867 2909955797 661703418 1576321077 2465367868 52616147 2100240748 3932132050 418349885 1029798845 287768008 4156083478 927473784 2504404933 2833475667 3620292870 3581970740 1063877701 426696526 3426458337 4263535998 4121923232 1342251023 927143136 1992148878 2555032203 2371848105 946695144 2200549551 1617877201 949158556 2699926325 1368295651 155473311 2118857438 3877520368 2732380195 2693615326 326336992 1834300059 2154484470 1042869460 3546596592 3072440154 3530670314 2614642466 1183671385 1798811668 2415487342 3622327262 1223545575 3579256094 2541494173 2461052553 3249044517 3592245390 2556935929 2394152228 246147896 242278121 1139119852 4025177011 297922070 3486694038 3130450250 1980577469 553427433 2630869592 2555794677 1044936244 1119454392 970445498 1022715352 4048949169 1588487969 1043509115 3615637100 661919050 3421494360 3766932971 2313262408 2806739533 1932683829 1370902084 2059339281 1173495842 1443997236 2456149482 4068217465 1913412514 2120736463 3375902155 657502830 3708548494 2999486353 4086939331 32036376 681676360 4242289800 4218060789 834819454 3486123629 2076687762 4221737681 2780059881 1014307248 3994771514 2466263701 3743109770 4206031485 2748790252 553172433 911778585 3040897336 1032672039 2673257213 1291886104 3463715242 3236281267 2596678091 514139153 2803607272 4196442004 844063449 795943292 3399845719 3313853290 434880311 3904447506 383619587 1388674205 4075100987 4030998653 3214467812 376989910 3359343848 2563484477 3418919952 2518497154 3219258319 1965185440 1974346551 1173903229 730137417 4037764739 1805900552 1022299998 2222234205 3398483177 1030329184 744905945 1025934433 2661805716 3385685249 3486264287 410124865 3926718668 1051832458 4247500840 2789121304 1904016672 1664662198 3237675441 4248074756 2709095197 3627122383 701653318 1935816446 4837243 3594011203 3213027258 3053637518 1865351259 439254043 2940661251 612932477 555553761 4089194217 15970690 1763998801 199697883 1697766721 2848922261 1923225263 1193997496 871157882 3689493569 1076343763 668280087 3819433171 3643009302 1611075216 3887220461 1356686717 2148231856 654001994 1299784353 1299795582 747341692 265240497 3971716112 3344251967 1487922277 2306527491 1178244914 2437832439 132569852 2818562845 255 362436" option to reproduce the execution
0.00/0.01	c #vars 63
0.00/0.01	c #constraints 7
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      220      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      109 |      100 |      220      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      294 |      250 |      243      0 |        0 |        0
0.08/0.14	c  0.1s |       3 |      552 |      475 |      268      1 |        0 |        0
0.18/0.20	c  0.2s |       4 |      935 |      813 |      295      3 |        0 |        0
0.29/0.35	c  0.3s |       5 |     1528 |     1320 |      325      5 |        0 |        0
0.29/0.37	c  0.4s |       5 |     1724 |     1443 |      358      5 |        0 |        0
0.29/0.37	c #cpu_time = 0.356s
0.29/0.37	c #wall_clock_time = 0.357s
0.29/0.37	c #decision = 1724
0.29/0.37	c #random_decision = 3
0.29/0.37	c #conflict = 1443
0.29/0.37	c #restart = 5
0.29/0.37	o 105
0.29/0.37	c BCD2: updating upper bound: 127 -> 104
0.29/0.37	c BCD2: 0 <= obj <= 104
0.29/0.37	c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0
0.29/0.37	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.37	c Solving starts ...
0.29/0.37	c ============================[ Search Statistics ]============================
0.29/0.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.37	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.37	c =============================================================================
0.29/0.37	c  0.0s |       0 |        0 |        0 |      358      0 |        0 |        0
0.29/0.37	c  0.0s |       0 |        5 |        0 |      358      1 |        0 |        0
0.29/0.37	c #cpu_time = 0.003s
0.29/0.37	c #wall_clock_time = 0.003s
0.29/0.37	c #decision = 5
0.29/0.37	c #random_decision = 0
0.29/0.37	c #conflict = 0
0.29/0.37	c #restart = 0
0.29/0.38	c BCD2: found a new core of size 6: cost of the new core is >=2
0.29/0.38	c lower bound updated to 2
0.29/0.38	c BCD2: 2 <= obj <= 104
0.29/0.38	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0
0.29/0.38	c BCD2: #sat=1 #unsat=2 bias=2/3
0.29/0.38	c Solving starts ...
0.29/0.38	c ============================[ Search Statistics ]============================
0.29/0.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.38	c =============================================================================
0.29/0.38	c  0.0s |       0 |        0 |        0 |      358      0 |        0 |        0
0.39/0.42	c  0.0s |       1 |      169 |      100 |      358      0 |        0 |        0
0.39/0.45	c  0.1s |       2 |      397 |      250 |      358      0 |        0 |        0
0.49/0.53	c  0.2s |       3 |      715 |      475 |      358      1 |        0 |        0
0.59/0.60	c  0.2s |       4 |     1118 |      813 |      394      2 |        0 |        0
0.69/0.76	c  0.4s |       5 |     1678 |     1320 |      394      4 |        0 |        0
0.88/0.92	c  0.5s |       6 |     2532 |     2081 |      434      7 |        0 |        0
1.20/1.22	c  0.8s |       7 |     3806 |     3223 |      434     11 |        0 |        0
1.38/1.48	c  1.1s |       8 |     5713 |     4936 |      478     16 |        0 |        0
1.88/1.98	c  1.6s |       9 |     8580 |     7506 |      526     24 |        0 |        0
2.49/2.56	c  2.2s |      10 |    12569 |    11361 |      579     35 |        0 |        0
3.59/3.61	c  3.2s |      11 |    18674 |    17144 |      637     51 |        0 |        0
4.99/5.04	c  4.7s |      12 |    27729 |    25819 |      701     73 |        0 |        0
6.99/7.07	c  6.7s |      12 |    39118 |    36619 |      701     99 |        0 |        0
7.49/7.55	c  7.2s |      13 |    41477 |    38832 |      772    104 |        0 |        0
9.49/9.56	c  9.2s |      13 |    54011 |    50932 |      772    130 |        0 |        0
10.89/10.93	c 10.6s |      14 |    61722 |    58352 |      850    146 |        0 |        0
12.89/12.93	c 12.6s |      14 |    72747 |    68452 |      850    167 |        0 |        0
14.88/14.94	c 14.6s |      14 |    82794 |    77952 |      850    186 |        0 |        0
16.59/16.69	c 16.3s |      15 |    93156 |    87632 |      936    206 |        0 |        0
18.58/18.70	c 18.3s |      15 |   104703 |    98832 |      936    226 |        0 |        0
20.68/20.72	c 20.3s |      15 |   117367 |   110732 |      936    248 |        0 |        0
22.68/22.72	c 22.3s |      15 |   128910 |   121932 |      936    269 |        0 |        0
24.48/24.53	c 24.2s |      16 |   139030 |   131552 |     1030    287 |        0 |        0
26.49/26.53	c 26.2s |      16 |   150060 |   142052 |     1030    305 |        1 |        7
28.48/28.54	c 28.2s |      16 |   162525 |   153652 |     1030    325 |        1 |        7
30.48/30.55	c 30.2s |      16 |   174765 |   165452 |     1030    345 |        1 |        7
32.48/32.56	c 32.2s |      16 |   186810 |   177152 |     1030    365 |        1 |        7
34.48/34.58	c 34.2s |      16 |   197930 |   187752 |     1030    383 |        1 |        7
36.39/36.43	c 36.1s |      17 |   208002 |   197432 |     1133    399 |        1 |        7
38.38/38.44	c 38.1s |      17 |   218560 |   207632 |     1133    416 |        1 |        7
40.38/40.45	c 40.1s |      17 |   229100 |   217332 |     1133    432 |        1 |        7
42.38/42.46	c 42.1s |      17 |   239844 |   227132 |     1133    448 |        1 |        7
44.38/44.47	c 44.1s |      17 |   250006 |   236132 |     1133    463 |        1 |        7
46.38/46.48	c 46.1s |      17 |   260092 |   245532 |     1133    478 |        1 |        7
48.38/48.49	c 48.1s |      17 |   270541 |   254732 |     1133    494 |        1 |        7
50.48/50.50	c 50.1s |      17 |   282665 |   266532 |     1133    513 |        1 |        7
52.48/52.51	c 52.1s |      17 |   293636 |   276432 |     1133    530 |        1 |        7
54.48/54.51	c 54.1s |      17 |   304989 |   287132 |     1133    547 |        1 |        7
56.38/56.43	c 56.1s |      18 |   315096 |   296252 |     1247    562 |        1 |        7
58.38/58.44	c 58.1s |      18 |   325125 |   305652 |     1247    576 |        1 |        7
60.38/60.46	c 60.1s |      18 |   334742 |   314652 |     1247    589 |        1 |        7
62.38/62.46	c 62.1s |      18 |   345458 |   324952 |     1247    605 |        1 |        7
64.38/64.49	c 64.1s |      18 |   355941 |   334452 |     1247    619 |        1 |        7
65.38/65.47	c 65.1s |      18 |   361277 |   339154 |     1247    626 |        1 |        7
65.38/65.47	c #cpu_time = 64.925s
65.38/65.47	c #wall_clock_time = 65.097s
65.38/65.47	c #decision = 361277
65.38/65.47	c #random_decision = 1140
65.38/65.47	c #conflict = 339154
65.38/65.47	c #restart = 18
65.38/65.47	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
65.38/65.47	c lower bound updated to 3
65.38/65.47	c BCD2: 3 <= obj <= 104
65.38/65.47	c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0
65.38/65.48	c BCD2: #sat=1 #unsat=3 bias=3/4
65.38/65.48	c Solving starts ...
65.38/65.48	c ============================[ Search Statistics ]============================
65.38/65.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
65.38/65.48	c       |         |          |          |    Limit     GC | Var      | Constra 
65.38/65.48	c =============================================================================
65.38/65.48	c  0.0s |       0 |        0 |        0 |     1247      0 |        2 |        7
65.48/65.51	c  0.0s |       1 |      128 |      100 |     1247      0 |        2 |        8
65.48/65.53	c  0.1s |       2 |      326 |      250 |     1247      1 |        2 |        8
65.48/65.54	c  0.1s |       2 |      404 |      259 |     1247      1 |        2 |        8
65.48/65.54	c #cpu_time = 0.063s
65.48/65.54	c #wall_clock_time = 0.063s
65.48/65.54	c #decision = 404
65.48/65.54	c #random_decision = 2
65.48/65.54	c #conflict = 259
65.48/65.54	c #restart = 2
65.48/65.54	o 3
65.48/65.54	s OPTIMUM FOUND
65.48/65.54	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10
65.48/65.54	v x11 -x12 -x13 -x14 x15 -x16 x17 -x18 -x19 x20
65.48/65.54	v x21 x22 -x23 x24 -x25 x26 -x27 -x28 x29 -x30
65.48/65.54	v -x31 -x32 -x33 x34 -x35 x36 -x37 x38 -x39 -x40
65.48/65.54	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
65.48/65.54	v x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60
65.48/65.54	v -x61 -x62 -x63
65.48/65.54	c total CPU time = 65.366s
65.48/65.54	c total wall clock time = 65.539s

Verifier Data 

OK	3

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

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

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


[startup+0 s]
/proc/loadavg: 2.40 2.31 2.22 4/179 28667
/proc/meminfo: memFree=29361896/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=713284 CPUtime=0 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 2663 0 0 0 0 0 0 0 20 0 4 0 29385216 730402816 3023 33554432000 4194304 16246674 140734361964048 140734361963472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 179089 3032 442 2943 0 175983 0
[pid=28667/tid=28668] ppid=28664 vsize=731716 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 749277184 3094 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=735812 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 753471488 3111 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=740932 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 758714368 3128 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.40 2.31 2.22 4/179 28667
/proc/meminfo: memFree=29361896/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 21476 0 0 0 5 3 0 0 20 0 4 0 29385216 1247350784 21825 33554432000 4194304 16246674 140734361964048 140734361963472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 304529 21829 766 2943 0 301423 0
[pid=28667/tid=28668] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1247350784 21833 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1247350784 21837 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1247350784 21845 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200477 s]
/proc/loadavg: 2.40 2.31 2.22 4/179 28667
/proc/meminfo: memFree=29361896/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 40200 0 0 0 12 6 0 0 20 0 4 0 29385216 1247350784 40548 33554432000 4194304 16246674 140734361964048 140734361963472 6836249 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 304529 40558 766 2943 0 301423 0
[pid=28667/tid=28668] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1247350784 40563 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1247350784 40571 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1247350784 40577 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300442 s]
/proc/loadavg: 2.40 2.31 2.22 4/179 28667
/proc/meminfo: memFree=29361896/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 59650 0 0 0 20 9 0 0 20 0 4 0 29385216 1247350784 59998 33554432000 4194304 16246674 140734361964048 140734361963472 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 304529 60006 766 2943 0 301423 0
[pid=28667/tid=28668] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1247350784 60010 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1247350784 60018 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1247350784 60025 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700359 s]
/proc/loadavg: 2.40 2.31 2.22 4/179 28667
/proc/meminfo: memFree=29361896/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 142855 0 0 0 49 20 0 0 20 0 4 0 29385216 1247350784 143203 33554432000 4194304 16246674 140734361964048 140734361945920 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 304529 143220 794 2943 0 301423 0
[pid=28667/tid=28668] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1247350784 143229 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1247350784 143233 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1247350784 143236 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.40 2.31 2.22 4/183 28671
/proc/meminfo: memFree=28482872/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 245756 0 0 0 114 34 0 0 20 0 4 0 29385216 1248399360 246081 33554432000 4194304 16246674 140734361964048 140734361963360 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 304785 246081 852 2943 0 301679 0
[pid=28667/tid=28668] ppid=28664 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1248399360 246081 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1248399360 246081 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1248399360 246081 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10036 s]
/proc/loadavg: 2.53 2.34 2.23 4/183 28671
/proc/meminfo: memFree=28292408/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267471 0 0 0 272 37 0 0 20 0 4 0 29385216 1337528320 267796 33554432000 4194304 16246674 140734361964048 140734361947048 5722235 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 326545 267796 852 2943 0 323439 0
[pid=28667/tid=28668] ppid=28664 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1337528320 267796 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1337528320 267796 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1337528320 267796 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.53 2.34 2.23 4/183 28671
/proc/meminfo: memFree=28293132/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267534 0 0 0 592 37 0 0 20 0 4 0 29385216 1337528320 267859 33554432000 4194304 16246674 140734361964048 140734361947048 5723456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 326545 267859 853 2943 0 323439 0
[pid=28667/tid=28668] ppid=28664 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1337528320 267859 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1337528320 267859 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1337528320 267859 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.59 2.36 2.24 4/183 28671
/proc/meminfo: memFree=28292700/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267894 0 0 0 1232 37 0 0 20 0 4 0 29385216 1338576896 268219 33554432000 4194304 16246674 140734361964048 140734361945920 5546023 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 326801 268219 853 2943 0 323695 0
[pid=28667/tid=28668] ppid=28664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1338576896 268219 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1338576896 268219 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1338576896 268219 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.58 2.36 2.24 3/184 28674
/proc/meminfo: memFree=28295356/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267933 0 0 0 2511 37 0 0 20 0 4 0 29385216 1339625472 268258 33554432000 4194304 16246674 140734361964048 140734361945920 12483524 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268258 853 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268258 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268258 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268258 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.52 2.37 2.24 3/184 28674
/proc/meminfo: memFree=28293764/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267935 0 0 0 5071 37 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

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

[startup+51.2005 s]
/proc/loadavg: 2.52 2.37 2.24 3/184 28674
/proc/meminfo: memFree=28293764/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=51.18 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267935 0 0 0 5081 37 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 13191937 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1308228

[startup+57.6004 s]
/proc/loadavg: 2.44 2.35 2.24 3/184 28674
/proc/meminfo: memFree=28294260/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=57.58 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267935 0 0 0 5721 37 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 1308228

[startup+60.8004 s]
/proc/loadavg: 2.44 2.35 2.24 3/184 28675
/proc/meminfo: memFree=28293872/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=60.78 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267942 0 0 0 6040 38 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 60.78
Current children cumulated vsize (KiB) 1308228

[startup+64.0004 s]
/proc/loadavg: 2.40 2.35 2.24 4/184 28675
/proc/meminfo: memFree=28293740/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=63.98 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267942 0 0 0 6360 38 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 5546473 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 1308228

[startup+64.8004 s]
/proc/loadavg: 2.40 2.35 2.24 4/184 28675
/proc/meminfo: memFree=28293740/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=64.78 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267942 0 0 0 6440 38 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 5545840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 64.78
Current children cumulated vsize (KiB) 1308228

[startup+65.2004 s]
/proc/loadavg: 2.40 2.35 2.24 3/184 28675
/proc/meminfo: memFree=28293740/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=65.18 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267942 0 0 0 6480 38 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 65.18
Current children cumulated vsize (KiB) 1308228

[startup+65.4004 s]
/proc/loadavg: 2.40 2.35 2.24 3/184 28675
/proc/meminfo: memFree=28293740/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=65.38 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267942 0 0 0 6500 38 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 13192819 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 65.38
Current children cumulated vsize (KiB) 1308228

[startup+65.5004 s]
/proc/loadavg: 2.40 2.35 2.24 3/184 28675
/proc/meminfo: memFree=28293740/32872528 swapFree=1191052/1305516
[pid=28667] ppid=28664 vsize=1308228 CPUtime=65.48 cores=1,3,5,7
/proc/28667/stat : 28667 (toysat) R 28664 28667 26736 0 -1 4202496 267942 0 0 0 6510 38 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140734361947048 6022340 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28667/statm: 327057 268515 854 2943 0 323951 0
[pid=28667/tid=28668] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28668/stat : 28668 (toysat) S 28664 28667 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427838598384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28667/tid=28669] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28669/stat : 28669 (toysat) S 28664 28667 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29385216 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427828108528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28667/tid=28670] ppid=28664 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28667/task/28670/stat : 28670 (toysat) S 28664 28667 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29385217 1339625472 268515 33554432000 4194304 16246674 140734361964048 140427713834160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 65.48
Current children cumulated vsize (KiB) 1308228

Child status: 0
Real time (s): 65.5987
CPU time (s): 65.578
CPU user time (s): 65.1451
CPU system time (s): 0.432934
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.1451
system time used= 0.432934
maximum resident set size= 1074072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267947
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= 28
involuntary context switches= 73

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.176973 second user time and 0.252961 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 20:09:46
IDJOB=4106553
IDBENCH=48101
IDSOLVER=2542
FILE ID=node127/4106553-1466273386
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
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=131-P1=89-P2=127-P3=37-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106553-1466273386/watcher-4106553-1466273386 -o /tmp/evaluation-result-4106553-1466273386/solver-4106553-1466273386 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106553-1466273386.opb

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

MD5SUM BENCH= b163134236a18751e6971651a3b5a0d9
RANDOM SEED=339056294

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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.769
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.56
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.769
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:        29362432 kB
Buffers:           92908 kB
Cached:           260872 kB
SwapCached:          516 kB
Active:          1196036 kB
Inactive:         262064 kB
Active(anon):    1104420 kB
Inactive(anon):     2184 kB
Active(file):      91616 kB
Inactive(file):   259880 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2409048 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             604560 kB
SReclaimable:      48476 kB
SUnreclaim:       556084 kB
KernelStack:        1448 kB
PageTables:         8724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2552136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1212416 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= 71708 MiB
End job on node127 at 2016-06-18 20:10:52