Trace number 4100305

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.22 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb
MD5SUMeb3ec27dc8137302430c8b48ccd8a471
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark899
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 907
Optimality of the best value was proved NO
Number of variables21705
Total number of constraints4285
Number of constraints which are clauses4284
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint15760
Number of terms in the objective function 21705
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 21705
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 25016
Number of bits of the biggest sum of numbers15
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-18T03:29:07+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-4100305-1466213346.opb"]
0.00/0.01	c use --random-gen="3862666359 3719600152 2000325409 4010468047 812929541 157632705 3692496649 2119245745 4233665125 3185206309 1607468958 3504140018 820413071 1240656470 1409384567 2263453166 3171339322 70929563 727579606 3163657109 3635709883 3423089351 1023006507 2025031577 3191908791 3361588950 2219385492 3688959072 828657801 2556300754 2992376059 3890660843 2615149468 4220597715 1108156813 3063963577 341675322 4093093894 2100011638 3900925401 1120480427 528027833 3137267985 810596860 1485885669 1778107561 904043886 1859529697 181667542 2909466068 3530503514 1509595151 3354931823 225589281 1128977081 792909201 2836103894 1105743682 1935940272 4020372452 3336048533 3104191754 2173973948 1831050866 872297335 1544640373 1115879339 3762733103 3712573827 319003941 411032855 3891815002 3925819089 1153532264 2344204634 80945531 3021289083 2520888075 1376935984 2963011112 2737425796 450653804 3118476429 1719405566 362216793 3733741295 730799303 2743105910 4093364976 1809980025 2357824717 988211052 852125243 3826569303 4079709684 1598746108 1139385992 1900171310 113708491 4017311005 889272831 1919955611 305091590 787009199 3923897125 141416246 730948501 2301421461 3959527029 460842687 4056721432 3186423042 375087283 1745829926 715199183 2236600590 1134419382 1955580926 1466697038 408339607 1972214169 1935885193 1554196421 2015704694 4027489409 1538847380 2064415053 1272251652 2294259795 292477823 841945330 1789883272 2400877721 2295386241 914744412 1693162142 790850101 1109603300 2304827841 1028793072 4273343657 597182900 620407240 2810158261 3455615083 1983178622 3396345770 1616845546 3485155609 4008248340 23294128 1343260934 48213213 1290896081 1374881962 693390071 1447881345 1032503193 2498407203 1125232788 74958422 422886549 3068960209 1867458815 681636959 1587366409 2812669117 2852060740 307483206 2971859145 229222233 513822698 551887492 1010252742 3689082653 2832111211 297517838 86037400 2858528979 4227575808 2411914434 2010986593 3664834394 3953233838 3593992492 2661614180 4186104216 3899447360 1917252087 1564175253 3178522972 3963500590 2555182284 3564400712 240063234 4223713287 2646552215 729429517 2244138637 2956639342 1047688833 1978720992 3079960058 3366314786 1245013406 3080326079 3310923913 3491628250 2549352935 79541159 297402800 3185538927 3370049379 1007610201 2178374469 2803463659 4013309633 971799435 1819753090 727066363 310396295 4273745207 524421905 2053914160 3082729712 2545966711 3508407227 957565191 750995749 4104236100 839585054 3305691060 275815959 2760801504 2984295680 2739502191 2742132654 349782397 4117643487 3021601664 3959276160 3780597481 4025195314 1638936319 4064051593 1266162881 2482802081 2555200980 2971302430 3473503907 2396135927 1716317277 393249932 382856033 355627912 3224064458 255 362436" option to reproduce the execution
0.39/0.43	c #vars 21705
0.39/0.43	c #constraints 4285
0.99/1.02	c BCD2: Hardening is enabled.
0.99/1.02	c BCD2: BiasedSearch is enabled.
0.99/1.02	c Solving starts ...
0.99/1.02	c ============================[ Search Statistics ]============================
0.99/1.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.02	c =============================================================================
0.99/1.02	c  0.0s |       0 |        0 |        0 |     8649      0 |       14 |        0
19.68/19.73	c 18.7s |       0 |    13239 |      100 |     8649      0 |       14 |       18
19.68/19.74	c 18.7s |       1 |    13239 |      100 |     8649      0 |       14 |       18
29.18/29.20	c 28.2s |       1 |    23430 |      200 |     9514      0 |       14 |       18
33.38/33.46	c 32.4s |       2 |    23597 |      250 |     9514      0 |       14 |       18
41.08/41.12	c 40.1s |       2 |    33202 |      350 |    10466      0 |       14 |       18
49.38/49.47	c 48.4s |       2 |    33432 |      450 |    10466      0 |       14 |       18
52.28/52.30	c 51.3s |       3 |    33529 |      475 |    10466      0 |       14 |       18
61.18/61.27	c 60.3s |       3 |    43254 |      575 |    11513      0 |       14 |       18
70.08/70.14	c 69.1s |       3 |    43715 |      675 |    11513      0 |       14 |       18
77.38/77.42	c 76.4s |       3 |    44176 |      775 |    11513      0 |       14 |       18
79.48/79.59	c 78.6s |       4 |    44365 |      813 |    11513      0 |       14 |       18
88.17/88.28	c 87.3s |       4 |    53962 |      913 |    12665      0 |       14 |       18
95.97/96.08	c 95.1s |       4 |    54338 |     1013 |    12665      0 |       14 |       18
103.57/103.66	c  102s |       4 |    54824 |     1113 |    12665      0 |       14 |       18
113.28/113.37	c  112s |       4 |    55162 |     1213 |    12665      0 |       14 |       18
122.47/122.54	c  121s |       4 |    55783 |     1313 |    12665      0 |       14 |       18
122.87/122.92	c  121s |       5 |    55795 |     1320 |    12665      0 |       14 |       18
130.47/130.54	c  129s |       5 |    65321 |     1420 |    13932      0 |       14 |       18
138.26/138.39	c  137s |       5 |    65638 |     1520 |    13932      0 |       14 |       18
145.27/145.39	c  144s |       5 |    66097 |     1620 |    13932      0 |       14 |       18
151.56/151.60	c  150s |       5 |    66468 |     1720 |    13932      0 |       14 |       18
157.96/158.02	c  157s |       5 |    66717 |     1820 |    13932      0 |       14 |       18
164.26/164.32	c  163s |       5 |    67097 |     1920 |    13932      0 |       14 |       18
169.06/169.19	c  168s |       5 |    67422 |     2020 |    13932      0 |       14 |       18
174.97/175.07	c  174s |       6 |    67791 |     2081 |    15326      0 |       14 |       18
183.36/183.44	c  182s |       6 |    77484 |     2181 |    15326      0 |       14 |       18
190.36/190.46	c  189s |       6 |    77949 |     2281 |    15326      0 |       14 |       18
196.66/196.79	c  195s |       6 |    78189 |     2381 |    15326      0 |       14 |       18
203.25/203.32	c  202s |       6 |    78519 |     2481 |    15326      0 |       14 |       18
209.25/209.33	c  208s |       6 |    78892 |     2581 |    15326      0 |       14 |       18
216.56/216.67	c  215s |       6 |    79285 |     2681 |    15326      0 |       14 |       18
221.85/221.95	c  220s |       6 |    79789 |     2781 |    15326      0 |       14 |       18
227.85/227.90	c  226s |       6 |    80097 |     2881 |    15326      0 |       14 |       18
237.55/237.62	c  236s |       6 |    80573 |     2981 |    15326      0 |       14 |       18
245.45/245.56	c  244s |       6 |    80899 |     3081 |    15326      0 |       14 |       18
251.95/252.08	c  251s |       6 |    81404 |     3181 |    15326      0 |       14 |       18
255.54/255.66	c  254s |       7 |    81644 |     3223 |    16859      0 |       14 |       18
265.34/265.46	c  264s |       7 |    91446 |     3323 |    16859      0 |       14 |       18
272.24/272.31	c  271s |       7 |    91760 |     3423 |    16859      0 |       14 |       18
279.94/280.01	c  278s |       7 |    92222 |     3523 |    16859      0 |       14 |       18
288.64/288.79	c  287s |       7 |    92769 |     3623 |    16859      0 |       14 |       18
296.04/296.18	c  295s |       7 |    93123 |     3723 |    16859      0 |       14 |       18
304.24/304.37	c  303s |       7 |    93722 |     3823 |    16859      0 |       14 |       18
312.23/312.39	c  311s |       7 |    94146 |     3923 |    16859      0 |       14 |       18
319.84/319.97	c  318s |       7 |    94643 |     4023 |    16859      0 |       14 |       18
327.43/327.58	c  326s |       7 |    94877 |     4123 |    16859      0 |       14 |       18
335.03/335.12	c  334s |       7 |    95068 |     4223 |    16859      0 |       14 |       18
343.74/343.80	c  342s |       7 |    96098 |     4323 |    16859      0 |       14 |       18
352.53/352.64	c  351s |       7 |    96778 |     4423 |    16859      0 |       14 |       18
360.23/360.37	c  359s |       7 |    97197 |     4523 |    16859      0 |       14 |       18
366.43/366.58	c  365s |       7 |    97481 |     4623 |    16859      0 |       14 |       18
373.83/373.95	c  372s |       7 |    97935 |     4723 |    16859      0 |       14 |       18
380.54/380.64	c  379s |       7 |    98390 |     4823 |    16859      0 |       14 |       18
388.42/388.51	c  387s |       7 |    99017 |     4923 |    18545      0 |       14 |       18
389.12/389.29	c  388s |       8 |    99057 |     4936 |    18545      0 |       14 |       18
400.12/400.20	c  399s |       8 |   108601 |     5036 |    18545      0 |       14 |       18
407.03/407.14	c  406s |       8 |   109471 |     5136 |    18545      0 |       14 |       18
413.93/414.03	c  413s |       8 |   109957 |     5236 |    18545      0 |       14 |       18
421.12/421.26	c  420s |       8 |   110369 |     5336 |    18545      0 |       14 |       18
429.22/429.30	c  428s |       8 |   110838 |     5436 |    18545      0 |       14 |       18
435.92/436.09	c  435s |       8 |   111142 |     5536 |    18545      0 |       14 |       18
442.92/443.06	c  442s |       8 |   111598 |     5636 |    18545      0 |       14 |       18
448.91/449.02	c  447s |       8 |   111901 |     5736 |    18545      0 |       14 |       18
458.12/458.22	c  457s |       8 |   112618 |     5836 |    18545      0 |       14 |       18
465.81/465.99	c  464s |       8 |   113101 |     5936 |    18545      0 |       14 |       18
473.91/474.06	c  473s |       8 |   113508 |     6036 |    18545      0 |       14 |       18
481.11/481.23	c  480s |       8 |   113837 |     6136 |    18545      0 |       14 |       18
488.71/488.88	c  487s |       8 |   114354 |     6236 |    18545      0 |       14 |       18
495.91/496.07	c  495s |       8 |   114974 |     6336 |    18545      0 |       14 |       18
503.41/503.58	c  502s |       8 |   115250 |     6436 |    18545      0 |       14 |       18
511.81/511.92	c  510s |       8 |   115504 |     6536 |    18545      0 |       14 |       18
519.21/519.38	c  518s |       8 |   116071 |     6636 |    18545      0 |       14 |       18
525.82/525.97	c  524s |       8 |   116578 |     6736 |    18545      0 |       14 |       18
533.10/533.20	c  532s |       8 |   116962 |     6836 |    18545      0 |       14 |       18
540.60/540.74	c  539s |       8 |   117448 |     6936 |    18545      0 |       14 |       18
549.50/549.69	c  548s |       8 |   117878 |     7036 |    18545      0 |       14 |       18
557.30/557.46	c  556s |       8 |   118281 |     7136 |    18545      0 |       14 |       18
564.50/564.68	c  563s |       8 |   118755 |     7236 |    18545      0 |       14 |       18
572.09/572.25	c  571s |       8 |   119339 |     7336 |    18545      0 |       14 |       18
578.70/578.83	c  577s |       8 |   119688 |     7436 |    18545      0 |       14 |       18
584.30/584.47	c  583s |       9 |   119833 |     7506 |    20400      0 |       14 |       18
597.79/597.98	c  596s |       9 |   129489 |     7606 |    20400      0 |       14 |       18
606.29/606.45	c  605s |       9 |   130000 |     7706 |    20400      0 |       14 |       18
614.39/614.50	c  613s |       9 |   130566 |     7806 |    20400      0 |       14 |       18
621.99/622.14	c  621s |       9 |   131103 |     7906 |    20400      0 |       14 |       18
631.59/631.77	c  630s |       9 |   131472 |     8006 |    20400      0 |       14 |       18
639.39/639.55	c  638s |       9 |   132002 |     8106 |    20400      0 |       14 |       18
646.98/647.14	c  646s |       9 |   132486 |     8206 |    20400      0 |       14 |       18
654.19/654.36	c  653s |       9 |   132917 |     8306 |    20400      0 |       14 |       18
661.28/661.45	c  660s |       9 |   133196 |     8406 |    20400      0 |       14 |       18
669.68/669.88	c  668s |       9 |   133830 |     8506 |    20400      0 |       14 |       18
678.08/678.21	c  677s |       9 |   134305 |     8606 |    20400      0 |       14 |       18
686.18/686.35	c  685s |       9 |   134632 |     8706 |    20400      0 |       14 |       18
694.09/694.22	c  693s |       9 |   135029 |     8806 |    20400      0 |       14 |       18
702.58/702.79	c  701s |       9 |   135316 |     8906 |    20400      0 |       14 |       18
711.97/712.11	c  711s |       9 |   135662 |     9006 |    20400      0 |       14 |       18
721.87/722.00	c  720s |       9 |   136356 |     9106 |    20400      0 |       14 |       18
729.57/729.77	c  728s |       9 |   136811 |     9206 |    20400      0 |       14 |       18
737.57/737.74	c  736s |       9 |   137439 |     9306 |    20400      0 |       14 |       18
744.17/744.37	c  743s |       9 |   137661 |     9406 |    20400      0 |       14 |       18
751.86/752.04	c  751s |       9 |   137849 |     9506 |    20400      0 |       14 |       18
759.27/759.50	c  758s |       9 |   138376 |     9606 |    20400      0 |       14 |       18
765.86/766.08	c  765s |       9 |   138649 |     9706 |    20400      0 |       14 |       18
774.57/774.79	c  773s |       9 |   138955 |     9806 |    20400      0 |       14 |       18
782.16/782.30	c  781s |       9 |   139433 |     9906 |    20400      0 |       14 |       18
789.16/789.36	c  788s |       9 |   139855 |    10006 |    20400      0 |       14 |       18
795.66/795.85	c  794s |       9 |   140129 |    10106 |    20400      0 |       14 |       18
803.76/803.92	c  802s |       9 |   140650 |    10206 |    20400      0 |       14 |       18
810.96/811.18	c  810s |       9 |   141018 |    10306 |    20400      0 |       14 |       18
817.96/818.17	c  817s |       9 |   141216 |    10406 |    20400      0 |       14 |       18
824.46/824.67	c  823s |       9 |   141701 |    10506 |    20400      0 |       14 |       18
830.16/830.36	c  829s |       9 |   141948 |    10606 |    20400      0 |       14 |       18
837.35/837.58	c  836s |       9 |   142517 |    10706 |    20400      0 |       14 |       18
845.05/845.25	c  844s |       9 |   142781 |    10806 |    20400      0 |       14 |       18
852.36/852.59	c  851s |       9 |   143309 |    10906 |    20400      0 |       14 |       18
859.35/859.52	c  858s |       9 |   143670 |    11006 |    20400      0 |       14 |       18
866.95/867.11	c  866s |       9 |   144030 |    11106 |    20400      0 |       14 |       18
873.74/873.98	c  872s |       9 |   144469 |    11206 |    20400      0 |       14 |       18
881.75/881.97	c  880s |       9 |   144905 |    11306 |    22440      0 |       14 |       18
886.15/886.31	c  885s |      10 |   145144 |    11361 |    22440      0 |       14 |       18
905.04/905.25	c  904s |      10 |   154791 |    11461 |    22440      0 |       14 |       18
912.44/912.68	c  911s |      10 |   155205 |    11561 |    22440      0 |       14 |       18
919.34/919.60	c  918s |      10 |   155623 |    11661 |    22440      0 |       14 |       18
926.84/927.07	c  926s |      10 |   155985 |    11761 |    22440      0 |       14 |       18
934.14/934.30	c  933s |      10 |   156531 |    11861 |    22440      0 |       14 |       18
941.45/941.61	c  940s |      10 |   156835 |    11961 |    22440      0 |       14 |       18
948.73/948.92	c  947s |      10 |   157226 |    12061 |    22440      0 |       14 |       18
955.84/956.01	c  954s |      10 |   157548 |    12161 |    22440      0 |       14 |       18
962.93/963.15	c  962s |      10 |   157972 |    12261 |    22440      0 |       14 |       18
971.63/971.86	c  970s |      10 |   158211 |    12361 |    22440      0 |       14 |       18
979.23/979.49	c  978s |      10 |   158536 |    12461 |    22440      0 |       14 |       18
987.23/987.44	c  986s |      10 |   158971 |    12561 |    22440      0 |       14 |       18
994.82/995.04	c  994s |      10 |   159363 |    12661 |    22440      0 |       14 |       18
1001.93/1002.16	c 1001s |      10 |   159789 |    12761 |    22440      0 |       14 |       18
1008.63/1008.81	c 1007s |      10 |   160268 |    12861 |    22440      0 |       14 |       18
1016.42/1016.69	c 1015s |      10 |   160502 |    12961 |    22440      0 |       14 |       18
1024.62/1024.81	c 1023s |      10 |   160773 |    13061 |    22440      0 |       14 |       18
1032.52/1032.79	c 1031s |      10 |   161176 |    13161 |    22440      0 |       14 |       18
1040.22/1040.45	c 1039s |      10 |   161566 |    13261 |    22440      0 |       14 |       18
1048.71/1048.98	c 1047s |      10 |   162001 |    13361 |    22440      0 |       14 |       18
1056.41/1056.62	c 1055s |      10 |   162504 |    13461 |    22440      0 |       14 |       18
1063.52/1063.77	c 1062s |      10 |   162765 |    13561 |    22440      0 |       14 |       18
1070.91/1071.19	c 1070s |      10 |   163180 |    13661 |    22440      0 |       14 |       18
1077.71/1077.90	c 1076s |      10 |   163491 |    13761 |    22440      0 |       14 |       18
1086.11/1086.32	c 1085s |      10 |   164089 |    13861 |    22440      0 |       14 |       18
1095.21/1095.43	c 1094s |      10 |   164490 |    13961 |    22440      0 |       14 |       18
1102.12/1102.34	c 1101s |      10 |   164710 |    14061 |    22440      0 |       14 |       18
1109.91/1110.18	c 1109s |      10 |   165006 |    14161 |    22440      0 |       14 |       18
1117.60/1117.87	c 1116s |      10 |   165392 |    14261 |    22440      0 |       14 |       18
1123.40/1123.69	c 1122s |      10 |   165642 |    14361 |    22440      0 |       14 |       18
1132.10/1132.30	c 1131s |      10 |   166118 |    14461 |    22440      0 |       14 |       18
1140.50/1140.77	c 1139s |      10 |   166539 |    14561 |    22440      0 |       14 |       18
1148.20/1148.43	c 1147s |      10 |   166920 |    14661 |    22440      0 |       14 |       18
1156.60/1156.88	c 1155s |      10 |   167389 |    14761 |    22440      0 |       14 |       18
1164.71/1164.97	c 1163s |      10 |   167796 |    14861 |    22440      0 |       14 |       18
1173.50/1173.73	c 1172s |      10 |   168051 |    14961 |    22440      0 |       14 |       18
1181.90/1182.14	c 1181s |      10 |   168470 |    15061 |    22440      0 |       14 |       18
1189.00/1189.28	c 1188s |      10 |   168690 |    15161 |    22440      0 |       14 |       18
1200.39/1200.63	c 1199s |      10 |   169296 |    15261 |    22440      0 |       14 |       18
1208.70/1208.99	c 1207s |      10 |   169795 |    15361 |    22440      0 |       14 |       18
1217.69/1217.93	c 1216s |      10 |   170141 |    15461 |    22440      0 |       14 |       18
1224.28/1224.54	c 1223s |      10 |   170492 |    15561 |    22440      0 |       14 |       18
1232.59/1232.89	c 1231s |      10 |   171166 |    15661 |    22440      0 |       14 |       18
1240.59/1240.88	c 1239s |      10 |   171496 |    15761 |    22440      0 |       14 |       18
1247.78/1248.06	c 1247s |      10 |   171860 |    15861 |    22440      0 |       14 |       18
1255.39/1255.61	c 1254s |      10 |   172261 |    15961 |    22440      0 |       14 |       18
1264.28/1264.58	c 1263s |      10 |   172569 |    16061 |    22440      0 |       14 |       18
1273.88/1274.10	c 1273s |      10 |   172955 |    16161 |    22440      0 |       14 |       18
1281.38/1281.69	c 1280s |      10 |   173408 |    16261 |    22440      0 |       14 |       18
1288.08/1288.37	c 1287s |      10 |   173645 |    16361 |    22440      0 |       14 |       18
1297.18/1297.46	c 1296s |      10 |   173932 |    16461 |    22440      0 |       14 |       18
1306.28/1306.57	c 1305s |      10 |   174250 |    16561 |    22440      0 |       14 |       18
1315.48/1315.73	c 1314s |      10 |   174774 |    16661 |    22440      0 |       14 |       18
1321.98/1322.23	c 1321s |      10 |   175100 |    16761 |    22440      0 |       14 |       18
1331.88/1332.13	c 1331s |      10 |   175477 |    16861 |    22440      0 |       14 |       18
1339.37/1339.66	c 1338s |      10 |   175819 |    16961 |    22440      0 |       14 |       18
1346.37/1346.68	c 1345s |      10 |   176197 |    17061 |    24685      0 |       14 |       18
1352.97/1353.24	c 1352s |      11 |   176503 |    17144 |    24685      0 |       14 |       18
1377.76/1378.08	c 1377s |      11 |   186210 |    17244 |    24685      0 |       14 |       18
1384.96/1385.21	c 1384s |      11 |   186562 |    17344 |    24685      0 |       14 |       18
1391.96/1392.24	c 1391s |      11 |   186815 |    17444 |    24685      0 |       14 |       18
1399.85/1400.14	c 1399s |      11 |   187338 |    17544 |    24685      0 |       14 |       18
1409.66/1409.92	c 1408s |      11 |   187895 |    17644 |    24685      0 |       14 |       18
1417.76/1418.01	c 1416s |      11 |   188566 |    17744 |    24685      0 |       14 |       18
1425.75/1426.00	c 1424s |      11 |   188874 |    17844 |    24685      0 |       14 |       18
1433.56/1433.88	c 1432s |      11 |   189202 |    17944 |    24685      0 |       14 |       18
1442.25/1442.55	c 1441s |      11 |   189509 |    18044 |    24685      0 |       14 |       18
1450.25/1450.50	c 1449s |      11 |   189829 |    18144 |    24685      0 |       14 |       18
1458.25/1458.50	c 1457s |      11 |   190111 |    18244 |    24685      0 |       14 |       18
1466.55/1466.84	c 1465s |      11 |   190346 |    18344 |    24685      0 |       14 |       18
1473.64/1473.97	c 1472s |      11 |   190705 |    18444 |    24685      0 |       14 |       18
1482.14/1482.47	c 1481s |      11 |   191002 |    18544 |    24685      0 |       14 |       18
1490.64/1490.97	c 1489s |      11 |   191420 |    18644 |    24685      0 |       14 |       18
1498.54/1498.88	c 1497s |      11 |   191899 |    18744 |    24685      0 |       14 |       18
1506.54/1506.83	c 1505s |      11 |   192177 |    18844 |    24685      0 |       14 |       18
1514.24/1514.50	c 1513s |      11 |   192582 |    18944 |    24685      0 |       14 |       18
1522.84/1523.14	c 1522s |      11 |   192891 |    19044 |    24685      0 |       14 |       18
1530.13/1530.49	c 1529s |      11 |   193197 |    19144 |    24685      0 |       14 |       18
1537.54/1537.89	c 1536s |      11 |   193414 |    19244 |    24685      0 |       14 |       18
1545.44/1545.72	c 1544s |      11 |   193632 |    19344 |    24685      0 |       14 |       18
1552.73/1553.00	c 1551s |      11 |   193911 |    19444 |    24685      0 |       14 |       18
1560.43/1560.70	c 1559s |      11 |   194541 |    19544 |    24685      0 |       14 |       18
1568.03/1568.33	c 1567s |      11 |   194837 |    19644 |    24685      0 |       14 |       18
1578.24/1578.59	c 1577s |      11 |   195531 |    19744 |    24685      0 |       14 |       18
1587.72/1588.04	c 1587s |      11 |   196109 |    19844 |    24685      0 |       14 |       18
1596.62/1596.93	c 1595s |      11 |   196644 |    19944 |    24685      0 |       14 |       18
1605.12/1605.42	c 1604s |      11 |   197076 |    20044 |    24685      0 |       14 |       18
1612.73/1613.01	c 1611s |      11 |   197354 |    20144 |    24685      0 |       14 |       18
1620.03/1620.30	c 1619s |      11 |   197735 |    20244 |    24685      0 |       14 |       18
1627.92/1628.28	c 1627s |      11 |   198222 |    20344 |    24685      0 |       14 |       18
1635.22/1635.55	c 1634s |      11 |   198610 |    20444 |    24685      0 |       14 |       18
1643.61/1643.99	c 1642s |      11 |   199158 |    20544 |    24685      0 |       14 |       18
1652.81/1653.10	c 1652s |      11 |   199793 |    20644 |    24685      0 |       14 |       18
1662.02/1662.36	c 1661s |      11 |   200288 |    20744 |    24685      0 |       14 |       18
1670.92/1671.22	c 1670s |      11 |   200741 |    20844 |    24685      0 |       14 |       18
1679.72/1680.09	c 1679s |      11 |   201071 |    20944 |    24685      0 |       14 |       18
1687.61/1687.93	c 1686s |      11 |   201278 |    21044 |    24685      0 |       14 |       18
1695.92/1696.30	c 1695s |      11 |   201739 |    21144 |    24685      0 |       14 |       18
1704.31/1704.60	c 1703s |      11 |   202121 |    21244 |    24685      0 |       14 |       18
1711.31/1711.61	c 1710s |      11 |   202552 |    21344 |    24685      0 |       14 |       18
1718.90/1719.22	c 1718s |      11 |   202912 |    21444 |    24685      0 |       14 |       18
1725.71/1726.05	c 1725s |      11 |   203159 |    21544 |    24685      0 |       14 |       18
1734.60/1734.93	c 1733s |      11 |   203428 |    21644 |    24685      0 |       14 |       18
1744.70/1745.02	c 1743s |      11 |   203944 |    21744 |    24685      0 |       14 |       18
1753.00/1753.32	c 1752s |      11 |   204492 |    21844 |    24685      0 |       14 |       18
1760.30/1760.67	c 1759s |      11 |   204735 |    21944 |    24685      0 |       14 |       18
1767.79/1768.10	c 1767s |      11 |   205155 |    22044 |    24685      0 |       14 |       18
1775.29/1775.67	c 1774s |      11 |   205622 |    22144 |    24685      0 |       14 |       18
1781.59/1781.97	c 1780s |      11 |   206009 |    22244 |    24685      0 |       14 |       18
1788.19/1788.55	c 1787s |      11 |   206221 |    22344 |    24685      0 |       14 |       18
1795.29/1795.68	c 1794s |      11 |   206616 |    22444 |    24685      0 |       14 |       18

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.27 2.20 3/180 14480
/proc/meminfo: memFree=29482588/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=527804 CPUtime=0 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 1935 0 0 0 0 0 0 0 20 0 4 0 23381418 540471296 2295 33554432000 4194304 16246674 140736531371968 140736531371392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 132463 2306 441 2943 0 129357 0
[pid=14480/tid=14481] ppid=14477 vsize=545212 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 558297088 2363 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=549308 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 562491392 2381 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=553404 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 566685696 2398 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.23 2.27 2.20 3/180 14480
/proc/meminfo: memFree=29482588/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 28544 0 0 0 5 4 0 0 20 0 4 0 23381418 1333334016 28842 33554432000 4194304 16246674 140736531371968 140736531371280 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 325521 28857 801 2943 0 322415 0
[pid=14480/tid=14481] ppid=14477 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1333334016 28869 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1333334016 28880 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1333334016 28892 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200512 s]
/proc/loadavg: 2.23 2.27 2.20 3/180 14480
/proc/meminfo: memFree=29482588/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 47019 0 0 0 12 6 0 0 20 0 4 0 23381418 1344868352 47828 33554432000 4194304 16246674 140736531371968 140736531371280 8058576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 328337 47828 802 2943 0 325231 0
[pid=14480/tid=14481] ppid=14477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1344868352 47828 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1344868352 47828 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1344868352 47828 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.3005 s]
/proc/loadavg: 2.23 2.27 2.20 3/180 14480
/proc/meminfo: memFree=29482588/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 56856 0 0 0 21 7 0 0 20 0 4 0 23381418 1344868352 57665 33554432000 4194304 16246674 140736531371968 140736531371280 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 328337 57665 802 2943 0 325231 0
[pid=14480/tid=14481] ppid=14477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1344868352 57666 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1344868352 57666 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1344868352 57666 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700405 s]
/proc/loadavg: 2.23 2.27 2.20 3/180 14480
/proc/meminfo: memFree=29482588/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1317444 CPUtime=0.68 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 95712 0 0 0 56 12 0 0 20 0 4 0 23381418 1349062656 96521 33554432000 4194304 16246674 140736531371968 140736531353856 4224759 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 329361 96525 836 2943 0 326255 0
[pid=14480/tid=14481] ppid=14477 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1349062656 96529 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1349062656 96531 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1349062656 96534 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1317444

