Trace number 4093347

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 232.549 232.598

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
MD5SUM404f4a35cd4ec5708f20e119eb7d26f2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark84.3192
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints899
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-16T16:28:55+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093347-1466087335.wbo"]
0.00/0.01	c use --random-gen="462360056 1143839091 1795350549 2012247201 1504457637 1841482954 847413545 1558225143 3858968273 599771808 780543391 335447336 2657828964 2855678349 1017072455 2634417136 1556993112 3981604366 2623425917 3208888575 1741954209 1751836138 2125152654 3156714270 1144022054 3839171624 4236628249 3743432547 3330712744 4177552616 3646698673 3952703891 3256822615 259306819 541892745 2753040413 131980920 1997723521 2846719394 2034641941 2627292259 3114086536 2206026628 2687102015 1976980813 835172493 256946639 180160893 432923622 998029191 2625206034 2209105406 1689113343 694177362 3513121491 3675907092 4146782690 2472837832 701203842 1114019004 2705570766 4176173078 4106866165 879411101 4229432874 4010617667 1539565872 1584408496 3742381116 4174488536 1187579569 238801295 612161949 2289798450 3452366565 3436929584 4105163964 1028789258 1866164304 536964461 2114695102 3744876660 2803991080 516417346 4093934542 2665998680 3195788120 2332969523 2362895528 643810150 2381686873 3009801619 888638598 3185005047 528689187 4132724258 338559254 2068595647 498416083 864053902 2533457772 2994212112 4243564067 1560546492 3082933082 2592578187 3338007127 3327368618 3495870940 2493374314 3521774606 2231471212 1177308477 1942874594 372988568 1275550576 596249663 1629264061 2713538436 2901845591 3010764705 992649500 1612125684 108043591 3130681245 2339505767 715615394 1044856916 2485555005 1422997028 1407638486 1113411148 2308610214 1931147235 1830580566 138341615 201396633 3488826755 138101182 1330540816 3988260147 363124573 709119854 2233905342 2615855906 671870911 3675503958 1873374311 1141492386 3151501893 73974499 1443728970 1294497625 1292905538 3867971232 4046329569 1617211951 2972938457 993968351 2409595369 1162359613 494701093 1807485396 736427374 156779057 4243674278 2075341830 3229860710 2059504475 1700448069 3559666222 530544609 2440671382 3879643057 162448932 3292252128 2952664766 207997892 1540322747 2647059235 722262169 2982756108 2204315809 2705371132 469149386 3898597291 121011184 1297611785 2553991594 3912520501 1290223535 4134747159 3466690784 2723595914 3094133996 3215292282 1083445999 2329687709 474874541 1707602645 3468588107 529348895 1555252594 1611230000 1084773962 1658307274 3041573498 325256426 2733032672 1742636666 1172712957 2693851101 3398045111 3228167020 2477516291 1925571241 1077162021 1117414170 120371045 1717670527 2537298086 1349145351 2097801756 2266777509 1063292986 391617202 3026523207 1954238861 3074458109 996877209 4113229044 3304977550 1615404551 698620872 514890522 1721001489 677217966 1331342840 100510202 3318649836 683178755 2546873358 1234572528 1241636946 576839447 331477170 3283156933 887273645 3147120865 833562692 2690467480 516381425 1117877116 4227916890 4002650028 1337945735 255 362436" option to reproduce the execution
0.09/0.13	c #vars 231
0.09/0.13	c #constraints 2707
0.09/0.18	c BCD2: Hardening is enabled.
0.09/0.18	c BCD2: BiasedSearch is enabled.
0.09/0.18	c Solving starts ...
0.09/0.18	c ============================[ Search Statistics ]============================
0.09/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.18	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1279      0 |        0 |        0
0.19/0.21	c  0.0s |       1 |     1066 |      100 |     1279      0 |        0 |        0
0.19/0.21	c  0.0s |       1 |     2075 |      112 |     1407      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.031s
0.19/0.21	c #wall_clock_time = 0.031s
0.19/0.21	c #decision = 2075
0.19/0.21	c #random_decision = 9
0.19/0.21	c #conflict = 112
0.19/0.21	c #restart = 1
0.19/0.21	o 345
0.19/0.21	c BCD2: updating upper bound: 46329 -> 344
0.19/0.22	c BCD2: 0 <= obj <= 344
0.19/0.22	c BCD2: #cores=0, #unrelaxed=899, #relaxed=0, #hardened=0
0.19/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1407      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     1129 |      100 |     1407      0 |        0 |        0
0.19/0.26	c  0.0s |       2 |     2279 |      250 |     1548      0 |        0 |        0
0.29/0.31	c  0.1s |       3 |     3586 |      475 |     1703      0 |        0 |        0
0.39/0.43	c  0.2s |       4 |     5034 |      813 |     1874      0 |        0 |        0
0.59/0.64	c  0.4s |       5 |     6780 |     1320 |     2062      0 |        0 |        0
0.89/0.95	c  0.7s |       6 |     8847 |     2081 |     2269      0 |        0 |        0
1.29/1.39	c  1.2s |       7 |    11361 |     3223 |     2496      1 |        0 |        0
1.89/1.90	c  1.7s |       8 |    14547 |     4936 |     2746      1 |        0 |        0
2.88/2.91	c  2.7s |       9 |    18834 |     7506 |     3021      3 |        0 |        0
4.78/4.84	c  4.6s |      10 |    25038 |    11361 |     3324      5 |        0 |        0
6.78/6.85	c  6.6s |      10 |    35025 |    16661 |     3324      7 |        0 |        0
6.98/7.00	c  6.8s |      11 |    36094 |    17144 |     3657      7 |        0 |        0
8.98/9.04	c  8.8s |      11 |    47243 |    22544 |     3657     10 |        0 |        0
10.39/10.42	c 10.2s |      12 |    53922 |    25819 |     4023     11 |        0 |        0
11.49/11.54	c 11.3s |      12 |    58729 |    27852 |     4023     12 |        0 |        0
11.49/11.54	c #cpu_time = 11.326s
11.49/11.54	c #wall_clock_time = 11.326s
11.49/11.54	c #decision = 58729
11.49/11.54	c #random_decision = 60
11.49/11.54	c #conflict = 27852
11.49/11.54	c #restart = 12
11.49/11.54	c BCD2: found a new core of size 698: cost of the new core is >=1
11.49/11.54	c lower bound updated to 1
11.49/11.55	c BCD2: 1 <= obj <= 344
11.49/11.55	c BCD2: #cores=1, #unrelaxed=201, #relaxed=698, #hardened=0
11.49/11.55	c BCD2: #sat=1 #unsat=2 bias=2/3
11.49/11.55	c Solving starts ...
11.49/11.55	c ============================[ Search Statistics ]============================
11.49/11.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.49/11.55	c       |         |          |          |    Limit     GC | Var      | Constra 
11.49/11.55	c =============================================================================
11.49/11.55	c  0.0s |       0 |        0 |        0 |     4023      0 |        0 |        0
11.59/11.60	c  0.1s |       0 |     1541 |       64 |     4023      0 |        0 |        0
11.59/11.60	c #cpu_time = 0.055s
11.59/11.60	c #wall_clock_time = 0.055s
11.59/11.60	c #decision = 1541
11.59/11.60	c #random_decision = 6
11.59/11.60	c #conflict = 64
11.59/11.60	c #restart = 0
11.59/11.60	o 321
11.59/11.60	c BCD2: updating upper bound: 344 -> 320
11.59/11.61	c BCD2: 1 <= obj <= 320
11.59/11.61	c BCD2: #cores=1, #unrelaxed=201, #relaxed=698, #hardened=0
11.59/11.61	c BCD2: #sat=2 #unsat=2 bias=2/4
11.59/11.61	c Solving starts ...
11.59/11.61	c ============================[ Search Statistics ]============================
11.59/11.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.59/11.61	c       |         |          |          |    Limit     GC | Var      | Constra 
11.59/11.61	c =============================================================================
11.59/11.61	c  0.0s |       0 |        0 |        0 |     4023      0 |        0 |        1
11.69/11.70	c  0.1s |       1 |      391 |      100 |     4023      0 |        0 |        1
11.79/11.83	c  0.2s |       2 |      886 |      250 |     4023      0 |        0 |        1
11.89/11.94	c  0.3s |       2 |     1408 |      410 |     4023      0 |        0 |        1
11.89/11.94	c #cpu_time = 0.329s
11.89/11.94	c #wall_clock_time = 0.329s
11.89/11.94	c #decision = 1408
11.89/11.94	c #random_decision = 2
11.89/11.94	c #conflict = 410
11.89/11.94	c #restart = 2
11.89/11.94	o 127
11.89/11.94	c BCD2: updating upper bound: 320 -> 126
11.89/11.94	c BCD2: 1 <= obj <= 126
11.89/11.94	c BCD2: #cores=1, #unrelaxed=201, #relaxed=698, #hardened=0
11.89/11.94	c BCD2: #sat=3 #unsat=2 bias=2/5
11.89/11.95	c Solving starts ...
11.89/11.95	c ============================[ Search Statistics ]============================
11.89/11.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.89/11.95	c       |         |          |          |    Limit     GC | Var      | Constra 
11.89/11.95	c =============================================================================
11.89/11.95	c  0.0s |       0 |        0 |        0 |     4023      0 |        0 |        2
11.99/12.03	c  0.1s |       1 |      353 |      100 |     4023      0 |        0 |        2
12.10/12.12	c  0.2s |       2 |      788 |      250 |     4023      0 |        0 |        2
12.20/12.26	c  0.3s |       3 |     1300 |      475 |     4023      0 |        0 |        2
12.49/12.51	c  0.6s |       4 |     2001 |      813 |     4023      1 |        0 |        2
12.69/12.76	c  0.8s |       5 |     3000 |     1320 |     4023      1 |        0 |        2
12.89/12.99	c  1.0s |       5 |     3898 |     1757 |     4023      1 |        0 |        2
12.89/12.99	c #cpu_time = 1.038s
12.89/12.99	c #wall_clock_time = 1.038s
12.89/12.99	c #decision = 3898
12.89/12.99	c #random_decision = 9
12.89/12.99	c #conflict = 1757
12.89/12.99	c #restart = 5
12.89/12.99	o 61
12.89/12.99	c BCD2: hardening fixes 375 literals
12.89/12.99	c BCD2: updating upper bound: 126 -> 60
12.89/12.99	c BCD2: 1 <= obj <= 60
12.89/12.99	c BCD2: #cores=1, #unrelaxed=115, #relaxed=409, #hardened=375
12.89/12.99	c BCD2: #sat=4 #unsat=2 bias=2/6
12.89/12.99	c Solving starts ...
12.89/12.99	c ============================[ Search Statistics ]============================
12.89/12.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.89/12.99	c       |         |          |          |    Limit     GC | Var      | Constra 
12.89/12.99	c =============================================================================
12.89/12.99	c  0.0s |       0 |        0 |        0 |     4023      0 |      375 |        3
12.99/13.05	c  0.1s |       1 |      269 |      100 |     4023      0 |      375 |        3
13.09/13.13	c  0.1s |       2 |      611 |      250 |     4023      0 |      375 |        3
13.20/13.22	c  0.2s |       3 |     1067 |      475 |     4023      0 |      375 |        3
13.30/13.38	c  0.4s |       4 |     1708 |      813 |     4023      0 |      375 |        3
13.49/13.59	c  0.6s |       5 |     2704 |     1320 |     4023      0 |      375 |        3
13.89/13.94	c  1.0s |       6 |     4028 |     2081 |     4023      1 |      375 |        3
14.30/14.36	c  1.4s |       7 |     5945 |     3223 |     4023      1 |      375 |        3
14.99/15.09	c  2.1s |       8 |     8791 |     4936 |     4023      2 |      375 |        3
16.09/16.15	c  3.2s |       9 |    12686 |     7506 |     4023      3 |      375 |        3
17.89/17.93	c  4.9s |      10 |    18509 |    11361 |     4426      4 |      375 |        3
19.90/19.95	c  7.0s |      10 |    25235 |    15661 |     4426      6 |      375 |        3
20.69/20.77	c  7.8s |      11 |    27443 |    17144 |     4426      7 |      375 |        3
22.79/22.82	c  9.8s |      11 |    33410 |    21144 |     4426      8 |      375 |        3
24.79/24.89	c 11.9s |      11 |    38532 |    24844 |     4426     10 |      375 |        3
25.39/25.42	c 12.4s |      12 |    39858 |    25819 |     4426     10 |      375 |        3
27.39/27.43	c 14.4s |      12 |    44579 |    29219 |     4869     11 |      375 |        3
29.39/29.46	c 16.5s |      12 |    51946 |    33819 |     4869     13 |      375 |        3
31.39/31.48	c 18.5s |      12 |    58174 |    38019 |     4869     14 |      375 |        3
31.79/31.88	c 18.9s |      13 |    59315 |    38832 |     4869     14 |      375 |        3
33.88/33.93	c 20.9s |      13 |    66010 |    43032 |     4869     16 |      375 |        3
35.88/35.96	c 23.0s |      13 |    71926 |    46832 |     4869     17 |      375 |        3
37.89/37.97	c 25.0s |      13 |    78646 |    51032 |     4869     19 |      375 |        3
39.98/40.01	c 27.0s |      13 |    83946 |    54732 |     4869     20 |      375 |        3
41.79/41.80	c 28.8s |      14 |    89220 |    58352 |     5356     21 |      375 |        3
43.78/43.81	c 30.8s |      14 |    95416 |    62352 |     5356     23 |      375 |        3
44.68/44.76	c 31.8s |      14 |    98383 |    64301 |     5356     23 |      375 |        3
44.68/44.76	c #cpu_time = 31.769s
44.68/44.76	c #wall_clock_time = 31.770s
44.68/44.76	c #decision = 98383
44.68/44.76	c #random_decision = 113
44.68/44.76	c #conflict = 64301
44.68/44.76	c #restart = 14
44.68/44.76	o 20
44.68/44.76	c BCD2: hardening fixes 361 literals
44.68/44.76	c BCD2: updating upper bound: 60 -> 19
44.68/44.76	c BCD2: 1 <= obj <= 19
44.68/44.76	c BCD2: #cores=1, #unrelaxed=35, #relaxed=128, #hardened=736
44.68/44.76	c BCD2: #sat=5 #unsat=2 bias=2/7
44.68/44.76	c Solving starts ...
44.68/44.76	c ============================[ Search Statistics ]============================
44.68/44.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
44.68/44.76	c       |         |          |          |    Limit     GC | Var      | Constra 
44.68/44.76	c =============================================================================
44.68/44.76	c  0.0s |       0 |        0 |        0 |     5356      0 |      736 |        4
44.78/44.82	c  0.1s |       1 |      219 |      100 |     5356      0 |      736 |        4
44.78/44.89	c  0.1s |       2 |      536 |      250 |     5356      0 |      736 |        4
44.98/45.02	c  0.3s |       3 |      952 |      475 |     5356      0 |      736 |        4
45.09/45.15	c  0.4s |       4 |     1564 |      813 |     5356      0 |      736 |        4
45.28/45.36	c  0.6s |       5 |     2506 |     1320 |     5356      1 |      736 |        4
45.58/45.65	c  0.9s |       6 |     3896 |     2081 |     5356      1 |      736 |        4
45.98/46.06	c  1.3s |       7 |     5657 |     3223 |     5356      1 |      736 |        4
46.68/46.76	c  2.0s |       8 |     8434 |     4936 |     5356      2 |      736 |        4
47.58/47.69	c  2.9s |       9 |    12636 |     7506 |     5356      3 |      736 |        4
49.08/49.10	c  4.3s |      10 |    19163 |    11361 |     5356      4 |      736 |        4
51.08/51.13	c  6.4s |      10 |    28438 |    16961 |     5356      6 |      736 |        4
51.18/51.20	c  6.4s |      11 |    28681 |    17144 |     5356      6 |      736 |        4
53.18/53.23	c  8.5s |      11 |    38904 |    23344 |     5356      8 |      736 |        4
53.89/53.95	c  9.2s |      12 |    42891 |    25819 |     5356      8 |      736 |        4
55.88/55.95	c 11.2s |      12 |    54182 |    32619 |     5356     11 |      736 |        4
57.68/57.78	c 13.0s |      13 |    63790 |    38832 |     5892     12 |      736 |        4
57.98/58.09	c 13.3s |      13 |    65110 |    39724 |     5892     13 |      736 |        4
57.98/58.09	c #cpu_time = 13.333s
57.98/58.09	c #wall_clock_time = 13.333s
57.98/58.09	c #decision = 65110
57.98/58.09	c #random_decision = 90
57.98/58.09	c #conflict = 39724
57.98/58.09	c #restart = 13
57.98/58.09	c BCD2: relaxing 33 and merging with 1 cores into a new core of size 731: cost of the new core is >=2
57.98/58.09	c lower bound updated to 2
57.98/58.10	c BCD2: 2 <= obj <= 19
57.98/58.10	c BCD2: #cores=1, #unrelaxed=2, #relaxed=161, #hardened=736
57.98/58.10	c BCD2: #sat=5 #unsat=3 bias=3/8
58.08/58.10	c Solving starts ...
58.08/58.10	c ============================[ Search Statistics ]============================
58.08/58.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
58.08/58.10	c       |         |          |          |    Limit     GC | Var      | Constra 
58.08/58.10	c =============================================================================
58.08/58.10	c  0.0s |       0 |        0 |        0 |     5892      0 |      741 |        4
58.18/58.27	c  0.2s |       1 |      264 |      100 |     5892      0 |      741 |       13
58.28/58.37	c  0.3s |       2 |      476 |      250 |     5892      0 |      741 |       13
58.38/58.45	c  0.4s |       3 |      874 |      475 |     5892      0 |      741 |       13
58.48/58.55	c  0.5s |       4 |     1376 |      813 |     5892      0 |      741 |       13
58.58/58.68	c  0.6s |       5 |     2486 |     1320 |     5892      0 |      741 |       13
58.88/58.91	c  0.8s |       6 |     3722 |     2081 |     5892      0 |      741 |       13
59.18/59.27	c  1.2s |       7 |     5586 |     3223 |     5892      0 |      741 |       13
59.78/59.88	c  1.8s |       8 |     8293 |     4936 |     5892      0 |      741 |       13
60.58/60.64	c  2.5s |       9 |    12865 |     7506 |     5892      1 |      741 |       13
61.78/61.81	c  3.7s |      10 |    19322 |    11361 |     5892      2 |      741 |       13
63.68/63.72	c  5.6s |      11 |    29073 |    17144 |     5892      4 |      741 |       13
65.68/65.74	c  7.6s |      11 |    37372 |    22844 |     5892      6 |      741 |       13
66.68/66.74	c  8.6s |      12 |    41978 |    25819 |     5892      7 |      741 |       13
68.68/68.75	c 10.7s |      12 |    52448 |    32119 |     5892      8 |      741 |       13
70.68/70.77	c 12.7s |      12 |    63333 |    38519 |     5892     10 |      741 |       13
70.88/70.91	c 12.8s |      13 |    63763 |    38832 |     5892     10 |      741 |       13
71.38/71.43	c 13.3s |      13 |    66281 |    40306 |     5892     11 |      741 |       13
71.38/71.43	c #cpu_time = 13.337s
71.38/71.43	c #wall_clock_time = 13.337s
71.38/71.43	c #decision = 66281
71.38/71.43	c #random_decision = 111
71.38/71.43	c #conflict = 40306
71.38/71.43	c #restart = 13
71.38/71.43	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 732: cost of the new core is >=7
71.38/71.43	c lower bound updated to 7
71.38/71.44	c BCD2: 7 <= obj <= 19
71.38/71.44	c BCD2: #cores=1, #unrelaxed=1, #relaxed=162, #hardened=736
71.38/71.44	c BCD2: #sat=5 #unsat=4 bias=4/9
71.38/71.44	c Solving starts ...
71.38/71.44	c ============================[ Search Statistics ]============================
71.38/71.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
71.38/71.44	c       |         |          |          |    Limit     GC | Var      | Constra 
71.38/71.44	c =============================================================================
71.38/71.44	c  0.0s |       0 |        0 |        0 |     5892      0 |      742 |       13
71.67/71.76	c  0.3s |       1 |      201 |      100 |     5892      0 |      742 |       14
71.78/71.82	c  0.4s |       2 |      461 |      250 |     5892      0 |      742 |       14
71.78/71.89	c  0.5s |       3 |      808 |      475 |     5892      0 |      742 |       14
71.98/72.00	c  0.6s |       4 |     1456 |      813 |     5892      0 |      742 |       14
72.08/72.18	c  0.7s |       5 |     2333 |     1320 |     5892      0 |      742 |       14
72.38/72.47	c  1.0s |       6 |     3446 |     2081 |     5892      0 |      742 |       14
72.88/72.98	c  1.5s |       7 |     5061 |     3223 |     5892      0 |      742 |       14
73.69/73.75	c  2.3s |       8 |     7685 |     4936 |     5892      1 |      742 |       14
74.89/74.90	c  3.5s |       9 |    11361 |     7506 |     5892      1 |      742 |       14
76.48/76.52	c  5.1s |      10 |    17029 |    11361 |     5892      2 |      742 |       14
78.48/78.54	c  7.1s |      10 |    23844 |    16161 |     5892      4 |      742 |       14
78.88/78.99	c  7.6s |      11 |    25202 |    17144 |     5892      4 |      742 |       14
80.98/81.02	c  9.6s |      11 |    32285 |    21944 |     6482      5 |      742 |       14
82.78/82.86	c 11.4s |      12 |    37798 |    25819 |     6482      6 |      742 |       14
84.88/84.90	c 13.5s |      12 |    45437 |    30819 |     6482      8 |      742 |       14
86.89/86.91	c 15.5s |      12 |    52387 |    35719 |     6482      9 |      742 |       14
88.18/88.23	c 16.8s |      13 |    56938 |    38832 |     6482     10 |      742 |       14
90.19/90.25	c 18.8s |      13 |    62974 |    43132 |     6482     11 |      742 |       14
92.18/92.26	c 20.8s |      13 |    69141 |    47432 |     6482     12 |      742 |       14
94.18/94.27	c 22.8s |      13 |    75156 |    51732 |     6482     14 |      742 |       14
96.18/96.29	c 24.9s |      13 |    81634 |    56232 |     6482     15 |      742 |       14
97.08/97.15	c 25.7s |      14 |    84630 |    58352 |     6482     15 |      742 |       14
99.08/99.16	c 27.7s |      14 |    91348 |    62852 |     6482     17 |      742 |       14
101.08/101.19	c 29.8s |      14 |    98327 |    67552 |     6482     18 |      742 |       14
103.18/103.21	c 31.8s |      14 |   106439 |    72852 |     6482     19 |      742 |       14
105.18/105.25	c 33.8s |      14 |   113395 |    77552 |     6482     21 |      742 |       14
107.18/107.27	c 35.8s |      14 |   121277 |    82952 |     6482     22 |      742 |       14
109.18/109.27	c 37.8s |      15 |   128231 |    87632 |     6482     23 |      742 |       14
111.18/111.28	c 39.8s |      15 |   135165 |    92432 |     6482     25 |      742 |       14
113.17/113.28	c 41.8s |      15 |   142312 |    97332 |     6482     26 |      742 |       14
115.27/115.31	c 43.9s |      15 |   149629 |   102332 |     6482     27 |      742 |       14
117.27/117.31	c 45.9s |      15 |   156514 |   107232 |     6482     29 |      742 |       14
119.27/119.34	c 47.9s |      15 |   163385 |   112232 |     6482     30 |      742 |       14
121.27/121.34	c 49.9s |      15 |   170242 |   117170 |     6482     31 |      743 |       15
121.27/121.34	c #cpu_time = 49.904s
121.27/121.34	c #wall_clock_time = 49.905s
121.27/121.34	c #decision = 170242
121.27/121.34	c #random_decision = 382
121.27/121.34	c #conflict = 117170
121.27/121.34	c #restart = 15
121.27/121.34	c BCD2: updating lower bound of a core
121.27/121.34	c lower bound updated to 13
121.27/121.34	c BCD2: 13 <= obj <= 19
121.27/121.34	c BCD2: #cores=1, #unrelaxed=1, #relaxed=162, #hardened=736
121.27/121.34	c BCD2: #sat=5 #unsat=5 bias=5/10
121.27/121.34	c Solving starts ...
121.27/121.34	c ============================[ Search Statistics ]============================
121.27/121.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
121.27/121.34	c       |         |          |          |    Limit     GC | Var      | Constra 
121.27/121.34	c =============================================================================
121.27/121.34	c  0.0s |       0 |        0 |        0 |     6482      0 |      743 |       15
121.77/121.81	c  0.5s |       1 |      157 |      100 |     6482      0 |      743 |       15
121.87/121.95	c  0.6s |       2 |      360 |      250 |     6482      0 |      743 |       15
121.97/122.09	c  0.7s |       3 |      751 |      475 |     6482      0 |      743 |       15
122.18/122.21	c  0.9s |       4 |     1302 |      813 |     6482      0 |      743 |       15
122.47/122.50	c  1.2s |       5 |     2091 |     1320 |     6482      0 |      743 |       15
122.77/122.86	c  1.5s |       6 |     3324 |     2081 |     6482      0 |      743 |       15
123.28/123.36	c  2.0s |       7 |     4991 |     3223 |     7131      0 |      743 |       15
124.07/124.14	c  2.8s |       8 |     7580 |     4936 |     7131      0 |      743 |       15
125.27/125.30	c  4.0s |       9 |    11483 |     7506 |     7131      1 |      743 |       15
126.97/127.08	c  5.7s |      10 |    16670 |    11361 |     7131      2 |      743 |       15
129.07/129.12	c  7.8s |      10 |    22573 |    15461 |     7131      3 |      743 |       15
129.88/129.95	c  8.6s |      11 |    24924 |    17144 |     7131      3 |      743 |       15
131.87/131.95	c 10.6s |      11 |    30752 |    20944 |     7131      4 |      743 |       15
133.87/133.97	c 12.6s |      11 |    36935 |    25144 |     7131      5 |      743 |       15
134.28/134.32	c 13.0s |      12 |    37969 |    25819 |     7131      5 |      743 |       15
136.27/136.36	c 15.0s |      12 |    43707 |    29919 |     7131      6 |      743 |       15
138.37/138.40	c 17.1s |      12 |    49345 |    34019 |     7131      8 |      743 |       15
140.37/140.44	c 19.1s |      12 |    55378 |    38119 |     7131      9 |      743 |       15
140.67/140.72	c 19.4s |      13 |    56580 |    38832 |     7131      9 |      743 |       15
142.67/142.75	c 21.4s |      13 |    63563 |    43132 |     7131     10 |      743 |       15
144.67/144.78	c 23.4s |      13 |    70322 |    47532 |     7131     11 |      743 |       15
146.77/146.80	c 25.5s |      13 |    76230 |    51632 |     7131     12 |      743 |       15
148.76/148.82	c 27.5s |      13 |    82794 |    55732 |     7131     13 |      743 |       15
150.06/150.13	c 28.8s |      14 |    87102 |    58352 |     7131     14 |      743 |       15
152.06/152.17	c 30.8s |      14 |    92463 |    62152 |     7131     15 |      743 |       15
154.16/154.21	c 32.9s |      14 |    99605 |    66752 |     7131     16 |      743 |       15
156.17/156.27	c 34.9s |      14 |   105416 |    70752 |     7131     17 |      743 |       15
158.16/158.28	c 36.9s |      14 |   112009 |    75252 |     7131     18 |      743 |       15
160.16/160.28	c 38.9s |      14 |   117380 |    78952 |     7131     19 |      743 |       15
162.26/162.32	c 41.0s |      14 |   125042 |    83652 |     7131     20 |      743 |       15
164.06/164.13	c 42.8s |      15 |   131374 |    87632 |     7131     21 |      743 |       15
166.07/166.17	c 44.8s |      15 |   136916 |    91532 |     7131     22 |      743 |       15
168.06/168.19	c 46.8s |      15 |   143124 |    95832 |     7131     23 |      743 |       15
170.16/170.22	c 48.9s |      15 |   149816 |   100332 |     7131     24 |      743 |       15
172.16/172.23	c 50.9s |      15 |   155677 |   104432 |     7131     25 |      743 |       15
174.16/174.25	c 52.9s |      15 |   161604 |   108532 |     7131     26 |      743 |       15
176.16/176.26	c 54.9s |      15 |   168030 |   113032 |     7131     27 |      743 |       15
178.16/178.26	c 56.9s |      15 |   174744 |   117432 |     7131     28 |      743 |       15
180.17/180.29	c 58.9s |      15 |   180297 |   121432 |     7131     29 |      743 |       15
182.27/182.35	c 61.0s |      15 |   186294 |   125432 |     7131     31 |      743 |       15
184.27/184.36	c 63.0s |      15 |   193550 |   130332 |     7131     32 |      743 |       15
184.77/184.87	c 63.5s |      16 |   195287 |   131552 |     7131     32 |      743 |       15
186.36/186.45	c 65.1s |      16 |   200440 |   134894 |     7131     33 |      743 |       15
186.36/186.45	c #cpu_time = 65.110s
186.36/186.45	c #wall_clock_time = 65.111s
186.36/186.45	c #decision = 200440
186.36/186.45	c #random_decision = 448
186.36/186.45	c #conflict = 134894
186.36/186.45	c #restart = 16
186.36/186.45	o 16
186.36/186.45	c BCD2: hardening fixes 40 literals
186.36/186.45	c BCD2: updating upper bound: 19 -> 15
186.36/186.45	c BCD2: 13 <= obj <= 15
186.36/186.45	c BCD2: #cores=1, #unrelaxed=0, #relaxed=123, #hardened=776
186.36/186.45	c BCD2: #sat=6 #unsat=5 bias=5/11
186.36/186.46	c Solving starts ...
186.36/186.46	c ============================[ Search Statistics ]============================
186.36/186.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
186.36/186.46	c       |         |          |          |    Limit     GC | Var      | Constra 
186.36/186.46	c =============================================================================
186.36/186.46	c  0.0s |       0 |        0 |        0 |     7131      0 |      783 |       17
186.46/186.51	c  0.1s |       1 |      140 |      100 |     7131      0 |      783 |       17
186.46/186.59	c  0.1s |       2 |      447 |      250 |     7131      0 |      783 |       17
186.56/186.70	c  0.2s |       3 |      885 |      475 |     7131      0 |      783 |       17
186.76/186.88	c  0.4s |       4 |     1412 |      813 |     7131      0 |      783 |       17
187.07/187.12	c  0.7s |       5 |     2169 |     1320 |     7131      0 |      783 |       17
187.46/187.52	c  1.1s |       6 |     3371 |     2081 |     7131      0 |      783 |       17
187.96/188.05	c  1.6s |       7 |     5075 |     3223 |     7131      1 |      783 |       17
188.76/188.84	c  2.4s |       8 |     7887 |     4936 |     7131      1 |      783 |       17
189.96/190.02	c  3.6s |       9 |    11768 |     7506 |     7131      2 |      783 |       17
191.76/191.81	c  5.4s |      10 |    17345 |    11361 |     7131      3 |      783 |       17
193.76/193.84	c  7.4s |      10 |    23205 |    15561 |     7845      4 |      783 |       17
194.46/194.51	c  8.1s |      11 |    25570 |    17144 |     7845      4 |      783 |       17
196.46/196.51	c 10.1s |      11 |    31113 |    21044 |     7845      5 |      783 |       17
198.46/198.54	c 12.1s |      11 |    36041 |    24744 |     7845      6 |      783 |       17
198.96/199.07	c 12.6s |      12 |    37671 |    25819 |     7845      6 |      783 |       17
201.06/201.10	c 14.6s |      12 |    43882 |    30119 |     7845      7 |      783 |       17
203.06/203.11	c 16.7s |      12 |    49943 |    34519 |     7845      8 |      783 |       17
205.06/205.15	c 18.7s |      12 |    55951 |    38819 |     7845      9 |      783 |       17
205.06/205.16	c 18.7s |      13 |    55968 |    38832 |     7845      9 |      783 |       17
207.06/207.16	c 20.7s |      13 |    62293 |    43332 |     7845     10 |      783 |       17
207.06/207.19	c 20.7s |      13 |    62301 |    43348 |     7845     10 |      784 |       19
207.06/207.19	c #cpu_time = 20.731s
207.06/207.19	c #wall_clock_time = 20.735s
207.06/207.19	c #decision = 62301
207.06/207.19	c #random_decision = 228
207.06/207.19	c #conflict = 43348
207.06/207.19	c #restart = 13
207.06/207.19	c BCD2: updating lower bound of a core
207.06/207.19	c lower bound updated to 15
207.06/207.19	c BCD2: 15 <= obj <= 15
207.06/207.19	c BCD2: #cores=1, #unrelaxed=0, #relaxed=123, #hardened=776
207.06/207.19	c BCD2: #sat=6 #unsat=6 bias=6/12
207.06/207.19	c Solving starts ...
207.06/207.19	c ============================[ Search Statistics ]============================
207.06/207.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
207.06/207.19	c       |         |          |          |    Limit     GC | Var      | Constra 
207.06/207.19	c =============================================================================
207.06/207.19	c  0.0s |       0 |        0 |        0 |     7845      0 |      784 |       19
207.55/207.68	c  0.5s |       1 |      164 |      100 |     7845      0 |      784 |       19
207.65/207.74	c  0.5s |       2 |      441 |      250 |     7845      0 |      784 |       19
207.75/207.81	c  0.6s |       3 |      915 |      475 |     7845      0 |      784 |       19
207.86/207.97	c  0.8s |       4 |     1370 |      813 |     7845      0 |      784 |       19
208.15/208.20	c  1.0s |       5 |     2166 |     1320 |     7845      0 |      784 |       19
208.45/208.51	c  1.3s |       6 |     3276 |     2081 |     7845      0 |      784 |       19
208.85/208.98	c  1.8s |       7 |     4938 |     3223 |     7845      0 |      784 |       19
209.75/209.87	c  2.7s |       8 |     7272 |     4936 |     7845      0 |      784 |       19
211.05/211.15	c  4.0s |       9 |    10816 |     7506 |     7845      1 |      784 |       19
213.05/213.16	c  6.0s |       9 |    15768 |    11206 |     7845      2 |      784 |       19
213.15/213.24	c  6.0s |      10 |    15992 |    11361 |     7845      2 |      784 |       19
215.15/215.24	c  8.0s |      10 |    21610 |    15261 |     7845      3 |      784 |       19
216.05/216.11	c  8.9s |      11 |    24454 |    17144 |     7845      3 |      784 |       19
218.05/218.17	c 11.0s |      11 |    30434 |    21244 |     7845      4 |      784 |       19
220.05/220.19	c 13.0s |      11 |    35710 |    24744 |     7845      5 |      784 |       19
220.64/220.73	c 13.5s |      12 |    37207 |    25819 |     7845      5 |      784 |       19
222.64/222.76	c 15.6s |      12 |    42656 |    29619 |     7845      6 |      784 |       19
224.64/224.78	c 17.6s |      12 |    48549 |    33819 |     7845      7 |      784 |       19
226.74/226.81	c 19.6s |      12 |    54045 |    37819 |     7845      8 |      784 |       19
227.14/227.28	c 20.1s |      13 |    55557 |    38832 |     7845      8 |      784 |       19
229.24/229.30	c 22.1s |      13 |    61355 |    43032 |     7845      9 |      784 |       19
231.24/231.33	c 24.1s |      13 |    67161 |    47332 |     7845     10 |      784 |       19
232.44/232.53	c 25.3s |      13 |    70282 |    49655 |     7845     11 |      785 |       21
232.44/232.53	c #cpu_time = 25.332s
232.44/232.53	c #wall_clock_time = 25.341s
232.44/232.53	c #decision = 70282
232.44/232.53	c #random_decision = 251
232.44/232.53	c #conflict = 49655
232.44/232.53	c #restart = 13
232.44/232.53	c BCD2: updating lower bound of a core
232.44/232.53	c lower bound updated to 16
232.44/232.54	s OPTIMUM FOUND
232.44/232.54	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
232.44/232.54	v x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20
232.44/232.54	v -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30
232.44/232.54	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40
232.44/232.54	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
232.44/232.54	v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
232.44/232.54	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
232.44/232.54	v -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80
232.44/232.54	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
232.44/232.54	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
232.44/232.54	v -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
232.44/232.54	v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
232.44/232.54	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
232.44/232.54	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140
232.44/232.54	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
232.44/232.54	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
232.44/232.54	v -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
232.44/232.54	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
232.44/232.54	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
232.44/232.54	v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
232.44/232.54	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
232.44/232.54	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
232.44/232.54	v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230
232.44/232.54	v -x231
232.44/232.54	c total CPU time = 232.523s
232.44/232.54	c total wall clock time = 232.538s

