Trace number 4079338

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-02? (TO) 1800.23 1800.53

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat50_6_9_1_ic.opb
MD5SUMfeedf54c4af2588ba6a91c777d82b919
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24465097
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables125200
Total number of constraints250157
Number of constraints which are clauses120150
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints130000
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 7400
Biggest coefficient in the objective function 109215352
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 49785589662
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 109215352
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 49785589662
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-08T02:06:43+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079338-1465344403.opb"]
0.00/0.01	c use --random-gen="2621350608 2677166026 1035200090 3774570721 3675091893 2400524342 283017980 1552654006 1346731575 4246764664 687515772 2086103808 2764829810 1330490383 2751742202 510537893 1847256615 743163780 3035751177 1191910861 3057071130 3397875941 626073451 3953547211 381462540 1942315327 3779793097 1958569686 3353879251 2954937157 2205314444 2738047361 2307008213 503520876 2128337736 1784790342 4000492649 1890206029 4010742918 4142227366 3603512820 424566969 3994600445 1766215925 2603363882 4100627913 3785893688 3016869791 3926228248 3354959191 90997121 3090548150 3325776116 444729232 4212980375 3822835155 2691802596 2369662446 1437544052 751848618 275028912 1918034657 242512703 1805233815 204376539 2061823105 1333202430 789964445 1224379925 3152976973 1540486037 3147837101 1283881080 4132493286 1755748609 601605614 1829386038 753462876 658192904 330277187 1064779189 1893445582 2700253107 1192630558 790484825 255859919 926094184 2463481645 275094398 3073666199 2171201448 1686250684 3272391445 2158044291 1836220041 2003623039 1912948817 3489017521 3077495282 646190479 3254991210 3328377824 1664596405 2139599697 1611372420 986660126 3807104177 726447719 2079215066 3171567396 1872206639 3717455285 1728235970 1515881754 2023196911 3092880858 2608929684 2441659855 913567241 3999875733 2442472108 3108525310 2437422190 3274381746 3530280963 2315116292 3631583868 4031872974 901688670 1701600148 4218390960 549447774 2465655296 688388372 4052882231 2823114998 3940432543 3543918708 1842772660 341521221 3250213566 2658671401 2306457517 1220533147 2536926523 1903837389 755467672 3217071965 2054332457 461837408 1301969274 38720184 2764046922 3353164225 1977718582 3773979121 1937358057 2534361188 3708820650 4152689656 304913217 3802083042 3536787693 2232756870 3968583189 545757276 3946212365 537171414 3419127552 3742585211 610852042 4005803548 13889709 1671862308 3192117541 492979471 1971882174 963310599 122481827 3003006253 3065028139 3783767724 2410446089 3820720678 1305794351 3735452920 3427687221 1667317744 2938649288 3911374421 2363938381 3115411702 95726390 1119660063 3174513376 3703731297 1023638776 3598872710 3380035682 3016959391 472962723 2455816463 3815472262 947052920 3821556694 1188155314 3618400836 1875159429 921611844 3920709961 2629863064 2830038711 3227117043 237463986 3507037941 4152773997 522892340 1579836394 4035858773 3495859044 2750815770 2340838606 368545369 2308929091 324907951 4091705902 432407101 629886536 1445428049 3435645280 2720593426 1499182770 2409673468 1021123236 1411062861 1058599044 3002755678 4203749698 66912399 691571130 2958859876 3661711252 104472391 2166464231 112616004 3594989274 1442911491 1288556498 4120786175 1918554142 1345558917 2537655919 1796037063 495506906 3522283486 1013065246 255 362436" option to reproduce the execution
1.99/2.09	c #vars 125200
1.99/2.09	c #constraints 250157
6.89/6.99	c BCD2: Hardening is enabled.
6.89/6.99	c BCD2: BiasedSearch is enabled.
6.89/6.99	c Solving starts ...
6.89/6.99	c ============================[ Search Statistics ]============================
6.89/6.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.89/6.99	c       |         |          |          |    Limit     GC | Var      | Constra 
6.89/6.99	c =============================================================================
6.99/7.09	c  0.0s |       0 |        0 |        0 |   127569      0 |      150 |        0
18.19/18.28	c 11.2s |       0 |      145 |      100 |   127569      0 |      150 |        0
18.39/18.40	c 11.3s |       1 |      145 |      100 |   127569      0 |      150 |        0
22.89/22.95	c 15.9s |       1 |      571 |      200 |   140326      0 |      150 |        0
23.79/23.88	c 16.8s |       2 |      617 |      250 |   140326      0 |      150 |        0
25.89/25.90	c 18.8s |       3 |     1849 |      475 |   154359      0 |      150 |        0
28.39/28.47	c 21.4s |       3 |     2333 |      675 |   169795      0 |      150 |        0
29.69/29.80	c 22.7s |       4 |     2476 |      813 |   169795      0 |      150 |        0
36.89/36.99	c 29.9s |       4 |     3089 |      913 |   186775      0 |      150 |        0
39.39/39.46	c 32.4s |       4 |     3237 |     1013 |   186775      0 |      150 |        0
41.59/41.60	c 34.5s |       4 |     3460 |     1213 |   186775      0 |      150 |        0
43.09/43.12	c 36.0s |       5 |     3588 |     1320 |   186775      0 |      150 |        0
45.39/45.43	c 38.3s |       5 |     5278 |     1420 |   205453      0 |      150 |        0
47.88/47.91	c 40.8s |       5 |     5677 |     1820 |   205453      0 |      150 |        0
49.59/49.67	c 42.6s |       6 |     5936 |     2081 |   225999      0 |      150 |        0
51.79/51.89	c 44.8s |       6 |     6255 |     2281 |   225999      0 |      150 |        0
53.88/53.91	c 46.8s |       6 |     6570 |     2581 |   225999      0 |      150 |        0
55.98/56.02	c 48.9s |       6 |     6877 |     2881 |   225999      0 |      150 |        0
58.18/58.22	c 51.1s |       6 |     7203 |     3181 |   225999      0 |      150 |        0
58.58/58.63	c 51.5s |       7 |     7238 |     3223 |   248599      0 |      150 |        0
60.88/60.95	c 53.9s |       7 |     7510 |     3423 |   248599      0 |      150 |        0
63.38/63.47	c 56.4s |       7 |     7851 |     3723 |   248599      0 |      150 |        0
65.78/65.85	c 58.8s |       7 |     8076 |     3923 |   248599      0 |      150 |        0
68.29/68.33	c 61.3s |       7 |     8428 |     4223 |   248599      0 |      150 |        0
71.08/71.16	c 64.1s |       7 |     8782 |     4523 |   248599      0 |      150 |        0
73.18/73.22	c 66.1s |       7 |     9002 |     4723 |   248599      0 |      150 |        0
75.28/75.36	c 68.3s |       8 |     9265 |     4936 |   273459      0 |      150 |        0
81.88/81.92	c 74.8s |       8 |     9679 |     5036 |   273459      0 |      150 |        0
84.78/84.86	c 77.8s |       8 |     9791 |     5136 |   273459      0 |      150 |        0
87.98/88.09	c 81.0s |       8 |     9876 |     5236 |   273459      0 |      150 |        0
91.08/91.10	c 84.0s |       8 |     9993 |     5336 |   273459      0 |      150 |        0
93.17/93.26	c 86.2s |       8 |    10087 |     5436 |   273459      0 |      150 |        0
98.37/98.47	c 91.4s |       8 |    10181 |     5536 |   273459      0 |      150 |        0
100.67/100.78	c 93.7s |       8 |    10344 |     5636 |   273459      0 |      150 |        0
105.57/105.69	c 98.6s |       8 |    10670 |     5836 |   273459      0 |      150 |        0
108.17/108.21	c  101s |       8 |    10765 |     5936 |   273459      0 |      150 |        0
112.77/112.84	c  105s |       8 |    10854 |     6036 |   273459      0 |      150 |        0
118.88/118.91	c  111s |       8 |    10944 |     6136 |   273459      0 |      150 |        0
125.87/125.97	c  118s |       8 |    11126 |     6236 |   273459      0 |      150 |        0
128.17/128.27	c  121s |       8 |    11211 |     6336 |   273459      0 |      150 |        0
132.87/132.93	c  125s |       8 |    11302 |     6436 |   273459      0 |      150 |        0
139.17/139.21	c  132s |       8 |    11394 |     6536 |   273459      0 |      150 |        0
141.47/141.50	c  134s |       8 |    11604 |     6736 |   273459      0 |      150 |        0
143.77/143.90	c  136s |       8 |    11819 |     6936 |   273459      0 |      150 |        0
146.07/146.18	c  139s |       8 |    12028 |     7036 |   273459      0 |      150 |        0
148.68/148.79	c  141s |       8 |    12271 |     7236 |   273459      0 |      150 |        0
151.37/151.46	c  144s |       9 |    12587 |     7506 |   300805      0 |      150 |        0
153.77/153.89	c  146s |       9 |    13158 |     7806 |   300805      0 |      150 |        0
156.38/156.42	c  149s |       9 |    13606 |     8206 |   300805      0 |      150 |        0
158.47/158.56	c  151s |       9 |    13943 |     8506 |   300805      0 |      150 |        0
160.77/160.88	c  153s |       9 |    14299 |     8806 |   300805      0 |      150 |        0
162.87/162.94	c  155s |       9 |    14628 |     9106 |   300805      0 |      150 |        0
164.87/164.96	c  157s |       9 |    14977 |     9406 |   300805      0 |      150 |        0
167.27/167.38	c  160s |       9 |    15295 |     9706 |   300805      0 |      150 |        0
169.67/169.74	c  162s |       9 |    15620 |    10006 |   300805      0 |      150 |        0
172.27/172.36	c  165s |       9 |    16057 |    10406 |   300805      0 |      150 |        0
174.37/174.42	c  167s |       9 |    16397 |    10706 |   300805      0 |      150 |        0
176.87/176.95	c  169s |       9 |    16836 |    11106 |   300805      0 |      150 |        0
178.76/178.83	c  171s |      10 |    17109 |    11361 |   330886      0 |      150 |        0
181.67/181.72	c  174s |      10 |    17391 |    11561 |   330886      0 |      150 |        0
183.87/183.99	c  176s |      10 |    17604 |    11761 |   330886      0 |      150 |        0
186.56/186.66	c  179s |      10 |    17930 |    12061 |   330886      0 |      150 |        0
188.86/188.93	c  181s |      10 |    18148 |    12261 |   330886      0 |      150 |        0
190.86/190.94	c  183s |      10 |    18353 |    12461 |   330886      0 |      150 |        0
193.67/193.76	c  186s |      10 |    18706 |    12761 |   330886      0 |      150 |        0
195.97/196.05	c  188s |      10 |    18940 |    12961 |   330886      0 |      150 |        0
198.26/198.32	c  191s |      10 |    19147 |    13161 |   330886      0 |      150 |        0
201.47/201.51	c  194s |      10 |    19485 |    13461 |   330886      0 |      150 |        0
203.76/203.87	c  196s |      10 |    19699 |    13661 |   330886      0 |      150 |        0
205.96/206.08	c  198s |      10 |    19925 |    13861 |   330886      0 |      150 |        0
208.86/208.96	c  201s |      10 |    20243 |    14161 |   330886      0 |      150 |        0
211.76/211.86	c  204s |      10 |    20457 |    14361 |   330886      0 |      150 |        0
214.76/214.84	c  207s |      10 |    20790 |    14661 |   330886      0 |      150 |        0
216.96/217.07	c  209s |      10 |    21011 |    14861 |   330886      0 |      150 |        0
219.26/219.31	c  212s |      10 |    21241 |    15061 |   330886      0 |      150 |        0
221.96/222.09	c  215s |      10 |    21577 |    15361 |   330886      0 |      150 |        0
224.56/224.66	c  217s |      10 |    21908 |    15661 |   330886      0 |      150 |        0
226.56/226.68	c  219s |      10 |    22127 |    15861 |   330886      0 |      150 |        0
228.96/229.03	c  221s |      10 |    22340 |    16061 |   330886      0 |      150 |        0
231.66/231.72	c  224s |      10 |    22657 |    16361 |   330886      0 |      150 |        0
234.56/234.61	c  227s |      10 |    22977 |    16661 |   330886      0 |      150 |        0
237.26/237.35	c  230s |      10 |    23301 |    16961 |   330886      0 |      150 |        0
239.26/239.32	c  232s |      11 |    23501 |    17144 |   363975      0 |      150 |        0
241.76/241.87	c  234s |      11 |    23771 |    17344 |   363975      0 |      150 |        0
244.36/244.43	c  237s |      11 |    24109 |    17644 |   363975      0 |      150 |        0
246.95/247.06	c  239s |      11 |    24425 |    17944 |   363975      0 |      150 |        0
249.55/249.66	c  242s |      11 |    24763 |    18244 |   363975      0 |      150 |        0
252.15/252.24	c  245s |      11 |    25107 |    18544 |   363975      0 |      150 |        0
254.85/254.98	c  247s |      11 |    25435 |    18844 |   363975      0 |      150 |        0
256.85/257.00	c  249s |      11 |    25646 |    19044 |   363975      0 |      150 |        0
258.95/259.02	c  251s |      11 |    25851 |    19244 |   363975      0 |      150 |        0
261.55/261.69	c  254s |      11 |    26181 |    19544 |   363975      0 |      150 |        0
264.16/264.24	c  257s |      11 |    26497 |    19844 |   363975      0 |      150 |        0
266.65/266.73	c  259s |      11 |    26826 |    20144 |   363975      0 |      150 |        0
269.66/269.79	c  262s |      11 |    27156 |    20444 |   363975      0 |      150 |        0
271.76/271.82	c  264s |      11 |    27358 |    20644 |   363975      0 |      150 |        0
274.75/274.82	c  267s |      11 |    27669 |    20944 |   363975      0 |      150 |        0
277.05/277.13	c  270s |      11 |    27886 |    21144 |   363975      0 |      150 |        0
279.05/279.14	c  272s |      11 |    28089 |    21344 |   363975      0 |      150 |        0
281.65/281.77	c  274s |      11 |    28310 |    21544 |   363975      0 |      150 |        0
284.15/284.20	c  277s |      11 |    28515 |    21744 |   363975      0 |      150 |        0
286.25/286.31	c  279s |      11 |    28738 |    21944 |   363975      0 |      150 |        0
288.65/288.73	c  281s |      11 |    28962 |    22144 |   363975      0 |      150 |        0
290.65/290.77	c  283s |      11 |    29178 |    22344 |   363975      0 |      150 |        0
293.25/293.32	c  286s |      11 |    29499 |    22644 |   363975      0 |      150 |        0
295.25/295.36	c  288s |      11 |    29701 |    22844 |   363975      0 |      150 |        0
297.74/297.86	c  290s |      11 |    30021 |    23144 |   363975      0 |      150 |        0
300.74/300.82	c  293s |      11 |    30346 |    23444 |   363975      0 |      150 |        0
303.65/303.71	c  296s |      11 |    30670 |    23744 |   363975      0 |      150 |        0
305.64/305.74	c  298s |      11 |    30886 |    23944 |   363975      0 |      150 |        0
307.94/308.10	c  301s |      11 |    31096 |    24144 |   363975      0 |      150 |        0
310.04/310.17	c  303s |      11 |    31306 |    24344 |   363975      0 |      150 |        0
312.24/312.33	c  305s |      11 |    31522 |    24544 |   363975      0 |      150 |        0
314.24/314.36	c  307s |      11 |    31750 |    24744 |   363975      0 |      150 |        0
316.34/316.43	c  309s |      11 |    31959 |    24944 |   363975      0 |      150 |        0
318.44/318.50	c  311s |      11 |    32176 |    25144 |   363975      0 |      150 |        0
320.64/320.76	c  313s |      11 |    32399 |    25344 |   363975      0 |      150 |        0
322.94/323.05	c  315s |      11 |    32614 |    25544 |   363975      0 |      150 |        0
325.04/325.12	c  318s |      11 |    32833 |    25744 |   400373      0 |      150 |        0
326.04/326.19	c  319s |      12 |    32912 |    25819 |   400373      0 |      150 |        0
328.14/328.20	c  321s |      12 |    33114 |    25919 |   400373      0 |      150 |        0
330.54/330.61	c  323s |      12 |    33323 |    26119 |   400373      0 |      150 |        0
332.54/332.65	c  325s |      12 |    33541 |    26319 |   400373      0 |      150 |        0
335.04/335.11	c  328s |      12 |    33751 |    26519 |   400373      0 |      150 |        0
337.74/337.87	c  330s |      12 |    34085 |    26819 |   400373      0 |      150 |        0
339.94/340.04	c  332s |      12 |    34296 |    27019 |   400373      0 |      150 |        0
342.14/342.26	c  335s |      12 |    34512 |    27219 |   400373      0 |      150 |        0
344.54/344.61	c  337s |      12 |    34712 |    27419 |   400373      0 |      150 |        0
347.44/347.50	c  340s |      12 |    35045 |    27719 |   400373      0 |      150 |        0
349.53/349.65	c  342s |      12 |    35271 |    27919 |   400373      0 |      150 |        0
351.83/351.90	c  344s |      12 |    35478 |    28119 |   400373      0 |      150 |        0
353.83/353.91	c  346s |      12 |    35685 |    28319 |   400373      0 |      150 |        0
357.03/357.15	c  350s |      12 |    36007 |    28619 |   400373      0 |      150 |        0
360.23/360.36	c  353s |      12 |    36234 |    28819 |   400373      0 |      150 |        0
362.33/362.45	c  355s |      12 |    36454 |    29019 |   400373      0 |      150 |        0
364.43/364.54	c  357s |      12 |    36679 |    29219 |   400373      0 |      150 |        0
366.73/366.87	c  359s |      12 |    36890 |    29419 |   400373      0 |      150 |        0
369.33/369.41	c  362s |      12 |    37101 |    29619 |   400373      0 |      150 |        0
372.13/372.23	c  365s |      12 |    37422 |    29919 |   400373      0 |      150 |        0
374.14/374.24	c  367s |      12 |    37634 |    30119 |   400373      0 |      150 |        0
376.34/376.44	c  369s |      12 |    37849 |    30319 |   400373      0 |      150 |        0
378.93/379.05	c  371s |      12 |    38066 |    30519 |   400373      0 |      150 |        0
381.74/381.85	c  374s |      12 |    38274 |    30719 |   400373      0 |      150 |        0
384.23/384.30	c  377s |      12 |    38488 |    30919 |   400373      0 |      150 |        0
386.83/386.96	c  379s |      12 |    38819 |    31219 |   400373      0 |      150 |        0
389.44/389.56	c  382s |      12 |    39163 |    31519 |   400373      0 |      150 |        0
391.74/391.81	c  384s |      12 |    39505 |    31819 |   400373      0 |      150 |        0
394.33/394.46	c  387s |      12 |    39864 |    32119 |   400373      0 |      150 |        0
396.63/396.77	c  389s |      12 |    40088 |    32319 |   400373      0 |      150 |        0
399.13/399.23	c  392s |      12 |    40310 |    32519 |   400373      0 |      150 |        0
401.23/401.39	c  394s |      12 |    40531 |    32719 |   400373      0 |      150 |        0
403.83/403.98	c  396s |      12 |    40839 |    33019 |   400373      0 |      150 |        0
406.03/406.15	c  399s |      12 |    41141 |    33319 |   400373      0 |      150 |        0
408.32/408.43	c  401s |      12 |    41451 |    33619 |   400373      0 |      150 |        0
411.02/411.18	c  404s |      12 |    41888 |    34019 |   400373      0 |      150 |        0
413.63/413.77	c  406s |      12 |    42216 |    34319 |   400373      0 |      150 |        0
416.42/416.52	c  409s |      12 |    42551 |    34619 |   400373      0 |      150 |        0
418.92/419.06	c  411s |      12 |    42871 |    34919 |   400373      0 |      150 |        0
421.92/422.04	c  414s |      12 |    43207 |    35219 |   400373      0 |      150 |        0
424.32/424.41	c  417s |      12 |    43534 |    35519 |   400373      0 |      150 |        0
426.72/426.90	c  419s |      12 |    43845 |    35819 |   400373      0 |      150 |        0
429.03/429.20	c  422s |      12 |    44173 |    36119 |   400373      0 |      150 |        0
431.72/431.89	c  424s |      12 |    44585 |    36519 |   400373      0 |      150 |        0
434.22/434.36	c  427s |      12 |    44901 |    36819 |   400373      0 |      150 |        0
436.42/436.58	c  429s |      12 |    45217 |    37119 |   400373      0 |      150 |        0
438.82/438.92	c  431s |      12 |    45540 |    37419 |   400373      0 |      150 |        0
441.22/441.36	c  434s |      12 |    45850 |    37719 |   400373      0 |      150 |        0
443.72/443.81	c  436s |      12 |    46170 |    38019 |   400373      0 |      150 |        0
446.12/446.22	c  439s |      12 |    46475 |    38319 |   400373      0 |      150 |        0
448.42/448.57	c  441s |      12 |    46788 |    38619 |   440411      0 |      150 |        0
450.52/450.65	c  443s |      13 |    47016 |    38832 |   440411      0 |      150 |        0
452.92/453.00	c  445s |      13 |    47220 |    38932 |   440411      0 |      150 |        0
454.92/455.09	c  448s |      13 |    47427 |    39132 |   440411      0 |      150 |        0
457.52/457.65	c  450s |      13 |    47738 |    39432 |   440411      0 |      150 |        0
460.32/460.49	c  453s |      13 |    48050 |    39732 |   440411      0 |      150 |        0
463.51/463.66	c  456s |      13 |    48355 |    40032 |   440411      0 |      150 |        0
465.61/465.75	c  458s |      13 |    48557 |    40232 |   440411      0 |      150 |        0
467.71/467.84	c  460s |      13 |    48773 |    40432 |   440411      0 |      150 |        0
469.82/469.99	c  462s |      13 |    49099 |    40732 |   440411      0 |      150 |        0
472.51/472.60	c  465s |      13 |    49402 |    41032 |   440411      0 |      150 |        0
474.51/474.66	c  467s |      13 |    49734 |    41332 |   440411      0 |      150 |        0
476.81/476.98	c  469s |      13 |    50042 |    41632 |   440411      0 |      150 |        0
478.91/479.00	c  471s |      13 |    50378 |    41932 |   440411      0 |      150 |        0
481.41/481.58	c  474s |      13 |    50710 |    42232 |   440411      0 |      150 |        0
483.81/483.93	c  476s |      13 |    51027 |    42532 |   440411      0 |      150 |        0
486.32/486.48	c  479s |      13 |    51327 |    42832 |   440411      0 |      150 |        0
488.71/488.83	c  481s |      13 |    51650 |    43132 |   440411      0 |      150 |        0
491.01/491.13	c  484s |      13 |    51965 |    43432 |   440411      0 |      150 |        0
493.11/493.29	c  486s |      13 |    52270 |    43732 |   440411      0 |      150 |        0
495.31/495.41	c  488s |      13 |    52575 |    44032 |   440411      0 |      150 |        0
497.61/497.79	c  490s |      13 |    52878 |    44332 |   440411      0 |      150 |        0
500.41/500.50	c  493s |      13 |    53210 |    44632 |   440411      0 |      150 |        0
502.72/502.83	c  495s |      13 |    53517 |    44932 |   440411      0 |      150 |        0
504.92/505.10	c  498s |      13 |    53832 |    45232 |   440411      0 |      150 |        0
507.51/507.64	c  500s |      13 |    54152 |    45532 |   440411      0 |      150 |        0
509.91/510.08	c  502s |      13 |    54475 |    45832 |   440411      0 |      150 |        0
512.41/512.51	c  505s |      13 |    54790 |    46132 |   440411      0 |      150 |        0
514.71/514.84	c  507s |      13 |    55101 |    46432 |   440411      0 |      150 |        0
517.21/517.37	c  510s |      13 |    55508 |    46832 |   440411      0 |      150 |        0
519.61/519.75	c  512s |      13 |    55814 |    47132 |   440411      0 |      150 |        0
522.01/522.18	c  515s |      13 |    56133 |    47432 |   440411      0 |      150 |        0
524.91/525.07	c  517s |      13 |    56455 |    47732 |   440411      0 |      150 |        0
527.10/527.29	c  520s |      13 |    56771 |    48032 |   440411      0 |      150 |        0
529.60/529.73	c  522s |      13 |    57076 |    48332 |   440411      0 |      150 |        0
532.20/532.33	c  525s |      13 |    57401 |    48632 |   440411      0 |      150 |        0
534.80/534.97	c  527s |      13 |    57706 |    48932 |   440411      0 |      150 |        0
537.20/537.35	c  530s |      13 |    58029 |    49232 |   440411      0 |      150 |        0
539.50/539.62	c  532s |      13 |    58338 |    49532 |   440411      0 |      150 |        0
541.60/541.71	c  534s |      13 |    58637 |    49832 |   440411      0 |      150 |        0
544.40/544.57	c  537s |      13 |    58955 |    50132 |   440411      0 |      150 |        0
546.81/546.99	c  539s |      13 |    59268 |    50432 |   440411      0 |      150 |        0
549.20/549.34	c  542s |      13 |    59589 |    50732 |   440411      0 |      150 |        0
552.00/552.10	c  545s |      13 |    59905 |    51032 |   440411      0 |      150 |        0
554.41/554.52	c  547s |      13 |    60215 |    51332 |   440411      0 |      150 |        0
556.90/557.04	c  549s |      13 |    60521 |    51632 |   440411      0 |      150 |        0
559.60/559.76	c  552s |      13 |    60830 |    51932 |   440411      0 |      150 |        0
562.21/562.36	c  555s |      13 |    61162 |    52232 |   440411      0 |      150 |        0
565.00/565.18	c  558s |      13 |    61486 |    52532 |   440411      0 |      150 |        0
567.80/567.97	c  560s |      13 |    61798 |    52832 |   440411      0 |      150 |        0
570.60/570.75	c  563s |      13 |    62108 |    53132 |   440411      0 |      150 |        0
573.20/573.34	c  566s |      13 |    62409 |    53432 |   440411      0 |      150 |        0
575.90/576.07	c  568s |      13 |    62708 |    53732 |   440411      0 |      150 |        0
578.60/578.71	c  571s |      13 |    63014 |    54032 |   440411      0 |      150 |        0
581.40/581.53	c  574s |      13 |    63311 |    54332 |   440411      0 |      150 |        0
584.00/584.16	c  577s |      13 |    63613 |    54632 |   440411      0 |      150 |        0
587.00/587.11	c  580s |      13 |    63910 |    54932 |   440411      0 |      150 |        0
589.80/589.94	c  582s |      13 |    64213 |    55232 |   440411      0 |      150 |        0
592.40/592.59	c  585s |      13 |    64511 |    55532 |   440411      0 |      150 |        0
595.21/595.39	c  588s |      13 |    64826 |    55832 |   440411      0 |      150 |        0
597.90/598.06	c  590s |      13 |    65149 |    56132 |   440411      0 |      150 |        0
600.30/600.49	c  593s |      13 |    65465 |    56432 |   440411      0 |      150 |        0
603.00/603.14	c  596s |      13 |    65792 |    56732 |   440411      0 |      150 |        0
605.50/605.70	c  598s |      13 |    66106 |    57032 |   440411      0 |      150 |        0
608.10/608.21	c  601s |      13 |    66424 |    57332 |   440411      0 |      150 |        0
611.10/611.21	c  604s |      13 |    66735 |    57632 |   440411      0 |      150 |        0
613.10/613.22	c  606s |      13 |    66964 |    57832 |   440411      0 |      150 |        0
615.70/615.86	c  608s |      13 |    67279 |    58132 |   484453      0 |      150 |        0
617.90/618.01	c  610s |      14 |    67530 |    58352 |   484453      0 |      150 |        0
620.60/620.73	c  613s |      14 |    67721 |    58452 |   484453      0 |      150 |        0
623.10/623.25	c  616s |      14 |    67939 |    58652 |   484453      0 |      150 |        0
625.60/625.78	c  618s |      14 |    68155 |    58852 |   484453      0 |      150 |        0
627.60/627.79	c  620s |      14 |    68371 |    59052 |   484453      0 |      150 |        0
629.90/630.09	c  623s |      14 |    68582 |    59252 |   484453      0 |      150 |        0
632.10/632.29	c  625s |      14 |    68810 |    59452 |   484453      0 |      150 |        0
634.30/634.44	c  627s |      14 |    69034 |    59652 |   484453      0 |      150 |        0
636.40/636.55	c  629s |      14 |    69252 |    59852 |   484453      0 |      150 |        0
639.10/639.26	c  632s |      14 |    69599 |    60152 |   484453      0 |      150 |        0
641.50/641.60	c  634s |      14 |    69807 |    60352 |   484453      0 |      150 |        0
643.50/643.64	c  636s |      14 |    70021 |    60552 |   484453      0 |      150 |        0
646.30/646.45	c  639s |      14 |    70345 |    60852 |   484453      0 |      150 |        0
649.10/649.29	c  642s |      14 |    70671 |    61152 |   484453      0 |      150 |        0
651.40/651.53	c  644s |      14 |    70875 |    61352 |   484453      0 |      150 |        0
654.09/654.22	c  647s |      14 |    71205 |    61652 |   484453      0 |      150 |        0
656.89/657.07	c  649s |      14 |    71534 |    61952 |   484453      0 |      150 |        0
659.79/659.91	c  652s |      14 |    71871 |    62252 |   484453      0 |      150 |        0
661.79/661.97	c  654s |      14 |    72076 |    62452 |   484453      0 |      150 |        0
664.19/664.34	c  657s |      14 |    72404 |    62752 |   484453      0 |      150 |        0
666.39/666.56	c  659s |      14 |    72725 |    63052 |   484453      0 |      150 |        0
669.09/669.20	c  662s |      14 |    73048 |    63352 |   484453      0 |      150 |        0
671.89/672.03	c  664s |      14 |    73364 |    63652 |   484453      0 |      150 |        0
674.59/674.78	c  667s |      14 |    73680 |    63952 |   484453      0 |      150 |        0
677.39/677.52	c  670s |      14 |    74006 |    64252 |   484453      0 |      150 |        0
680.19/680.36	c  673s |      14 |    74316 |    64552 |   484453      0 |      150 |        0
682.99/683.17	c  676s |      14 |    74618 |    64852 |   484453      0 |      150 |        0
684.99/685.19	c  678s |      14 |    74949 |    65152 |   484453      0 |      150 |        0
687.60/687.79	c  680s |      14 |    75272 |    65452 |   484453      0 |      150 |        0
689.70/689.86	c  682s |      14 |    75581 |    65752 |   484453      0 |      150 |        0
691.99/692.11	c  685s |      14 |    75893 |    66052 |   484453      0 |      150 |        0
694.19/694.32	c  687s |      14 |    76197 |    66352 |   484453      0 |      150 |        0
696.49/696.68	c  689s |      14 |    76419 |    66552 |   484453      0 |      150 |        0
698.59/698.72	c  691s |      14 |    76634 |    66752 |   484453      0 |      150 |        0
701.39/701.53	c  694s |      14 |    76974 |    67052 |   484453      0 |      150 |        0
703.59/703.70	c  696s |      14 |    77187 |    67252 |   484453      0 |      150 |        0
705.59/705.72	c  698s |      14 |    77405 |    67452 |   484453      0 |      150 |        0
707.69/707.86	c  700s |      14 |    77619 |    67652 |   484453      0 |      150 |        0
709.99/710.11	c  703s |      14 |    77832 |    67852 |   484453      0 |      150 |        0
712.98/713.10	c  706s |      14 |    78149 |    68152 |   484453      0 |      150 |        0
715.18/715.35	c  708s |      14 |    78354 |    68352 |   484453      0 |      150 |        0
717.29/717.45	c  710s |      14 |    78583 |    68552 |   484453      0 |      150 |        0
719.49/719.62	c  712s |      14 |    78796 |    68752 |   484453      0 |      150 |        0
721.69/721.82	c  714s |      14 |    79042 |    68952 |   484453      0 |      150 |        0
724.38/724.58	c  717s |      14 |    79376 |    69252 |   484453      0 |      150 |        0
727.09/727.28	c  720s |      14 |    79698 |    69552 |   484453      0 |      150 |        0
729.88/730.05	c  722s |      14 |    80023 |    69852 |   484453      0 |      150 |        0
731.98/732.14	c  725s |      14 |    80238 |    70052 |   484453      0 |      150 |        0
734.38/734.59	c  727s |      14 |    80563 |    70352 |   484453      0 |      150 |        0
737.28/737.42	c  730s |      14 |    80888 |    70652 |   484453      0 |      150 |        0
739.38/739.54	c  732s |      14 |    81106 |    70852 |   484453      0 |      150 |        0
741.68/741.81	c  734s |      14 |    81319 |    71052 |   484453      0 |      150 |        0
743.88/744.03	c  736s |      14 |    81530 |    71252 |   484453      0 |      150 |        0
746.17/746.30	c  739s |      14 |    81786 |    71452 |   484453      0 |      150 |        0
748.57/748.79	c  741s |      14 |    82125 |    71752 |   484453      0 |      150 |        0
751.17/751.36	c  744s |      14 |    82544 |    72152 |   484453      0 |      150 |        0
753.48/753.70	c  746s |      14 |    82949 |    72552 |   484453      0 |      150 |        0
755.87/756.04	c  748s |      14 |    83267 |    72852 |   484453      0 |      150 |        0
758.27/758.40	c  751s |      14 |    83556 |    73011 |   484453      0 |      150 |        0
758.27/758.40	c #cpu_time = 749.209s
758.27/758.40	c #wall_clock_time = 751.149s
758.27/758.40	c #decision = 83556
758.27/758.40	c #random_decision = 23
758.27/758.40	c #conflict = 73011
758.27/758.40	c #restart = 14
758.27/758.40	o 692961931
758.27/758.45	c BCD2: updating upper bound: 49785589662 -> 692961980
758.37/758.50	c BCD2: 0 <= obj <= 692961980
758.37/758.50	c BCD2: #cores=0, #unrelaxed=7400, #relaxed=0, #hardened=0
758.37/758.50	c BCD2: #sat=1 #unsat=1 bias=1/2
758.37/758.50	c Solving starts ...
758.37/758.50	c ============================[ Search Statistics ]============================
758.37/758.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
758.37/758.50	c       |         |          |          |    Limit     GC | Var      | Constra 
758.37/758.50	c =============================================================================
758.37/758.50	c  0.0s |       0 |        0 |        0 |   484453      0 |      150 |        0
759.57/759.76	c  1.3s |       0 |     1170 |        1 |   484453      0 |      150 |        0
759.57/759.76	c #cpu_time = 1.163s
759.57/759.76	c #wall_clock_time = 1.166s
759.57/759.76	c #decision = 1170
759.57/759.76	c #random_decision = 0
759.57/759.76	c #conflict = 1
759.57/759.76	c #restart = 0
759.57/759.76	c BCD2: found a new core of size 1170: cost of the new core is >=1331
759.57/759.76	c lower bound updated to 1281
759.57/759.78	c BCD2: 1331 <= obj <= 692961980
759.57/759.78	c BCD2: #cores=1, #unrelaxed=6230, #relaxed=1170, #hardened=0
759.57/759.78	c BCD2: #sat=1 #unsat=2 bias=2/3
759.87/760.05	c Solving starts ...
759.87/760.05	c ============================[ Search Statistics ]============================
759.87/760.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
759.87/760.05	c       |         |          |          |    Limit     GC | Var      | Constra 
759.87/760.05	c =============================================================================
759.87/760.05	c  0.0s |       0 |        0 |        0 |   484453      0 |      150 |        0
761.17/761.31	c  1.3s |       0 |     1174 |        1 |   484453      0 |      150 |        0
761.17/761.31	c #cpu_time = 1.160s
761.17/761.31	c #wall_clock_time = 1.163s
761.17/761.31	c #decision = 1174
761.17/761.31	c #random_decision = 0
761.17/761.31	c #conflict = 1
761.17/761.31	c #restart = 0
761.17/761.32	c BCD2: found a new core of size 1173: cost of the new core is >=1331
761.17/761.32	c lower bound updated to 2612
761.17/761.33	c BCD2: 2662 <= obj <= 692961980
761.17/761.33	c BCD2: #cores=2, #unrelaxed=5057, #relaxed=2343, #hardened=0
761.17/761.33	c BCD2: #sat=1 #unsat=3 bias=3/4
761.27/761.41	c Solving starts ...
761.27/761.41	c ============================[ Search Statistics ]============================
761.27/761.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
761.27/761.41	c       |         |          |          |    Limit     GC | Var      | Constra 
761.27/761.41	c =============================================================================
761.27/761.43	c  0.0s |       0 |        0 |        0 |   484453      0 |      150 |        0
762.17/762.37	c  0.9s |       0 |      204 |        0 |   484453      0 |      150 |        0
762.17/762.37	c #cpu_time = 0.924s
762.17/762.37	c #wall_clock_time = 0.926s
762.17/762.37	c #decision = 204
762.17/762.37	c #random_decision = 0
762.17/762.37	c #conflict = 0
762.17/762.37	c #restart = 0
762.17/762.37	c BCD2: found a new core of size 97: cost of the new core is >=900
762.17/762.37	c lower bound updated to 3512
762.17/762.38	c BCD2: 3562 <= obj <= 692961980
762.17/762.38	c BCD2: #cores=3, #unrelaxed=4960, #relaxed=2440, #hardened=0
762.17/762.38	c BCD2: #sat=1 #unsat=4 bias=4/5
763.56/763.79	c Solving starts ...
763.56/763.79	c ============================[ Search Statistics ]============================
763.56/763.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
763.56/763.79	c       |         |          |          |    Limit     GC | Var      | Constra 
763.56/763.79	c =============================================================================
763.56/763.79	c  0.0s |       0 |        0 |        0 |   484453      0 |      150 |        0
764.57/764.74	c  0.9s |       0 |      206 |        0 |   484453      0 |      150 |        0
764.57/764.74	c #cpu_time = 0.931s
764.57/764.74	c #wall_clock_time = 0.935s
764.57/764.74	c #decision = 206
764.57/764.74	c #random_decision = 0
764.57/764.74	c #conflict = 0
764.57/764.74	c #restart = 0
764.57/764.74	c BCD2: found a new core of size 97: cost of the new core is >=169
764.57/764.74	c lower bound updated to 3681
764.57/764.75	c BCD2: 3731 <= obj <= 692961980
764.57/764.75	c BCD2: #cores=4, #unrelaxed=4863, #relaxed=2537, #hardened=0
764.57/764.75	c BCD2: #sat=1 #unsat=5 bias=5/6
770.07/770.25	c Solving starts ...
770.07/770.25	c ============================[ Search Statistics ]============================
770.07/770.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
770.07/770.25	c       |         |          |          |    Limit     GC | Var      | Constra 
770.07/770.25	c =============================================================================
770.07/770.25	c  0.0s |       0 |        0 |        0 |   484453      0 |      150 |        0
770.96/771.17	c  0.9s |       0 |      208 |        0 |   484453      0 |      150 |        0
770.96/771.17	c #cpu_time = 0.909s
770.96/771.17	c #wall_clock_time = 0.912s
770.96/771.17	c #decision = 208
770.96/771.17	c #random_decision = 0
770.96/771.17	c #conflict = 0
770.96/771.17	c #restart = 0
770.96/771.17	c BCD2: found a new core of size 97: cost of the new core is >=1156
770.96/771.17	c lower bound updated to 4837
770.96/771.18	c BCD2: 4887 <= obj <= 692961980
770.96/771.18	c BCD2: #cores=5, #unrelaxed=4766, #relaxed=2634, #hardened=0
770.96/771.18	c BCD2: #sat=1 #unsat=6 bias=6/7
775.16/775.34	c Solving starts ...
775.16/775.34	c ============================[ Search Statistics ]============================
775.16/775.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
775.16/775.34	c       |         |          |          |    Limit     GC | Var      | Constra 
775.16/775.34	c =============================================================================
775.16/775.35	c  0.0s |       0 |        0 |        0 |   484453      0 |      150 |        0
776.06/776.27	c  0.9s |       0 |      209 |        0 |   484453      0 |      150 |        0
776.06/776.27	c #cpu_time = 0.908s
776.06/776.27	c #wall_clock_time = 0.911s
776.06/776.27	c #decision = 209
776.06/776.27	c #random_decision = 0
776.06/776.27	c #conflict = 0
776.06/776.27	c #restart = 0
776.06/776.27	c BCD2: relaxing 96 and merging with 1 cores into a new core of size 193: cost of the new core is >=530
776.06/776.27	c lower bound updated to 5198
776.06/776.28	c BCD2: 5248 <= obj <= 692961980
776.06/776.28	c BCD2: #cores=5, #unrelaxed=4670, #relaxed=2730, #hardened=0
776.06/776.28	c BCD2: #sat=1 #unsat=7 bias=7/8
796.36/796.60	c Solving starts ...
796.36/796.60	c ============================[ Search Statistics ]============================
796.36/796.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
796.36/796.60	c       |         |          |          |    Limit     GC | Var      | Constra 
796.36/796.60	c =============================================================================
796.46/796.61	c  0.0s |       0 |        0 |        0 |   484453      0 |      152 |        0
797.35/797.52	c  0.9s |       0 |      212 |        0 |   484453      0 |      152 |        3
797.35/797.52	c #cpu_time = 0.904s
797.35/797.52	c #wall_clock_time = 0.906s
797.35/797.52	c #decision = 212
797.35/797.52	c #random_decision = 0
797.35/797.52	c #conflict = 0
797.35/797.52	c #restart = 0
797.35/797.52	c BCD2: found a new core of size 97: cost of the new core is >=1024
797.35/797.52	c lower bound updated to 6222
797.35/797.54	c BCD2: 6272 <= obj <= 692961980
797.35/797.54	c BCD2: #cores=6, #unrelaxed=4573, #relaxed=2827, #hardened=0
797.35/797.54	c BCD2: #sat=1 #unsat=8 bias=8/9
993.51/993.75	c Solving starts ...
993.51/993.75	c ============================[ Search Statistics ]============================
993.51/993.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
993.51/993.75	c       |         |          |          |    Limit     GC | Var      | Constra 
993.51/993.75	c =============================================================================
993.51/993.75	c  0.0s |       0 |        0 |        0 |   484453      0 |      152 |        3
994.51/994.70	c  0.9s |       0 |      209 |        0 |   484453      0 |      152 |        3
994.51/994.70	c #cpu_time = 0.926s
994.51/994.70	c #wall_clock_time = 0.929s
994.51/994.70	c #decision = 209
994.51/994.70	c #random_decision = 0
994.51/994.70	c #conflict = 0
994.51/994.70	c #restart = 0
994.51/994.70	c BCD2: relaxing 93 and merging with 1 cores into a new core of size 190: cost of the new core is >=1508
994.51/994.70	c lower bound updated to 6706
994.51/994.71	c BCD2: 6756 <= obj <= 692961980
994.51/994.71	c BCD2: #cores=6, #unrelaxed=4480, #relaxed=2920, #hardened=0
994.51/994.71	c BCD2: #sat=1 #unsat=9 bias=9/10
1013.71/1013.96	c Solving starts ...
1013.71/1013.96	c ============================[ Search Statistics ]============================
1013.71/1013.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1013.71/1013.96	c       |         |          |          |    Limit     GC | Var      | Constra 
1013.71/1013.96	c =============================================================================
1013.71/1013.96	c  0.0s |       0 |        0 |        0 |   484453      0 |      153 |        3
1014.71/1014.90	c  0.9s |       0 |      215 |        0 |   484453      0 |      153 |        4
1014.71/1014.90	c #cpu_time = 0.922s
1014.71/1014.90	c #wall_clock_time = 0.925s
1014.71/1014.90	c #decision = 215
1014.71/1014.90	c #random_decision = 0
1014.71/1014.90	c #conflict = 0
1014.71/1014.90	c #restart = 0
1014.71/1014.90	c BCD2: relaxing 95 and merging with 1 cores into a new core of size 285: cost of the new core is >=2133
1014.71/1014.90	c lower bound updated to 7331
1014.71/1014.91	c BCD2: 7381 <= obj <= 692961980
1014.71/1014.91	c BCD2: #cores=6, #unrelaxed=4385, #relaxed=3015, #hardened=0
1014.71/1014.91	c BCD2: #sat=1 #unsat=10 bias=10/11
1017.01/1017.24	c Solving starts ...
1017.01/1017.24	c ============================[ Search Statistics ]============================
1017.01/1017.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1017.01/1017.24	c       |         |          |          |    Limit     GC | Var      | Constra 
1017.01/1017.24	c =============================================================================
1017.01/1017.25	c  0.0s |       0 |        0 |        0 |   484453      0 |      154 |        4
1017.91/1018.18	c  0.9s |       0 |      222 |        0 |   484453      0 |      154 |        5
1017.91/1018.18	c #cpu_time = 0.916s
1017.91/1018.18	c #wall_clock_time = 0.918s
1017.91/1018.18	c #decision = 222
1017.91/1018.18	c #random_decision = 0
1017.91/1018.18	c #conflict = 0
1017.91/1018.18	c #restart = 0
1017.91/1018.18	c BCD2: found a new core of size 97: cost of the new core is >=625
1017.91/1018.18	c lower bound updated to 7956
1017.91/1018.19	c BCD2: 8006 <= obj <= 692961980
1017.91/1018.19	c BCD2: #cores=7, #unrelaxed=4288, #relaxed=3112, #hardened=0
1017.91/1018.19	c BCD2: #sat=1 #unsat=11 bias=11/12
1079.70/1079.92	c Solving starts ...
1079.70/1079.92	c ============================[ Search Statistics ]============================
1079.70/1079.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1079.70/1079.92	c       |         |          |          |    Limit     GC | Var      | Constra 
1079.70/1079.92	c =============================================================================
1079.70/1079.92	c  0.0s |       0 |        0 |        0 |   484453      0 |      154 |        5
1080.60/1080.85	c  0.9s |       0 |      223 |        0 |   484453      0 |      154 |        5
1080.60/1080.85	c #cpu_time = 0.915s
1080.60/1080.85	c #wall_clock_time = 0.918s
1080.60/1080.85	c #decision = 223
1080.60/1080.85	c #random_decision = 0
1080.60/1080.85	c #conflict = 0
1080.60/1080.85	c #restart = 0
1080.60/1080.85	c BCD2: relaxing 96 and merging with 1 cores into a new core of size 193: cost of the new core is >=746
1080.60/1080.85	c lower bound updated to 8077
1080.60/1080.86	c BCD2: 8127 <= obj <= 692961980
1080.60/1080.86	c BCD2: #cores=7, #unrelaxed=4192, #relaxed=3208, #hardened=0
1080.60/1080.86	c BCD2: #sat=1 #unsat=12 bias=12/13
1094.10/1094.38	c Solving starts ...
1094.10/1094.38	c ============================[ Search Statistics ]============================
1094.10/1094.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1094.10/1094.38	c       |         |          |          |    Limit     GC | Var      | Constra 
1094.10/1094.38	c =============================================================================
1094.10/1094.38	c  0.0s |       0 |        0 |        0 |   484453      0 |      155 |        5
1095.10/1095.32	c  0.9s |       0 |      226 |        0 |   484453      0 |      155 |        6
1095.10/1095.32	c #cpu_time = 0.916s
1095.10/1095.32	c #wall_clock_time = 0.918s
1095.10/1095.32	c #decision = 226
1095.10/1095.32	c #random_decision = 0
1095.10/1095.32	c #conflict = 0
1095.10/1095.32	c #restart = 0
1095.10/1095.32	c BCD2: found a new core of size 97: cost of the new core is >=529
1095.10/1095.32	c lower bound updated to 8606
1095.10/1095.33	c BCD2: 8656 <= obj <= 692961980
1095.10/1095.33	c BCD2: #cores=8, #unrelaxed=4095, #relaxed=3305, #hardened=0
1095.10/1095.33	c BCD2: #sat=1 #unsat=13 bias=13/14
1110.69/1110.97	c Solving starts ...
1110.69/1110.97	c ============================[ Search Statistics ]============================
1110.69/1110.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1110.69/1110.97	c       |         |          |          |    Limit     GC | Var      | Constra 
1110.69/1110.97	c =============================================================================
1110.69/1110.97	c  0.0s |       0 |        0 |        0 |   484453      0 |      155 |        6
1111.69/1111.91	c  0.9s |       0 |      228 |        0 |   484453      0 |      155 |        6
1111.69/1111.91	c #cpu_time = 0.919s
1111.69/1111.91	c #wall_clock_time = 0.921s
1111.69/1111.91	c #decision = 228
1111.69/1111.91	c #random_decision = 0
1111.69/1111.91	c #conflict = 0
1111.69/1111.91	c #restart = 0
1111.69/1111.91	c BCD2: found a new core of size 97: cost of the new core is >=1024
1111.69/1111.91	c lower bound updated to 9630
1111.69/1111.92	c BCD2: 9680 <= obj <= 692961980
1111.69/1111.92	c BCD2: #cores=9, #unrelaxed=3998, #relaxed=3402, #hardened=0
1111.69/1111.92	c BCD2: #sat=1 #unsat=14 bias=14/15
1168.98/1169.28	c Solving starts ...
1168.98/1169.28	c ============================[ Search Statistics ]============================
1168.98/1169.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1168.98/1169.28	c       |         |          |          |    Limit     GC | Var      | Constra 
1168.98/1169.28	c =============================================================================
1168.98/1169.29	c  0.0s |       0 |        0 |        0 |   484453      0 |      155 |        6
1169.98/1170.24	c  1.0s |       0 |      227 |        0 |   484453      0 |      155 |        6
1169.98/1170.24	c #cpu_time = 0.926s
1169.98/1170.24	c #wall_clock_time = 0.928s
1169.98/1170.24	c #decision = 227
1169.98/1170.24	c #random_decision = 0
1169.98/1170.24	c #conflict = 0
1169.98/1170.24	c #restart = 0
1169.98/1170.24	c BCD2: relaxing 95 and merging with 1 cores into a new core of size 192: cost of the new core is >=1553
1169.98/1170.24	c lower bound updated to 10159
1169.98/1170.25	c BCD2: 10209 <= obj <= 692961980
1169.98/1170.25	c BCD2: #cores=9, #unrelaxed=3903, #relaxed=3497, #hardened=0
1169.98/1170.25	c BCD2: #sat=1 #unsat=15 bias=15/16
1195.18/1195.46	c Solving starts ...
1195.18/1195.46	c ============================[ Search Statistics ]============================
1195.18/1195.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1195.18/1195.46	c       |         |          |          |    Limit     GC | Var      | Constra 
1195.18/1195.46	c =============================================================================
1195.18/1195.46	c  0.0s |       0 |        0 |        0 |   484453      0 |      156 |        6
1196.08/1196.39	c  0.9s |       0 |      231 |        0 |   484453      0 |      156 |        7
1196.08/1196.39	c #cpu_time = 0.919s
1196.08/1196.39	c #wall_clock_time = 0.921s
1196.08/1196.39	c #decision = 231
1196.08/1196.39	c #random_decision = 0
1196.08/1196.39	c #conflict = 0
1196.08/1196.39	c #restart = 0
1196.18/1196.41	c BCD2: relaxing 95 and merging with 1 cores into a new core of size 287: cost of the new core is >=1674
1196.18/1196.41	c lower bound updated to 10280
1196.18/1196.42	c BCD2: 10330 <= obj <= 692961980
1196.18/1196.42	c BCD2: #cores=9, #unrelaxed=3808, #relaxed=3592, #hardened=0
1196.18/1196.42	c BCD2: #sat=1 #unsat=16 bias=16/17
1223.08/1223.39	c Solving starts ...
1223.08/1223.39	c ============================[ Search Statistics ]============================
1223.08/1223.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1223.08/1223.39	c       |         |          |          |    Limit     GC | Var      | Constra 
1223.08/1223.39	c =============================================================================
1223.08/1223.40	c  0.0s |       0 |        0 |        0 |   484453      0 |      157 |        7
1224.08/1224.35	c  1.0s |       0 |      234 |        0 |   484453      0 |      157 |        8
1224.08/1224.35	c #cpu_time = 0.933s
1224.08/1224.35	c #wall_clock_time = 0.935s
1224.08/1224.35	c #decision = 234
1224.08/1224.35	c #random_decision = 0
1224.08/1224.35	c #conflict = 0
1224.08/1224.35	c #restart = 0
1224.08/1224.35	c BCD2: relaxing 96 and merging with 1 cores into a new core of size 383: cost of the new core is >=2203
1224.08/1224.35	c lower bound updated to 10809
1224.08/1224.36	c BCD2: 10859 <= obj <= 692961980
1224.08/1224.36	c BCD2: #cores=9, #unrelaxed=3712, #relaxed=3688, #hardened=0
1224.08/1224.36	c BCD2: #sat=1 #unsat=17 bias=17/18
1261.07/1261.33	c Solving starts ...
1261.07/1261.33	c ============================[ Search Statistics ]============================
1261.07/1261.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1261.07/1261.33	c       |         |          |          |    Limit     GC | Var      | Constra 
1261.07/1261.33	c =============================================================================
1261.07/1261.34	c  0.0s |       0 |        0 |        0 |   484453      0 |      158 |        8
1261.97/1262.26	c  0.9s |       0 |      238 |        0 |   484453      0 |      158 |        9
1261.97/1262.26	c #cpu_time = 0.909s
1261.97/1262.26	c #wall_clock_time = 0.911s
1261.97/1262.26	c #decision = 238
1261.97/1262.26	c #random_decision = 0
1261.97/1262.26	c #conflict = 0
1261.97/1262.26	c #restart = 0
1261.97/1262.26	c BCD2: found a new core of size 97: cost of the new core is >=361
1261.97/1262.26	c lower bound updated to 11170
1261.97/1262.27	c BCD2: 11220 <= obj <= 692961980
1261.97/1262.27	c BCD2: #cores=10, #unrelaxed=3615, #relaxed=3785, #hardened=0
1261.97/1262.27	c BCD2: #sat=1 #unsat=18 bias=18/19
1285.87/1286.12	c Solving starts ...
1285.87/1286.12	c ============================[ Search Statistics ]============================
1285.87/1286.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1285.87/1286.12	c       |         |          |          |    Limit     GC | Var      | Constra 
1285.87/1286.12	c =============================================================================
1285.87/1286.12	c  0.0s |       0 |        0 |        0 |   484453      0 |      158 |        9
1286.76/1287.05	c  0.9s |       0 |      239 |        0 |   484453      0 |      158 |        9
1286.76/1287.05	c #cpu_time = 0.907s
1286.76/1287.05	c #wall_clock_time = 0.909s
1286.76/1287.05	c #decision = 239
1286.76/1287.05	c #random_decision = 0
1286.76/1287.05	c #conflict = 0
1286.76/1287.05	c #restart = 0
1286.76/1287.05	c BCD2: relaxing 96 and merging with 1 cores into a new core of size 193: cost of the new core is >=1261
1286.76/1287.05	c lower bound updated to 12070
1286.76/1287.06	c BCD2: 12120 <= obj <= 692961980
1286.76/1287.06	c BCD2: #cores=10, #unrelaxed=3519, #relaxed=3881, #hardened=0
1286.76/1287.06	c BCD2: #sat=1 #unsat=19 bias=19/20
1328.86/1329.14	c Solving starts ...
1328.86/1329.14	c ============================[ Search Statistics ]============================
1328.86/1329.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1328.86/1329.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1328.86/1329.14	c =============================================================================
1328.86/1329.14	c  0.0s |       0 |        0 |        0 |   484453      0 |      159 |        9
1329.77/1330.07	c  0.9s |       0 |      242 |        0 |   484453      0 |      159 |       10
1329.77/1330.07	c #cpu_time = 0.907s
1329.77/1330.07	c #wall_clock_time = 0.909s
1329.77/1330.07	c #decision = 242
1329.77/1330.07	c #random_decision = 0
1329.77/1330.07	c #conflict = 0
1329.77/1330.07	c #restart = 0
1329.77/1330.07	c BCD2: found a new core of size 97: cost of the new core is >=121
1329.77/1330.07	c lower bound updated to 12191
1329.77/1330.08	c BCD2: 12241 <= obj <= 692961980
1329.77/1330.08	c BCD2: #cores=11, #unrelaxed=3422, #relaxed=3978, #hardened=0
1329.77/1330.08	c BCD2: #sat=1 #unsat=20 bias=20/21
1436.54/1436.85	c Solving starts ...
1436.54/1436.85	c ============================[ Search Statistics ]============================
1436.54/1436.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1436.54/1436.85	c       |         |          |          |    Limit     GC | Var      | Constra 
1436.54/1436.85	c =============================================================================
1436.54/1436.85	c  0.0s |       0 |        0 |        0 |   484453      0 |      159 |       10
1437.54/1437.82	c  1.0s |       0 |      243 |        0 |   484453      0 |      159 |       10
1437.54/1437.82	c #cpu_time = 0.942s
1437.54/1437.82	c #wall_clock_time = 0.944s
1437.54/1437.82	c #decision = 243
1437.54/1437.82	c #random_decision = 0
1437.54/1437.82	c #conflict = 0
1437.54/1437.82	c #restart = 0
1437.54/1437.82	c BCD2: found a new core of size 97: cost of the new core is >=1024
1437.54/1437.82	c lower bound updated to 13215
1437.54/1437.85	c BCD2: 13265 <= obj <= 692961980
1437.54/1437.85	c BCD2: #cores=12, #unrelaxed=3325, #relaxed=4075, #hardened=0
1437.54/1437.85	c BCD2: #sat=1 #unsat=21 bias=21/22