[startup+1.50033 s]
/proc/loadavg: 2.23 2.27 2.20 3/184 14484
/proc/meminfo: memFree=29088960/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 98022 0 0 0 136 13 0 0 20 0 4 0 23381418 1357451264 98831 33554432000 4194304 16246674 140736531371968 140736531371280 5522960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 331409 98831 880 2943 0 328303 0
[pid=14480/tid=14481] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98831 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98831 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98831 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10041 s]
/proc/loadavg: 2.23 2.27 2.20 3/184 14484
/proc/meminfo: memFree=29088216/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1325636 CPUtime=3.09 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 98039 0 0 0 296 13 0 0 20 0 4 0 23381418 1357451264 98848 33554432000 4194304 16246674 140736531371968 140736531371064 6011944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 331409 98848 897 2943 0 328303 0
[pid=14480/tid=14481] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98848 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98848 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98848 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30041 s]
/proc/loadavg: 2.21 2.26 2.20 3/184 14484
/proc/meminfo: memFree=29088104/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1325636 CPUtime=6.29 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 98040 0 0 0 616 13 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140736531369856 4206600 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 331409 98849 897 2943 0 328303 0
[pid=14480/tid=14481] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.28 2.27 2.21 3/184 14484
/proc/meminfo: memFree=29087980/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1325636 CPUtime=12.68 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 98040 0 0 0 1255 13 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140736531369792 14628944 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 331409 98849 897 2943 0 328303 0
[pid=14480/tid=14481] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.21 2.26 2.20 3/184 14484
/proc/meminfo: memFree=29088344/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1325636 CPUtime=25.49 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 98040 0 0 0 2535 14 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140736531369792 5553608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 331409 98849 897 2943 0 328303 0
[pid=14480/tid=14481] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.22 2.25 2.20 3/184 14484
/proc/meminfo: memFree=29088100/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1325636 CPUtime=51.07 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 98040 0 0 0 5093 14 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140736531353856 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 331409 98849 897 2943 0 328303 0
[pid=14480/tid=14481] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 98849 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.21 2.24 2.20 3/185 14489
/proc/meminfo: memFree=29060516/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=1325636 CPUtime=102.28 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 104947 0 0 0 10209 19 0 0 20 0 4 0 23381418 1357451264 105756 33554432000 4194304 16246674 140736531371968 140736531353856 13950549 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 331409 105756 897 2943 0 328303 0
[pid=14480/tid=14481] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 105756 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 105756 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 1357451264 105756 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 2969112576 666633 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=2899524 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 2969112576 666633 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=2899524 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 2969112576 666633 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2899524

