Trace number 4099913

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.01 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb
MD5SUMd7a28c2ec06d645af4379f015212128c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 653755
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 653755
Number of bits of the biggest sum of numbers20
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-18T02:29:03+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-4099913-1466209743.opb"]
0.00/0.01	c use --random-gen="935614403 698768712 3240909619 3867263856 3774981295 3207534444 99133419 1071559374 2141939543 762520675 1484012125 356607434 358055234 1868364754 3635150495 3458840430 1150959863 3467393152 3053010006 1113587281 1049297408 2423564359 3119606508 1198282847 3018276127 939435457 1833364137 953738124 1012232348 686800440 905851191 548566881 3688676552 345634030 2032033825 649067652 1860282713 929339101 654126359 2587074481 2619072532 1155699350 2884739742 3920223543 4117077952 2537380573 2552983422 171809231 2800723328 2420246769 2117471881 2999674645 311274166 2788373288 1671357931 3846812913 3377134956 2164720208 267420610 3363597892 158768782 1161183960 689817412 3593522940 3276890526 2702283321 3778156150 4099520522 2818090851 388274179 2518060573 2015094130 1120782015 3280203229 1697051171 3938877619 4039372485 4010256221 1057249780 1244581326 1047648536 2438712346 3765125548 4247707264 1731568704 106176350 1349492097 1727037522 839803944 2776096016 184217128 679082968 2954126163 4252785377 2927717260 4215725419 1509800242 1674816027 2466238471 3966735528 3397538199 2055979816 822137190 1788167202 3781725718 3893267487 3833411279 467295873 3353400385 4151707127 2768757365 53851191 3735284968 4007503747 2283197251 1380973696 203824337 3367322302 330954320 922356536 2787047091 2857369944 3935901865 657059566 1282760172 4249140499 3386952465 2771453232 1307739444 808790932 1132190564 2674881353 3122973405 3310763460 4117295644 820716837 3122358522 4076029156 283464385 998657151 4137284632 1000759322 1496632282 3857928409 1450287377 596064357 1745229505 2984953589 1266852560 693519295 4273115596 184141223 1166977681 991662160 149004426 2409802875 4153536442 461509125 1538861858 2938507836 263773476 421501891 583074703 84012208 2722647151 449870322 1053946107 2483121500 3556439742 373413864 3596466967 3891474825 2299001046 2983852015 3807566072 2613582256 3899692733 3610787817 1611425531 2594347850 3227614892 2449378212 2890346370 2416908467 3984670208 3411864356 1345969892 2921432802 3741336231 3127439970 1483864739 2577994992 1241503440 3115300486 2301649521 3923550109 2238276697 662282858 2846351772 3786558890 529364803 1586233652 3129183883 3141895215 718754979 1761219079 954109180 2759836202 3049881177 3020035013 3993958358 1382834644 120960553 1940552891 675732061 1265998718 3498195863 1527111099 2271146279 3598597520 4120010104 3940437449 2749376102 4116813957 3694658523 1337803673 96416277 3578378800 1475066359 2058492792 1856617584 3478538466 1919122333 389274631 3576782511 2101463460 2547821949 3515140900 2214862396 926606813 3929215744 4290643592 2767642621 895193037 3106026892 1752170436 2310615779 3828101414 3875996192 1475803381 2050251777 2730472082 1382669726 223089110 4106627876 2457648337 255 362436" option to reproduce the execution
0.99/1.05	c #vars 155000
0.99/1.05	c #constraints 5150
3.30/3.39	c BCD2: Hardening is enabled.
3.30/3.39	c BCD2: BiasedSearch is enabled.
3.30/3.39	c Solving starts ...
3.30/3.39	c ============================[ Search Statistics ]============================
3.30/3.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.30/3.39	c       |         |          |          |    Limit     GC | Var      | Constra 
3.30/3.39	c =============================================================================
3.48/3.50	c  0.0s |       0 |        0 |        0 |    53433      0 |    58454 |        0
10.09/10.12	c  6.6s |       0 |     5253 |      100 |    53433      0 |    58454 |        0
10.19/10.20	c  6.7s |       1 |     5253 |      100 |    53433      0 |    58454 |        0
10.89/10.91	c  7.4s |       2 |     6380 |      250 |    58777      0 |    58454 |        0
12.10/12.15	c  8.7s |       3 |     7581 |      475 |    64655      0 |    58454 |        0
13.99/14.04	c 10.5s |       4 |     8889 |      813 |    71121      0 |    58454 |        0
16.39/16.48	c 13.0s |       4 |    10247 |     1213 |    78234      0 |    58454 |        0
17.09/17.18	c 13.7s |       5 |    10355 |     1320 |    78234      0 |    58454 |        0
21.68/21.74	c 18.2s |       5 |    22539 |     1720 |    86058      0 |    58454 |        0
26.88/26.93	c 23.4s |       5 |    24139 |     1820 |    86058      0 |    58454 |        0
37.18/37.20	c 33.7s |       5 |    26591 |     1920 |    86058      0 |    58454 |        0
46.98/47.07	c 43.6s |       5 |    26732 |     2020 |    86058      0 |    58454 |        0
53.28/53.32	c 49.8s |       6 |    26835 |     2081 |    94664      0 |    58454 |        0
55.89/55.93	c 52.4s |       6 |    31035 |     2481 |    94664      0 |    58454 |        0
58.39/58.48	c 55.0s |       6 |    31441 |     2881 |    94664      0 |    58454 |        0
60.68/60.70	c 57.2s |       7 |    31788 |     3223 |   104131      0 |    58454 |        0
62.79/62.89	c 59.4s |       7 |    64554 |     3323 |   104131      0 |    58454 |        0
68.68/68.73	c 65.2s |       7 |    64830 |     3423 |   104131      0 |    58454 |        0
74.79/74.86	c 71.4s |       7 |    65040 |     3523 |   104131      0 |    58454 |        0
80.39/80.46	c 77.0s |       7 |    65138 |     3623 |   104131      0 |    58454 |        0
85.38/85.42	c 81.9s |       7 |    65336 |     3723 |   104131      0 |    58454 |        0
91.98/92.07	c 88.6s |       7 |    65570 |     3823 |   104131      0 |    58454 |        0
97.68/97.74	c 94.2s |       7 |    65758 |     3923 |   104131      0 |    58454 |        0
102.78/102.86	c 99.4s |       7 |    65897 |     4023 |   104131      0 |    58454 |        0
108.18/108.25	c  104s |       7 |    66081 |     4123 |   104131      0 |    58454 |        0
115.08/115.13	c  111s |       7 |    66198 |     4223 |   104131      0 |    58454 |        0
121.37/121.45	c  117s |       7 |    66326 |     4323 |   104131      0 |    58454 |        0
128.27/128.37	c  124s |       7 |    66458 |     4423 |   104131      0 |    58454 |        0
134.77/134.86	c  131s |       7 |    66674 |     4523 |   104131      0 |    58454 |        0
141.47/141.58	c  138s |       7 |    66891 |     4623 |   104131      0 |    58454 |        0
147.38/147.44	c  143s |       7 |    67158 |     4723 |   104131      0 |    58454 |        0
153.47/153.57	c  150s |       7 |    67445 |     4823 |   104131      0 |    58454 |        0
160.07/160.11	c  156s |       7 |    67672 |     4923 |   114545      0 |    58454 |        0
161.07/161.10	c  157s |       8 |    67706 |     4936 |   114545      0 |    58454 |        0
165.56/165.61	c  162s |       8 |   120125 |     5136 |   114545      0 |    58454 |        0
170.86/170.95	c  167s |       8 |   120223 |     5236 |   114545      0 |    58454 |        0
176.26/176.30	c  172s |       8 |   120325 |     5336 |   114545      0 |    58454 |        0
181.56/181.64	c  178s |       8 |   120427 |     5436 |   114545      0 |    58454 |        0
186.86/186.99	c  183s |       8 |   120526 |     5536 |   114545      0 |    58454 |        0
192.26/192.36	c  188s |       8 |   120628 |     5636 |   114545      0 |    58454 |        0
197.66/197.70	c  194s |       8 |   120728 |     5736 |   114545      0 |    58454 |        0
202.95/203.05	c  199s |       8 |   120825 |     5836 |   114545      0 |    58454 |        0
208.35/208.41	c  204s |       8 |   120929 |     5936 |   114545      0 |    58454 |        0
213.65/213.77	c  210s |       8 |   121026 |     6036 |   114545      0 |    58454 |        0
219.05/219.14	c  215s |       8 |   121127 |     6136 |   114545      0 |    58454 |        0
224.46/224.52	c  221s |       8 |   121226 |     6236 |   114545      0 |    58454 |        0
229.86/229.91	c  226s |       8 |   121329 |     6336 |   114545      0 |    58454 |        0
235.16/235.29	c  231s |       8 |   121426 |     6436 |   114545      0 |    58454 |        0
240.56/240.67	c  237s |       8 |   121524 |     6536 |   114545      0 |    58454 |        0
245.96/246.05	c  242s |       8 |   121628 |     6636 |   114545      0 |    58454 |        0
251.36/251.44	c  247s |       8 |   121724 |     6736 |   114545      0 |    58454 |        0
256.76/256.82	c  253s |       8 |   121827 |     6836 |   114545      0 |    58454 |        0
262.15/262.23	c  258s |       8 |   121925 |     6936 |   114545      0 |    58454 |        0
267.55/267.64	c  264s |       8 |   122027 |     7036 |   114545      0 |    58454 |        0
272.95/273.05	c  269s |       8 |   122124 |     7136 |   114545      0 |    58454 |        0
278.36/278.45	c  274s |       8 |   122227 |     7236 |   114545      0 |    58454 |        0
283.76/283.85	c  280s |       8 |   122325 |     7336 |   114545      0 |    58454 |        0
289.15/289.26	c  285s |       8 |   122425 |     7436 |   114545      0 |    58454 |        0
293.05/293.12	c  289s |       9 |   122494 |     7506 |   126000      0 |    58454 |        0
295.85/295.97	c  292s |       9 |   125468 |     7706 |   126000      0 |    58454 |        0
298.54/298.68	c  295s |       9 |   125667 |     7906 |   126000      0 |    58454 |        0
301.24/301.40	c  297s |       9 |   125866 |     8106 |   126000      0 |    58454 |        0
303.55/303.67	c  300s |       9 |   156240 |     8206 |   126000      0 |    58454 |        0
310.25/310.37	c  306s |       9 |   158989 |     8306 |   126000      0 |    58454 |        0
322.54/322.69	c  319s |       9 |   159129 |     8406 |   126000      0 |    58454 |        0
333.14/333.26	c  329s |       9 |   159363 |     8506 |   126000      0 |    58454 |        0
340.44/340.50	c  337s |       9 |   159641 |     8606 |   126000      0 |    58454 |        0
351.04/351.13	c  347s |       9 |   159838 |     8706 |   126000      0 |    58454 |        0
358.84/358.94	c  355s |       9 |   160073 |     8806 |   126000      0 |    58454 |        0
367.24/367.33	c  363s |       9 |   160290 |     8906 |   126000      0 |    58454 |        0
376.33/376.42	c  372s |       9 |   160467 |     9006 |   126000      0 |    58454 |        0
384.63/384.71	c  381s |       9 |   160630 |     9106 |   126000      0 |    58454 |        0
391.43/391.59	c  388s |       9 |   160884 |     9206 |   126000      0 |    58454 |        0
400.73/400.81	c  397s |       9 |   161152 |     9306 |   126000      0 |    58454 |        0
411.22/411.31	c  407s |       9 |   161347 |     9406 |   126000      0 |    58454 |        0
425.32/425.50	c  421s |       9 |   161511 |     9506 |   126000      0 |    58454 |        0
440.13/440.21	c  436s |       9 |   161656 |     9606 |   126000      0 |    58454 |        0
449.72/449.81	c  446s |       9 |   161853 |     9706 |   126000      0 |    58454 |        0
464.23/464.35	c  460s |       9 |   162019 |     9806 |   126000      0 |    58454 |        0
476.02/476.17	c  472s |       9 |   162173 |     9906 |   126000      0 |    58454 |        0
486.62/486.70	c  483s |       9 |   162349 |    10006 |   126000      0 |    58454 |        0
500.91/501.03	c  497s |       9 |   162513 |    10106 |   126000      0 |    58454 |        0
513.41/513.57	c  510s |       9 |   162663 |    10206 |   126000      0 |    58454 |        0
526.20/526.34	c  522s |       9 |   162793 |    10306 |   126000      0 |    58454 |        0
539.40/539.54	c  536s |       9 |   162965 |    10406 |   126000      0 |    58454 |        0
549.70/549.82	c  546s |       9 |   163109 |    10506 |   126000      0 |    58454 |        0
559.50/559.66	c  556s |       9 |   163325 |    10606 |   126000      0 |    58454 |        0
571.79/571.97	c  568s |       9 |   163501 |    10706 |   126000      0 |    58454 |        0
584.99/585.18	c  581s |       9 |   163641 |    10806 |   126000      0 |    58454 |        0
597.39/597.59	c  594s |       9 |   163803 |    10906 |   126000      0 |    58454 |        0
610.88/611.05	c  607s |       9 |   163937 |    11006 |   126000      0 |    58454 |        0
621.39/621.51	c  618s |       9 |   164074 |    11106 |   126000      0 |    58454 |        0
632.49/632.63	c  629s |       9 |   164205 |    11206 |   126000      0 |    58454 |        0
646.08/646.22	c  642s |       9 |   164353 |    11306 |   138600      0 |    58454 |        0
653.98/654.18	c  650s |      10 |   164420 |    11361 |   138600      0 |    58454 |        0
657.68/657.83	c  654s |      10 |   203146 |    11461 |   138600      0 |    58454 |        0
660.17/660.35	c  656s |      10 |   217631 |    11561 |   138600      0 |    58454 |        0
669.68/669.86	c  666s |      10 |   217722 |    11661 |   138600      0 |    58454 |        0
679.37/679.52	c  676s |      10 |   217831 |    11761 |   138600      0 |    58454 |        0
688.97/689.19	c  685s |      10 |   217927 |    11861 |   138600      0 |    58454 |        0
698.66/698.89	c  695s |      10 |   218028 |    11961 |   138600      0 |    58454 |        0
708.46/708.62	c  705s |      10 |   218123 |    12061 |   138600      0 |    58454 |        0
718.17/718.36	c  714s |      10 |   218218 |    12161 |   138600      0 |    58454 |        0
727.96/728.14	c  724s |      10 |   218320 |    12261 |   138600      0 |    58454 |        0
737.76/737.99	c  734s |      10 |   218419 |    12361 |   138600      0 |    58454 |        0
747.65/747.80	c  744s |      10 |   218519 |    12461 |   138600      0 |    58454 |        0
757.45/757.67	c  754s |      10 |   218615 |    12561 |   138600      0 |    58454 |        0
767.36/767.51	c  764s |      10 |   218717 |    12661 |   138600      0 |    58454 |        0
777.15/777.39	c  773s |      10 |   218818 |    12761 |   138600      0 |    58454 |        0
787.35/787.60	c  784s |      10 |   218917 |    12861 |   138600      0 |    58454 |        0
797.35/797.51	c  794s |      10 |   219024 |    12961 |   138600      0 |    58454 |        0
807.14/807.40	c  803s |      10 |   219113 |    13061 |   138600      0 |    58454 |        0
817.15/817.34	c  813s |      10 |   219220 |    13161 |   138600      0 |    58454 |        0
827.05/827.25	c  823s |      10 |   219316 |    13261 |   138600      0 |    58454 |        0
837.05/837.26	c  833s |      10 |   219411 |    13361 |   138600      0 |    58454 |        0
847.04/847.22	c  843s |      10 |   219520 |    13461 |   138600      0 |    58454 |        0
856.94/857.19	c  853s |      10 |   219616 |    13561 |   138600      0 |    58454 |        0
866.94/867.17	c  863s |      10 |   219713 |    13661 |   138600      0 |    58454 |        0
876.94/877.14	c  873s |      10 |   219817 |    13761 |   138600      0 |    58454 |        0
886.93/887.18	c  883s |      10 |   219913 |    13861 |   138600      0 |    58454 |        0
897.73/897.98	c  894s |      10 |   230148 |    13961 |   138600      0 |    58454 |        0
908.54/908.77	c  905s |      10 |   230244 |    14061 |   138600      0 |    58454 |        0
921.23/921.46	c  917s |      10 |   230347 |    14161 |   138600      0 |    58454 |        0
932.83/933.01	c  929s |      10 |   230452 |    14261 |   138600      0 |    58454 |        0
943.52/943.79	c  940s |      10 |   230545 |    14361 |   138600      0 |    58454 |        0
962.82/963.05	c  959s |      10 |   230645 |    14461 |   138600      0 |    58454 |        0
982.02/982.20	c  978s |      10 |   230756 |    14561 |   138600      0 |    58454 |        0
994.02/994.27	c  990s |      10 |   230857 |    14661 |   138600      0 |    58454 |        0
1011.71/1011.97	c 1008s |      10 |   230958 |    14761 |   138600      0 |    58454 |        0
1024.71/1024.96	c 1021s |      10 |   231056 |    14861 |   138600      0 |    58454 |        0
1037.12/1037.39	c 1033s |      10 |   231158 |    14961 |   138600      0 |    58454 |        0
1047.91/1048.19	c 1044s |      10 |   231264 |    15061 |   138600      0 |    58454 |        0
1058.61/1058.89	c 1055s |      10 |   231362 |    15161 |   138600      0 |    58454 |        0
1070.60/1070.84	c 1067s |      10 |   231468 |    15261 |   138600      0 |    58454 |        0
1081.51/1081.75	c 1078s |      10 |   231567 |    15361 |   138600      0 |    58454 |        0
1095.10/1095.38	c 1091s |      10 |   231669 |    15461 |   138600      0 |    58454 |        0
1115.21/1115.48	c 1111s |      10 |   231770 |    15561 |   138600      0 |    58454 |        0
1135.29/1135.54	c 1132s |      10 |   231871 |    15661 |   138600      0 |    58454 |        0
1153.59/1153.84	c 1150s |      10 |   231973 |    15761 |   138600      0 |    58454 |        0
1173.29/1173.52	c 1170s |      10 |   232087 |    15861 |   138600      0 |    58454 |        0
1186.09/1186.32	c 1182s |      10 |   232183 |    15961 |   138600      0 |    58454 |        0
1202.79/1203.07	c 1199s |      10 |   232287 |    16061 |   138600      0 |    58454 |        0
1217.38/1217.67	c 1214s |      10 |   232382 |    16161 |   138600      0 |    58454 |        0
1229.59/1229.86	c 1226s |      10 |   232487 |    16261 |   138600      0 |    58454 |        0
1241.28/1241.57	c 1238s |      10 |   232585 |    16361 |   138600      0 |    58454 |        0
1252.69/1252.98	c 1249s |      10 |   232688 |    16461 |   138600      0 |    58454 |        0
1263.68/1263.95	c 1260s |      10 |   232788 |    16561 |   138600      0 |    58454 |        0
1274.78/1275.08	c 1271s |      10 |   232891 |    16661 |   138600      0 |    58454 |        0
1286.17/1286.43	c 1282s |      10 |   233007 |    16761 |   138600      0 |    58454 |        0
1297.08/1297.39	c 1293s |      10 |   233107 |    16861 |   138600      0 |    58454 |        0
1310.07/1310.31	c 1306s |      10 |   233215 |    16961 |   138600      0 |    58454 |        0
1323.56/1323.86	c 1320s |      10 |   233313 |    17061 |   152460      0 |    58454 |        0
1335.18/1335.44	c 1331s |      11 |   233421 |    17144 |   152460      0 |    58454 |        0
1341.07/1341.35	c 1337s |      11 |   241255 |    17244 |   152460      0 |    58454 |        0
1352.07/1352.33	c 1348s |      11 |   258690 |    17344 |   152460      0 |    58454 |        0
1367.07/1367.32	c 1363s |      11 |   258983 |    17444 |   152460      0 |    58454 |        0
1380.37/1380.69	c 1377s |      11 |   259223 |    17544 |   152460      0 |    58454 |        0
1397.16/1397.45	c 1393s |      11 |   259583 |    17644 |   152460      0 |    58454 |        0
1410.96/1411.22	c 1407s |      11 |   259884 |    17744 |   152460      0 |    58454 |        0
1427.66/1427.99	c 1424s |      11 |   259990 |    17844 |   152460      0 |    58454 |        0
1444.05/1444.39	c 1440s |      11 |   260090 |    17944 |   152460      0 |    58454 |        0
1458.15/1458.40	c 1454s |      11 |   260199 |    18044 |   152460      0 |    58454 |        0
1470.45/1470.79	c 1467s |      11 |   260320 |    18144 |   152460      0 |    58454 |        0
1482.44/1482.76	c 1479s |      11 |   260430 |    18244 |   152460      0 |    58454 |        0
1497.55/1497.83	c 1494s |      11 |   260573 |    18344 |   152460      0 |    58454 |        0
1511.44/1511.75	c 1508s |      11 |   260720 |    18444 |   152460      0 |    58454 |        0
1525.84/1526.10	c 1522s |      11 |   260922 |    18544 |   152460      0 |    58454 |        0
1540.33/1540.61	c 1537s |      11 |   261069 |    18644 |   152460      0 |    58454 |        0
1556.43/1556.79	c 1553s |      11 |   261181 |    18744 |   152460      0 |    58454 |        0
1569.44/1569.80	c 1566s |      11 |   261412 |    18844 |   152460      0 |    58454 |        0
1585.93/1586.25	c 1582s |      11 |   261574 |    18944 |   152460      0 |    58454 |        0
1600.24/1600.59	c 1597s |      11 |   261812 |    19044 |   152460      0 |    58454 |        0
1613.23/1613.54	c 1610s |      11 |   261981 |    19144 |   152460      0 |    58454 |        0
1627.92/1628.29	c 1624s |      11 |   262288 |    19244 |   152460      0 |    58454 |        0
1641.42/1641.75	c 1638s |      11 |   262521 |    19344 |   152460      0 |    58454 |        0
1657.81/1658.17	c 1654s |      11 |   262746 |    19444 |   152460      0 |    58454 |        0
1676.32/1676.63	c 1673s |      11 |   262929 |    19544 |   152460      0 |    58454 |        0
1694.21/1694.53	c 1691s |      11 |   263042 |    19644 |   152460      0 |    58454 |        0
1714.41/1714.72	c 1711s |      11 |   263153 |    19744 |   152460      0 |    58454 |        0
1731.11/1731.42	c 1727s |      11 |   263301 |    19844 |   152460      0 |    58454 |        0
1746.61/1746.91	c 1743s |      11 |   263510 |    19944 |   152460      0 |    58454 |        0
1761.80/1762.14	c 1758s |      11 |   263854 |    20044 |   152460      0 |    58454 |        0
1777.50/1777.88	c 1774s |      11 |   264072 |    20144 |   152460      0 |    58454 |        0
1793.00/1793.31	c 1789s |      11 |   264287 |    20244 |   152460      0 |    58454 |        0

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