Verifier Data 

ERROR: no interpretation found !

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

pid=22694
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.38 2.22 2.18 3/179 22697
/proc/meminfo: memFree=29203568/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 2590 0 0 0 0 0 0 0 20 0 4 0 116373165 712437760 3461 33554432000 4194304 16246674 140734060621648 140734060621072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 174447 3469 441 2943 0 171341 0
[pid=22697/tid=22698] ppid=22694 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 730263552 3528 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 734457856 3544 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 738652160 3562 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.38 2.22 2.18 3/179 22697
/proc/meminfo: memFree=29203568/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 29380 0 0 0 5 4 0 0 20 0 4 0 116373165 1334382592 30189 33554432000 4194304 16246674 140734060621648 140734060620960 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 325777 30205 800 2943 0 322671 0
[pid=22697/tid=22698] ppid=22694 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1334382592 30216 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1334382592 30226 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1334382592 30238 33554432000 4194304 16246674 140734060621648 140016873368752 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) 1303108

[startup+0.200536 s]
/proc/loadavg: 2.38 2.22 2.18 3/179 22697
/proc/meminfo: memFree=29203568/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 43013 0 0 0 13 6 0 0 20 0 4 0 116373165 1344868352 44334 33554432000 4194304 16246674 140734060621648 140734060620960 7376282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 328337 44352 801 2943 0 325231 0
[pid=22697/tid=22698] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 44363 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 44373 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 44384 33554432000 4194304 16246674 140734060621648 140016873368752 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) 1313348

