Trace number 4107082

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.56 1800.87

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__128.opb
MD5SUM532f9d522f176ac928dfe97ba6769de3
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark403527
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables192498
Total number of constraints2000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1502
Number of constraints which are nor clauses,nor cardinality constraints498
Minimum length of a constraint128
Maximum length of a constraint2689
Number of terms in the objective function 192000
Biggest coefficient in the objective function 114804
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 6567727872
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 114804
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 6567727872
Number of bits of the biggest sum of numbers33
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-18T22:35:08+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107082-1466282107.opb"]
0.00/0.01	c use --random-gen="2824753888 1181373892 3509182704 907570337 1006709223 2369433894 3963790543 655660847 1377477979 3638676479 2536545343 1808341944 3439844999 3625280313 1242806238 908708422 1926101860 1683242415 2490960375 2912988594 1660128481 832795690 1325082743 1710366835 4016650518 192977822 10257957 4131862616 897642377 3758765197 2256540545 620125361 3021976281 2318548372 1888792986 183893207 2220454926 2384020524 3978971361 4012269402 999597476 2118862817 1964907214 2887418022 3590163054 1914842583 245870973 3631552856 1515148228 2824039498 1153866409 3762946335 3588296895 1844341366 3580892851 2973939885 261131666 4242044298 1366149233 404106672 3749503594 3686641096 1148904107 2924578948 3127284927 3237995200 2401895507 1928420300 3616635639 3905236649 2627865827 2109695761 3437103769 4057125369 3778610192 2725165399 13622572 511793597 2617749130 1202045980 2713389511 2005736509 2876142279 1797002955 2215875687 3326870167 1953960006 3342927145 3136331328 3365433435 2288807918 4080806894 1537335750 1414837360 758413198 917138610 1381268156 1783559764 548833766 1593435610 1364669194 3387649402 861970473 4193858133 92875719 740262839 3838057415 2808844318 645534784 3423154534 4071257060 33139228 1160638394 3253118431 1913222087 2373320014 3234572513 345878448 1617890794 1664868556 3366036333 732662799 3303454262 3502123650 2073262566 4251398269 411403099 230261628 3446011170 3110867674 4203212401 2863768542 3469486577 838558284 2826059875 2977460956 3142089618 3045503846 3372780336 3879194613 2071934467 2609793191 3871483347 601631615 2638588985 2152482258 730529504 3422025949 3600636921 1906835916 3939708211 88830546 658115527 227718954 777698349 2578064657 3321593170 3069318439 910802585 3452982347 426563724 2854896945 4244638674 281397247 399107444 884167023 1918197653 1365860318 3669921187 984730342 2286911880 3995207559 2446995318 3191724629 890366394 2005001774 2311727115 2496628803 1358739430 1053168291 659216577 585622462 2726356614 1690599642 2842162066 878454972 2433014079 2359231988 4189201695 4276284691 1183684346 4037046776 1263529150 193546084 188293133 2788593495 2637409447 1697258238 3681146830 3498093799 2009552715 2040214468 320380583 2650677342 3439958729 2170633970 1095501492 1718285058 4280219371 728041155 2038462288 3504085080 2487542043 969834254 1750704822 2546178528 1456976440 2977985986 2661431190 2630369940 815493673 2629185132 2433417015 2141505744 3436385637 240333994 308460156 2478994597 3277024533 199925487 92953479 1474901507 1797617371 3286949612 3853374005 1267689461 2771753117 2509435509 136723885 3306345000 3664152255 823353241 3153287008 176482068 1583040335 424386752 1455924037 4141657313 4057624333 538852621 1586457720 2495289640 2420459917 151100261 3031358152 1914967155 255 362436" option to reproduce the execution
1.20/1.28	c #vars 192498
1.20/1.28	c #constraints 2000
4.50/4.55	c BCD2: Hardening is enabled.
4.50/4.55	c BCD2: BiasedSearch is enabled.
4.50/4.55	c Solving starts ...
4.50/4.55	c ============================[ Search Statistics ]============================
4.50/4.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.50/4.55	c       |         |          |          |    Limit     GC | Var      | Constra 
4.50/4.55	c =============================================================================
4.59/4.63	c  0.0s |       0 |        0 |        0 |    64999      0 |        0 |        0
5.09/5.16	c  0.5s |       1 |      864 |      100 |    64999      0 |        0 |        0
6.29/6.37	c  1.7s |       2 |     3800 |      250 |    71499      0 |        0 |        0
7.09/7.19	c  2.6s |       3 |    13317 |      475 |    78649      0 |        0 |        0
8.89/8.96	c  4.3s |       4 |    26774 |      813 |    86514      0 |        0 |        0
11.39/11.49	c  6.9s |       4 |    68450 |     1213 |    95166      0 |        0 |        0
12.09/12.12	c  7.5s |       5 |    68450 |     1320 |    95166      0 |        0 |        0
14.59/14.61	c 10.0s |       5 |    94758 |     1720 |   104683      0 |        0 |        0
16.78/16.89	c 12.3s |       6 |   114917 |     2081 |   115152      0 |        0 |        0
18.98/19.08	c 14.5s |       6 |   168161 |     2381 |   115152      0 |        0 |        0
21.28/21.39	c 16.8s |       6 |   191387 |     2581 |   115152      0 |        0 |        0
23.98/24.08	c 19.5s |       6 |   222403 |     2781 |   115152      0 |        0 |        0
26.88/26.94	c 22.3s |       6 |   243792 |     2881 |   115152      0 |        0 |        0
35.29/35.34	c 30.7s |       6 |   246507 |     2981 |   115152      0 |        0 |        0
38.49/38.57	c 33.9s |       6 |   247034 |     3181 |   115152      0 |        0 |        0
39.28/39.34	c 34.7s |       7 |   247161 |     3223 |   126668      0 |        0 |        0
42.69/42.73	c 38.1s |       7 |   308103 |     3423 |   126668      0 |        0 |        0
44.69/44.73	c 40.1s |       7 |   318014 |     3623 |   126668      0 |        0 |        0
46.99/47.06	c 42.4s |       7 |   329474 |     3823 |   126668      0 |        0 |        0
49.59/49.65	c 45.0s |       7 |   354557 |     4223 |   126668      0 |        0 |        0
52.18/52.28	c 47.7s |       7 |   362705 |     4423 |   126668      0 |        0 |        0
54.88/54.97	c 50.3s |       7 |   364099 |     4623 |   126668      0 |        0 |        0
57.78/57.85	c 53.2s |       7 |   365744 |     4823 |   126668      0 |        0 |        0
58.88/58.92	c 54.3s |       8 |   366552 |     4936 |   139335      0 |        0 |        0
61.78/61.81	c 57.2s |       8 |   440585 |     5236 |   139335      0 |        0 |        0
63.98/64.04	c 59.4s |       8 |   471715 |     5636 |   139335      0 |        0 |        0
67.09/67.13	c 62.5s |       8 |   484061 |     5836 |   139335      0 |        0 |        0
69.29/69.31	c 64.7s |       8 |   486706 |     5936 |   139335      0 |        0 |        0
71.98/72.03	c 67.4s |       8 |   488032 |     6136 |   139335      0 |        0 |        0
74.48/74.51	c 69.9s |       8 |   489051 |     6336 |   139335      0 |        0 |        0
76.78/76.89	c 72.3s |       8 |   490922 |     6536 |   139335      0 |        0 |        0
79.38/79.48	c 74.9s |       8 |   492894 |     6836 |   139335      0 |        0 |        0
81.49/81.53	c 76.9s |       8 |   511063 |     7036 |   139335      0 |        0 |        0
84.38/84.48	c 79.9s |       8 |   511895 |     7236 |   139335      0 |        0 |        0
91.48/91.58	c 87.0s |       8 |   520002 |     7436 |   139335      0 |        0 |        0
95.58/95.66	c 91.0s |       9 |   526777 |     7506 |   153269      0 |        0 |        0
98.08/98.14	c 93.5s |       9 |   598219 |     7606 |   153269      0 |        0 |        0
102.38/102.48	c 97.9s |       9 |   600426 |     7706 |   153269      0 |        0 |        0
104.37/104.50	c 99.9s |       9 |   611206 |     7906 |   153269      0 |        0 |        0
112.28/112.33	c  107s |       9 |   625238 |     8106 |   153269      0 |        0 |        0
131.78/131.88	c  127s |       9 |   627656 |     8206 |   153269      0 |        0 |        0
134.07/134.16	c  129s |       9 |   627732 |     8406 |   153269      0 |        0 |        0
137.07/137.11	c  132s |       9 |   628971 |     8606 |   153269      0 |        0 |        0
141.27/141.37	c  136s |       9 |   629478 |     8806 |   153269      0 |        0 |        0
143.67/143.75	c  139s |       9 |   629668 |     8906 |   153269      0 |        0 |        0
146.07/146.15	c  141s |       9 |   670033 |     9506 |   153269      0 |        0 |        0
148.17/148.29	c  143s |       9 |   670991 |     9906 |   153269      0 |        0 |        0
152.47/152.52	c  147s |       9 |   677535 |    10306 |   153269      0 |        0 |        0
155.08/155.20	c  150s |       9 |   677660 |    10406 |   153269      0 |        0 |        0
158.47/158.53	c  153s |       9 |   678268 |    10506 |   153269      0 |        0 |        0
160.96/161.04	c  156s |       9 |   679131 |    10606 |   153269      0 |        0 |        0
164.67/164.78	c  160s |       9 |   679274 |    10706 |   153269      0 |        0 |        0
167.37/167.44	c  162s |       9 |   679832 |    10806 |   153269      0 |        0 |        0
170.48/170.55	c  165s |       9 |   680568 |    10906 |   153269      0 |        0 |        0
174.67/174.74	c  170s |       9 |   681189 |    11006 |   153269      0 |        0 |        0
180.27/180.39	c  175s |       9 |   681439 |    11106 |   153269      0 |        0 |        0
184.07/184.18	c  179s |       9 |   681895 |    11206 |   153269      0 |        0 |        0
188.86/188.92	c  184s |       9 |   682510 |    11306 |   168596      0 |        0 |        0
191.76/191.86	c  187s |      10 |   682989 |    11361 |   168596      0 |        0 |        0
194.36/194.42	c  189s |      10 |   759909 |    11461 |   168596      0 |        0 |        0
197.16/197.23	c  192s |      10 |   765395 |    11661 |   168596      0 |        0 |        0
199.66/199.74	c  195s |      10 |   766066 |    11761 |   168596      0 |        0 |        0
202.47/202.58	c  197s |      10 |   766450 |    11861 |   168596      0 |        0 |        0
204.46/204.59	c  199s |      10 |   767035 |    11961 |   168596      0 |        0 |        0
208.45/208.55	c  203s |      10 |   767555 |    12161 |   168596      0 |        0 |        0
210.86/210.92	c  206s |      10 |   767839 |    12261 |   168596      0 |        0 |        0
213.96/214.01	c  209s |      10 |   769311 |    12461 |   168596      0 |        0 |        0
218.06/218.15	c  213s |      10 |   773822 |    12661 |   168596      0 |        0 |        0
220.06/220.18	c  215s |      10 |   774201 |    12761 |   168596      0 |        0 |        0
222.65/222.72	c  218s |      10 |   777495 |    12961 |   168596      0 |        0 |        0
227.85/227.96	c  223s |      10 |   789298 |    13161 |   168596      0 |        0 |        0
238.76/238.84	c  234s |      10 |   790398 |    13261 |   168596      0 |        0 |        0
241.36/241.46	c  236s |      10 |   790734 |    13361 |   168596      0 |        0 |        0
244.26/244.39	c  239s |      10 |   790906 |    13461 |   168596      0 |        0 |        0
247.65/247.74	c  243s |      10 |   791302 |    13561 |   168596      0 |        0 |        0
250.95/251.02	c  246s |      10 |   791822 |    13661 |   168596      0 |        0 |        0
254.16/254.29	c  249s |      10 |   792127 |    13761 |   168596      0 |        0 |        0
257.05/257.16	c  252s |      10 |   792511 |    13861 |   168596      0 |        0 |        0
259.15/259.29	c  254s |      10 |   793080 |    13961 |   168596      0 |        0 |        0
261.65/261.76	c  257s |      10 |   793791 |    14061 |   168596      0 |        0 |        0
263.75/263.87	c  259s |      10 |   795046 |    14161 |   168596      0 |        0 |        0
266.55/266.68	c  262s |      10 |   795714 |    14261 |   168596      0 |        0 |        0
269.05/269.17	c  264s |      10 |   796247 |    14361 |   168596      0 |        0 |        0
271.66/271.76	c  267s |      10 |   797039 |    14461 |   168596      0 |        0 |        0
273.85/273.99	c  269s |      10 |   797238 |    14561 |   168596      0 |        0 |        0
275.95/276.02	c  271s |      10 |   797726 |    14661 |   168596      0 |        0 |        0
278.35/278.49	c  273s |      10 |   798283 |    14761 |   168596      0 |        0 |        0
280.45/280.59	c  275s |      10 |   798551 |    14861 |   168596      0 |        0 |        0
282.75/282.81	c  278s |      10 |   799117 |    14961 |   168596      0 |        0 |        0
284.96/285.06	c  280s |      10 |   799338 |    15061 |   168596      0 |        0 |        0
287.55/287.64	c  283s |      10 |   799660 |    15161 |   168596      0 |        0 |        0
290.15/290.21	c  285s |      10 |   799877 |    15261 |   168596      0 |        0 |        0
292.85/292.97	c  288s |      10 |   800125 |    15361 |   168596      0 |        0 |        0
295.55/295.62	c  290s |      10 |   801573 |    15461 |   168596      0 |        0 |        0
298.35/298.44	c  293s |      10 |   801981 |    15561 |   168596      0 |        0 |        0
302.64/302.76	c  298s |      10 |   803292 |    15761 |   168596      0 |        0 |        0
305.14/305.27	c  300s |      10 |   803643 |    15861 |   168596      0 |        0 |        0
307.24/307.36	c  302s |      10 |   804691 |    15961 |   168596      0 |        0 |        0
309.64/309.72	c  305s |      10 |   805375 |    16061 |   168596      0 |        0 |        0
312.15/312.29	c  307s |      10 |   805942 |    16161 |   168596      0 |        0 |        0
314.35/314.49	c  309s |      10 |   806130 |    16261 |   168596      0 |        0 |        0
316.45/316.57	c  311s |      10 |   806549 |    16361 |   168596      0 |        0 |        0
319.34/319.44	c  314s |      10 |   807132 |    16461 |   168596      0 |        0 |        0
322.14/322.29	c  317s |      10 |   807379 |    16561 |   168596      0 |        0 |        0
324.84/324.96	c  320s |      10 |   807554 |    16661 |   168596      0 |        0 |        0
327.44/327.56	c  322s |      10 |   807849 |    16761 |   168596      0 |        0 |        0
329.64/329.73	c  325s |      10 |   808190 |    16861 |   168596      0 |        0 |        0
332.25/332.37	c  327s |      10 |   808354 |    16961 |   168596      0 |        0 |        0
334.54/334.65	c  330s |      10 |   808915 |    17061 |   185456      0 |        0 |        0
336.54/336.69	c  332s |      11 |   809081 |    17144 |   185456      0 |        0 |        0
339.14/339.29	c  334s |      11 |   894170 |    17344 |   185456      0 |        0 |        0
341.74/341.83	c  337s |      11 |   918184 |    17544 |   185456      0 |        0 |        0
343.73/343.86	c  339s |      11 |   921174 |    17744 |   185456      0 |        0 |        0
346.73/346.85	c  342s |      11 |   925034 |    18144 |   185456      0 |        0 |        0
349.63/349.75	c  345s |      11 |   925742 |    18344 |   185456      0 |        0 |        0
352.04/352.13	c  347s |      11 |   931044 |    18644 |   185456      0 |        0 |        0
355.64/355.73	c  351s |      11 |   932198 |    18944 |   185456      0 |        0 |        0
357.74/357.82	c  353s |      11 |   932864 |    19144 |   185456      0 |        0 |        0
360.44/360.52	c  355s |      11 |   934515 |    19344 |   185456      0 |        0 |        0
362.43/362.53	c  357s |      11 |   935730 |    19444 |   185456      0 |        0 |        0
365.53/365.63	c  361s |      11 |   936442 |    19644 |   185456      0 |        0 |        0
368.63/368.76	c  364s |      11 |   937342 |    19944 |   185456      0 |        0 |        0
370.93/371.09	c  366s |      11 |   941709 |    20144 |   185456      0 |        0 |        0
373.33/373.43	c  368s |      11 |   944434 |    20444 |   185456      0 |        0 |        0
377.13/377.23	c  372s |      11 |   945701 |    20644 |   185456      0 |        0 |        0
379.23/379.35	c  374s |      11 |   958979 |    20844 |   185456      0 |        0 |        0
381.33/381.40	c  376s |      11 |   987026 |    21044 |   185456      0 |        0 |        0
384.93/385.05	c  380s |      11 |   991690 |    21244 |   185456      0 |        0 |        0
387.74/387.85	c  383s |      11 |   992367 |    21444 |   185456      0 |        0 |        0
390.63/390.72	c  386s |      11 |   996646 |    21644 |   185456      0 |        0 |        0
394.13/394.28	c  389s |      11 |   998924 |    21844 |   185456      0 |        0 |        0
397.63/397.72	c  393s |      11 |   999656 |    22044 |   185456      0 |        0 |        0
402.03/402.20	c  397s |      11 |  1002313 |    22244 |   185456      0 |        0 |        0
404.62/404.78	c  400s |      11 |  1002641 |    22344 |   185456      0 |        0 |        0
406.82/406.97	c  402s |      11 |  1003979 |    22444 |   185456      0 |        0 |        0
409.24/409.36	c  404s |      11 |  1004267 |    22544 |   185456      0 |        0 |        0
411.53/411.63	c  407s |      11 |  1005366 |    22644 |   185456      0 |        0 |        0
413.54/413.65	c  409s |      11 |  1006409 |    22744 |   185456      0 |        0 |        0
417.13/417.28	c  412s |      11 |  1009000 |    22944 |   185456      0 |        0 |        0
420.23/420.34	c  415s |      11 |  1010534 |    23044 |   185456      0 |        0 |        0
423.53/423.67	c  419s |      11 |  1010985 |    23144 |   185456      0 |        0 |        0
426.83/426.95	c  422s |      11 |  1011674 |    23244 |   185456      0 |        0 |        0
430.72/430.86	c  426s |      11 |  1013206 |    23444 |   185456      0 |        0 |        0
432.92/433.05	c  428s |      11 |  1013600 |    23544 |   185456      0 |        0 |        0
435.42/435.56	c  430s |      11 |  1013755 |    23644 |   185456      0 |        0 |        0
437.93/438.00	c  433s |      11 |  1014098 |    23744 |   185456      0 |        0 |        0
440.13/440.22	c  435s |      11 |  1014292 |    23844 |   185456      0 |        0 |        0
442.73/442.89	c  438s |      11 |  1014459 |    23944 |   185456      0 |        0 |        0
445.22/445.33	c  440s |      11 |  1014750 |    24044 |   185456      0 |        0 |        0
447.63/447.77	c  443s |      11 |  1016279 |    24144 |   185456      0 |        0 |        0
450.12/450.28	c  445s |      11 |  1017616 |    24244 |   185456      0 |        0 |        0
452.43/452.57	c  447s |      11 |  1018437 |    24344 |   185456      0 |        0 |        0
456.32/456.41	c  451s |      11 |  1021163 |    24544 |   185456      0 |        0 |        0
460.52/460.61	c  455s |      11 |  1022792 |    24744 |   185456      0 |        0 |        0
463.62/463.76	c  459s |      11 |  1023439 |    24844 |   185456      0 |        0 |        0
467.22/467.32	c  462s |      11 |  1024507 |    24944 |   185456      0 |        0 |        0
469.73/469.84	c  465s |      11 |  1024871 |    25044 |   185456      0 |        0 |        0
471.83/471.99	c  467s |      11 |  1025898 |    25144 |   185456      0 |        0 |        0
475.62/475.75	c  471s |      11 |  1026670 |    25344 |   185456      0 |        0 |        0
477.72/477.90	c  473s |      11 |  1030307 |    25544 |   185456      0 |        0 |        0
480.02/480.18	c  475s |      11 |  1034080 |    25744 |   204002      0 |        0 |        0
481.62/481.72	c  477s |      12 |  1035750 |    25819 |   204002      0 |        0 |        0
484.62/484.78	c  480s |      12 |  1123674 |    25919 |   204002      0 |        0 |        0
488.62/488.73	c  484s |      12 |  1127485 |    26019 |   204002      0 |        0 |        0
491.52/491.68	c  487s |      12 |  1127788 |    26119 |   204002      0 |        0 |        0
494.11/494.29	c  489s |      12 |  1141748 |    26419 |   204002      0 |        0 |        0
497.31/497.48	c  492s |      12 |  1144385 |    26719 |   204002      0 |        0 |        0
499.51/499.69	c  495s |      12 |  1154430 |    26919 |   204002      0 |        0 |        0
500.71/500.80	c  496s |      12 |  1159159 |    27091 |   204002      0 |        0 |        0
500.71/500.80	c #cpu_time = 495.934s
500.71/500.80	c #wall_clock_time = 495.935s
500.71/500.80	c #decision = 1159159
500.71/500.80	c #random_decision = 3888
500.71/500.80	c #conflict = 27091
500.71/500.80	c #restart = 12
500.71/500.80	o 15515172
501.52/501.66	c BCD2: updating upper bound: 6567727872 -> 15515171
502.51/502.70	c BCD2: 0 <= obj <= 15515171
502.62/502.72	c BCD2: #cores=0, #unrelaxed=192000, #relaxed=0, #hardened=0
502.62/502.72	c BCD2: #sat=1 #unsat=1 bias=1/2
502.62/502.73	c Solving starts ...
502.62/502.73	c ============================[ Search Statistics ]============================
502.62/502.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
502.62/502.73	c       |         |          |          |    Limit     GC | Var      | Constra 
502.62/502.73	c =============================================================================
502.62/502.73	c  0.0s |       0 |        0 |        0 |   204002      0 |        0 |        0
504.92/505.02	c  2.3s |       0 |    52474 |        0 |   204002      0 |        0 |        0
504.92/505.02	c #cpu_time = 2.253s
504.92/505.02	c #wall_clock_time = 2.253s
504.92/505.02	c #decision = 52474
504.92/505.02	c #random_decision = 0
504.92/505.02	c #conflict = 0
504.92/505.02	c #restart = 0
504.92/505.02	c BCD2: found a new core of size 384: cost of the new core is >=9805
504.92/505.02	c lower bound updated to 9805
505.02/505.17	c BCD2: 9805 <= obj <= 15515171
505.02/505.17	c BCD2: #cores=1, #unrelaxed=191616, #relaxed=384, #hardened=0
505.02/505.17	c BCD2: #sat=1 #unsat=2 bias=2/3
505.32/505.45	c Solving starts ...
505.32/505.45	c ============================[ Search Statistics ]============================
505.32/505.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
505.32/505.45	c       |         |          |          |    Limit     GC | Var      | Constra 
505.32/505.45	c =============================================================================
505.32/505.45	c  0.0s |       0 |        0 |        0 |   204002      0 |        0 |        1
507.82/507.98	c  2.5s |       0 |   110799 |        0 |   204002      0 |        0 |        1
507.82/507.98	c #cpu_time = 2.459s
507.82/507.98	c #wall_clock_time = 2.459s
507.82/507.98	c #decision = 110799
507.82/507.98	c #random_decision = 0
507.82/507.98	c #conflict = 0
507.82/507.98	c #restart = 0
507.82/507.98	c BCD2: found a new core of size 1662: cost of the new core is >=5818
507.82/507.98	c lower bound updated to 15623
508.02/508.12	c BCD2: 15623 <= obj <= 15515171
508.02/508.12	c BCD2: #cores=2, #unrelaxed=189954, #relaxed=2046, #hardened=0
508.02/508.12	c BCD2: #sat=1 #unsat=3 bias=3/4

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