Verifier Data 

OK	16

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

pid=19079
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.23 2.28 2.27 3/179 19082
/proc/meminfo: memFree=29361708/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=661948 CPUtime=0 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 2458 0 0 0 0 0 0 0 20 0 4 0 10779200 677834752 2308 33554432000 4194304 16246674 140733594807680 140733594807104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 165999 2317 441 2943 0 162893 0
[pid=19082/tid=19083] ppid=19079 vsize=679356 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 695660544 2377 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=683452 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 699854848 2394 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779200 704049152 2410 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 19082
/proc/meminfo: memFree=29361708/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 24630 0 0 0 6 3 0 0 20 0 4 0 10779200 1247350784 24473 33554432000 4194304 16246674 140733594807680 140733594807104 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 304529 24478 620 2943 0 301423 0
[pid=19082/tid=19083] ppid=19079 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1247350784 24483 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1247350784 24486 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779200 1247350784 24488 33554432000 4194304 16246674 140733594807680 139803224951984 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.200538 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 19082
/proc/meminfo: memFree=29361708/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 40348 0 0 0 13 6 0 0 20 0 4 0 10779200 1251545088 40162 33554432000 4194304 16246674 140733594807680 140733594806992 6010181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 305553 40162 858 2943 0 302447 0
[pid=19082/tid=19083] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 40162 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 40162 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 40162 33554432000 4194304 16246674 140733594807680 139803224951984 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) 1222212