pid=11981
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.10 2.08 2.01 3/179 11984
/proc/meminfo: memFree=31292608/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 2643 0 0 0 0 0 0 0 20 0 4 0 23019956 726069248 3004 33554432000 4194304 16246674 140734977131584 140734977131008 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 178031 3014 441 2943 0 174925 0
[pid=11984/tid=11985] ppid=11981 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 743895040 3074 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 748089344 3090 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 753332224 3109 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 11984
/proc/meminfo: memFree=31292608/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 29519 0 0 0 5 4 0 0 20 0 4 0 23019956 1332285440 29818 33554432000 4194304 16246674 140734977131584 140734977130896 7889302 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 325265 29837 800 2943 0 322159 0
[pid=11984/tid=11985] ppid=11981 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1332285440 29849 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1332285440 29861 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1332285440 29871 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200537 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 11984
/proc/meminfo: memFree=31292608/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 45009 0 0 0 13 6 0 0 20 0 4 0 23019956 1345916928 45819 33554432000 4194304 16246674 140734977131584 140734977114576 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 328593 45819 800 2943 0 325487 0
[pid=11984/tid=11985] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 45819 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 45819 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 45819 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300496 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 11984
/proc/meminfo: memFree=31292608/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 55659 0 0 0 21 7 0 0 20 0 4 0 23019956 1345916928 56469 33554432000 4194304 16246674 140734977131584 140734977114576 4220894 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 328593 56469 800 2943 0 325487 0
[pid=11984/tid=11985] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 56469 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 56469 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 56469 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.70042 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 11984
/proc/meminfo: memFree=31292608/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 72856 0 0 0 59 10 0 0 20 0 4 0 23019956 1345916928 73666 33554432000 4194304 16246674 140734977131584 140734977114576 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 328593 73666 802 2943 0 325487 0
[pid=11984/tid=11985] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 73666 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 73666 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1345916928 73666 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 11988
/proc/meminfo: memFree=30395476/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 91526 0 0 0 137 12 0 0 20 0 4 0 23019956 1414074368 95402 33554432000 4194304 16246674 140734977131584 140734977130896 4206886 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 95402 830 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 95402 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 95402 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 95402 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1380932