pid=9960
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.15 2.14 2.09 3/179 9963
/proc/meminfo: memFree=24906980/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 2595 0 0 0 0 0 0 0 20 0 4 0 30256211 714534912 3467 33554432000 4194304 16246674 140736080647904 140736080647328 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 174959 3477 441 2943 0 171853 0
[pid=9963/tid=9964] ppid=9960 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 732360704 3536 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 736555008 3553 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 740749312 3569 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100146 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 9963
/proc/meminfo: memFree=24906980/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 30610 0 0 0 5 4 0 0 20 0 4 0 30256211 1333334016 31421 33554432000 4194304 16246674 140736080647904 140736080647216 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 325521 31435 799 2943 0 322415 0
[pid=9963/tid=9964] ppid=9960 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1333334016 31447 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1333334016 31459 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1333334016 31469 33554432000 4194304 16246674 140736080647904 140622463757488 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) 1302084

[startup+0.200539 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 9963
/proc/meminfo: memFree=24906980/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 43975 0 0 0 13 6 0 0 20 0 4 0 30256211 1343819776 45296 33554432000 4194304 16246674 140736080647904 140736080647216 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 328081 45296 799 2943 0 324975 0
[pid=9963/tid=9964] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 45296 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 45296 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 45296 33554432000 4194304 16246674 140736080647904 140622463757488 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) 1312324