[startup+1362.3 s]
/proc/loadavg: 2.37 2.34 2.27 3/183 14774
/proc/meminfo: memFree=26647592/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=2991684 CPUtime=1362.06 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 688634 0 0 0 135917 289 0 0 20 0 4 0 23381418 3063484416 689673 33554432000 4194304 16246674 140736531371968 140736531353856 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 747921 689673 898 2943 0 744815 0
[pid=14480/tid=14481] ppid=14477 vsize=2991684 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3063484416 689673 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=2991684 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3063484416 689673 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=2991684 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3063484416 689673 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2991684

[startup+1422.3 s]
/proc/loadavg: 2.28 2.31 2.26 4/183 14775
/proc/meminfo: memFree=26549656/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=3088964 CPUtime=1422.06 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 712957 0 0 0 141900 306 0 0 20 0 4 0 23381418 3163099136 713993 33554432000 4194304 16246674 140736531371968 140736531353856 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 772241 713993 898 2943 0 769135 0
[pid=14480/tid=14481] ppid=14477 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3163099136 713993 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3163099136 713993 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3163099136 713993 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3088964

[startup+1482.3 s]
/proc/loadavg: 2.24 2.29 2.26 3/183 14776
/proc/meminfo: memFree=26428608/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=3208772 CPUtime=1482.04 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 742694 0 0 0 147882 322 0 0 20 0 4 0 23381418 3285782528 743729 33554432000 4194304 16246674 140736531371968 140736531371144 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 802193 743729 898 2943 0 799087 0
[pid=14480/tid=14481] ppid=14477 vsize=3208772 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3285782528 743729 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=3208772 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3285782528 743729 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=3208772 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3285782528 743729 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 3208772