[startup+0.300497 s]
/proc/loadavg: 2.38 2.22 2.18 3/179 22697
/proc/meminfo: memFree=29203568/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 55356 0 0 0 22 7 0 0 20 0 4 0 116373165 1344868352 56676 33554432000 4194304 16246674 140734060621648 140734060620960 4220940 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 328337 56676 801 2943 0 325231 0
[pid=22697/tid=22698] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 56676 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 56676 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 56676 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700418 s]
/proc/loadavg: 2.38 2.22 2.18 3/179 22697
/proc/meminfo: memFree=29203568/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 63782 0 0 0 60 9 0 0 20 0 4 0 116373165 1344868352 65102 33554432000 4194304 16246674 140734060621648 140734060620960 4206653 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 328337 65102 802 2943 0 325231 0
[pid=22697/tid=22698] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 65102 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 65102 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1344868352 65102 33554432000 4194304 16246674 140734060621648 140016873368752 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) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.35 2.21 2.18 3/183 22701
/proc/meminfo: memFree=28862404/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 96040 0 0 0 135 14 0 0 20 0 4 0 116373165 1357451264 99915 33554432000 4194304 16246674 140734060621648 140734060603520 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 331409 99935 802 2943 0 328303 0
[pid=22697/tid=22698] ppid=22694 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1357451264 99946 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1357451264 99957 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1357451264 99968 33554432000 4194304 16246674 140734060621648 140016873368752 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) 1325636