[startup+0.300496 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 9963
/proc/meminfo: memFree=24906980/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 43975 0 0 0 23 6 0 0 20 0 4 0 30256211 1343819776 45296 33554432000 4194304 16246674 140736080647904 140736080647216 4221140 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 328081 45296 799 2943 0 324975 0
[pid=9963/tid=9964] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 45296 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 45296 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 45296 33554432000 4194304 16246674 140736080647904 140622463757488 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) 1312324

[startup+0.700414 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 9963
/proc/meminfo: memFree=24906980/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 64922 0 0 0 60 9 0 0 20 0 4 0 30256211 1343819776 66243 33554432000 4194304 16246674 140736080647904 140736080630896 7364408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 328081 66243 802 2943 0 324975 0
[pid=9963/tid=9964] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 66243 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 66243 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1343819776 66243 33554432000 4194304 16246674 140736080647904 140622463757488 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) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 9967
/proc/meminfo: memFree=24585156/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1381956 CPUtime=1.49 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 91941 0 0 0 136 13 0 0 20 0 4 0 30256211 1415122944 95817 33554432000 4194304 16246674 140736080647904 140736080630896 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 345489 95823 812 2943 0 342383 0
[pid=9963/tid=9964] ppid=9960 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1415122944 95826 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1415122944 95830 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1416171520 95837 33554432000 4194304 16246674 140736080647904 140622463757488 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) 1381956