[startup+1542.31 s]
/proc/loadavg: 2.33 2.30 2.26 3/183 14777
/proc/meminfo: memFree=26316036/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=3321412 CPUtime=1542.04 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 770890 0 0 0 153865 339 0 0 20 0 4 0 23381418 3401125888 771923 33554432000 4194304 16246674 140736531371968 140736531353856 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 830353 771923 898 2943 0 827247 0
[pid=14480/tid=14481] ppid=14477 vsize=3321412 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3401125888 771923 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=3321412 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3401125888 771923 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=3321412 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3401125888 771923 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3321412

[startup+1602.3 s]
/proc/loadavg: 2.29 2.29 2.26 3/183 14778
/proc/meminfo: memFree=26204036/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=3433028 CPUtime=1602.02 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 798816 0 0 0 159846 356 0 0 20 0 4 0 23381418 3515420672 799849 33554432000 4194304 16246674 140736531371968 140736531369856 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 858257 799849 898 2943 0 855151 0
[pid=14480/tid=14481] ppid=14477 vsize=3433028 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3515420672 799849 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=3433028 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3515420672 799849 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=3433028 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3515420672 799849 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3433028

[startup+1662.3 s]
/proc/loadavg: 2.26 2.28 2.26 3/183 14780
/proc/meminfo: memFree=26089540/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=3546692 CPUtime=1662.02 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 827216 0 0 0 165829 373 0 0 20 0 4 0 23381418 3631812608 828249 33554432000 4194304 16246674 140736531371968 140736531371144 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 886673 828249 898 2943 0 883567 0
[pid=14480/tid=14481] ppid=14477 vsize=3546692 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3631812608 828249 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=3546692 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3631812608 828249 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=3546692 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3631812608 828249 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3546692

