Trace number 4079387

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.07 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_9_mh_ic.opb
MD5SUM35d83572ac6ace98816feaf09e0a147d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark270560600
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126385
Total number of constraints286973
Number of constraints which are clauses201180
Number of constraints which are cardinality constraints (but not clauses)43
Number of constraints which are nor clauses,nor cardinality constraints85750
Minimum length of a constraint2
Maximum length of a constraint1820
Number of terms in the objective function 46445
Biggest coefficient in the objective function 132651000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 41743355515
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 132651000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 41743355515
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T21:06:10+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-4079387-1465326369.opb"]
0.00/0.01	c use --random-gen="1545289621 2013909696 3663550035 3373039654 3298916000 1667796915 4137547191 4054623564 3885652974 3399913089 2288114985 3886761901 2809910076 3583995355 1530884543 195781474 467189923 3735692350 1956726431 4040285014 3005894589 1563141281 2591941815 3204867372 3856798580 1591324843 3577822797 639092005 721625625 1388965566 1565694681 4251370065 442225683 1806990126 3257512260 1276736725 3370320912 2378287721 1203079224 2550535582 1831565077 930663813 4226521376 2865954052 2133383390 3377108502 1788258988 1096105054 1703531235 2334352227 3742995806 622813772 2246671325 3221046341 3713702403 2891850383 3108707624 1264099893 865184890 582399238 1552075733 1832539485 4286797087 2930478811 636286404 1716090927 939923650 4204376217 2767507208 1281806346 2358838952 1711927795 2910279055 126510632 1353218009 2932204420 1490413138 1142829140 2493944151 4133640814 4078211204 2330068386 2579454533 3148275987 404805244 3230541737 265795584 367876557 1403406333 558602887 270260354 680612592 1052753118 272886064 3763861791 3974855985 2963133457 1097139632 784925571 451551743 108956784 137742957 2154583126 3358398972 3853578566 3521438537 3307333052 2191987291 3234176486 4283544808 605985177 1374979209 2708718399 3021884458 2543249799 4036782900 3716118237 886308384 2328976008 221631216 3935925365 992130933 296209560 1093857553 3349817921 1298920787 398636393 3677817199 92267483 3831103555 3918455371 1865726913 1305673273 2079173880 474704721 2507785644 3053950985 2684407480 3844751989 2333229409 559951828 1961022314 1362436752 2841589151 1035557906 3716975410 394604980 3935260731 345775744 1642929234 164693323 1139234104 3237506403 4251189545 1223113251 407536841 3929314896 400503169 3457018169 1040009406 614671725 1954383858 1313570733 1202480586 868023376 93679533 3509365069 180063647 1533263440 619970752 2323907971 865591948 560548125 1015150811 2299034974 619444576 3834419490 4006134194 3691030984 2773759525 1007610261 2406602098 4006991746 1157763205 2934821760 3973105460 921011517 2929821500 130467350 4082277935 2365245072 4098429190 1013118500 3760208973 1764285651 3238417179 1034582894 1888433560 3558831015 842575807 2411196568 296181085 3203405880 3860374444 318923593 2212058465 2235983509 991075463 3395183521 1093211317 715674218 1386848490 3397400576 2933330593 4133714791 1327072555 1532796077 3645106238 1295662305 760500196 376953972 2995243911 2846647039 3263374361 1543344784 4072329356 3887205769 1388457347 613184137 3822772582 691153506 1887580677 1095483741 2482932851 2695285929 3908735982 500555835 2740222185 1344186370 3817505066 3764190353 475046186 3694701067 3001466383 2337047116 2662686678 1028891585 1641254457 3788760034 3669937194 1154299851 784599811 3110744182 787893769 1789912113 955669453 255 362436" option to reproduce the execution
2.09/2.18	c #vars 126385
2.09/2.18	c #constraints 286973
7.09/7.11	c BCD2: Hardening is enabled.
7.09/7.11	c BCD2: BiasedSearch is enabled.
7.09/7.11	c Solving starts ...
7.09/7.11	c ============================[ Search Statistics ]============================
7.09/7.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.09/7.11	c       |         |          |          |    Limit     GC | Var      | Constra 
7.09/7.11	c =============================================================================
7.09/7.19	c  0.0s |       0 |        0 |        0 |   138976      0 |      140 |        0
8.80/8.84	c  1.6s |       1 |      373 |      100 |   138976      0 |      140 |        0
18.99/19.04	c 11.9s |       1 |     3266 |      200 |   152874      0 |      140 |        0
24.59/24.63	c 17.4s |       2 |     3511 |      250 |   152874      0 |      140 |        0
35.20/35.27	c 28.1s |       2 |     5610 |      350 |   168162      0 |      140 |        0
43.69/43.75	c 36.6s |       2 |     6849 |      450 |   168162      0 |      140 |        0
45.89/45.92	c 38.7s |       3 |     7058 |      475 |   168162      0 |      140 |        0
52.39/52.43	c 45.2s |       3 |     7827 |      575 |   184979      0 |      140 |        0
61.69/61.77	c 54.6s |       3 |     9189 |      675 |   184979      0 |      140 |        0
70.28/70.36	c 63.2s |       3 |     9528 |      775 |   184979      0 |      140 |        0
73.48/73.52	c 66.3s |       4 |     9914 |      813 |   184979      0 |      140 |        0
82.88/82.96	c 75.8s |       4 |    10795 |      913 |   203477      0 |      140 |        0
92.98/93.07	c 85.9s |       4 |    11449 |     1013 |   203477      0 |      140 |        0
101.19/101.25	c 94.1s |       4 |    13904 |     1113 |   203477      0 |      140 |        0
108.28/108.33	c  101s |       4 |    23758 |     1213 |   203477      0 |      140 |        0
117.88/117.99	c  110s |       4 |    24160 |     1313 |   203477      0 |      140 |        0
118.58/118.62	c  111s |       5 |    24169 |     1320 |   203477      0 |      140 |        0
126.37/126.43	c  119s |       5 |    24653 |     1420 |   223825      0 |      140 |        0
131.27/131.30	c  124s |       5 |    25893 |     1520 |   223825      0 |      140 |        0
140.17/140.22	c  133s |       5 |    26743 |     1620 |   223825      0 |      140 |        0
151.88/151.92	c  144s |       5 |    27876 |     1720 |   223825      0 |      140 |        0
162.78/162.87	c  155s |       5 |    28627 |     1820 |   223825      0 |      140 |        0
173.87/173.91	c  166s |       5 |    29581 |     1920 |   223825      0 |      140 |        0
184.77/184.88	c  177s |       5 |    30237 |     2020 |   223825      0 |      140 |        0
190.67/190.76	c  183s |       6 |    30685 |     2081 |   246208      0 |      140 |        0
204.16/204.23	c  197s |       6 |    31203 |     2181 |   246208      0 |      140 |        0
215.46/215.58	c  208s |       6 |    32128 |     2281 |   246208      0 |      140 |        0
223.56/223.60	c  216s |       6 |    32665 |     2381 |   246208      0 |      140 |        0
231.76/231.87	c  224s |       6 |    33633 |     2481 |   246208      0 |      140 |        0
244.66/244.72	c  237s |       6 |    34806 |     2581 |   246208      0 |      140 |        0
257.85/257.97	c  250s |       6 |    35866 |     2681 |   246208      0 |      140 |        0
273.15/273.23	c  266s |       6 |    37002 |     2781 |   246208      0 |      140 |        0
284.05/284.17	c  276s |       6 |    37399 |     2881 |   246208      0 |      140 |        0
291.95/292.00	c  284s |       6 |    37887 |     2981 |   246208      0 |      140 |        0
302.75/302.81	c  295s |       6 |    38620 |     3081 |   246208      0 |      140 |        0
311.65/311.74	c  304s |       6 |    39440 |     3181 |   246208      0 |      140 |        0
316.05/316.16	c  308s |       7 |    39998 |     3223 |   270829      0 |      140 |        0
326.84/326.95	c  319s |       7 |    40836 |     3323 |   270829      0 |      140 |        0
339.85/339.91	c  332s |       7 |    42305 |     3423 |   270829      0 |      140 |        0
350.34/350.46	c  343s |       7 |    43383 |     3523 |   270829      0 |      140 |        0
358.74/358.87	c  351s |       7 |    43964 |     3623 |   270829      0 |      140 |        0
373.24/373.40	c  366s |       7 |    45598 |     3723 |   270829      0 |      140 |        0
385.43/385.53	c  378s |       7 |    46425 |     3823 |   270829      0 |      140 |        0
395.03/395.18	c  387s |       7 |    46707 |     3923 |   270829      0 |      140 |        0
405.43/405.55	c  398s |       7 |    47553 |     4023 |   270829      0 |      140 |        0
416.94/417.04	c  409s |       7 |    48733 |     4123 |   270829      0 |      140 |        0
426.63/426.74	c  419s |       7 |    49344 |     4223 |   270829      0 |      140 |        0
436.23/436.36	c  429s |       7 |    49952 |     4323 |   270829      0 |      140 |        0
445.03/445.11	c  437s |       7 |    50469 |     4423 |   270829      0 |      140 |        0
450.52/450.67	c  443s |       7 |    51483 |     4523 |   270829      0 |      140 |        0
459.62/459.75	c  452s |       7 |    52111 |     4623 |   270829      0 |      140 |        0
469.82/469.95	c  462s |       7 |    53149 |     4723 |   270829      0 |      140 |        0
479.12/479.26	c  472s |       7 |    53669 |     4823 |   270829      0 |      140 |        0
487.52/487.60	c  480s |       7 |    53967 |     4923 |   297912      0 |      140 |        0
488.52/488.64	c  481s |       8 |    53977 |     4936 |   297912      0 |      140 |        0
498.02/498.17	c  490s |       8 |    54486 |     5036 |   297912      0 |      140 |        0
509.12/509.29	c  502s |       8 |    55021 |     5136 |   297912      0 |      140 |        0
523.41/523.50	c  516s |       8 |    55792 |     5236 |   297912      0 |      140 |        0
534.41/534.53	c  527s |       8 |    56131 |     5336 |   297912      0 |      140 |        0
544.91/545.08	c  537s |       8 |    57054 |     5436 |   297912      0 |      140 |        0
552.51/552.61	c  545s |       8 |    57964 |     5536 |   297912      0 |      140 |        0
563.91/564.03	c  556s |       8 |    58588 |     5636 |   297912      0 |      140 |        0
571.71/571.85	c  564s |       8 |    59597 |     5736 |   297912      0 |      140 |        0
580.81/580.99	c  573s |       8 |    60660 |     5836 |   297912      0 |      140 |        0
593.10/593.26	c  586s |       8 |    61675 |     5936 |   297912      0 |      140 |        0
603.81/603.95	c  596s |       8 |    62245 |     6036 |   297912      0 |      140 |        0
615.91/616.02	c  608s |       8 |    63026 |     6136 |   297912      0 |      140 |        0
625.70/625.88	c  618s |       8 |    63593 |     6236 |   297912      0 |      140 |        0
635.70/635.86	c  628s |       8 |    64421 |     6336 |   297912      0 |      140 |        0
644.99/645.14	c  637s |       8 |    65521 |     6436 |   297912      0 |      140 |        0
653.89/654.06	c  646s |       8 |    66341 |     6536 |   297912      0 |      140 |        0
664.89/665.07	c  657s |       8 |    67490 |     6636 |   297912      0 |      140 |        0
672.99/673.12	c  665s |       8 |    67936 |     6736 |   297912      0 |      140 |        0
682.29/682.42	c  675s |       8 |    68728 |     6836 |   297912      0 |      140 |        0
691.59/691.74	c  684s |       8 |    69092 |     6936 |   297912      0 |      140 |        0
699.68/699.83	c  692s |       8 |    69689 |     7036 |   297912      0 |      140 |        0
711.08/711.25	c  704s |       8 |    70522 |     7136 |   297912      0 |      140 |        0
723.98/724.15	c  716s |       8 |    72150 |     7236 |   297912      0 |      140 |        0
730.48/730.61	c  723s |       8 |    72817 |     7336 |   297912      0 |      140 |        0
742.58/742.72	c  735s |       8 |    73879 |     7436 |   297912      0 |      140 |        0
750.98/751.13	c  743s |       9 |    74744 |     7506 |   327704      0 |      140 |        0
760.78/760.98	c  753s |       9 |    75193 |     7606 |   327704      0 |      140 |        0
772.47/772.61	c  765s |       9 |    76044 |     7706 |   327704      0 |      140 |        0
784.87/785.04	c  777s |       9 |    77160 |     7806 |   327704      0 |      140 |        0
796.76/796.90	c  789s |       9 |    78128 |     7906 |   327704      0 |      140 |        0
809.36/809.51	c  802s |       9 |    78724 |     8006 |   327704      0 |      140 |        0
815.36/815.56	c  808s |       9 |    79284 |     8106 |   327704      0 |      140 |        0
825.65/825.81	c  818s |       9 |    79896 |     8206 |   327704      0 |      140 |        0
838.35/838.54	c  831s |       9 |    81002 |     8306 |   327704      0 |      140 |        0
849.85/850.07	c  842s |       9 |    81615 |     8406 |   327704      0 |      140 |        0
861.94/862.13	c  854s |       9 |    82200 |     8506 |   327704      0 |      140 |        0
871.44/871.62	c  864s |       9 |    82915 |     8606 |   327704      0 |      140 |        0
885.44/885.62	c  878s |       9 |    84905 |     8706 |   327704      0 |      140 |        0
893.03/893.20	c  886s |       9 |    85514 |     8806 |   327704      0 |      140 |        0
906.02/906.22	c  899s |       9 |    86098 |     8906 |   327704      0 |      140 |        0
919.42/919.65	c  912s |       9 |    87125 |     9006 |   327704      0 |      140 |        0
931.20/931.42	c  924s |       9 |    87587 |     9106 |   327704      0 |      140 |        0
942.20/942.40	c  935s |       9 |    88489 |     9206 |   327704      0 |      140 |        0
953.50/953.73	c  946s |       9 |    89208 |     9306 |   327704      0 |      140 |        0
964.99/965.27	c  958s |       9 |    90099 |     9406 |   327704      0 |      140 |        0
979.18/979.49	c  972s |       9 |    90680 |     9506 |   327704      0 |      140 |        0
991.98/992.28	c  985s |       9 |    91616 |     9606 |   327704      0 |      140 |        0
1006.57/1006.88	c  999s |       9 |    92032 |     9706 |   327704      0 |      140 |        0
1019.16/1019.41	c 1012s |       9 |    92983 |     9806 |   327704      0 |      140 |        0
1030.36/1030.61	c 1023s |       9 |    94365 |     9906 |   327704      0 |      140 |        0
1041.36/1041.60	c 1034s |       9 |    94840 |    10006 |   327704      0 |      140 |        0
1057.35/1057.66	c 1050s |       9 |    95650 |    10106 |   327704      0 |      140 |        0
1071.25/1071.54	c 1064s |       9 |    96301 |    10206 |   327704      0 |      140 |        0
1082.25/1082.51	c 1075s |       9 |    97354 |    10306 |   327704      0 |      140 |        0
1094.73/1095.07	c 1087s |       9 |    98112 |    10406 |   327704      0 |      140 |        0
1110.13/1110.45	c 1103s |       9 |    99977 |    10506 |   327704      0 |      140 |        0
1120.92/1121.24	c 1114s |       9 |   100318 |    10606 |   327704      0 |      140 |        0
1136.42/1136.76	c 1129s |       9 |   101374 |    10706 |   327704      0 |      140 |        0
1148.72/1149.05	c 1141s |       9 |   102217 |    10806 |   327704      0 |      140 |        0
1159.41/1159.71	c 1152s |       9 |   102532 |    10906 |   327704      0 |      140 |        0
1172.00/1172.32	c 1165s |       9 |   102981 |    11006 |   327704      0 |      140 |        0
1184.40/1184.72	c 1177s |       9 |   103524 |    11106 |   327704      0 |      140 |        0
1198.59/1198.94	c 1191s |       9 |   104733 |    11206 |   327704      0 |      140 |        0
1210.19/1210.50	c 1203s |       9 |   105879 |    11306 |   360475      0 |      140 |        0
1217.19/1217.52	c 1210s |      10 |   106085 |    11361 |   360475      0 |      140 |        0
1230.88/1231.25	c 1224s |      10 |   106822 |    11461 |   360475      0 |      140 |        0
1242.48/1242.84	c 1235s |      10 |   107818 |    11561 |   360475      0 |      140 |        0
1255.17/1255.59	c 1248s |      10 |   108701 |    11661 |   360475      0 |      140 |        0
1269.26/1269.63	c 1262s |      10 |   109815 |    11761 |   360475      0 |      140 |        0
1279.86/1280.21	c 1273s |      10 |   110622 |    11861 |   360475      0 |      140 |        0
1293.76/1294.11	c 1286s |      10 |   111482 |    11961 |   360475      0 |      140 |        0
1303.55/1303.91	c 1296s |      10 |   111747 |    12061 |   360475      0 |      140 |        0
1319.45/1319.82	c 1312s |      10 |   113671 |    12161 |   360475      0 |      140 |        0
1333.35/1333.79	c 1326s |      10 |   114404 |    12261 |   360475      0 |      140 |        0
1345.75/1346.18	c 1338s |      10 |   115097 |    12361 |   360475      0 |      140 |        0
1356.84/1357.27	c 1350s |      10 |   115592 |    12461 |   360475      0 |      140 |        0
1369.93/1370.38	c 1363s |      10 |   116278 |    12561 |   360475      0 |      140 |        0
1384.73/1385.12	c 1377s |      10 |   117398 |    12661 |   360475      0 |      140 |        0
1397.32/1397.74	c 1390s |      10 |   118078 |    12761 |   360475      0 |      140 |        0
1411.02/1411.48	c 1404s |      10 |   119524 |    12861 |   360475      0 |      140 |        0
1429.31/1429.74	c 1422s |      10 |   120835 |    12961 |   360475      0 |      140 |        0
1441.91/1442.35	c 1435s |      10 |   121579 |    13061 |   360475      0 |      140 |        0
1458.11/1458.58	c 1451s |      10 |   122241 |    13161 |   360475      0 |      140 |        0
1471.90/1472.31	c 1465s |      10 |   122799 |    13261 |   360475      0 |      140 |        0
1489.80/1490.20	c 1483s |      10 |   124035 |    13361 |   360475      0 |      140 |        0
1504.40/1504.85	c 1497s |      10 |   125201 |    13461 |   360475      0 |      140 |        0
1518.99/1519.41	c 1512s |      10 |   126166 |    13561 |   360475      0 |      140 |        0
1534.10/1534.54	c 1527s |      10 |   126881 |    13661 |   360475      0 |      140 |        0
1551.89/1552.30	c 1545s |      10 |   128125 |    13761 |   360475      0 |      140 |        0
1569.49/1569.97	c 1562s |      10 |   129118 |    13861 |   360475      0 |      140 |        0
1581.78/1582.23	c 1575s |      10 |   130362 |    13961 |   360475      0 |      140 |        0
1591.68/1592.16	c 1584s |      10 |   130715 |    14061 |   360475      0 |      140 |        0
1606.88/1607.31	c 1600s |      10 |   131474 |    14161 |   360475      0 |      140 |        0
1621.28/1621.73	c 1614s |      10 |   132555 |    14261 |   360475      0 |      140 |        0
1636.58/1637.00	c 1629s |      10 |   134193 |    14361 |   360475      0 |      140 |        0
1651.88/1652.36	c 1645s |      10 |   134740 |    14461 |   360475      0 |      140 |        0
1667.47/1667.93	c 1660s |      10 |   136160 |    14561 |   360475      0 |      140 |        0
1681.67/1682.20	c 1675s |      10 |   137523 |    14661 |   360475      0 |      140 |        0
1695.97/1696.47	c 1689s |      10 |   138016 |    14761 |   360475      0 |      140 |        0
1708.26/1708.74	c 1701s |      10 |   138689 |    14861 |   360475      0 |      140 |        0
1725.16/1725.68	c 1718s |      10 |   139425 |    14961 |   360475      0 |      140 |        0
1738.56/1739.05	c 1731s |      10 |   140174 |    15061 |   360475      0 |      140 |        0
1755.76/1756.25	c 1749s |      10 |   141182 |    15161 |   360475      0 |      140 |        0
1772.65/1773.15	c 1765s |      10 |   141701 |    15261 |   360475      0 |      140 |        0
1787.95/1788.41	c 1781s |      10 |   143196 |    15361 |   360475      0 |      140 |        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-4079387-1465326369/watcher-4079387-1465326369 -o /tmp/evaluation-result-4079387-1465326369/solver-4079387-1465326369 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079387-1465326369.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 20762
/proc/meminfo: memFree=27986176/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 2593 0 0 0 0 0 0 0 20 0 4 0 114569815 713486336 3464 33554432000 4194304 16246674 140737387785632 140737387785056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 174959 3473 441 2943 0 171853 0
[pid=20762/tid=20763] ppid=20759 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 731312128 3532 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 736555008 3549 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114569815 740749312 3566 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 20762
/proc/meminfo: memFree=27986176/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 30456 0 0 0 5 4 0 0 20 0 4 0 114569815 1334382592 31266 33554432000 4194304 16246674 140737387785632 140737387784944 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 325777 31280 798 2943 0 322671 0
[pid=20762/tid=20763] ppid=20759 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1334382592 31292 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1334382592 31304 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1334382592 31314 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200512 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 20762
/proc/meminfo: memFree=27986176/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 49023 0 0 0 13 6 0 0 20 0 4 0 114569815 1341722624 50344 33554432000 4194304 16246674 140737387785632 140737387784944 8058197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 327569 50361 801 2943 0 324463 0
[pid=20762/tid=20763] ppid=20759 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1341722624 50372 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1341722624 50383 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1341722624 50393 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300485 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 20762
/proc/meminfo: memFree=27986176/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 55573 0 0 0 22 7 0 0 20 0 4 0 114569815 1344868352 56893 33554432000 4194304 16246674 140737387785632 140737387784944 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 328337 56893 801 2943 0 325231 0
[pid=20762/tid=20763] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 56893 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 56893 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 56893 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700405 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 20762
/proc/meminfo: memFree=27986176/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 66166 0 0 0 61 8 0 0 20 0 4 0 114569815 1344868352 67486 33554432000 4194304 16246674 140737387785632 140737387783424 7367616 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 328337 67486 802 2943 0 325231 0
[pid=20762/tid=20763] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 67486 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 67486 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 67486 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 20766
/proc/meminfo: memFree=27633032/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 87237 0 0 0 138 11 0 0 20 0 4 0 114569815 1344868352 88557 33554432000 4194304 16246674 140737387785632 140737387783424 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 328337 88557 802 2943 0 325231 0
[pid=20762/tid=20763] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 88557 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 88557 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1344868352 88557 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 20766
/proc/meminfo: memFree=27482048/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=3.09 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 185588 0 0 0 284 25 0 0 20 0 4 0 114569815 1399394304 193041 33554432000 4194304 16246674 140737387785632 140737387767552 13008268 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 193049 841 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 193054 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 193059 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 193065 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1366596