[startup+0.300494 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 19082
/proc/meminfo: memFree=29361708/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 40362 0 0 0 23 6 0 0 20 0 4 0 10779200 1251545088 40176 33554432000 4194304 16246674 140733594807680 140733594806992 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 305553 40176 867 2943 0 302447 0
[pid=19082/tid=19083] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 40176 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 40176 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 40176 33554432000 4194304 16246674 140733594807680 139803224951984 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) 1222212

[startup+0.700409 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 19082
/proc/meminfo: memFree=29361708/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 129536 0 0 0 52 17 0 0 20 0 4 0 10779200 1251545088 129350 33554432000 4194304 16246674 140733594807680 140733594789568 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 305553 129358 867 2943 0 302447 0
[pid=19082/tid=19083] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 129362 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 129364 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1251545088 129367 33554432000 4194304 16246674 140733594807680 139803224951984 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) 1222212

[startup+1.50043 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 19086
/proc/meminfo: memFree=28503596/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 266311 0 0 0 114 35 0 0 20 0 4 0 10779200 1332285440 266125 33554432000 4194304 16246674 140733594807680 140733594789568 6020686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 325265 266125 870 2943 0 322159 0
[pid=19082/tid=19083] ppid=19079 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1332285440 266125 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1332285440 266125 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1332285440 266125 33554432000 4194304 16246674 140733594807680 139803224951984 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) 1301060

