Trace number 4080195

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 411.142 411.206

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=37-P2=107-P3=53-P4=53-B.opb
MD5SUM3c1c5627c2ecb7d046a74fd6c2fb2be3
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.049992
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 variables84
Total number of constraints9
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 constraints9
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)196
Sum of products size (including duplicates)392
Number of different products196
Sum of products size392

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-07T01:05:08+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-4080195-1465254308.opb"]
0.00/0.01	c use --random-gen="893258232 439394165 159861940 3384849976 3887123796 2471778626 4028609904 2638411228 3495242039 983654933 430085449 742745736 4128264373 1221194417 3701548000 2775834659 2638283428 431699304 1269101857 3437847631 3239297221 911967097 1289321233 3221217113 3570199866 3782987514 483503013 283318748 2502180219 2825994238 3400285733 3507325471 2721527338 1163841407 2562939817 1385858377 951782371 465590970 2001362279 3331859626 124451326 456797369 1631354947 149241669 2350821244 562579144 2321789104 1846569346 1268649541 3319030058 1373925317 3045739635 354423110 1492782411 4262562765 6442248 1478891361 2889801647 1463019665 3316826865 719348908 3603588907 3648198756 3359031894 1318012175 2330789763 554197842 1937112378 2289765822 2224340499 2016844562 1549148725 1205724083 753901746 642990659 2595998044 2706139444 2849465894 3177029960 1326501828 1621447406 981727170 4206990936 1171996564 3955515657 3761303916 2800176180 1880438846 492453115 2925080965 2299128199 2680758495 115595782 2373760698 2063414158 2043780868 4121485772 588330738 2930721194 678086971 836031299 1169895811 2310696340 270590159 4152466045 1434574740 993461257 3362040126 3214234464 3930397362 1390207326 1814733046 89279470 4043302746 654894063 3491400403 4234125940 2715031826 3276320276 2713252344 1182437214 373030711 1882334058 1517769694 1278815917 1603969969 879177683 1612018852 739072578 1233029357 1126660600 3734119200 4270365553 1619582850 819900604 1847737260 2091948980 2526100561 1877734289 337278791 2410217711 246932726 442607788 3496899770 1496632037 2682082926 1930389310 2495946162 1200014731 2938175069 409234124 689648921 3867991607 532768980 3968162186 1601585478 1702240659 3693833156 3910840851 2571924981 1803303305 784284089 3904701739 50622396 3417081822 2459789720 3357042571 813400641 3021661345 851748654 2291235774 3931411281 134781247 1277007530 3115131265 3226879891 469067400 1136558638 4131445283 1373539151 3371838179 3246291740 4017933072 1481098985 378595814 1803261985 3879945668 1812674452 2488556609 729748856 2982961288 2101966725 2350225881 666651184 3969237398 4288744351 3298546629 765657528 1554033283 2146021604 3934205923 4155812931 4016007013 2519287277 2791024646 3063853391 1619523193 2554043282 1154387822 3984683158 3569730233 4192494928 3051108163 1016050421 1001176739 3900443819 281279616 863152467 521568101 1362561279 4153754640 570387171 3900294802 2812992843 53703652 2991386610 504119278 156140006 2826506983 1285390692 132316374 50004269 1086068727 2698468628 1578857728 772669110 2675164019 2467017299 3170012214 647241594 1831733284 2254483161 1517686006 3537224288 1301661727 4292334676 358781634 213358701 3738467856 2554482688 186318113 3056827325 3561060488 1452062946 3994687556 2710906543 255 362436" option to reproduce the execution
0.00/0.01	c #vars 84
0.00/0.01	c #constraints 9
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.02	c  0.0s |       0 |        0 |        0 |      293      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      109 |      100 |      293      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      287 |      250 |      323      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      563 |      475 |      356      0 |        0 |        0
0.19/0.21	c  0.2s |       4 |      942 |      813 |      392      2 |        0 |        0
0.19/0.27	c  0.3s |       4 |     1277 |     1112 |      432      2 |        0 |        0
0.19/0.27	c #cpu_time = 0.252s
0.19/0.27	c #wall_clock_time = 0.253s
0.19/0.27	c #decision = 1277
0.19/0.27	c #random_decision = 2
0.19/0.27	c #conflict = 1112
0.19/0.27	c #restart = 4
0.19/0.27	o 15
0.19/0.27	c BCD2: hardening fixes 3 literals
0.19/0.27	c BCD2: updating upper bound: 127 -> 14
0.19/0.27	c BCD2: 0 <= obj <= 14
0.19/0.27	c BCD2: #cores=0, #unrelaxed=4, #relaxed=0, #hardened=3
0.19/0.27	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |      432      0 |       27 |        0
0.19/0.27	c  0.0s |       0 |        2 |        0 |      432      1 |       27 |       63
0.19/0.27	c #cpu_time = 0.004s
0.19/0.27	c #wall_clock_time = 0.004s
0.19/0.27	c #decision = 2
0.19/0.27	c #random_decision = 0
0.19/0.27	c #conflict = 0
0.19/0.27	c #restart = 0
0.19/0.27	c BCD2: found a new core of size 3: cost of the new core is >=2
0.19/0.27	c lower bound updated to 2
0.19/0.27	c BCD2: 2 <= obj <= 14
0.19/0.27	c BCD2: #cores=1, #unrelaxed=1, #relaxed=3, #hardened=3
0.19/0.27	c BCD2: #sat=1 #unsat=2 bias=2/3
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |      432      0 |       27 |       63
0.28/0.33	c  0.1s |       1 |      143 |      100 |      432      0 |       27 |       63
0.28/0.37	c  0.1s |       2 |      492 |      250 |      476      0 |       27 |       63
0.39/0.44	c  0.2s |       3 |      805 |      475 |      476      1 |       27 |       63
0.49/0.55	c  0.3s |       4 |     1244 |      813 |      476      2 |       27 |       63
0.59/0.66	c  0.4s |       5 |     1890 |     1320 |      524      3 |       27 |       63
0.79/0.86	c  0.6s |       6 |     2732 |     2081 |      524      6 |       27 |       63
1.10/1.12	c  0.9s |       7 |     4124 |     3223 |      577      8 |       27 |       63
1.49/1.50	c  1.2s |       8 |     5993 |     4936 |      635     12 |       27 |       63
1.89/1.94	c  1.7s |       9 |     8753 |     7506 |      699     18 |       27 |       63
2.59/2.69	c  2.4s |      10 |    12819 |    11361 |      769     27 |       27 |       63
3.79/3.80	c  3.5s |      11 |    19271 |    17144 |      846     38 |       27 |       63
5.49/5.54	c  5.3s |      12 |    28446 |    25819 |      931     54 |       27 |       63
7.48/7.54	c  7.3s |      12 |    39926 |    36419 |      931     73 |       27 |       63
7.98/8.05	c  7.8s |      13 |    42440 |    38832 |     1025     77 |       27 |       63
9.99/10.07	c  9.8s |      13 |    52495 |    47932 |     1025     92 |       27 |       63
11.99/12.07	c 11.8s |      13 |    62672 |    56932 |     1128    106 |       27 |       63
12.39/12.40	c 12.1s |      14 |    64317 |    58352 |     1128    108 |       27 |       63
14.40/14.40	c 14.1s |      14 |    75879 |    69152 |     1128    125 |       27 |       63
16.39/16.41	c 16.1s |      14 |    87570 |    79752 |     1128    141 |       27 |       63
17.89/17.94	c 17.7s |      15 |    96045 |    87632 |     1241    152 |       27 |       63
19.90/19.98	c 19.7s |      15 |   104885 |    95632 |     1241    164 |       27 |       63
21.89/22.00	c 21.7s |      15 |   113238 |   103232 |     1241    174 |       27 |       63
23.99/24.01	c 23.7s |      15 |   123694 |   112932 |     1241    188 |       27 |       63
25.99/26.03	c 25.8s |      15 |   132859 |   121432 |     1241    200 |       27 |       63
27.99/28.03	c 27.8s |      15 |   143592 |   131232 |     1366    213 |       27 |       63
28.09/28.10	c 27.8s |      16 |   143941 |   131552 |     1366    214 |       27 |       63
30.09/30.11	c 29.8s |      16 |   154951 |   141852 |     1366    227 |       27 |       63
32.09/32.12	c 31.8s |      16 |   165992 |   151952 |     1366    240 |       27 |       63
34.09/34.13	c 33.9s |      16 |   176606 |   161852 |     1366    253 |       27 |       63
36.08/36.14	c 35.9s |      16 |   187003 |   171452 |     1366    265 |       27 |       63
38.08/38.16	c 37.9s |      16 |   197120 |   180952 |     1366    277 |       27 |       63
40.08/40.17	c 39.9s |      16 |   207750 |   190852 |     1366    290 |       27 |       63
41.48/41.54	c 41.3s |      17 |   215016 |   197432 |     1503    298 |       27 |       63
43.48/43.58	c 43.3s |      17 |   223784 |   205732 |     1503    308 |       27 |       63
45.48/45.59	c 45.3s |      17 |   232658 |   213732 |     1503    318 |       27 |       63
47.48/47.59	c 47.3s |      17 |   241922 |   222332 |     1503    328 |       27 |       63
49.49/49.60	c 49.3s |      17 |   252541 |   232132 |     1503    340 |       27 |       63
51.58/51.61	c 51.3s |      17 |   263016 |   241932 |     1503    352 |       27 |       63
53.58/53.62	c 53.4s |      17 |   273025 |   251032 |     1503    363 |       27 |       63
55.58/55.64	c 55.4s |      17 |   281493 |   258732 |     1503    372 |       27 |       63
57.58/57.66	c 57.4s |      17 |   290722 |   266932 |     1503    381 |       27 |       63
59.58/59.69	c 59.4s |      17 |   300961 |   276232 |     1503    392 |       27 |       63
61.68/61.71	c 61.4s |      17 |   311179 |   285232 |     1503    403 |       27 |       63
63.68/63.72	c 63.4s |      17 |   321393 |   294632 |     1654    415 |       27 |       63
63.98/64.07	c 63.8s |      18 |   323184 |   296252 |     1654    416 |       27 |       63
65.98/66.09	c 65.8s |      18 |   334585 |   306652 |     1654    428 |       27 |       63
68.07/68.11	c 67.8s |      18 |   345797 |   317152 |     1654    439 |       27 |       63
70.07/70.12	c 69.8s |      18 |   357056 |   327652 |     1654    450 |       27 |       63
72.08/72.14	c 71.9s |      18 |   368841 |   338752 |     1654    463 |       27 |       63
74.08/74.14	c 73.9s |      18 |   379400 |   348752 |     1654    473 |       27 |       63
76.08/76.16	c 75.9s |      18 |   387218 |   355852 |     1654    481 |       27 |       63
78.09/78.18	c 77.9s |      18 |   395478 |   363552 |     1654    489 |       27 |       63
80.18/80.21	c 79.9s |      18 |   403925 |   371452 |     1654    498 |       27 |       63
82.18/82.22	c 81.9s |      18 |   413543 |   380252 |     1654    507 |       27 |       63
84.18/84.23	c 84.0s |      18 |   422508 |   388252 |     1654    516 |       27 |       63
86.18/86.28	c 86.0s |      18 |   430863 |   395852 |     1654    524 |       27 |       63
88.28/88.30	c 88.0s |      18 |   439459 |   403952 |     1654    533 |       27 |       63
90.29/90.33	c 90.1s |      18 |   448988 |   412652 |     1654    543 |       27 |       63
92.28/92.34	c 92.1s |      18 |   457931 |   421052 |     1654    552 |       27 |       63
94.28/94.36	c 94.1s |      18 |   466731 |   429052 |     1654    561 |       27 |       63
96.28/96.37	c 96.1s |      18 |   475555 |   437052 |     1654    569 |       27 |       63
97.88/97.98	c 97.7s |      19 |   483455 |   444482 |     1820    577 |       27 |       63
99.97/100.00	c 99.7s |      19 |   494455 |   455282 |     1820    588 |       27 |       63
101.97/102.00	c  101s |      19 |   504773 |   465382 |     1820    598 |       27 |       63
103.97/104.02	c  103s |      19 |   513891 |   474282 |     1820    607 |       27 |       63
105.97/106.04	c  105s |      19 |   523292 |   482682 |     1820    615 |       27 |       63
107.97/108.06	c  107s |      19 |   532502 |   491282 |     1820    624 |       27 |       63
109.98/110.07	c  109s |      19 |   541312 |   499682 |     1820    633 |       27 |       63
111.97/112.07	c  111s |      19 |   549959 |   507882 |     1820    641 |       27 |       63
113.97/114.08	c  113s |      19 |   558767 |   516482 |     1820    649 |       27 |       63
115.97/116.09	c  115s |      19 |   568553 |   526082 |     1820    659 |       27 |       63
117.97/118.09	c  117s |      19 |   578631 |   535882 |     1820    669 |       27 |       63
120.07/120.10	c  119s |      19 |   588974 |   545982 |     1820    679 |       27 |       63
122.07/122.11	c  121s |      19 |   598986 |   555782 |     1820    689 |       27 |       63
124.07/124.11	c  123s |      19 |   608261 |   564882 |     1820    698 |       27 |       63
126.07/126.12	c  125s |      19 |   617197 |   573582 |     1820    707 |       27 |       63
128.07/128.13	c  127s |      19 |   627028 |   583082 |     1820    716 |       27 |       63
130.07/130.13	c  129s |      19 |   637266 |   593082 |     1820    726 |       27 |       63
132.07/132.13	c  131s |      19 |   646716 |   602182 |     1820    735 |       27 |       63
134.07/134.14	c  133s |      19 |   656718 |   611882 |     1820    745 |       27 |       63
136.07/136.15	c  135s |      19 |   666488 |   621282 |     1820    755 |       27 |       63
138.07/138.17	c  137s |      19 |   675701 |   630182 |     1820    764 |       27 |       63
140.07/140.18	c  139s |      19 |   684705 |   638782 |     1820    772 |       27 |       63
142.07/142.18	c  141s |      19 |   694793 |   648082 |     1820    782 |       27 |       63
144.08/144.20	c  143s |      19 |   704658 |   657282 |     1820    791 |       27 |       63
146.17/146.21	c  145s |      19 |   714111 |   665982 |     2003    799 |       27 |       63
146.27/146.39	c  146s |      20 |   715105 |   666827 |     2003    800 |       27 |       63
148.37/148.40	c  148s |      20 |   724521 |   675027 |     2003    808 |       27 |       63
150.37/150.40	c  150s |      20 |   733174 |   682427 |     2003    815 |       27 |       63
152.36/152.42	c  152s |      20 |   742593 |   690927 |     2003    823 |       27 |       63
154.36/154.43	c  154s |      20 |   752259 |   699827 |     2003    831 |       27 |       63
156.36/156.44	c  156s |      20 |   762299 |   709127 |     2003    840 |       27 |       63
158.37/158.46	c  158s |      20 |   771273 |   717627 |     2003    848 |       27 |       63
160.36/160.47	c  160s |      20 |   779709 |   725427 |     2003    855 |       27 |       63
162.36/162.49	c  162s |      20 |   789788 |   734727 |     2003    864 |       27 |       63
164.46/164.50	c  164s |      20 |   800444 |   744827 |     2003    873 |       27 |       63
166.46/166.51	c  166s |      20 |   810236 |   754027 |     2003    882 |       27 |       63
168.46/168.51	c  168s |      20 |   820427 |   763527 |     2003    891 |       27 |       63
170.47/170.53	c  170s |      20 |   830164 |   772527 |     2003    899 |       27 |       63
172.46/172.54	c  172s |      20 |   840246 |   781927 |     2003    908 |       27 |       63
174.46/174.55	c  174s |      20 |   850147 |   790827 |     2003    916 |       27 |       63
176.46/176.57	c  176s |      20 |   860142 |   799727 |     2003    924 |       27 |       63
178.46/178.57	c  178s |      20 |   869754 |   808727 |     2003    933 |       27 |       63
180.46/180.59	c  180s |      20 |   879245 |   817627 |     2003    941 |       27 |       63
182.57/182.61	c  182s |      20 |   888521 |   826227 |     2003    949 |       27 |       63
184.57/184.63	c  184s |      20 |   898067 |   834827 |     2003    957 |       27 |       63
186.56/186.63	c  186s |      20 |   908018 |   844127 |     2003    966 |       27 |       63
188.56/188.63	c  188s |      20 |   918535 |   854027 |     2003    975 |       27 |       63
190.56/190.65	c  190s |      20 |   928026 |   862927 |     2003    983 |       27 |       63
192.57/192.66	c  192s |      20 |   938771 |   873027 |     2003    993 |       27 |       63
194.56/194.68	c  194s |      20 |   949357 |   882927 |     2003   1002 |       27 |       63
196.56/196.68	c  196s |      20 |   960137 |   892927 |     2003   1011 |       27 |       63
198.56/198.69	c  198s |      20 |   970583 |   902527 |     2003   1020 |       27 |       63
200.56/200.69	c  200s |      20 |   980310 |   911627 |     2003   1029 |       27 |       63
202.66/202.70	c  202s |      20 |   990552 |   921227 |     2003   1038 |       27 |       63
204.67/204.71	c  204s |      20 |  1000442 |   930427 |     2003   1047 |       27 |       63
206.66/206.74	c  206s |      20 |  1009745 |   938927 |     2003   1055 |       27 |       63
208.66/208.76	c  208s |      20 |  1018950 |   947227 |     2003   1062 |       27 |       63
210.66/210.78	c  210s |      20 |  1028455 |   956027 |     2003   1070 |       27 |       63
212.66/212.78	c  212s |      20 |  1037742 |   964727 |     2003   1078 |       27 |       63
214.76/214.80	c  214s |      20 |  1046155 |   972827 |     2003   1086 |       27 |       63
216.76/216.83	c  216s |      20 |  1054124 |   980627 |     2003   1093 |       27 |       63
218.76/218.84	c  218s |      20 |  1063641 |   989827 |     2003   1102 |       27 |       63
220.76/220.85	c  220s |      20 |  1072583 |   998427 |     2204   1109 |       27 |       63
221.26/221.30	c  221s |      21 |  1074603 |  1000345 |     2204   1111 |       27 |       63
223.26/223.31	c  223s |      21 |  1084870 |  1010445 |     2204   1119 |       27 |       63
225.25/225.32	c  225s |      21 |  1095343 |  1020745 |     2204   1128 |       27 |       63
227.25/227.35	c  227s |      21 |  1104709 |  1029545 |     2204   1136 |       27 |       63
229.25/229.35	c  229s |      21 |  1114739 |  1039345 |     2204   1144 |       27 |       63
231.25/231.36	c  231s |      21 |  1124828 |  1049145 |     2204   1152 |       27 |       63
233.26/233.36	c  233s |      21 |  1134338 |  1058445 |     2204   1160 |       27 |       63
235.25/235.37	c  235s |      21 |  1144207 |  1068045 |     2204   1168 |       27 |       63
237.25/237.38	c  237s |      21 |  1153294 |  1076745 |     2204   1175 |       27 |       63
239.25/239.39	c  239s |      21 |  1161728 |  1085045 |     2204   1182 |       27 |       63
241.35/241.40	c  241s |      21 |  1170497 |  1093645 |     2204   1190 |       27 |       63
243.35/243.42	c  243s |      21 |  1180111 |  1103045 |     2204   1198 |       27 |       63
245.35/245.43	c  245s |      21 |  1188319 |  1111045 |     2204   1204 |       27 |       63
247.35/247.43	c  247s |      21 |  1197097 |  1119445 |     2204   1211 |       27 |       63
249.35/249.45	c  249s |      21 |  1207151 |  1129245 |     2204   1220 |       27 |       63
251.35/251.46	c  251s |      21 |  1216781 |  1138645 |     2204   1227 |       27 |       63
253.35/253.49	c  253s |      21 |  1225458 |  1147045 |     2204   1235 |       27 |       63
255.45/255.51	c  255s |      21 |  1234916 |  1156245 |     2204   1242 |       27 |       63
257.45/257.51	c  257s |      21 |  1244784 |  1165745 |     2204   1250 |       27 |       63
259.45/259.53	c  259s |      21 |  1254449 |  1175145 |     2204   1258 |       27 |       63
261.45/261.54	c  261s |      21 |  1263641 |  1184145 |     2204   1266 |       27 |       63
263.44/263.55	c  263s |      21 |  1272395 |  1192645 |     2204   1273 |       27 |       63
265.44/265.55	c  265s |      21 |  1281632 |  1201645 |     2204   1281 |       27 |       63
267.44/267.57	c  267s |      21 |  1290745 |  1210445 |     2204   1288 |       27 |       63
269.46/269.57	c  269s |      21 |  1300151 |  1219645 |     2204   1296 |       27 |       63
271.45/271.58	c  271s |      21 |  1308820 |  1228045 |     2204   1303 |       27 |       63
273.55/273.61	c  273s |      21 |  1318063 |  1237045 |     2204   1311 |       27 |       63
275.55/275.61	c  275s |      21 |  1326867 |  1245445 |     2204   1318 |       27 |       63
277.55/277.62	c  277s |      21 |  1336573 |  1254745 |     2204   1326 |       27 |       63
279.55/279.64	c  279s |      21 |  1345920 |  1263845 |     2204   1333 |       27 |       63
281.56/281.65	c  281s |      21 |  1355050 |  1272745 |     2204   1341 |       27 |       63
283.55/283.66	c  283s |      21 |  1363651 |  1281145 |     2204   1348 |       27 |       63
285.55/285.67	c  285s |      21 |  1372790 |  1290045 |     2204   1355 |       27 |       63
287.55/287.68	c  287s |      21 |  1382186 |  1299245 |     2204   1363 |       27 |       63
289.55/289.68	c  289s |      21 |  1390274 |  1307145 |     2204   1370 |       27 |       63
291.55/291.69	c  291s |      21 |  1400185 |  1316845 |     2204   1378 |       27 |       63
293.55/293.69	c  293s |      21 |  1409472 |  1325945 |     2204   1385 |       27 |       63
295.65/295.71	c  295s |      21 |  1418165 |  1334345 |     2204   1393 |       27 |       63
297.64/297.72	c  297s |      21 |  1428244 |  1344245 |     2204   1401 |       27 |       63
299.64/299.74	c  299s |      21 |  1438043 |  1353845 |     2204   1409 |       27 |       63
301.64/301.75	c  301s |      21 |  1447071 |  1362645 |     2204   1416 |       27 |       63
303.65/303.76	c  303s |      21 |  1456090 |  1371345 |     2204   1424 |       27 |       63
305.64/305.77	c  305s |      21 |  1465943 |  1380945 |     2204   1432 |       27 |       63
307.64/307.78	c  307s |      21 |  1476231 |  1391045 |     2204   1441 |       27 |       63
309.64/309.80	c  309s |      21 |  1485815 |  1400345 |     2204   1448 |       27 |       63
311.74/311.81	c  311s |      21 |  1495499 |  1409745 |     2204   1456 |       27 |       63
313.74/313.82	c  313s |      21 |  1505354 |  1419345 |     2204   1465 |       27 |       63
315.75/315.83	c  315s |      21 |  1514280 |  1427745 |     2204   1472 |       27 |       63
317.74/317.84	c  317s |      21 |  1523409 |  1436145 |     2204   1479 |       27 |       63
319.74/319.86	c  319s |      21 |  1531871 |  1444045 |     2204   1485 |       27 |       63
321.74/321.86	c  321s |      21 |  1541351 |  1452945 |     2204   1493 |       27 |       63
323.74/323.87	c  323s |      21 |  1549861 |  1460845 |     2204   1500 |       27 |       63
325.74/325.88	c  325s |      21 |  1559268 |  1469745 |     2204   1507 |       27 |       63
327.74/327.89	c  327s |      21 |  1568019 |  1477845 |     2204   1514 |       27 |       63
329.84/329.91	c  329s |      21 |  1577666 |  1486645 |     2204   1522 |       27 |       63
331.83/331.92	c  331s |      21 |  1586305 |  1494745 |     2425   1528 |       27 |       63
333.24/333.36	c  333s |      22 |  1592568 |  1500622 |     2425   1533 |       27 |       63
335.23/335.38	c  335s |      22 |  1601568 |  1508422 |     2425   1539 |       27 |       63
337.33/337.40	c  337s |      22 |  1610409 |  1516722 |     2425   1545 |       27 |       63
339.33/339.42	c  339s |      22 |  1619075 |  1524922 |     2425   1551 |       27 |       63
341.33/341.43	c  341s |      22 |  1628718 |  1533922 |     2425   1558 |       27 |       63
343.33/343.43	c  343s |      22 |  1638621 |  1543122 |     2425   1566 |       27 |       63
345.34/345.44	c  345s |      22 |  1649014 |  1552622 |     2425   1573 |       27 |       63
347.33/347.45	c  347s |      22 |  1658357 |  1561122 |     2425   1580 |       27 |       63
349.33/349.48	c  349s |      22 |  1666990 |  1569222 |     2425   1586 |       27 |       63
351.34/351.48	c  351s |      22 |  1675002 |  1576422 |     2425   1592 |       27 |       63
353.34/353.49	c  353s |      22 |  1683833 |  1584422 |     2425   1598 |       27 |       63
355.35/355.49	c  355s |      22 |  1692604 |  1592322 |     2425   1604 |       27 |       63
357.44/357.51	c  357s |      22 |  1701146 |  1600222 |     2425   1610 |       27 |       63
359.44/359.53	c  359s |      22 |  1708809 |  1607322 |     2425   1616 |       27 |       63
361.44/361.54	c  361s |      22 |  1717958 |  1615622 |     2425   1622 |       27 |       63
363.44/363.54	c  363s |      22 |  1726824 |  1623522 |     2425   1628 |       27 |       63
365.44/365.55	c  365s |      22 |  1735611 |  1631822 |     2425   1635 |       27 |       63
367.44/367.55	c  367s |      22 |  1744652 |  1639722 |     2425   1641 |       27 |       63
369.44/369.57	c  369s |      22 |  1753745 |  1648222 |     2425   1648 |       27 |       63
371.44/371.58	c  371s |      22 |  1763967 |  1657322 |     2425   1655 |       27 |       63
373.53/373.63	c  373s |      22 |  1773057 |  1665722 |     2425   1662 |       27 |       63
375.53/375.63	c  375s |      22 |  1782034 |  1674022 |     2425   1668 |       27 |       63
377.53/377.64	c  377s |      22 |  1791372 |  1682622 |     2425   1675 |       27 |       63
379.54/379.66	c  379s |      22 |  1800218 |  1690922 |     2425   1681 |       27 |       63
381.53/381.69	c  381s |      22 |  1808487 |  1698822 |     2425   1687 |       27 |       63
383.63/383.70	c  383s |      22 |  1817356 |  1707422 |     2425   1694 |       27 |       63
385.63/385.72	c  385s |      22 |  1826092 |  1715522 |     2425   1701 |       27 |       63
387.63/387.73	c  387s |      22 |  1834591 |  1723022 |     2425   1706 |       27 |       63
389.63/389.75	c  389s |      22 |  1844021 |  1731122 |     2425   1713 |       27 |       63
391.64/391.76	c  391s |      22 |  1853998 |  1740022 |     2425   1720 |       28 |       70
393.63/393.77	c  393s |      22 |  1862465 |  1748222 |     2425   1726 |       28 |       70
395.63/395.79	c  395s |      22 |  1870564 |  1756122 |     2425   1732 |       28 |       70
397.73/397.80	c  397s |      22 |  1879193 |  1764522 |     2425   1739 |       28 |       70
399.73/399.82	c  399s |      22 |  1888946 |  1774122 |     2425   1746 |       28 |       70
401.73/401.82	c  401s |      22 |  1897634 |  1782622 |     2425   1753 |       28 |       70
403.73/403.83	c  403s |      22 |  1907422 |  1792222 |     2425   1760 |       28 |       70
405.73/405.86	c  405s |      22 |  1915151 |  1799722 |     2425   1766 |       28 |       70
407.73/407.86	c  407s |      22 |  1922903 |  1807322 |     2425   1772 |       28 |       70
409.72/409.87	c  409s |      22 |  1931975 |  1815722 |     2425   1779 |       28 |       70
410.92/411.06	c  410s |      22 |  1937307 |  1820866 |     2425   1783 |       29 |       77
410.92/411.06	c #cpu_time = 409.713s
410.92/411.06	c #wall_clock_time = 410.786s
410.92/411.06	c #decision = 1937307
410.92/411.06	c #random_decision = 6618
410.92/411.06	c #conflict = 1820866
410.92/411.06	c #restart = 22
410.92/411.06	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
410.92/411.06	c lower bound updated to 3
410.92/411.06	c BCD2: 3 <= obj <= 14
410.92/411.06	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=3
410.92/411.06	c BCD2: #sat=1 #unsat=3 bias=3/4
410.92/411.06	c Solving starts ...
410.92/411.06	c ============================[ Search Statistics ]============================
410.92/411.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
410.92/411.06	c       |         |          |          |    Limit     GC | Var      | Constra 
410.92/411.06	c =============================================================================
410.92/411.06	c  0.0s |       0 |        0 |        0 |     2425      0 |       30 |       77
411.02/411.10	c  0.0s |       1 |      131 |      100 |     2425      0 |       30 |       78
411.02/411.12	c  0.1s |       2 |      323 |      250 |     2425      0 |       30 |       78
411.02/411.14	c  0.1s |       2 |      420 |      300 |     2425      0 |       30 |       78
411.02/411.14	c #cpu_time = 0.080s
411.02/411.14	c #wall_clock_time = 0.080s
411.02/411.14	c #decision = 420
411.02/411.14	c #random_decision = 2
411.02/411.14	c #conflict = 300
411.02/411.14	c #restart = 2
411.02/411.14	o 3
411.02/411.14	s OPTIMUM FOUND
411.02/411.14	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 x10
411.02/411.14	v -x11 -x12 -x13 -x14 x15 x16 x17 -x18 -x19 -x20
411.02/411.14	v x21 x22 x23 -x24 x25 -x26 x27 x28 x29 -x30
411.02/411.14	v x31 -x32 x33 -x34 -x35 x36 x37 x38 x39 -x40
411.02/411.14	v -x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 x50
411.02/411.14	v x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
411.02/411.14	v -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70
411.02/411.14	v -x71 x72 -x73 -x74 -x75 x76 -x77 x78 -x79 x80
411.02/411.14	v -x81 -x82 -x83 -x84
411.02/411.14	c total CPU time = 410.070s
411.02/411.14	c total wall clock time = 411.144s

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

