Trace number 4109786

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 336.999 337.051

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
MD5SUM426e5957e411ffe2f76bd332943fd07d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark51.1932
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 constraints1816
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 92461
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92460
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 661
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T15:47:56+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-4109786-1466344076.wbo"]
0.00/0.01	c use --random-gen="3115216592 537328609 3566848146 885010444 2723169369 2727429923 1405130216 3328912814 1147105298 3941826035 3727911718 3134647581 365898173 3758993480 2398744972 269090094 505348638 234061458 1469694057 1967662605 1651286712 3039743318 3822735358 1485224506 2185992382 2282243197 3141960255 1390242680 2058541059 4020905895 956366588 2346377680 1691129788 28361241 2320468933 3085853781 284654317 1180381648 1858881387 1091293044 3488289810 1938281654 777125661 2023056781 2992509699 4204525896 3446171305 2910261711 4073789825 1533860444 4067620935 3021672726 1159884579 1956355782 457604791 3928166611 3992354441 798941650 1521384022 3229300240 2784281207 2756664493 2587928194 3901896323 3945101032 1859118921 4222260730 2143335225 1299769295 1647296536 1949318260 2034171098 1648122598 464154136 1556787966 1345649254 2669360852 1925089688 2560941810 3825914695 25686935 3313477018 508630178 743436982 1337811657 3324151955 2866063521 3962287219 2846638495 726722888 1235316987 1964237829 1588880803 1538057936 946596173 113769182 559707632 1355282569 1125316494 362901369 3281051524 1372359653 1379374200 1960375685 1360303729 1250771767 2434188311 2012211865 3964850496 3392227715 3434097931 3269076735 931517234 3758889470 824556474 1202661588 854122293 1371748054 2075326780 1961063127 3110308018 1232450332 459272115 3885802174 784530531 943073152 2656797415 1903271149 1989247519 97486368 1156751884 1238469794 3607306258 944694005 3084794195 1961823909 3384690192 352546216 1003422381 3379051177 2746439668 2804229059 3433055915 1397959453 1709518528 2522477918 3863416847 3826708338 3915846894 1570863813 1268761938 13399872 2233653797 2699688154 2135763918 2063712395 2947921330 2824504925 1564322900 1437682582 1219243533 1357493546 2322943519 3837964148 4181704460 1682811086 2057533420 1190959036 3759727444 3715552727 1875665765 3971624383 1413045062 2378029609 4273501034 3670759783 985652764 1653929628 675683938 192098272 3159271823 1373097952 3192134778 3425827392 465027488 2218202074 3483101573 3258220787 593446698 4101190965 3899070405 3446829840 1244273452 1373061566 2054745528 3403624315 588207135 3373299393 1960642243 3509387356 2785878279 3197091855 4228747123 2306352570 491625122 537283393 3193960438 1063007007 959065687 3945080118 2906052900 19096757 2542371880 2018067893 71097448 2624908916 1954643416 2631950471 878217348 2704817792 2037925651 3349886240 4117757118 4143319696 4212684306 3089728930 2987852357 1938012251 3603999369 4056838382 3109607722 1960949907 756973658 997036475 3167387813 2362606414 2386192201 611388455 3484557365 1643477691 4032834903 1637365434 3359120862 3368711017 3682266425 2517316987 2091913627 2537981011 104626991 9566725 4081077556 4235542585 2701825069 2990738717 2344626629 777792379 255 362436" option to reproduce the execution
0.09/0.15	c #vars 231
0.09/0.15	c #constraints 2707
0.19/0.20	c BCD2: Hardening is enabled.
0.19/0.20	c BCD2: BiasedSearch is enabled.
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1584      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     1981 |      100 |     1584      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     3836 |      101 |     1743      0 |        0 |        0
0.19/0.22	c #cpu_time = 0.027s
0.19/0.22	c #wall_clock_time = 0.027s
0.19/0.22	c #decision = 3836
0.19/0.22	c #random_decision = 16
0.19/0.22	c #conflict = 101
0.19/0.22	c #restart = 1
0.19/0.22	o 603
0.19/0.23	c BCD2: updating upper bound: 92460 -> 602
0.19/0.24	c BCD2: 0 <= obj <= 602
0.19/0.24	c BCD2: #cores=0, #unrelaxed=1816, #relaxed=0, #hardened=0
0.19/0.24	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.24	c Solving starts ...
0.19/0.24	c ============================[ Search Statistics ]============================
0.19/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.24	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     1743      0 |        0 |        0
0.19/0.27	c  0.0s |       1 |     1987 |      100 |     1743      0 |        0 |        0
0.29/0.30	c  0.1s |       2 |     4047 |      250 |     1918      0 |        0 |        0
0.29/0.35	c  0.1s |       3 |     6328 |      475 |     2110      0 |        0 |        0
0.39/0.43	c  0.2s |       4 |     8666 |      813 |     2321      0 |        0 |        0
0.59/0.65	c  0.4s |       5 |    11236 |     1320 |     2554      0 |        0 |        0
0.99/1.01	c  0.8s |       6 |    14244 |     2081 |     2810      0 |        0 |        0
1.59/1.65	c  1.4s |       7 |    17731 |     3223 |     3092      0 |        0 |        0
2.59/2.65	c  2.4s |       8 |    21819 |     4936 |     3402      1 |        0 |        0
3.99/4.07	c  3.8s |       9 |    27042 |     7506 |     3743      2 |        0 |        0
6.09/6.18	c  5.9s |       9 |    31894 |     9906 |     3743      3 |        0 |        0
6.69/6.74	c  6.5s |      10 |    34148 |    11361 |     4118      3 |        0 |        0
8.68/8.74	c  8.5s |      10 |    41600 |    15061 |     4118      4 |        0 |        0
10.28/10.32	c 10.1s |      11 |    44653 |    17144 |     4530      5 |        0 |        0
12.29/12.38	c 12.1s |      11 |    50384 |    19644 |     4530      6 |        0 |        0
14.40/14.41	c 14.2s |      11 |    55233 |    23144 |     4530      7 |        0 |        0
16.39/16.42	c 16.2s |      11 |    58666 |    25644 |     4983      8 |        0 |        0
16.60/16.65	c 16.4s |      12 |    58893 |    25819 |     4983      8 |        0 |        0
18.70/18.76	c 18.5s |      12 |    64174 |    28519 |     4983      9 |        0 |        0
20.79/20.83	c 20.6s |      12 |    66608 |    30419 |     4983      9 |        0 |        0
22.89/22.90	c 22.7s |      12 |    68464 |    31819 |     4983     10 |        0 |        0
25.09/25.11	c 24.9s |      12 |    70844 |    33719 |     4983     10 |        0 |        0
27.09/27.15	c 26.9s |      12 |    72773 |    35219 |     4983     11 |        0 |        0
29.09/29.16	c 28.9s |      12 |    75174 |    37019 |     4983     11 |        0 |        0
31.28/31.33	c 31.1s |      12 |    76966 |    38419 |     4983     12 |        0 |        0
31.89/31.94	c 31.7s |      13 |    77532 |    38832 |     5482     12 |        0 |        0
33.98/34.00	c 33.8s |      13 |    81336 |    40332 |     5482     12 |        0 |        0
35.99/36.02	c 35.8s |      13 |    84829 |    42632 |     5482     13 |        0 |        0
38.09/38.11	c 37.9s |      13 |    88170 |    45132 |     5482     13 |        0 |        0
40.08/40.15	c 39.9s |      13 |    91872 |    47432 |     5482     14 |        0 |        0
42.19/42.22	c 42.0s |      13 |    95473 |    50032 |     5482     15 |        0 |        0
44.19/44.27	c 44.0s |      13 |    99713 |    52732 |     5482     15 |        0 |        0
46.29/46.31	c 46.1s |      13 |   102194 |    54532 |     5482     16 |        0 |        0
48.28/48.32	c 48.1s |      13 |   105262 |    56432 |     5482     16 |        0 |        0
50.18/50.20	c 50.0s |      14 |   108604 |    58352 |     6031     17 |        0 |        0
52.19/52.27	c 52.0s |      14 |   113244 |    60052 |     6031     17 |        0 |        0
54.38/54.48	c 54.2s |      14 |   114835 |    61152 |     6031     18 |        0 |        0
56.48/56.58	c 56.3s |      14 |   117010 |    62652 |     6031     18 |        0 |        0
58.58/58.63	c 58.4s |      14 |   119064 |    64052 |     6031     18 |        0 |        0
60.78/60.81	c 60.6s |      14 |   120741 |    65252 |     6031     19 |        0 |        0
62.79/62.83	c 62.6s |      14 |   122786 |    66552 |     6031     19 |        0 |        0
64.89/64.90	c 64.7s |      14 |   124499 |    67752 |     6031     19 |        0 |        0
66.88/66.93	c 66.7s |      14 |   126844 |    69352 |     6031     20 |        0 |        0
68.98/69.00	c 68.8s |      14 |   129915 |    71452 |     6031     20 |        0 |        0
71.18/71.28	c 71.0s |      14 |   132169 |    73052 |     6031     21 |        0 |        0
73.28/73.36	c 73.1s |      14 |   134199 |    74352 |     6031     21 |        0 |        0
75.37/75.43	c 75.2s |      14 |   136588 |    75952 |     6031     21 |        0 |        0
77.48/77.51	c 77.3s |      14 |   139039 |    77552 |     6031     22 |        0 |        0
79.48/79.59	c 79.4s |      14 |   141851 |    79152 |     6031     22 |        0 |        0
81.57/81.61	c 81.4s |      14 |   145400 |    81352 |     6031     23 |        0 |        0
83.59/83.67	c 83.4s |      14 |   150049 |    84252 |     6031     23 |        0 |        0
85.58/85.69	c 85.4s |      14 |   154053 |    86752 |     6031     24 |        0 |        0
86.38/86.40	c 86.2s |      15 |   155525 |    87632 |     6635     24 |        0 |        0
88.38/88.40	c 88.2s |      15 |   162858 |    90932 |     6635     25 |        0 |        0
90.38/90.48	c 90.2s |      15 |   167860 |    93732 |     6635     26 |        0 |        0
92.58/92.64	c 92.4s |      15 |   172891 |    97132 |     6635     27 |        0 |        0
94.58/94.68	c 94.4s |      15 |   176159 |    99432 |     6635     27 |        0 |        0
96.67/96.71	c 96.5s |      15 |   180601 |   101932 |     6635     28 |        0 |        0
98.67/98.76	c 98.5s |      15 |   185599 |   104732 |     6635     28 |        0 |        0
100.68/100.78	c  100s |      15 |   189863 |   107232 |     6635     29 |        0 |        0
102.78/102.83	c  102s |      15 |   194206 |   109732 |     6635     29 |        0 |        0
104.77/104.84	c  104s |      15 |   198202 |   112232 |     6635     30 |        0 |        0
106.78/106.88	c  106s |      15 |   202198 |   114532 |     6635     31 |        0 |        0
108.78/108.89	c  108s |      15 |   206361 |   116832 |     6635     31 |        0 |        0
110.87/110.91	c  110s |      15 |   211599 |   119832 |     6635     32 |        0 |        0
112.87/112.98	c  112s |      15 |   215727 |   122432 |     6635     32 |        0 |        0
114.97/115.02	c  114s |      15 |   219573 |   125032 |     6635     33 |        0 |        0
116.98/117.05	c  116s |      15 |   223245 |   127232 |     6635     34 |        0 |        0
119.07/119.11	c  118s |      15 |   226375 |   129332 |     6635     34 |        0 |        0
121.08/121.14	c  120s |      15 |   229703 |   131332 |     7299     34 |        0 |        0
121.27/121.38	c  121s |      16 |   230141 |   131552 |     7299     34 |        0 |        0
123.37/123.43	c  123s |      16 |   236587 |   134352 |     7299     35 |        0 |        0
125.38/125.45	c  125s |      16 |   240577 |   136752 |     7299     36 |        0 |        0
127.37/127.48	c  127s |      16 |   245153 |   139452 |     7299     36 |        0 |        0
129.37/129.49	c  129s |      16 |   248436 |   141552 |     7299     37 |        0 |        0
131.47/131.51	c  131s |      16 |   251705 |   143652 |     7299     37 |        0 |        0
133.47/133.58	c  133s |      16 |   254144 |   145352 |     7299     38 |        0 |        0
135.57/135.68	c  135s |      16 |   256801 |   146952 |     7299     38 |        0 |        0
137.67/137.72	c  137s |      16 |   260241 |   149052 |     7299     38 |        0 |        0
139.67/139.76	c  139s |      16 |   263325 |   151052 |     7299     39 |        0 |        0
141.77/141.87	c  141s |      16 |   267018 |   153152 |     7299     39 |        0 |        0
143.86/143.97	c  143s |      16 |   269788 |   154952 |     7299     40 |        0 |        0
145.87/145.99	c  145s |      16 |   274051 |   157552 |     7299     40 |        0 |        0
147.97/148.04	c  147s |      16 |   278722 |   160552 |     7299     41 |        0 |        0
150.07/150.12	c  149s |      16 |   282707 |   163352 |     7299     41 |        0 |        0
152.07/152.13	c  151s |      16 |   286260 |   165552 |     7299     42 |        0 |        0
154.16/154.29	c  154s |      16 |   290604 |   168352 |     7299     43 |        0 |        0
156.37/156.40	c  156s |      16 |   294741 |   170752 |     7299     43 |        0 |        0
158.47/158.51	c  158s |      16 |   298257 |   172852 |     7299     43 |        0 |        0
160.46/160.52	c  160s |      16 |   301062 |   174552 |     7299     44 |        0 |        0
162.46/162.56	c  162s |      16 |   304518 |   176452 |     7299     44 |        0 |        0
164.57/164.61	c  164s |      16 |   307313 |   178052 |     7299     45 |        0 |        0
166.57/166.61	c  166s |      16 |   310641 |   180052 |     7299     45 |        0 |        0
168.56/168.69	c  168s |      16 |   313813 |   181952 |     7299     45 |        0 |        0
170.57/170.69	c  170s |      16 |   317456 |   184052 |     7299     46 |        0 |        0
172.67/172.73	c  172s |      16 |   322052 |   186552 |     7299     46 |        0 |        0
174.66/174.78	c  174s |      16 |   324593 |   188252 |     7299     47 |        0 |        0
176.76/176.83	c  176s |      16 |   328459 |   190652 |     7299     47 |        0 |        0
178.76/178.84	c  178s |      16 |   331281 |   192552 |     7299     48 |        0 |        0
180.86/180.92	c  180s |      16 |   334201 |   194452 |     7299     48 |        0 |        0
182.97/183.02	c  182s |      16 |   336195 |   195852 |     7299     49 |        0 |        0
185.06/185.12	c  184s |      17 |   338258 |   197432 |     8029     49 |        0 |        0
187.16/187.21	c  186s |      17 |   342289 |   198932 |     8029     49 |        0 |        0
189.17/189.24	c  188s |      17 |   344561 |   200432 |     8029     49 |        0 |        0
191.26/191.34	c  191s |      17 |   346341 |   201532 |     8029     50 |        0 |        0
193.26/193.36	c  193s |      17 |   348346 |   202932 |     8029     50 |        0 |        0
195.46/195.52	c  195s |      17 |   351166 |   204732 |     8029     50 |        0 |        0
197.46/197.58	c  197s |      17 |   353450 |   206232 |     8029     51 |        0 |        0
199.56/199.62	c  199s |      17 |   357432 |   208832 |     8029     51 |        0 |        0
201.55/201.66	c  201s |      17 |   360423 |   210832 |     8029     51 |        0 |        0
203.66/203.71	c  203s |      17 |   362782 |   212532 |     8029     52 |        0 |        0
205.66/205.77	c  205s |      17 |   365435 |   214332 |     8029     52 |        0 |        0
207.76/207.81	c  207s |      17 |   368632 |   216332 |     8029     53 |        0 |        0
209.76/209.82	c  209s |      17 |   372013 |   218532 |     8029     53 |        0 |        0
211.86/211.92	c  211s |      17 |   374828 |   220532 |     8029     53 |        0 |        0
213.95/214.02	c  213s |      17 |   377237 |   222232 |     8029     54 |        0 |        0
215.95/216.02	c  215s |      17 |   380072 |   224032 |     8029     54 |        0 |        0
218.16/218.20	c  217s |      17 |   381862 |   225432 |     8029     54 |        0 |        0
220.15/220.20	c  219s |      17 |   383677 |   226832 |     8029     55 |        0 |        0
222.16/222.22	c  221s |      17 |   385964 |   228532 |     8029     55 |        0 |        0
224.16/224.28	c  224s |      17 |   387804 |   229932 |     8029     55 |        0 |        0
226.26/226.37	c  226s |      17 |   390758 |   232032 |     8029     56 |        0 |        0
228.35/228.44	c  228s |      17 |   393118 |   233732 |     8029     56 |        0 |        0
230.35/230.48	c  230s |      17 |   395047 |   235132 |     8029     56 |        0 |        0
232.36/232.48	c  232s |      17 |   396813 |   236432 |     8029     57 |        0 |        0
234.46/234.51	c  234s |      17 |   398535 |   237732 |     8029     57 |        0 |        0
236.46/236.52	c  236s |      17 |   400201 |   239032 |     8029     57 |        0 |        0
238.55/238.63	c  238s |      17 |   402142 |   240332 |     8029     57 |        0 |        0
240.56/240.64	c  240s |      17 |   403986 |   241532 |     8029     58 |        0 |        0
242.76/242.81	c  242s |      17 |   405495 |   242632 |     8029     58 |        0 |        0
244.75/244.84	c  244s |      17 |   407160 |   243732 |     8029     58 |        0 |        0
246.85/246.92	c  246s |      17 |   410464 |   245732 |     8029     59 |        0 |        0
248.85/248.94	c  248s |      17 |   414135 |   248132 |     8029     59 |        0 |        0
250.86/250.98	c  250s |      17 |   417262 |   250332 |     8029     59 |        0 |        0
252.95/253.01	c  252s |      17 |   419963 |   252032 |     8029     60 |        0 |        0
254.96/255.08	c  254s |      17 |   422526 |   253832 |     8029     60 |        0 |        0
257.05/257.11	c  256s |      17 |   425536 |   255932 |     8029     61 |        0 |        0
259.05/259.20	c  258s |      17 |   428294 |   257832 |     8029     61 |        0 |        0
261.25/261.35	c  261s |      17 |   430371 |   259332 |     8029     61 |        0 |        0
263.35/263.45	c  263s |      17 |   432352 |   260732 |     8029     62 |        0 |        0
265.45/265.54	c  265s |      17 |   434341 |   262132 |     8029     62 |        0 |        0
267.55/267.60	c  267s |      17 |   436098 |   263332 |     8029     62 |        0 |        0
269.65/269.77	c  269s |      17 |   437950 |   264632 |     8029     62 |        0 |        0
271.76/271.80	c  271s |      17 |   440499 |   266232 |     8029     63 |        0 |        0
273.75/273.82	c  273s |      17 |   443528 |   268132 |     8029     63 |        0 |        0
275.75/275.85	c  275s |      17 |   445767 |   269632 |     8029     63 |        0 |        0
277.84/277.90	c  277s |      17 |   448522 |   271332 |     8029     64 |        0 |        0
279.94/280.01	c  279s |      17 |   450964 |   273032 |     8029     64 |        0 |        0
281.95/282.05	c  281s |      17 |   453453 |   274632 |     8029     64 |        0 |        0
284.05/284.15	c  283s |      17 |   455763 |   276132 |     8029     65 |        0 |        0
286.05/286.19	c  285s |      17 |   458043 |   277732 |     8029     65 |        0 |        0
288.25/288.30	c  288s |      17 |   460718 |   279432 |     8029     65 |        0 |        0
290.24/290.39	c  290s |      17 |   463084 |   280832 |     8029     66 |        0 |        0
292.45/292.54	c  292s |      17 |   465432 |   282332 |     8029     66 |        0 |        0
294.55/294.67	c  294s |      17 |   467667 |   283732 |     8029     66 |        0 |        0
296.55/296.67	c  296s |      17 |   469575 |   284932 |     8029     66 |        0 |        0
298.64/298.76	c  298s |      17 |   471397 |   286132 |     8029     67 |        0 |        0
300.74/300.81	c  300s |      17 |   473350 |   287532 |     8029     67 |        0 |        0
302.85/302.96	c  302s |      17 |   475137 |   288732 |     8029     67 |        0 |        0
305.04/305.10	c  304s |      17 |   476765 |   289832 |     8029     67 |        0 |        0
307.15/307.21	c  306s |      17 |   478374 |   290832 |     8029     68 |        0 |        0
309.25/309.37	c  309s |      17 |   480601 |   292232 |     8029     68 |        0 |        0
311.35/311.44	c  311s |      17 |   482403 |   293432 |     8029     68 |        0 |        0
313.34/313.48	c  313s |      17 |   483806 |   294432 |     8832     68 |        0 |        0
315.54/315.64	c  315s |      17 |   485641 |   295532 |     8832     68 |        0 |        0
317.24/317.33	c  317s |      18 |   486775 |   296252 |     8832     69 |        0 |        0
319.34/319.43	c  319s |      18 |   490608 |   297452 |     8832     69 |        0 |        0
321.44/321.55	c  321s |      18 |   492818 |   298752 |     8832     69 |        0 |        0
323.54/323.63	c  323s |      18 |   494841 |   299952 |     8832     69 |        0 |        0
325.65/325.76	c  325s |      18 |   496850 |   301052 |     8832     69 |        0 |        0
326.94/327.07	c  326s |      18 |   497640 |   301568 |     8832     70 |        0 |        0
326.94/327.07	c #cpu_time = 325.989s
326.94/327.07	c #wall_clock_time = 326.825s
326.94/327.07	c #decision = 497640
326.94/327.07	c #random_decision = 814
326.94/327.07	c #conflict = 301568
326.94/327.07	c #restart = 18
326.94/327.07	c BCD2: found a new core of size 1813: cost of the new core is >=1
326.94/327.07	c lower bound updated to 1
326.94/327.07	c BCD2: 1 <= obj <= 602
326.94/327.07	c BCD2: #cores=1, #unrelaxed=3, #relaxed=1813, #hardened=0
326.94/327.07	c BCD2: #sat=1 #unsat=2 bias=2/3
326.94/327.08	c Solving starts ...
326.94/327.08	c ============================[ Search Statistics ]============================
326.94/327.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
326.94/327.08	c       |         |          |          |    Limit     GC | Var      | Constra 
326.94/327.08	c =============================================================================
326.94/327.08	c  0.0s |       0 |        0 |        0 |     8832      0 |        0 |        0
327.04/327.14	c  0.1s |       0 |     1945 |        2 |     8832      0 |        0 |        0
327.04/327.14	c #cpu_time = 0.063s
327.04/327.14	c #wall_clock_time = 0.063s
327.04/327.14	c #decision = 1945
327.04/327.14	c #random_decision = 15
327.04/327.14	c #conflict = 2
327.04/327.14	c #restart = 0
327.04/327.15	o 71
327.04/327.15	c BCD2: hardening fixes 525 literals
327.04/327.15	c BCD2: updating upper bound: 602 -> 70
327.04/327.15	c BCD2: 1 <= obj <= 70
327.04/327.15	c BCD2: #cores=1, #unrelaxed=3, #relaxed=1288, #hardened=525
327.04/327.15	c BCD2: #sat=2 #unsat=2 bias=2/4
327.04/327.16	c Solving starts ...
327.04/327.16	c ============================[ Search Statistics ]============================
327.04/327.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
327.04/327.16	c       |         |          |          |    Limit     GC | Var      | Constra 
327.04/327.16	c =============================================================================
327.04/327.16	c  0.0s |       0 |        0 |        0 |     8832      0 |      525 |        1
327.24/327.33	c  0.2s |       1 |      396 |      100 |     8832      0 |      525 |        1
327.44/327.58	c  0.4s |       2 |      625 |      250 |     8832      0 |      525 |        1
327.74/327.80	c  0.6s |       3 |      936 |      475 |     8832      0 |      525 |        1
327.94/328.07	c  0.9s |       4 |     1554 |      813 |     8832      0 |      525 |        1
328.44/328.50	c  1.3s |       5 |     2327 |     1320 |     8832      0 |      525 |        1
329.14/329.23	c  2.1s |       6 |     3423 |     2081 |     8832      0 |      525 |        1
330.04/330.15	c  3.0s |       7 |     5111 |     3223 |     8832      0 |      525 |        1
331.74/331.85	c  4.7s |       8 |     7730 |     4936 |     8832      1 |      525 |        1
331.84/331.93	c  4.8s |       8 |     7892 |     5004 |     8832      1 |      525 |        1
331.84/331.93	c #cpu_time = 4.759s
331.84/331.93	c #wall_clock_time = 4.771s
331.84/331.93	c #decision = 7892
331.84/331.93	c #random_decision = 17
331.84/331.93	c #conflict = 5004
331.84/331.93	c #restart = 8
331.84/331.93	o 32
331.84/331.93	c BCD2: hardening fixes 761 literals
331.84/331.93	c BCD2: updating upper bound: 70 -> 31
331.84/331.93	c BCD2: 1 <= obj <= 31
331.84/331.93	c BCD2: #cores=1, #unrelaxed=2, #relaxed=528, #hardened=1286
331.84/331.93	c BCD2: #sat=3 #unsat=2 bias=2/5
331.84/331.93	c Solving starts ...
331.84/331.93	c ============================[ Search Statistics ]============================
331.84/331.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
331.84/331.93	c       |         |          |          |    Limit     GC | Var      | Constra 
331.84/331.93	c =============================================================================
331.84/331.93	c  0.0s |       0 |        0 |        0 |     8832      0 |     1286 |        2
331.94/332.02	c  0.1s |       1 |      138 |      100 |     8832      0 |     1286 |        2
332.04/332.12	c  0.2s |       2 |      333 |      250 |     8832      0 |     1286 |        2
332.14/332.24	c  0.3s |       3 |      641 |      475 |     8832      0 |     1286 |        2
332.34/332.41	c  0.5s |       4 |     1082 |      813 |     8832      0 |     1286 |        2
332.34/332.48	c  0.5s |       4 |     1328 |      906 |     8832      0 |     1286 |        2
332.34/332.48	c #cpu_time = 0.543s
332.34/332.48	c #wall_clock_time = 0.544s
332.34/332.48	c #decision = 1328
332.34/332.48	c #random_decision = 0
332.34/332.48	c #conflict = 906
332.34/332.48	c #restart = 4
332.34/332.48	o 6
332.34/332.48	c BCD2: hardening fixes 443 literals
332.34/332.48	c BCD2: updating upper bound: 31 -> 5
332.34/332.48	c BCD2: 1 <= obj <= 5
332.34/332.48	c BCD2: #cores=1, #unrelaxed=0, #relaxed=87, #hardened=1729
332.34/332.48	c BCD2: #sat=4 #unsat=2 bias=2/6
332.34/332.48	c Solving starts ...
332.34/332.48	c ============================[ Search Statistics ]============================
332.34/332.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
332.34/332.48	c       |         |          |          |    Limit     GC | Var      | Constra 
332.34/332.48	c =============================================================================
332.34/332.48	c  0.0s |       0 |        0 |        0 |     8832      0 |     1729 |        6
332.44/332.50	c  0.0s |       0 |       21 |        0 |     8832      0 |     1729 |        6
332.44/332.50	c #cpu_time = 0.021s
332.44/332.50	c #wall_clock_time = 0.021s
332.44/332.50	c #decision = 21
332.44/332.50	c #random_decision = 0
332.44/332.50	c #conflict = 0
332.44/332.50	c #restart = 0
332.44/332.50	o 3
332.44/332.51	c BCD2: hardening fixes 53 literals
332.44/332.51	c BCD2: updating upper bound: 5 -> 2
332.44/332.51	c BCD2: 1 <= obj <= 2
332.44/332.51	c BCD2: #cores=1, #unrelaxed=0, #relaxed=34, #hardened=1782
332.44/332.51	c BCD2: #sat=5 #unsat=2 bias=2/7
332.44/332.51	c Solving starts ...
332.44/332.51	c ============================[ Search Statistics ]============================
332.44/332.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
332.44/332.51	c       |         |          |          |    Limit     GC | Var      | Constra 
332.44/332.51	c =============================================================================
332.44/332.51	c  0.0s |       0 |        0 |        0 |     8832      0 |     1782 |        8
332.44/332.56	c  0.0s |       1 |      204 |      100 |     8832      0 |     1782 |        8
332.54/332.64	c  0.1s |       2 |      424 |      250 |     8832      0 |     1782 |        8
332.64/332.78	c  0.3s |       3 |      749 |      475 |     8832      0 |     1782 |        8
332.84/332.97	c  0.5s |       4 |     1186 |      813 |     8832      0 |     1782 |        8
333.14/333.25	c  0.7s |       5 |     1917 |     1320 |     8832      0 |     1782 |        8
333.54/333.60	c  1.1s |       6 |     3061 |     2081 |     8832      0 |     1782 |        8
334.04/334.18	c  1.7s |       7 |     4839 |     3223 |     8832      0 |     1782 |        8
334.94/335.08	c  2.6s |       8 |     7464 |     4936 |     8832      0 |     1782 |        8
336.14/336.24	c  3.7s |       9 |    11399 |     7506 |     8832      1 |     1782 |        8
336.94/337.01	c  4.5s |       9 |    14147 |     9187 |     8832      1 |     1782 |        8
336.94/337.01	c #cpu_time = 4.486s
336.94/337.01	c #wall_clock_time = 4.497s
336.94/337.01	c #decision = 14147
336.94/337.01	c #random_decision = 31
336.94/337.01	c #conflict = 9187
336.94/337.01	c #restart = 9
336.94/337.01	o 1
336.94/337.01	s OPTIMUM FOUND
336.94/337.01	v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10
336.94/337.01	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
336.94/337.01	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
336.94/337.01	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
336.94/337.01	v -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
336.94/337.01	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
336.94/337.01	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
336.94/337.01	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80
336.94/337.01	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
336.94/337.01	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
336.94/337.01	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
336.94/337.01	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120
336.94/337.01	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
336.94/337.01	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
336.94/337.01	v x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150
336.94/337.01	v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
336.94/337.01	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
336.94/337.01	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180
336.94/337.01	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
336.94/337.01	v -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200
336.94/337.01	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
336.94/337.01	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
336.94/337.01	v -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230
336.94/337.01	v -x231
336.94/337.01	c total CPU time = 336.151s
336.94/337.01	c total wall clock time = 337.014s

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109786-1466344076/watcher-4109786-1466344076 -o /tmp/evaluation-result-4109786-1466344076/solver-4109786-1466344076 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7742 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109786-1466344076.wbo 