[startup+3.10044 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 19086
/proc/meminfo: memFree=28291184/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1310276 CPUtime=3.08 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 268691 0 0 0 273 35 0 0 20 0 4 0 10779200 1341722624 268505 33554432000 4194304 16246674 140733594807680 140733594789568 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 327569 268505 875 2943 0 324463 0
[pid=19082/tid=19083] ppid=19079 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1341722624 268505 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1341722624 268505 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1341722624 268505 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1310276

[startup+6.30044 s]
/proc/loadavg: 2.21 2.27 2.27 3/183 19086
/proc/meminfo: memFree=28288148/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1310276 CPUtime=6.28 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 268691 0 0 0 593 35 0 0 20 0 4 0 10779200 1341722624 268505 33554432000 4194304 16246674 140733594807680 140733594789568 5545984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 327569 268505 875 2943 0 324463 0
[pid=19082/tid=19083] ppid=19079 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1341722624 268505 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1341722624 268505 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1341722624 268505 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.19 2.27 2.26 3/183 19086
/proc/meminfo: memFree=28287076/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 268956 0 0 0 1233 36 0 0 20 0 4 0 10779200 1342771200 268770 33554432000 4194304 16246674 140733594807680 140733594789568 5600804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 327825 268770 884 2943 0 324719 0
[pid=19082/tid=19083] ppid=19079 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1342771200 268770 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1342771200 268770 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1342771200 268770 33554432000 4194304 16246674 140733594807680 139803224951984 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) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.29 2.29 2.27 3/183 19086
/proc/meminfo: memFree=28285872/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 269213 0 0 0 2513 36 0 0 20 0 4 0 10779200 1343819776 269027 33554432000 4194304 16246674 140733594807680 140733594789568 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 328081 269027 885 2943 0 324975 0
[pid=19082/tid=19083] ppid=19079 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1343819776 269027 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1343819776 269027 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1343819776 269027 33554432000 4194304 16246674 140733594807680 139803224951984 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) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.32 2.29 2.27 3/183 19086
/proc/meminfo: memFree=28284420/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 269469 0 0 0 5072 36 0 0 20 0 4 0 10779200 1344868352 269283 33554432000 4194304 16246674 140733594807680 140733594790680 5711318 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 328337 269283 885 2943 0 325231 0
[pid=19082/tid=19083] ppid=19079 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1344868352 269283 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1344868352 269283 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1344868352 269283 33554432000 4194304 16246674 140733594807680 139803224951984 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) 1313348