[startup+3.10041 s]
/proc/loadavg: 2.35 2.21 2.18 3/183 22701
/proc/meminfo: memFree=28747088/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1356356 CPUtime=3.09 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 226686 0 0 0 276 33 0 0 20 0 4 0 116373165 1388908544 231072 33554432000 4194304 16246674 140734060621648 140734060603520 6155377 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 339089 231080 845 2943 0 335983 0
[pid=22697/tid=22698] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 231086 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 231090 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 231095 33554432000 4194304 16246674 140734060621648 140016873368752 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) 1356356

[startup+6.30042 s]
/proc/loadavg: 2.35 2.21 2.18 3/183 22701
/proc/meminfo: memFree=28080524/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1356356 CPUtime=6.29 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 276654 0 0 0 588 41 0 0 20 0 4 0 116373165 1388908544 281040 33554432000 4194304 16246674 140734060621648 140734060603520 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 339089 281040 846 2943 0 335983 0
[pid=22697/tid=22698] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281040 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281040 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281040 33554432000 4194304 16246674 140734060621648 140016873368752 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) 1356356

[startup+12.7004 s]
/proc/loadavg: 2.37 2.22 2.18 3/183 22701
/proc/meminfo: memFree=28081268/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1356356 CPUtime=12.69 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 276704 0 0 0 1228 41 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140734060603520 5829844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 339089 281090 895 2943 0 335983 0
[pid=22697/tid=22698] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016873368752 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) 1356356