pid=8408
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.19 2.26 2.05 3/179 8411
/proc/meminfo: memFree=29057480/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 2896 0 0 0 0 0 0 0 20 0 4 0 36456367 793178112 3257 33554432000 4194304 16246674 140734832775312 140734832774736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 194159 3267 441 2943 0 191053 0
[pid=8411/tid=8412] ppid=8408 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 811003904 3326 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 815198208 3342 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36456367 819392512 3357 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.19 2.26 2.05 3/179 8411
/proc/meminfo: memFree=29057480/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 24908 0 0 0 5 4 0 0 20 0 4 0 36456367 1247350784 25261 33554432000 4194304 16246674 140734832775312 140734832758304 6145278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 304529 25264 618 2943 0 301423 0
[pid=8411/tid=8412] ppid=8408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1247350784 25265 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1247350784 25273 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36456367 1247350784 25273 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200593 s]
/proc/loadavg: 2.19 2.26 2.05 3/179 8411
/proc/meminfo: memFree=29057480/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 33700 0 0 0 14 5 0 0 20 0 4 0 36456367 1250496512 34007 33554432000 4194304 16246674 140734832775312 140734832774624 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 305297 34007 867 2943 0 302191 0
[pid=8411/tid=8412] ppid=8408 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1250496512 34007 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1250496512 34007 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1250496512 34007 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300515 s]
/proc/loadavg: 2.19 2.26 2.05 3/179 8411
/proc/meminfo: memFree=29057480/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 46026 0 0 0 23 6 0 0 20 0 4 0 36456367 1334382592 46333 33554432000 4194304 16246674 140734832775312 140734832774624 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 325777 46339 920 2943 0 322671 0
[pid=8411/tid=8412] ppid=8408 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1334382592 46347 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1334382592 46352 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1334382592 46359 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700406 s]
/proc/loadavg: 2.19 2.26 2.05 3/179 8411
/proc/meminfo: memFree=29057480/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 75022 0 0 0 59 10 0 0 20 0 4 0 36456367 1338576896 75329 33554432000 4194304 16246674 140734832775312 140734832774624 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 326801 75329 925 2943 0 323695 0
[pid=8411/tid=8412] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 75329 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 75329 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 75329 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.5004 s]
/proc/loadavg: 2.19 2.26 2.05 3/183 8415
/proc/meminfo: memFree=28757412/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 75023 0 0 0 139 10 0 0 20 0 4 0 36456367 1338576896 75330 33554432000 4194304 16246674 140734832775312 140734832758304 12478212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 326801 75330 926 2943 0 323695 0
[pid=8411/tid=8412] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 75330 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 75330 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 75330 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10036 s]
/proc/loadavg: 2.19 2.26 2.05 3/183 8415
/proc/meminfo: memFree=28757164/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 94067 0 0 0 297 12 0 0 20 0 4 0 36456367 1338576896 94375 33554432000 4194304 16246674 140734832775312 140734832757184 12478461 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 326801 94394 930 2943 0 323695 0
[pid=8411/tid=8412] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 94407 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 94425 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 94441 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.26 2.27 2.06 4/183 8415
/proc/meminfo: memFree=28442460/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 215509 0 0 0 599 29 0 0 20 0 4 0 36456367 1338576896 215816 33554432000 4194304 16246674 140734832775312 140734832757184 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 326801 215816 932 2943 0 323695 0
[pid=8411/tid=8412] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 215816 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 215816 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1338576896 215816 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.24 2.27 2.06 4/183 8415
/proc/meminfo: memFree=28193384/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 216543 0 0 0 1239 30 0 0 20 0 4 0 36456367 1343819776 216850 33554432000 4194304 16246674 140734832775312 140734832757184 6023805 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 328081 216850 932 2943 0 324975 0
[pid=8411/tid=8412] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 216850 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 216850 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 216850 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.25 2.27 2.06 3/183 8415
/proc/meminfo: memFree=28193220/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 216789 0 0 0 2519 30 0 0 20 0 4 0 36456367 1343819776 217096 33554432000 4194304 16246674 140734832775312 140734832757184 5546093 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 328081 217096 932 2943 0 324975 0
[pid=8411/tid=8412] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 217096 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 217096 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 217096 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.22 2.26 2.07 4/183 8415
/proc/meminfo: memFree=28154932/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 216790 0 0 0 5076 33 0 0 20 0 4 0 36456367 1343819776 226516 33554432000 4194304 16246674 140734832775312 140734832774408 13928759 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 328081 226516 932 2943 0 324975 0
[pid=8411/tid=8412] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 226516 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 226516 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1343819776 226516 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.21 2.25 2.07 4/183 8416
/proc/meminfo: memFree=28073784/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 216881 0 0 0 10190 38 0 0 20 0 4 0 36456367 1344868352 246767 33554432000 4194304 16246674 140734832775312 140734832774488 5545752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 328337 246767 932 2943 0 325231 0
[pid=8411/tid=8412] ppid=8408 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1344868352 246767 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1344868352 246767 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1344868352 246767 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