pid=11384
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.13 2.16 2.16 3/179 11387
/proc/meminfo: memFree=29624564/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 2849 0 0 0 0 0 0 0 20 0 4 0 107365353 779546624 2700 33554432000 4194304 16246674 140737043575744 140737043575168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 191087 2708 441 2943 0 187981 0
[pid=11387/tid=11388] ppid=11384 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 798420992 2770 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 803663872 2790 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107365353 807858176 2806 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.13 2.16 2.16 3/179 11387
/proc/meminfo: memFree=29624564/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 21679 0 0 0 6 3 0 0 20 0 4 0 107365353 1247350784 21518 33554432000 4194304 16246674 140737043575744 140737043575168 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 304529 21525 758 2943 0 301423 0
[pid=11387/tid=11388] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 21529 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 21534 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 21539 33554432000 4194304 16246674 140737043575744 140525603638448 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.200539 s]
/proc/loadavg: 2.13 2.16 2.16 3/179 11387
/proc/meminfo: memFree=29624564/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 39802 0 0 0 14 5 0 0 20 0 4 0 107365353 1247350784 39641 33554432000 4194304 16246674 140737043575744 140737043557632 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 304529 39646 765 2943 0 301423 0
[pid=11387/tid=11388] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 39650 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 39655 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 39661 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300497 s]
/proc/loadavg: 2.13 2.16 2.16 3/179 11387
/proc/meminfo: memFree=29624564/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 57984 0 0 0 21 7 0 0 20 0 4 0 107365353 1247350784 57821 33554432000 4194304 16246674 140737043575744 140737043557632 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 304529 57829 796 2943 0 301423 0
[pid=11387/tid=11388] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 57834 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 57840 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 57846 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700411 s]
/proc/loadavg: 2.13 2.16 2.16 3/179 11387
/proc/meminfo: memFree=29624564/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 132763 0 0 0 50 19 0 0 20 0 4 0 107365353 1247350784 132601 33554432000 4194304 16246674 140737043575744 140737043557632 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 304529 132609 796 2943 0 301423 0
[pid=11387/tid=11388] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 132612 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 132616 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107365353 1247350784 132620 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.13 2.16 2.16 3/183 11391
/proc/meminfo: memFree=28796632/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 245841 0 0 0 112 37 0 0 20 0 4 0 107365353 1248399360 245656 33554432000 4194304 16246674 140737043575744 140737043575056 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 304785 245656 852 2943 0 301679 0
[pid=11387/tid=11388] ppid=11384 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1248399360 245656 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1248399360 245656 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1248399360 245656 33554432000 4194304 16246674 140737043575744 140525603638448 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) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.12 2.15 2.16 3/183 11391
/proc/meminfo: memFree=28596604/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 267547 0 0 0 269 40 0 0 20 0 4 0 107365353 1337528320 267362 33554432000 4194304 16246674 140737043575744 140737043557632 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 326545 267362 854 2943 0 323439 0
[pid=11387/tid=11388] ppid=11384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1337528320 267362 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1337528320 267362 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1337528320 267362 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.12 2.15 2.16 3/183 11391
/proc/meminfo: memFree=28555844/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 267627 0 0 0 589 40 0 0 20 0 4 0 107365353 1337528320 267442 33554432000 4194304 16246674 140737043575744 140737043557632 5721373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 326545 267442 854 2943 0 323439 0
[pid=11387/tid=11388] ppid=11384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1337528320 267442 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1337528320 267442 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1337528320 267442 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.18 2.16 2.16 3/183 11391
/proc/meminfo: memFree=28554808/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 267902 0 0 0 1228 41 0 0 20 0 4 0 107365353 1338576896 267717 33554432000 4194304 16246674 140737043575744 140737043557632 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 326801 267717 854 2943 0 323695 0
[pid=11387/tid=11388] ppid=11384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1338576896 267717 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1338576896 267717 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1338576896 267717 33554432000 4194304 16246674 140737043575744 140525603638448 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.23 2.17 2.17 3/183 11391
/proc/meminfo: memFree=28553968/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 267902 0 0 0 2508 41 0 0 20 0 4 0 107365353 1338576896 267717 33554432000 4194304 16246674 140737043575744 140737043557632 6021694 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 326801 267717 854 2943 0 323695 0
[pid=11387/tid=11388] ppid=11384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1338576896 267717 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1338576896 267717 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1338576896 267717 33554432000 4194304 16246674 140737043575744 140525603638448 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) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.29 2.19 2.17 3/183 11391
/proc/meminfo: memFree=28553104/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 268158 0 0 0 5067 41 0 0 20 0 4 0 107365353 1339625472 267973 33554432000 4194304 16246674 140737043575744 140737043557632 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 327057 267973 854 2943 0 323951 0
[pid=11387/tid=11388] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267973 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267973 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267973 33554432000 4194304 16246674 140737043575744 140525603638448 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) 1308228