[startup+1722.3 s]
/proc/loadavg: 2.25 2.27 2.26 4/183 14781
/proc/meminfo: memFree=25974444/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=3661380 CPUtime=1722 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 856067 0 0 0 171811 389 0 0 20 0 4 0 23381418 3749253120 857097 33554432000 4194304 16246674 140736531371968 140736531369792 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 915345 857097 898 2943 0 912239 0
[pid=14480/tid=14481] ppid=14477 vsize=3661380 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3749253120 857097 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=3661380 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3749253120 857097 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=3661380 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3749253120 857097 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 3661380

[startup+1782.3 s]
/proc/loadavg: 2.23 2.25 2.25 3/183 14782
/proc/meminfo: memFree=25865760/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=3768900 CPUtime=1781.99 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 882950 0 0 0 177794 405 0 0 20 0 4 0 23381418 3859353600 883977 33554432000 4194304 16246674 140736531371968 140736531353856 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 942225 883977 898 2943 0 939119 0
[pid=14480/tid=14481] ppid=14477 vsize=3768900 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3859353600 883977 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=3768900 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3859353600 883977 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=3768900 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3859353600 883977 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3768900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.25 2.25 3/183 14782
/proc/meminfo: memFree=25812532/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=3822148 CPUtime=1800.09 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) R 14477 14480 12983 0 -1 4202496 896213 0 0 0 179599 410 0 0 20 0 4 0 23381418 3913879552 897240 33554432000 4194304 16246674 140736531371968 140736531369792 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 955537 897240 898 2943 0 952431 0
[pid=14480/tid=14481] ppid=14477 vsize=3822148 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14481/stat : 14481 (toysat) S 14477 14480 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23381418 3913879552 897240 33554432000 4194304 16246674 140736531371968 140595809987824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=3822148 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) S 14477 14480 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23381418 3913879552 897240 33554432000 4194304 16246674 140736531371968 140595799497968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14480/tid=14483] ppid=14477 vsize=3822148 CPUtime=0 cores=0,2,4,6
/proc/14480/task/14483/stat : 14483 (toysat) S 14477 14480 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23381418 3913879552 897240 33554432000 4194304 16246674 140736531371968 140595687320752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3822148

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