################
# More data... #
################

/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218838 0 0 0 16181 45 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140734832774488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271905 932 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1320516

[startup+222.308 s]
/proc/loadavg: 2.23 2.26 2.09 4/182 8470
/proc/meminfo: memFree=27976804/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=222.26 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218838 0 0 0 22173 53 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140734832774488 4220912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271905 932 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1320516

[startup+282.3 s]
/proc/loadavg: 2.23 2.25 2.10 3/183 8472
/proc/meminfo: memFree=27971356/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=282.25 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218838 0 0 0 28165 60 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140734832774488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271905 932 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1320516

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

[startup+307.2 s]
/proc/loadavg: 2.21 2.25 2.10 3/183 8521
/proc/meminfo: memFree=28432980/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=307.15 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218838 0 0 0 30651 64 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140734832774488 5823666 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271905 932 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 307.15
Current children cumulated vsize (KiB) 1320516

[startup+320 s]
/proc/loadavg: 2.25 2.25 2.10 3/183 8521
/proc/meminfo: memFree=28431500/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=319.94 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218839 0 0 0 31929 65 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140734832774488 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271905 932 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (KiB) 1320516

[startup+326.4 s]
/proc/loadavg: 2.21 2.25 2.10 3/183 8521
/proc/meminfo: memFree=28431112/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=326.34 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218839 0 0 0 32568 66 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140734832774488 13963975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271905 932 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271905 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 326.34
Current children cumulated vsize (KiB) 1320516