[startup+102.301 s]
/proc/loadavg: 2.39 2.23 2.19 3/183 11392
/proc/meminfo: memFree=28552840/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 268159 0 0 0 10186 42 0 0 20 0 4 0 107365353 1339625472 267974 33554432000 4194304 16246674 140737043575744 140737043557632 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 327057 267974 855 2943 0 323951 0
[pid=11387/tid=11388] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267974 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267974 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267974 33554432000 4194304 16246674 140737043575744 140525603638448 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) 1308228

[startup+162.3 s]
/proc/loadavg: 2.49 2.28 2.20 3/183 11393
/proc/meminfo: memFree=28552724/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1308228 CPUtime=162.26 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 268160 0 0 0 16183 43 0 0 20 0 4 0 107365353 1339625472 267975 33554432000 4194304 16246674 140737043575744 140737043557632 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 327057 267975 856 2943 0 323951 0
[pid=11387/tid=11388] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267975 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267975 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1339625472 267975 33554432000 4194304 16246674 140737043575744 140525603638448 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) 1308228

[startup+222.308 s]
/proc/loadavg: 2.54 2.32 2.22 3/183 11444
/proc/meminfo: memFree=28590740/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1309252 CPUtime=222.26 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 268177 0 0 0 22182 44 0 0 20 0 4 0 107365353 1340674048 267992 33554432000 4194304 16246674 140737043575744 140737043557632 5673540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 327313 267992 856 2943 0 324207 0
[pid=11387/tid=11388] ppid=11384 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1340674048 267992 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1340674048 267992 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1340674048 267992 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1309252