[startup+102.301 s]
/proc/loadavg: 2.36 2.31 2.28 3/184 19090
/proc/meminfo: memFree=28270724/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=102.28 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272797 0 0 0 10191 37 0 0 20 0 4 0 10779200 1358499840 272611 33554432000 4194304 16246674 140733594807680 140733594789568 5822989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272611 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272611 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272611 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272611 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1326660

[startup+162.3 s]
/proc/loadavg: 2.36 2.31 2.28 3/183 19091
/proc/meminfo: memFree=28266432/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=162.26 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272797 0 0 0 16189 37 0 0 20 0 4 0 10779200 1358499840 272611 33554432000 4194304 16246674 140733594807680 140733594789568 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272611 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272611 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272611 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272611 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1326660

[startup+222.308 s]
/proc/loadavg: 2.46 2.34 2.29 4/183 19190
/proc/meminfo: memFree=28868700/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=222.25 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272813 0 0 0 22187 38 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 140733594790680 5824045 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272867 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1326660

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

[startup+224 s]
/proc/loadavg: 2.46 2.34 2.29 3/183 19190
/proc/meminfo: memFree=28868824/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=223.94 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272813 0 0 0 22356 38 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 140733594790680 5827969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272867 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 223.94
Current children cumulated vsize (KiB) 1326660