[startup+6.30036 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 20766
/proc/meminfo: memFree=26852516/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=6.29 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276147 0 0 0 591 38 0 0 20 0 4 0 114569815 1399394304 283599 33554432000 4194304 16246674 140737387785632 140737387767552 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283599 846 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283599 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283599 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283599 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1366596

[startup+12.7004 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 20766
/proc/meminfo: memFree=26852528/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=12.69 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276193 0 0 0 1231 38 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 140737387767552 5600224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283645 892 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1366596

[startup+25.5005 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 20766
/proc/meminfo: memFree=26852656/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=25.49 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276193 0 0 0 2511 38 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 140737387767552 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283645 892 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1366596

[startup+51.1005 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 20766
/proc/meminfo: memFree=26852616/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=51.09 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276193 0 0 0 5071 38 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 140737387767552 6011936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283645 892 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1366596

[startup+102.3 s]
/proc/loadavg: 2.11 2.17 2.17 4/183 20768
/proc/meminfo: memFree=26852936/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=102.29 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276193 0 0 0 10191 38 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 140737387767552 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283645 892 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283645 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1366596


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

/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1366596

[startup+1362.3 s]
/proc/loadavg: 2.03 2.12 2.15 3/183 20896
/proc/meminfo: memFree=28124892/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1361.94 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276462 0 0 0 136156 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 5822298 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1366596

[startup+1422.3 s]
/proc/loadavg: 2.13 2.12 2.15 3/183 20897
/proc/meminfo: memFree=28124112/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1421.92 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276491 0 0 0 142154 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1366596

[startup+1482.3 s]
/proc/loadavg: 2.16 2.13 2.15 3/184 20901
/proc/meminfo: memFree=28123960/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1481.9 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276500 0 0 0 148152 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 5600331 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1366596

[startup+1542.31 s]
/proc/loadavg: 2.11 2.12 2.14 4/183 20902
/proc/meminfo: memFree=28124068/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1541.9 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276500 0 0 0 154152 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1366596

[startup+1602.3 s]
/proc/loadavg: 2.04 2.09 2.13 3/182 20903
/proc/meminfo: memFree=28124052/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1601.88 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276500 0 0 0 160150 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1366596

[startup+1662.3 s]
/proc/loadavg: 2.12 2.10 2.13 4/183 20905
/proc/meminfo: memFree=28123576/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1661.87 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276500 0 0 0 166149 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1366596

[startup+1722.3 s]
/proc/loadavg: 2.10 2.10 2.12 3/183 20906
/proc/meminfo: memFree=28123472/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1721.86 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276500 0 0 0 172148 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767488 5659576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1366596

[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.12 3/183 20907
/proc/meminfo: memFree=28123316/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1781.85 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276500 0 0 0 178147 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 5825595 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1366596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.12 2.12 3/183 20907
/proc/meminfo: memFree=28123424/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1800.05 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276500 0 0 0 179967 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 5598928 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1366596

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.12 2.12 3/183 20907
/proc/meminfo: memFree=28123424/32872528 swapFree=16204/1518544
[pid=20762] ppid=20759 vsize=1366596 CPUtime=1800.05 cores=0,2,4,6
/proc/20762/stat : 20762 (toysat) R 20759 20762 19387 0 -1 4202496 276500 0 0 0 179967 38 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 140737387767552 5598928 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20762/statm: 341649 283652 895 2943 0 338543 0
[pid=20762/tid=20763] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20763/stat : 20763 (toysat) S 20759 20762 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999980793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20762/tid=20764] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20764/stat : 20764 (toysat) S 20759 20762 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999894809840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20762/tid=20765] ppid=20759 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20762/task/20765/stat : 20765 (toysat) S 20759 20762 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114569815 1399394304 283652 33554432000 4194304 16246674 140737387785632 139999884336304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1366596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.68
CPU system time (s): 0.384941
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 1366596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.384941
maximum resident set size= 1134608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276500
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= 324
involuntary context switches= 1885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5813 second user time and 6.96894 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 21:06:10
IDJOB=4079387
IDBENCH=92689
IDSOLVER=2542
FILE ID=node129/4079387-1465326369
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 35d83572ac6ace98816feaf09e0a147d
RANDOM SEED=589934298

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27986712 kB
Buffers:           31412 kB
Cached:           245928 kB
SwapCached:         1836 kB
Active:          2495320 kB
Inactive:         124692 kB
Active(anon):    2340648 kB
Inactive(anon):     4516 kB
Active(file):     154672 kB
Inactive(file):   120176 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             28784 kB
Writeback:             0 kB
AnonPages:       3864928 kB
Mapped:            11716 kB
Shmem:                 0 kB
Slab:             604752 kB
SReclaimable:      48764 kB
SUnreclaim:       555988 kB
KernelStack:        1440 kB
PageTables:        11372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4008456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2093056 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 node129 at 2016-06-07 21:36:10