[startup+282.3 s]
/proc/loadavg: 2.43 2.33 2.22 3/183 11445
/proc/meminfo: memFree=28586788/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1310276 CPUtime=282.25 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 268672 0 0 0 28180 45 0 0 20 0 4 0 107365353 1341722624 268487 33554432000 4194304 16246674 140737043575744 140737043557632 13820864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 327569 268487 856 2943 0 324463 0
[pid=11387/tid=11388] ppid=11384 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1341722624 268487 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1341722624 268487 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1341722624 268487 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1310276

[startup+342.3 s]
/proc/loadavg: 2.35 2.33 2.23 3/184 11449
/proc/meminfo: memFree=28584920/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1312324 CPUtime=342.23 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 269094 0 0 0 34178 45 0 0 20 0 4 0 107365353 1343819776 268909 33554432000 4194304 16246674 140737043575744 140737043557632 12461854 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328081 268909 856 2943 0 324975 0
[pid=11387/tid=11388] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268909 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268909 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268909 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1312324

[startup+402.3 s]
/proc/loadavg: 2.13 2.27 2.21 3/182 11450
/proc/meminfo: memFree=28584460/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1312324 CPUtime=402.23 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 269184 0 0 0 40177 46 0 0 20 0 4 0 107365353 1343819776 268999 33554432000 4194304 16246674 140737043575744 140737043557632 5546205 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328081 268999 856 2943 0 324975 0
[pid=11387/tid=11388] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268999 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268999 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268999 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1312324

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