[startup+3.10042 s]
/proc/loadavg: 2.15 2.14 2.09 4/183 9967
/proc/meminfo: memFree=24454144/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1398340 CPUtime=3.09 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 118613 0 0 0 292 17 0 0 20 0 4 0 30256211 1431900160 123000 33554432000 4194304 16246674 140736080647904 140736080647000 5512569 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 349585 123000 839 2943 0 346479 0
[pid=9963/tid=9964] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 123000 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 123000 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 123000 33554432000 4194304 16246674 140736080647904 140622463757488 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) 1398340

[startup+6.30042 s]
/proc/loadavg: 2.14 2.14 2.09 3/183 9967
/proc/meminfo: memFree=23801356/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1398340 CPUtime=6.29 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 269049 0 0 0 594 35 0 0 20 0 4 0 30256211 1431900160 273436 33554432000 4194304 16246674 140736080647904 140736080629824 5712550 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 349585 273436 889 2943 0 346479 0
[pid=9963/tid=9964] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273436 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273436 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273436 33554432000 4194304 16246674 140736080647904 140622463757488 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) 1398340

[startup+12.7004 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 9967
/proc/meminfo: memFree=23790484/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1398340 CPUtime=12.69 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 269050 0 0 0 1234 35 0 0 20 0 4 0 30256211 1431900160 273437 33554432000 4194304 16246674 140736080647904 140736080629824 13781168 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 349585 273437 889 2943 0 346479 0
[pid=9963/tid=9964] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273437 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273437 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273437 33554432000 4194304 16246674 140736080647904 140622463757488 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) 1398340