[startup+25.5075 s]
/proc/loadavg: 2.39 2.23 2.19 3/183 22701
/proc/meminfo: memFree=28081404/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1356356 CPUtime=25.5 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 276704 0 0 0 2509 41 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140734060603520 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 339089 281090 895 2943 0 335983 0
[pid=22697/tid=22698] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1356356

[startup+51.1004 s]
/proc/loadavg: 2.38 2.24 2.19 3/183 22702
/proc/meminfo: memFree=28081744/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1356356 CPUtime=51.08 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 276704 0 0 0 5067 41 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140734060603520 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 339089 281090 895 2943 0 335983 0
[pid=22697/tid=22698] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281090 33554432000 4194304 16246674 140734060621648 140016873368752 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) 1356356

[startup+102.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 22703
/proc/meminfo: memFree=28080756/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=1356356 CPUtime=102.27 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 276705 0 0 0 10186 41 0 0 20 0 4 0 116373165 1388908544 281091 33554432000 4194304 16246674 140734060621648 140734060603520 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 339089 281091 896 2943 0 335983 0
[pid=22697/tid=22698] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281091 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281091 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 1388908544 281091 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1356356


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

/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 2506690560 554019 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=2447940 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 2506690560 554019 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=2447940 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 2506690560 554019 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2447940

[startup+1362.3 s]
/proc/loadavg: 2.22 2.27 2.20 4/183 22734
/proc/meminfo: memFree=26575044/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=2774596 CPUtime=1362.06 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1087904 0 0 0 136005 201 0 0 20 0 4 0 116373165 2841186304 635546 33554432000 4194304 16246674 140734060621648 140734060603520 12429021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 693649 635546 924 2943 0 690543 0
[pid=22697/tid=22698] ppid=22694 vsize=2774596 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 2841186304 635546 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=2774596 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 2841186304 635546 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=2774596 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 2841186304 635546 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2774596

[startup+1422.3 s]
/proc/loadavg: 2.21 2.26 2.20 4/184 22738
/proc/meminfo: memFree=25793268/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=2828868 CPUtime=1422.04 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1269289 0 0 0 141968 236 0 0 20 0 4 0 116373165 2896760832 649251 33554432000 4194304 16246674 140734060621648 140734060603520 12654356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 707217 649251 924 2943 0 704111 0
[pid=22697/tid=22698] ppid=22694 vsize=2828868 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 2896760832 649251 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=2828868 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 2896760832 649251 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=2828868 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 2896760832 649251 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2828868

[startup+1482.3 s]
/proc/loadavg: 2.29 2.25 2.20 4/183 22739
/proc/meminfo: memFree=26333728/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=2828868 CPUtime=1482.03 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1269291 0 0 0 147964 239 0 0 20 0 4 0 116373165 2896760832 649251 33554432000 4194304 16246674 140734060621648 140734060620744 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 707217 649251 924 2943 0 704111 0
[pid=22697/tid=22698] ppid=22694 vsize=2828868 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 2896760832 649251 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=2828868 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 2896760832 649251 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=2828868 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 2896760832 649251 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2828868

[startup+1542.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 22740
/proc/meminfo: memFree=25805400/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=3333700 CPUtime=1542.02 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1395332 0 0 0 153939 263 0 0 20 0 4 0 116373165 3413708800 775292 33554432000 4194304 16246674 140734060621648 140734060620960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 833425 775292 924 2943 0 830319 0
[pid=22697/tid=22698] ppid=22694 vsize=3333700 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 3413708800 775292 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=3333700 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 3413708800 775292 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=3333700 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 3413708800 775292 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 3333700

[startup+1602.3 s]
/proc/loadavg: 2.23 2.22 2.18 4/183 22742
/proc/meminfo: memFree=25464384/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=3660356 CPUtime=1602.01 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1477163 0 0 0 159920 281 0 0 20 0 4 0 116373165 3748204544 857123 33554432000 4194304 16246674 140734060621648 140734060620960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 915089 857123 924 2943 0 911983 0
[pid=22697/tid=22698] ppid=22694 vsize=3660356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 3748204544 857123 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=3660356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 3748204544 857123 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=3660356 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 3748204544 857123 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 3660356

[startup+1662.31 s]
/proc/loadavg: 2.08 2.18 2.17 3/183 22743
/proc/meminfo: memFree=25146440/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=3950148 CPUtime=1662.01 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1552427 0 0 0 165901 300 0 0 20 0 4 0 116373165 4044951552 929571 33554432000 4194304 16246674 140734060621648 140734060619520 4221122 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 987537 929571 924 2943 0 984431 0
[pid=22697/tid=22698] ppid=22694 vsize=3950148 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 4044951552 929571 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=3950148 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 4044951552 929571 33554432000 4194304 16246674 140734060621648 140016961428496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=3950148 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 4044951552 929571 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3950148

[startup+1722.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/183 22744
/proc/meminfo: memFree=24797792/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=4270660 CPUtime=1721.99 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1636907 0 0 0 171877 322 0 0 20 0 4 0 116373165 4373155840 1009699 33554432000 4194304 16246674 140734060621648 140734060619520 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 1067665 1009699 924 2943 0 1064559 0
[pid=22697/tid=22698] ppid=22694 vsize=4270660 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 4373155840 1009699 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=4270660 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 4373155840 1009699 33554432000 4194304 16246674 140734060621648 140016961428496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=4270660 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 4373155840 1009699 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 4270660

[startup+1782.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 22745
/proc/meminfo: memFree=25980672/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=3045956 CPUtime=1781.98 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1675819 0 0 0 177859 339 0 0 20 0 4 0 116373165 3119058944 703523 33554432000 4194304 16246674 140734060621648 140734060620744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 761489 703523 924 2943 0 758383 0
[pid=22697/tid=22698] ppid=22694 vsize=3045956 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 3119058944 703523 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=3045956 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 3119058944 703523 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=3045956 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 3119058944 703523 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 3045956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.94 2.13 2.16 3/173 22776
/proc/meminfo: memFree=27432768/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=3151428 CPUtime=1800.07 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) R 22694 22697 19387 0 -1 4202496 1702187 0 0 0 179663 344 0 0 20 0 4 0 116373165 3227062272 729891 33554432000 4194304 16246674 140734060621648 140734060620744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 787857 729891 924 2943 0 784751 0
[pid=22697/tid=22698] ppid=22694 vsize=3151428 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22698/stat : 22698 (toysat) S 22694 22697 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 116373165 3227062272 729891 33554432000 4194304 16246674 140734060621648 140016971918576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=3151428 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) S 22694 22697 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116373165 3227062272 729891 33554432000 4194304 16246674 140734060621648 140016961428720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22697/tid=22700] ppid=22694 vsize=3151428 CPUtime=0 cores=1,3,5,7
/proc/22697/task/22700/stat : 22700 (toysat) S 22694 22697 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116373165 3227062272 729891 33554432000 4194304 16246674 140734060621648 140016873368752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3151428

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 1.94 2.13 2.16 3/173 22776
/proc/meminfo: memFree=27432768/32872528 swapFree=16204/1518544
[pid=22697] ppid=22694 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/22697/stat : 22697 (toysat) Z 22694 22697 19387 0 -1 4203532 1702187 0 0 0 179664 354 0 0 20 0 2 0 116373165 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22697/statm: 0 0 0 0 0 0 0
[pid=22697/tid=22699] ppid=22694 vsize=0 CPUtime=0.1 cores=1,3,5,7
/proc/22697/task/22699/stat : 22699 (toysat) R 22694 22697 19387 0 -1 4203588 8 0 0 0 0 10 0 0 20 0 2 0 116373165 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.23
CPU user time (s): 1796.65
CPU system time (s): 3.58146
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 4426308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 3.58146
maximum resident set size= 4194444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1702187
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= 1109
involuntary context switches= 1824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72528 second user time and 6.83196 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-08 02:06:43
IDJOB=4079338
IDBENCH=92783
IDSOLVER=2542
FILE ID=node129/4079338-1465344403
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_1_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079338-1465344403/watcher-4079338-1465344403 -o /tmp/evaluation-result-4079338-1465344403/solver-4079338-1465344403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079338-1465344403.opb

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

MD5SUM BENCH= feedf54c4af2588ba6a91c777d82b919
RANDOM SEED=1077948881

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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.715
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.715
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.715
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.715
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:        29203832 kB
Buffers:           57308 kB
Cached:           226324 kB
SwapCached:         1836 kB
Active:          1250896 kB
Inactive:         156112 kB
Active(anon):    1121168 kB
Inactive(anon):     4528 kB
Active(file):     129728 kB
Inactive(file):   151584 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             57036 kB
Writeback:             0 kB
AnonPages:       2641580 kB
Mapped:            11744 kB
Shmem:                 0 kB
Slab:             605516 kB
SReclaimable:      49076 kB
SUnreclaim:       556440 kB
KernelStack:        1512 kB
PageTables:         9096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2785816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1519616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node129 at 2016-06-08 02:36:44