[startup+403.2 s]
/proc/loadavg: 2.13 2.27 2.21 3/182 11450
/proc/meminfo: memFree=28584460/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1312324 CPUtime=403.13 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 269184 0 0 0 40267 46 0 0 20 0 4 0 107365353 1343819776 268999 33554432000 4194304 16246674 140737043575744 140737043557632 6012289 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328081 268999 856 2943 0 324975 0
[pid=11387/tid=11388] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268999 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268999 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1343819776 268999 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 403.13
Current children cumulated vsize (KiB) 1312324

[startup+406.4 s]
/proc/loadavg: 2.13 2.27 2.21 3/182 11450
/proc/meminfo: memFree=28584256/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1313348 CPUtime=406.33 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 269388 0 0 0 40587 46 0 0 20 0 4 0 107365353 1344868352 269203 33554432000 4194304 16246674 140737043575744 140737043557632 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328337 269203 856 2943 0 325231 0
[pid=11387/tid=11388] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269203 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269203 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269203 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 406.33
Current children cumulated vsize (KiB) 1313348

[startup+409.6 s]
/proc/loadavg: 2.12 2.26 2.21 3/182 11450
/proc/meminfo: memFree=28583388/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1313348 CPUtime=409.52 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 269388 0 0 0 40906 46 0 0 20 0 4 0 107365353 1344868352 269203 33554432000 4194304 16246674 140737043575744 140737043557632 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328337 269203 856 2943 0 325231 0
[pid=11387/tid=11388] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269203 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269203 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269203 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 409.52
Current children cumulated vsize (KiB) 1313348