[startup+3.10042 s]
/proc/loadavg: 2.09 2.08 2.01 3/183 11988
/proc/meminfo: memFree=29937780/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 108255 0 0 0 294 15 0 0 20 0 4 0 23019956 1414074368 112131 33554432000 4194304 16246674 140734977131584 140734977130680 6727256 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 112131 846 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 112131 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 112131 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 112131 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30043 s]
/proc/loadavg: 2.09 2.08 2.01 4/183 12037
/proc/meminfo: memFree=30366468/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 171266 0 0 0 604 25 0 0 20 0 4 0 23019956 1414074368 175142 33554432000 4194304 16246674 140734977131584 140734977113472 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 175142 898 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 175142 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 175142 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 175142 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.15 2.09 2.01 3/183 12037
/proc/meminfo: memFree=29672380/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=12.69 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 171266 0 0 0 1244 25 0 0 20 0 4 0 23019956 1414074368 175142 33554432000 4194304 16246674 140734977131584 140734977113472 13780600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 175142 898 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 175142 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 175142 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 175142 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1380932

[startup+25.5005 s]
/proc/loadavg: 2.13 2.08 2.01 3/183 12037
/proc/meminfo: memFree=29663256/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=25.48 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 173786 0 0 0 2523 25 0 0 20 0 4 0 23019956 1414074368 177662 33554432000 4194304 16246674 140734977131584 140734977113472 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 177662 898 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 177662 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 177662 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 177662 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1380932