[startup+227.2 s]
/proc/loadavg: 2.42 2.34 2.28 3/183 19190
/proc/meminfo: memFree=28869328/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=227.14 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272813 0 0 0 22676 38 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 140733594789568 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272867 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 227.14
Current children cumulated vsize (KiB) 1326660

[startup+230.4 s]
/proc/loadavg: 2.39 2.33 2.28 3/183 19190
/proc/meminfo: memFree=28868616/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=230.34 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272817 0 0 0 22996 38 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 140733594789568 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272867 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 230.34
Current children cumulated vsize (KiB) 1326660

[startup+231.2 s]
/proc/loadavg: 2.39 2.33 2.28 3/183 19190
/proc/meminfo: memFree=28868740/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=231.14 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272817 0 0 0 23076 38 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 140733594789568 5673882 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272867 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 231.14
Current children cumulated vsize (KiB) 1326660

[startup+232 s]
/proc/loadavg: 2.39 2.33 2.28 3/183 19190
/proc/meminfo: memFree=28868740/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=231.94 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272817 0 0 0 23156 38 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 140733594790680 5677563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272867 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 231.94
Current children cumulated vsize (KiB) 1326660

[startup+232.4 s]
/proc/loadavg: 2.39 2.33 2.28 3/182 19190
/proc/meminfo: memFree=28868864/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=232.34 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272817 0 0 0 23196 38 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 140733594790680 14017682 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272867 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 232.34
Current children cumulated vsize (KiB) 1326660