[startup+332.8 s]
/proc/loadavg: 2.28 2.26 2.10 4/183 8521
/proc/meminfo: memFree=28430476/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=332.74 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218848 0 0 0 33208 66 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140734832757184 5532218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271914 941 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 332.74
Current children cumulated vsize (KiB) 1320516

[startup+334.4 s]
/proc/loadavg: 2.25 2.25 2.10 3/183 8521
/proc/meminfo: memFree=28430600/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=334.34 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218848 0 0 0 33368 66 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140734832757184 5822552 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271914 941 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 334.34
Current children cumulated vsize (KiB) 1320516

[startup+336 s]
/proc/loadavg: 2.25 2.25 2.10 3/183 8521
/proc/meminfo: memFree=28430600/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=335.94 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218848 0 0 0 33528 66 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140734832757184 5675253 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271914 941 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 335.94
Current children cumulated vsize (KiB) 1320516

[startup+336.8 s]
/proc/loadavg: 2.25 2.25 2.10 3/183 8521
/proc/meminfo: memFree=28430600/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=336.74 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218848 0 0 0 33608 66 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140734832757184 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271914 941 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 336.74
Current children cumulated vsize (KiB) 1320516

[startup+337 s]
/proc/loadavg: 2.25 2.25 2.10 3/183 8521
/proc/meminfo: memFree=28430600/32872528 swapFree=1431120/1543540
[pid=8411] ppid=8408 vsize=1320516 CPUtime=336.94 cores=0,2,4,6
/proc/8411/stat : 8411 (toysat) R 8408 8411 7726 0 -1 4202496 218848 0 0 0 33628 66 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140734832757184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8411/statm: 330129 271914 941 2943 0 327023 0
[pid=8411/tid=8412] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (toysat) S 8408 8411 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004207602928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8411/tid=8413] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (toysat) S 8408 8411 7726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004122668272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8411/tid=8414] ppid=8408 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (toysat) S 8408 8411 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36456367 1352208384 271914 33554432000 4194304 16246674 140734832775312 140004112194736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 336.94
Current children cumulated vsize (KiB) 1320516

Child status: 0
Real time (s): 337.051
CPU time (s): 336.999
CPU user time (s): 336.297
CPU system time (s): 0.701893
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 336.297
system time used= 0.701893
maximum resident set size= 1087660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218850
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= 25
involuntary context switches= 348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.27565 second user time and 3.09453 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-19 15:47:56
IDJOB=4109786
IDBENCH=78923
IDSOLVER=2553
FILE ID=node116/4109786-1466344076
RUNJOBID= node116-1466341822-7742
PBS_JOBID= 19922036
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= 426e5957e411ffe2f76bd332943fd07d
RANDOM SEED=1571343785

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29058124 kB
Buffers:          143004 kB
Cached:           282000 kB
SwapCached:         2316 kB
Active:          1253876 kB
Inactive:         262664 kB
Active(anon):    1089596 kB
Inactive(anon):     3928 kB
Active(file):     164280 kB
Inactive(file):   258736 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2656360 kB
Mapped:            12228 kB
Shmem:                 0 kB
Slab:             616300 kB
SReclaimable:      60364 kB
SUnreclaim:       555936 kB
KernelStack:        1520 kB
PageTables:         9228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2774280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1216512 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= 71660 MiB
End job on node116 at 2016-06-19 15:53:34