[startup+410.408 s]
/proc/loadavg: 2.12 2.26 2.21 3/182 11450
/proc/meminfo: memFree=28583140/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1313348 CPUtime=410.33 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 269440 0 0 0 40987 46 0 0 20 0 4 0 107365353 1344868352 269255 33554432000 4194304 16246674 140737043575744 140737043557632 5754620 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328337 269255 856 2943 0 325231 0
[pid=11387/tid=11388] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269255 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269255 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269255 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 410.33
Current children cumulated vsize (KiB) 1313348

[startup+410.8 s]
/proc/loadavg: 2.12 2.26 2.21 3/182 11450
/proc/meminfo: memFree=28583140/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=1313348 CPUtime=410.72 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202496 269440 0 0 0 41026 46 0 0 20 0 4 0 107365353 1344868352 269255 33554432000 4194304 16246674 140737043575744 140737043557632 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 328337 269255 856 2943 0 325231 0
[pid=11387/tid=11388] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11388/stat : 11388 (toysat) S 11384 11387 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269255 33554432000 4194304 16246674 140737043575744 140525624601840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11387/tid=11389] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11389/stat : 11389 (toysat) S 11384 11387 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269255 33554432000 4194304 16246674 140737043575744 140525614111984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11387/tid=11390] ppid=11384 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11387/task/11390/stat : 11390 (toysat) S 11384 11387 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107365353 1344868352 269255 33554432000 4194304 16246674 140737043575744 140525603638448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 410.72
Current children cumulated vsize (KiB) 1313348