[startup+25.5005 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 9967
/proc/meminfo: memFree=23770080/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1398340 CPUtime=25.48 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 269377 0 0 0 2513 35 0 0 20 0 4 0 30256211 1431900160 273764 33554432000 4194304 16246674 140736080647904 140736080629824 12483218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 349585 273764 889 2943 0 346479 0
[pid=9963/tid=9964] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273764 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273764 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273764 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1398340

[startup+51.1005 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 9968
/proc/meminfo: memFree=23742276/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1398340 CPUtime=51.09 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 269531 0 0 0 5073 36 0 0 20 0 4 0 30256211 1431900160 273918 33554432000 4194304 16246674 140736080647904 140736080647080 5712622 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 349585 273918 889 2943 0 346479 0
[pid=9963/tid=9964] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273918 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273918 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 273918 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1398340

[startup+102.301 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 9969
/proc/meminfo: memFree=23608452/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=1398340 CPUtime=102.28 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 287196 0 0 0 10189 39 0 0 20 0 4 0 30256211 1431900160 291583 33554432000 4194304 16246674 140736080647904 140736080629824 12483348 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 349585 291583 893 2943 0 346479 0
[pid=9963/tid=9964] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 291583 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 291583 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 1431900160 291583 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1398340


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

/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 8487768064 2014243 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=8288836 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 8487768064 2014243 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=8288836 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 8487768064 2014243 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 8288836

[startup+1362.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/183 10000
/proc/meminfo: memFree=13292480/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=8958532 CPUtime=1362.08 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 3302144 0 0 0 135628 580 0 0 20 0 4 0 30256211 9173536768 2181667 33554432000 4194304 16246674 140736080647904 140736080647000 12429249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2239633 2181667 923 2943 0 2236527 0
[pid=9963/tid=9964] ppid=9960 vsize=8958532 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 9173536768 2181667 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=8958532 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 9173536768 2181667 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=8958532 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 9173536768 2181667 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 8958532

[startup+1422.3 s]
/proc/loadavg: 2.12 2.07 2.07 3/183 10050
/proc/meminfo: memFree=19901100/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=9635396 CPUtime=1422.07 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 3471361 0 0 0 141598 609 0 0 20 0 4 0 30256211 9866645504 2350886 33554432000 4194304 16246674 140736080647904 140736080647000 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2408849 2350886 923 2943 0 2405743 0
[pid=9963/tid=9964] ppid=9960 vsize=9635396 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 9866645504 2350886 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=9635396 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 9866645504 2350886 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=9635396 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 9866645504 2350886 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 9635396

[startup+1482.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 10051
/proc/meminfo: memFree=19427216/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=9620036 CPUtime=1482.05 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 3486977 0 0 0 147585 620 0 0 20 0 4 0 30256211 9850916864 2347046 33554432000 4194304 16246674 140736080647904 140736080647000 4225195 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2405009 2347046 923 2943 0 2401903 0
[pid=9963/tid=9964] ppid=9960 vsize=9620036 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 9850916864 2347046 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=9620036 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 9850916864 2347046 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=9620036 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 9850916864 2347046 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 9620036

[startup+1542.31 s]
/proc/loadavg: 2.14 2.08 2.07 3/184 10055
/proc/meminfo: memFree=19045180/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=9800260 CPUtime=1542.04 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 3532040 0 0 0 153570 634 0 0 20 0 4 0 30256211 10035466240 2392102 33554432000 4194304 16246674 140736080647904 140736080645760 4208682 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2450065 2392102 923 2943 0 2446959 0
[pid=9963/tid=9964] ppid=9960 vsize=9800260 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 10035466240 2392102 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=9800260 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 10035466240 2392102 33554432000 4194304 16246674 140736080647904 140622581177360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=9800260 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 10035466240 2392102 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 9800260

[startup+1602.3 s]
/proc/loadavg: 2.13 2.09 2.08 3/184 10080
/proc/meminfo: memFree=20099044/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=8747588 CPUtime=1602.03 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 3547405 0 0 0 159552 651 0 0 20 0 4 0 30256211 8957530112 2128934 33554432000 4194304 16246674 140736080647904 140736080645760 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2186897 2128934 923 2943 0 2183791 0
[pid=9963/tid=9964] ppid=9960 vsize=8747588 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 8957530112 2128934 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=8747588 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 8957530112 2128934 33554432000 4194304 16246674 140736080647904 140622581177360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=8747588 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 8957530112 2128934 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 8747588

[startup+1662.3 s]
/proc/loadavg: 2.05 2.07 2.07 3/183 10081
/proc/meminfo: memFree=18954064/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=9803332 CPUtime=1662.01 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 3811171 0 0 0 165506 695 0 0 20 0 4 0 30256211 10038611968 2392698 33554432000 4194304 16246674 140736080647904 140736080647000 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2450833 2392698 923 2943 0 2447727 0
[pid=9963/tid=9964] ppid=9960 vsize=9803332 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 10038611968 2392698 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=9803332 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 10038611968 2392698 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=9803332 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 10038611968 2392698 33554432000 4194304 16246674 140736080647904 140622463757488 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) 9803332

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 10082
/proc/meminfo: memFree=19710616/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=8839748 CPUtime=1721.99 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 3882767 0 0 0 171479 720 0 0 20 0 4 0 30256211 9051901952 2151974 33554432000 4194304 16246674 140736080647904 140736080647000 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2209937 2151974 923 2943 0 2206831 0
[pid=9963/tid=9964] ppid=9960 vsize=8839748 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 9051901952 2151974 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=8839748 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 9051901952 2151974 33554432000 4194304 16246674 140736080647904 140622581177584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=8839748 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 9051901952 2151974 33554432000 4194304 16246674 140736080647904 140622463757488 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) 8839748

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 10083
/proc/meminfo: memFree=19087176/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=9202244 CPUtime=1781.99 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 3973392 0 0 0 177459 740 0 0 20 0 4 0 30256211 9423097856 2242599 33554432000 4194304 16246674 140736080647904 140736080645696 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2300561 2242599 923 2943 0 2297455 0
[pid=9963/tid=9964] ppid=9960 vsize=9202244 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 9423097856 2242599 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=9202244 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 9423097856 2242599 33554432000 4194304 16246674 140736080647904 140622581177360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=9202244 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 9423097856 2242599 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 9202244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.07 2.07 3/183 10083
/proc/meminfo: memFree=18701628/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=9561668 CPUtime=1800.08 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) R 9960 9963 7739 0 -1 4202496 4063248 0 0 0 179252 756 0 0 20 0 4 0 30256211 9791148032 2332455 33554432000 4194304 16246674 140736080647904 140736080647000 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 2390417 2332455 923 2943 0 2387311 0
[pid=9963/tid=9964] ppid=9960 vsize=9561668 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9964/stat : 9964 (toysat) S 9960 9963 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256211 9791148032 2332455 33554432000 4194304 16246674 140736080647904 140622591667440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=9561668 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) S 9960 9963 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256211 9791148032 2332455 33554432000 4194304 16246674 140736080647904 140622581177360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9963/tid=9966] ppid=9960 vsize=9561668 CPUtime=0 cores=1,3,5,7
/proc/9963/task/9966/stat : 9966 (toysat) S 9960 9963 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256211 9791148032 2332455 33554432000 4194304 16246674 140736080647904 140622463757488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9561668

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 9963 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 2.09 2.07 2.07 3/181 10083
/proc/meminfo: memFree=24792580/32872528 swapFree=496868/529572
[pid=9963] ppid=9960 vsize=0 CPUtime=1800.49 cores=1,3,5,7
/proc/9963/stat : 9963 (toysat) Z 9960 9963 7739 0 -1 4203532 4063248 0 0 0 179253 796 0 0 20 0 2 0 30256211 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 0 0 0 0 0 0 0
[pid=9963/tid=9965] ppid=9960 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/9963/task/9965/stat : 9965 (toysat) R 9960 9963 7739 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 30256211 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.49
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.87
CPU time (s): 1800.56
CPU user time (s): 1792.53
CPU system time (s): 8.03078
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 9984580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.53
system time used= 8.03078
maximum resident set size= 9752728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4063248
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= 584
involuntary context switches= 1814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6233 second user time and 6.86596 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 22:35:08
IDJOB=4107082
IDBENCH=71866
IDSOLVER=2542
FILE ID=node141/4107082-1466282107
RUNJOBID= node141-1466264081-7756
PBS_JOBID= 19918217
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__128.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107082-1466282107/watcher-4107082-1466282107 -o /tmp/evaluation-result-4107082-1466282107/solver-4107082-1466282107 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107082-1466282107.opb

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

MD5SUM BENCH= 532f9d522f176ac928dfe97ba6769de3
RANDOM SEED=938645133

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        24907896 kB
Buffers:          163468 kB
Cached:           295136 kB
SwapCached:         2528 kB
Active:          6399092 kB
Inactive:         280908 kB
Active(anon):    6221452 kB
Inactive(anon):     2028 kB
Active(file):     177640 kB
Inactive(file):   278880 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             24832 kB
Writeback:            24 kB
AnonPages:       6749340 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             611628 kB
SReclaimable:      55164 kB
SUnreclaim:       556464 kB
KernelStack:        1464 kB
PageTables:        17304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6893436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 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= 71684 MiB
End job on node141 at 2016-06-18 23:05:09