[startup+51.1005 s]
/proc/loadavg: 2.08 2.08 2.01 4/183 12037
/proc/meminfo: memFree=29640244/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=51.08 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 173786 0 0 0 5083 25 0 0 20 0 4 0 23019956 1414074368 183050 33554432000 4194304 16246674 140734977131584 140734977113472 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 183050 898 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 183050 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 183050 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 183050 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1380932

[startup+102.301 s]
/proc/loadavg: 2.07 2.08 2.01 3/184 12041
/proc/meminfo: memFree=29412288/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=102.29 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 210281 0 0 0 10198 31 0 0 20 0 4 0 23019956 1414074368 239705 33554432000 4194304 16246674 140734977131584 140734977113472 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 239705 898 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 239705 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 239705 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 239705 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1380932


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

/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1380932

[startup+1362.3 s]
/proc/loadavg: 2.12 2.16 2.09 3/183 12073
/proc/meminfo: memFree=29204492/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1362.06 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 136141 65 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977113472 5711980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1380932

[startup+1422.3 s]
/proc/loadavg: 2.24 2.17 2.10 3/183 12075
/proc/meminfo: memFree=29204520/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1422.06 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 142141 65 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977113472 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1380932

[startup+1482.3 s]
/proc/loadavg: 2.15 2.16 2.09 3/183 12076
/proc/meminfo: memFree=29204656/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1482.04 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 148138 66 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977113472 5545752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1380932