[startup+411.2 s]
/proc/loadavg: 2.12 2.26 2.21 3/182 11450
/proc/meminfo: memFree=28583140/32872528 swapFree=12208/1156848
[pid=11387] ppid=11384 vsize=0 CPUtime=411.13 cores=1,3,5,7
/proc/11387/stat : 11387 (toysat) R 11384 11387 9895 0 -1 4202500 269444 0 0 0 41061 52 0 0 20 0 1 0 107365353 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11387/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 411.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 411.206
CPU time (s): 411.142
CPU user time (s): 410.616
CPU system time (s): 0.526919
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1313348

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17882 second user time and 1.59476 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 01:05:08
IDJOB=4080195
IDBENCH=47925
IDSOLVER=2542
FILE ID=node114/4080195-1465254308
RUNJOBID= node114-1465241547-9912
PBS_JOBID= 19843245
Free space on /tmp= 71720 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=97-P1=37-P2=107-P3=53-P4=53-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080195-1465254308/watcher-4080195-1465254308 -o /tmp/evaluation-result-4080195-1465254308/solver-4080195-1465254308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080195-1465254308.opb

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

MD5SUM BENCH= 3c1c5627c2ecb7d046a74fd6c2fb2be3
RANDOM SEED=1280376540

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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:        29625620 kB
Buffers:           57624 kB
Cached:           214412 kB
SwapCached:         1724 kB
Active:          1233664 kB
Inactive:         153008 kB
Active(anon):    1115792 kB
Inactive(anon):     1200 kB
Active(file):     117872 kB
Inactive(file):   151808 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096600 kB
Dirty:             16604 kB
Writeback:             0 kB
AnonPages:       2272440 kB
Mapped:            10800 kB
Shmem:                 0 kB
Slab:             570932 kB
SReclaimable:      14320 kB
SUnreclaim:       556612 kB
KernelStack:        1520 kB
PageTables:         8292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2416008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2256896 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= 71704 MiB
End job on node114 at 2016-06-07 01:11:59