[startup+232.5 s]
/proc/loadavg: 2.39 2.33 2.28 3/182 19190
/proc/meminfo: memFree=28868864/32872528 swapFree=1402008/1579836
[pid=19082] ppid=19079 vsize=1326660 CPUtime=232.44 cores=1,3,5,7
/proc/19082/stat : 19082 (toysat) R 19079 19082 13870 0 -1 4202496 272817 0 0 0 23206 38 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 140733594790680 6021664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19082/statm: 331665 272867 885 2943 0 328559 0
[pid=19082/tid=19083] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19083/stat : 19083 (toysat) S 19079 19082 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803245915376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19082/tid=19084] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19084/stat : 19084 (toysat) S 19079 19082 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803235425520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19082/tid=19085] ppid=19079 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/19082/task/19085/stat : 19085 (toysat) S 19079 19082 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10779200 1358499840 272867 33554432000 4194304 16246674 140733594807680 139803224951984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 232.44
Current children cumulated vsize (KiB) 1326660

Child status: 0
Real time (s): 232.598
CPU time (s): 232.549
CPU user time (s): 232.105
CPU system time (s): 0.443932
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 1326660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.105
system time used= 0.443932
maximum resident set size= 1091476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272821
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= 40
involuntary context switches= 238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41378 second user time and 1.68874 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 16:28:55
IDJOB=4093347
IDBENCH=78968
IDSOLVER=2553
FILE ID=node139/4093347-1466087335
RUNJOBID= node139-1466075487-16984
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093347-1466087335/watcher-4093347-1466087335 -o /tmp/evaluation-result-4093347-1466087335/solver-4093347-1466087335 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16984 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093347-1466087335.wbo

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

MD5SUM BENCH= 404f4a35cd4ec5708f20e119eb7d26f2
RANDOM SEED=1722873862

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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.500
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.56
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.500
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.500
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:        29362236 kB
Buffers:           37752 kB
Cached:           108836 kB
SwapCached:          960 kB
Active:          1159300 kB
Inactive:          69624 kB
Active(anon):    1083316 kB
Inactive(anon):     1240 kB
Active(file):      75984 kB
Inactive(file):    68384 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             16380 kB
Writeback:             0 kB
AnonPages:       2661588 kB
Mapped:            10916 kB
Shmem:                 0 kB
Slab:             567776 kB
SReclaimable:      11996 kB
SUnreclaim:       555780 kB
KernelStack:        1480 kB
PageTables:         9388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2805396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71596 MiB
End job on node139 at 2016-06-16 16:32:47