[startup+1542.31 s]
/proc/loadavg: 2.27 2.19 2.10 3/183 12077
/proc/meminfo: memFree=29204652/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1542.04 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 154137 67 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977130760 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1380932

[startup+1602.3 s]
/proc/loadavg: 2.10 2.15 2.09 3/183 12078
/proc/meminfo: memFree=29204524/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1602.03 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 160135 68 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977113472 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1380932

[startup+1662.3 s]
/proc/loadavg: 2.03 2.12 2.09 3/183 12079
/proc/meminfo: memFree=29204528/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1662.01 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 166133 68 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977113472 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1380932

[startup+1722.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 12081
/proc/meminfo: memFree=29204288/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1722.01 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 172132 69 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977130760 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1380932

[startup+1782.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 12082
/proc/meminfo: memFree=29203912/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1782 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 178131 69 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977130760 13760253 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1380932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 12082
/proc/meminfo: memFree=29204284/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1800 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 179930 70 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977113472 5712148 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1380932

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

[startup+1800.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 12082
/proc/meminfo: memFree=29204284/32872528 swapFree=534252/566956
[pid=11984] ppid=11981 vsize=1380932 CPUtime=1800 cores=1,3,5,7
/proc/11984/stat : 11984 (toysat) R 11981 11984 10353 0 -1 4202496 232902 0 0 0 179930 70 0 0 20 0 4 0 23019956 1414074368 286989 33554432000 4194304 16246674 140734977131584 140734977113472 5712148 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11984/statm: 345233 286989 901 2943 0 342127 0
[pid=11984/tid=11985] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11985/stat : 11985 (toysat) S 11981 11984 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886205054192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11984/tid=11986] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11986/stat : 11986 (toysat) S 11981 11984 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886194564336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11984/tid=11987] ppid=11981 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/11984/task/11987/stat : 11987 (toysat) S 11981 11984 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019957 1414074368 286989 33554432000 4194304 16246674 140734977131584 139886078192816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1380932

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.31
CPU system time (s): 0.701893
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1380932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.701893
maximum resident set size= 1147956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232902
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= 63
involuntary context switches= 1918

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

The end

Launcher Data 

Begin job on node138 at 2016-06-18 02:29:03
IDJOB=4099913
IDBENCH=1550
IDSOLVER=2542
FILE ID=node138/4099913-1466209743
RUNJOBID= node138-1466206053-10370
PBS_JOBID= 19918139
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099913-1466209743/watcher-4099913-1466209743 -o /tmp/evaluation-result-4099913-1466209743/solver-4099913-1466209743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099913-1466209743.opb

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

MD5SUM BENCH= d7a28c2ec06d645af4379f015212128c
RANDOM SEED=427405706

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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:        31292608 kB
Buffers:           43360 kB
Cached:           108576 kB
SwapCached:         1056 kB
Active:           241356 kB
Inactive:          63644 kB
Active(anon):     154456 kB
Inactive(anon):     1192 kB
Active(file):      86900 kB
Inactive(file):    62452 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             39588 kB
Writeback:             4 kB
AnonPages:        731712 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             573232 kB
SReclaimable:      17124 kB
SUnreclaim:       556108 kB
KernelStack:        1536 kB
PageTables:         6760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1787964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71692 MiB
End job on node138 at 2016-06-18 02:59:04