[startup+1800.51 s]
/proc/loadavg: 2.23 2.25 2.25 3/183 14782
/proc/meminfo: memFree=25812532/32872528 swapFree=1286400/1433568
[pid=14480] ppid=14477 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/14480/stat : 14480 (toysat) Z 14477 14480 12983 0 -1 4203532 896213 0 0 0 179599 420 0 0 20 0 2 0 23381418 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14480/statm: 0 0 0 0 0 0 0
[pid=14480/tid=14482] ppid=14477 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/14480/task/14482/stat : 14482 (toysat) R 14477 14480 12983 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 23381418 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.22
CPU user time (s): 1796
CPU system time (s): 4.21936
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 3822148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796
system time used= 4.21936
maximum resident set size= 3588960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 896213
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= 53
involuntary context switches= 2188

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

The end

Launcher Data 

Begin job on node130 at 2016-06-18 03:29:06
IDJOB=4100305
IDBENCH=1600
IDSOLVER=2542
FILE ID=node130/4100305-1466213346
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= eb3ec27dc8137302430c8b48ccd8a471
RANDOM SEED=488744115

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29482968 kB
Buffers:           47812 kB
Cached:           113424 kB
SwapCached:         1824 kB
Active:          1170428 kB
Inactive:          78124 kB
Active(anon):    1088012 kB
Inactive(anon):     1544 kB
Active(file):      82416 kB
Inactive(file):    76580 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:             18656 kB
Writeback:             0 kB
AnonPages:       2587608 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             572292 kB
SReclaimable:      16152 kB
SUnreclaim:       556140 kB
KernelStack:        1528 kB
PageTables:         8836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2663172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1292288 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= 71712 MiB
End job on node130 at 2016-06-18 03:59:07