Trace number 4079423

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.06 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat50_6_9_6_mh.opb
MD5SUMd9c74f599ac8cb1803bc1ae096bcff8b
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark275800362
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129900
Biggest coefficient in the objective function 127263527
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 57621991382
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 127263527
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 57621991382
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:46:12+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-4079423-1465328771.opb"]
0.00/0.01	c use --random-gen="2595377874 485103059 1247248094 2975689785 1705849048 3635895478 1903402851 2844632608 4237309845 1614948412 669994024 3397894693 2143778242 1600200979 649873372 2344644371 522813816 1217236194 1659412340 3055023686 2011023235 928152817 2460005083 2740988566 1711184578 3462481640 757390651 3095724467 3544783744 1880251682 1339474141 943685844 3360954883 2041388475 1275298462 3810186942 1005415447 395402455 595343363 3117063862 1370808651 266118596 2049391823 558069485 1917183891 3162501322 4012514965 4163929846 3305391569 1650838744 3805979872 2024135564 2523367210 3726009480 4281958508 2649070090 2639642076 4219890478 23106900 1085732390 3395472201 2121646529 934883270 2603794008 196590868 737059888 3833869313 1855240550 1535815379 4192049127 2795161256 509771541 424848502 38930645 4196975702 2668082689 3626051772 96035796 2421997861 2064086729 2442574683 4166003947 363780203 2511605003 3975199264 776379767 2664241479 3836204372 2781133056 2183430713 936920210 3588169738 4142188369 4283364274 2229379413 1703535949 323520786 803321254 1684091507 379220056 3920104984 1856206000 1170999427 2156531634 860358470 4289881782 1769108177 2082732843 4244587720 3736628902 167393976 333764253 1005204406 119810889 1440581583 1874024573 341220965 2870241875 491002149 1626950107 3867428657 1773135622 3163484763 2930576862 3754868832 455263224 806195459 1360175965 819881601 2821629835 2325256155 1996536495 1524018581 2681742740 1925251100 534563479 2379450075 2871472621 3570739801 563585145 57313611 2156278367 4087725942 288188328 2007055012 4134532999 2464767831 3252299753 2859286043 2803749522 1334850258 575213106 2631685842 2652243372 379372629 3809230085 322821194 2501810231 806041271 2451182817 183930763 175001857 2445204428 1109215576 3741601614 3013565730 2897884171 1423375425 434121135 441346475 405739237 3813762988 2608915367 1627102890 2210315512 1494379956 3324419678 1760940106 1822306771 3497536399 1510786005 1304279313 669023769 818665439 2471416388 3363788770 4152595505 1507322042 910297713 839568202 3310794091 2731154856 1869926196 3892261026 3810024220 347941723 1588149420 4231239060 1667015236 3249300812 4126547454 3614008363 4064274805 586347831 944203542 685362187 900087169 523254166 2221192245 2847058748 3171241801 3490567140 1992735367 2681353421 333413963 3722894227 2470495761 1427080755 2552148765 351592572 3254890454 3849582933 590559942 3646076616 3745991521 2026517395 732085314 4196581932 1733117610 404685311 2711256400 3199174740 2705694890 3559648476 3614015252 2587006160 2642833138 3170596841 2078863588 3326283450 2405005416 4268664007 1736074887 2310515436 2092004312 3185498843 3158649450 1847329607 3230070961 2803301766 393996939 2632229564 2520301340 1995693017 3983584856 1480661869 255 362436" option to reproduce the execution
4.39/4.46	c #vars 250200
4.39/4.46	c #constraints 605407
15.78/15.82	c BCD2: Hardening is enabled.
15.78/15.82	c BCD2: BiasedSearch is enabled.
15.78/15.82	c Solving starts ...
15.78/15.82	c ============================[ Search Statistics ]============================
15.78/15.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.78/15.82	c       |         |          |          |    Limit     GC | Var      | Constra 
15.78/15.82	c =============================================================================
15.78/15.84	c  0.0s |       0 |        0 |        0 |   286836      0 |      150 |        0
27.48/27.56	c 11.7s |       0 |      315 |      100 |   286836      0 |      150 |        0
27.68/27.72	c 11.9s |       1 |      315 |      100 |   286836      0 |      150 |        0
31.37/31.48	c 15.6s |       1 |     2349 |      200 |   315520      0 |      150 |        0
31.88/31.97	c 16.1s |       2 |     3666 |      250 |   315520      0 |      150 |        0
38.78/38.82	c 23.0s |       2 |    12439 |      350 |   347072      0 |      150 |        0
46.67/46.74	c 30.9s |       2 |    12614 |      450 |   347072      0 |      150 |        0
48.67/48.78	c 32.9s |       3 |    12637 |      475 |   347072      0 |      150 |        0
51.27/51.39	c 35.6s |       3 |    14840 |      575 |   381780      0 |      150 |        0
56.08/56.16	c 40.3s |       3 |    15081 |      775 |   381780      0 |      150 |        0
57.07/57.10	c 41.3s |       4 |    15118 |      813 |   381780      0 |      150 |        0
59.07/59.17	c 43.3s |       4 |    18445 |      913 |   419959      0 |      150 |        0
61.16/61.29	c 45.5s |       5 |    19092 |     1320 |   419959      0 |      150 |        0
63.46/63.53	c 47.7s |       5 |    23381 |     1520 |   461955      0 |      150 |        0
66.87/66.90	c 51.1s |       5 |    24576 |     1820 |   461955      0 |      150 |        0
68.47/68.59	c 52.8s |       6 |    25659 |     2081 |   508151      0 |      150 |        0
102.96/103.09	c 87.3s |       6 |    28411 |     2181 |   508151      0 |      150 |        0
125.65/125.79	c  109s |       6 |    29446 |     2281 |   508151      0 |      150 |        0
156.25/156.36	c  140s |       6 |    31478 |     2381 |   508151      0 |      150 |        0
184.84/184.99	c  169s |       6 |    34485 |     2481 |   508151      0 |      150 |        0
206.13/206.23	c  190s |       6 |    35873 |     2581 |   508151      0 |      150 |        0
225.53/225.66	c  209s |       6 |    36339 |     2681 |   508151      0 |      150 |        0
242.62/242.71	c  226s |       6 |    37876 |     2781 |   508151      0 |      150 |        0
245.62/245.75	c  229s |       6 |    39253 |     2881 |   508151      0 |      150 |        0
249.02/249.17	c  233s |       6 |    40145 |     2981 |   508151      0 |      150 |        0
251.72/251.86	c  236s |       6 |    41109 |     3081 |   508151      0 |      150 |        0
255.13/255.28	c  239s |       6 |    41459 |     3181 |   508151      0 |      150 |        0
256.72/256.82	c  240s |       7 |    42038 |     3223 |   558967      0 |      150 |        0
262.42/262.56	c  246s |       7 |    43447 |     3323 |   558967      0 |      150 |        0
265.42/265.54	c  249s |       7 |    44893 |     3423 |   558967      0 |      150 |        0
267.52/267.63	c  251s |       7 |    45566 |     3523 |   558967      0 |      150 |        0
269.72/269.85	c  254s |       7 |    46293 |     3623 |   558967      0 |      150 |        0
274.52/274.62	c  258s |       7 |    47786 |     3723 |   558967      0 |      150 |        0
278.41/278.50	c  262s |       7 |    50783 |     3823 |   558967      0 |      150 |        0
282.81/282.95	c  267s |       7 |    52177 |     3923 |   558967      0 |      150 |        0
285.71/285.86	c  270s |       7 |    54972 |     4023 |   558967      0 |      150 |        0
291.11/291.28	c  275s |       7 |    56937 |     4223 |   558967      0 |      150 |        0
295.01/295.10	c  279s |       7 |    57800 |     4323 |   558967      0 |      150 |        0
297.41/297.55	c  281s |       7 |    58517 |     4423 |   558967      0 |      150 |        0
302.81/302.92	c  287s |       7 |    60049 |     4523 |   558967      0 |      150 |        0
305.31/305.50	c  289s |       7 |    61081 |     4623 |   558967      0 |      150 |        0
311.01/311.13	c  295s |       7 |    62271 |     4723 |   558967      0 |      150 |        0
315.01/315.14	c  299s |       7 |    62896 |     4823 |   558967      0 |      150 |        0
320.81/320.91	c  305s |       7 |    63724 |     4923 |   614864      0 |      150 |        0
321.21/321.32	c  305s |       8 |    63760 |     4936 |   614864      0 |      150 |        0
323.90/324.06	c  308s |       8 |    64561 |     5036 |   614864      0 |      150 |        0
326.81/326.99	c  311s |       8 |    65344 |     5136 |   614864      0 |      150 |        0
331.61/331.77	c  315s |       8 |    66009 |     5236 |   614864      0 |      150 |        0
336.01/336.11	c  320s |       8 |    67995 |     5336 |   614864      0 |      150 |        0
339.00/339.16	c  323s |       8 |    69388 |     5436 |   614864      0 |      150 |        0
342.70/342.83	c  326s |       8 |    70402 |     5536 |   614864      0 |      150 |        0
346.20/346.36	c  330s |       8 |    70863 |     5636 |   614864      0 |      150 |        0
349.10/349.26	c  333s |       8 |    71388 |     5736 |   614864      0 |      150 |        0
351.91/352.05	c  336s |       8 |    72440 |     5836 |   614864      0 |      150 |        0
355.40/355.58	c  339s |       8 |    74287 |     6036 |   614864      0 |      150 |        0
357.80/357.90	c  342s |       8 |    75215 |     6136 |   614864      0 |      150 |        0
361.91/362.08	c  346s |       8 |    76919 |     6336 |   614864      0 |      150 |        0
365.29/365.46	c  349s |       8 |    77357 |     6436 |   614864      0 |      150 |        0
368.09/368.21	c  352s |       8 |    77900 |     6536 |   614864      0 |      150 |        0
370.49/370.67	c  354s |       8 |    78445 |     6736 |   614864      0 |      150 |        0
374.69/374.81	c  358s |       8 |    79601 |     6836 |   614864      0 |      150 |        0
379.29/379.44	c  363s |       8 |    80284 |     6936 |   614864      0 |      150 |        0
384.79/384.93	c  369s |       8 |    80777 |     7036 |   614864      0 |      150 |        0
390.69/390.80	c  374s |       8 |    81333 |     7136 |   614864      0 |      150 |        0
394.19/394.39	c  378s |       8 |    83018 |     7236 |   614864      0 |      150 |        0
397.99/398.16	c  382s |       8 |    84178 |     7336 |   614864      0 |      150 |        0
401.49/401.69	c  385s |       8 |    85218 |     7436 |   614864      0 |      150 |        0
403.19/403.36	c  387s |       9 |    85641 |     7506 |   676351      0 |      150 |        0
408.59/408.78	c  392s |       9 |    86197 |     7606 |   676351      0 |      150 |        0
412.79/412.98	c  397s |       9 |    86794 |     7706 |   676351      0 |      150 |        0
415.19/415.38	c  399s |       9 |    87097 |     7806 |   676351      0 |      150 |        0
419.49/419.61	c  403s |       9 |    87953 |     7906 |   676351      0 |      150 |        0
423.19/423.38	c  407s |       9 |    88765 |     8006 |   676351      0 |      150 |        0
426.80/426.91	c  411s |       9 |    89464 |     8106 |   676351      0 |      150 |        0
431.59/431.74	c  415s |       9 |    90180 |     8206 |   676351      0 |      150 |        0
435.49/435.67	c  419s |       9 |    90726 |     8306 |   676351      0 |      150 |        0
439.09/439.25	c  423s |       9 |    92348 |     8506 |   676351      0 |      150 |        0
442.48/442.69	c  426s |       9 |    92882 |     8606 |   676351      0 |      150 |        0
446.59/446.78	c  430s |       9 |    93623 |     8706 |   676351      0 |      150 |        0
451.28/451.43	c  435s |       9 |    94768 |     8806 |   676351      0 |      150 |        0
456.18/456.38	c  440s |       9 |    96390 |     9006 |   676351      0 |      150 |        0
459.48/459.60	c  443s |       9 |    97010 |     9206 |   676351      0 |      150 |        0
462.28/462.48	c  446s |       9 |    97700 |     9406 |   676351      0 |      150 |        0
464.98/465.15	c  449s |       9 |    98137 |     9506 |   676351      0 |      150 |        0
469.18/469.31	c  453s |       9 |    98824 |     9706 |   676351      0 |      150 |        0
471.28/471.46	c  455s |       9 |    99363 |     9806 |   676351      0 |      150 |        0
474.38/474.55	c  458s |       9 |    99878 |     9906 |   676351      0 |      150 |        0
477.38/477.59	c  461s |       9 |   100150 |    10006 |   676351      0 |      150 |        0
480.38/480.53	c  464s |       9 |   100717 |    10106 |   676351      0 |      150 |        0
483.58/483.72	c  467s |       9 |   101383 |    10306 |   676351      0 |      150 |        0
485.58/485.74	c  469s |       9 |   101706 |    10406 |   676351      0 |      150 |        0
488.77/488.90	c  473s |       9 |   102055 |    10506 |   676351      0 |      150 |        0
493.78/493.98	c  478s |       9 |   102974 |    10606 |   676351      0 |      150 |        0
495.98/496.12	c  480s |       9 |   103336 |    10706 |   676351      0 |      150 |        0
498.37/498.54	c  482s |       9 |   103733 |    10806 |   676351      0 |      150 |        0
502.07/502.26	c  486s |       9 |   105062 |    11006 |   676351      0 |      150 |        0
505.17/505.34	c  489s |       9 |   105410 |    11106 |   676351      0 |      150 |        0
543.97/544.11	c  528s |       9 |   109212 |    11206 |   676351      0 |      150 |        0
561.37/561.52	c  545s |       9 |   110053 |    11306 |   743987      0 |      150 |        0
579.46/579.66	c  563s |      10 |   110569 |    11361 |   743987      0 |      150 |        0
628.06/628.23	c  612s |      10 |   116065 |    11461 |   743987      0 |      150 |        0
645.35/645.58	c  629s |      10 |   116811 |    11561 |   743987      0 |      150 |        0
668.24/668.43	c  652s |      10 |   117847 |    11661 |   743987      0 |      150 |        0
689.43/689.65	c  673s |      10 |   118411 |    11761 |   743987      0 |      150 |        0
726.72/726.92	c  711s |      10 |   119512 |    11861 |   743987      0 |      150 |        0
753.42/753.63	c  737s |      10 |   119754 |    11961 |   743987      0 |      150 |        0
794.21/794.41	c  778s |      10 |   123084 |    12061 |   743987      0 |      150 |        0
829.21/829.43	c  813s |      10 |   124718 |    12161 |   743987      0 |      150 |        0
861.70/861.94	c  846s |      10 |   125136 |    12261 |   743987      0 |      150 |        0
912.69/912.96	c  897s |      10 |   127488 |    12361 |   743987      0 |      150 |        0
940.98/941.21	c  925s |      10 |   127889 |    12461 |   743987      0 |      150 |        0
965.18/965.45	c  949s |      10 |   128635 |    12561 |   743987      0 |      150 |        0
971.78/972.09	c  956s |      10 |   129907 |    12661 |   743987      0 |      150 |        0
977.38/977.63	c  961s |      10 |   130307 |    12761 |   743987      0 |      150 |        0
980.68/980.97	c  965s |      10 |   130698 |    12861 |   743987      0 |      150 |        0
985.98/986.29	c  970s |      10 |   131783 |    12961 |   743987      0 |      150 |        0
989.57/989.81	c  973s |      10 |   132595 |    13061 |   743987      0 |      150 |        0
992.47/992.73	c  976s |      10 |   133206 |    13161 |   743987      0 |      150 |        0
996.77/997.03	c  981s |      10 |   133815 |    13261 |   743987      0 |      150 |        0
1001.07/1001.37	c  985s |      10 |   135108 |    13361 |   743987      0 |      150 |        0
1003.47/1003.77	c  987s |      10 |   135591 |    13461 |   743987      0 |      150 |        0
1008.27/1008.52	c  992s |      10 |   135905 |    13561 |   743987      0 |      150 |        0
1011.97/1012.21	c  996s |      10 |   136794 |    13661 |   743987      0 |      150 |        0
1015.87/1016.16	c 1000s |      10 |   137656 |    13761 |   743987      0 |      150 |        0
1024.27/1024.56	c 1008s |      10 |   138963 |    13961 |   743987      0 |      150 |        0
1037.07/1037.33	c 1021s |      10 |   139655 |    14061 |   743987      0 |      150 |        0
1069.06/1069.31	c 1053s |      10 |   142270 |    14161 |   743987      0 |      150 |        0
1100.75/1101.10	c 1085s |      10 |   144855 |    14261 |   743987      0 |      150 |        0
1121.25/1121.59	c 1105s |      10 |   147458 |    14361 |   743987      0 |      150 |        0
1123.95/1124.22	c 1108s |      10 |   148256 |    14461 |   743987      0 |      150 |        0
1129.35/1129.70	c 1113s |      10 |   152193 |    14661 |   743987      0 |      150 |        0
1133.14/1133.45	c 1117s |      10 |   153365 |    14761 |   743987      0 |      150 |        0
1135.64/1135.93	c 1120s |      10 |   154288 |    14861 |   743987      0 |      150 |        0
1141.14/1141.42	c 1125s |      10 |   156830 |    15061 |   743987      0 |      150 |        0
1143.34/1143.60	c 1127s |      10 |   157948 |    15161 |   743987      0 |      150 |        0
1148.25/1148.51	c 1132s |      10 |   159122 |    15261 |   743987      0 |      150 |        0
1151.64/1151.97	c 1136s |      10 |   161068 |    15361 |   743987      0 |      150 |        0
1155.44/1155.80	c 1139s |      10 |   162635 |    15561 |   743987      0 |      150 |        0
1159.44/1159.78	c 1143s |      10 |   162951 |    15661 |   743987      0 |      150 |        0
1162.54/1162.86	c 1147s |      10 |   163175 |    15761 |   743987      0 |      150 |        0
1165.84/1166.10	c 1150s |      10 |   163573 |    15861 |   743987      0 |      150 |        0
1168.34/1168.67	c 1152s |      10 |   164052 |    15961 |   743987      0 |      150 |        0
1171.84/1172.19	c 1156s |      10 |   164537 |    16061 |   743987      0 |      150 |        0
1174.24/1174.58	c 1158s |      10 |   165435 |    16161 |   743987      0 |      150 |        0
1178.43/1178.71	c 1162s |      10 |   165990 |    16261 |   743987      0 |      150 |        0
1180.93/1181.26	c 1165s |      10 |   166391 |    16361 |   743987      0 |      150 |        0
1183.93/1184.21	c 1168s |      10 |   167002 |    16461 |   743987      0 |      150 |        0
1187.43/1187.77	c 1171s |      10 |   167574 |    16561 |   743987      0 |      150 |        0
1191.33/1191.68	c 1175s |      10 |   167964 |    16661 |   743987      0 |      150 |        0
1195.83/1196.11	c 1180s |      10 |   168350 |    16761 |   743987      0 |      150 |        0
1199.13/1199.45	c 1183s |      10 |   168733 |    16861 |   743987      0 |      150 |        0
1202.73/1203.01	c 1187s |      10 |   169039 |    16961 |   743987      0 |      150 |        0
1205.34/1205.64	c 1189s |      10 |   169670 |    17061 |   818386      0 |      150 |        0
1207.23/1207.59	c 1191s |      11 |   169916 |    17144 |   818386      0 |      150 |        0
1240.82/1241.13	c 1225s |      11 |   172379 |    17244 |   818386      0 |      150 |        0
1264.92/1265.24	c 1249s |      11 |   173498 |    17344 |   818386      0 |      150 |        0
1295.92/1296.26	c 1280s |      11 |   173899 |    17444 |   818386      0 |      150 |        0
1326.91/1327.25	c 1311s |      11 |   174308 |    17544 |   818386      0 |      150 |        0
1347.91/1348.22	c 1332s |      11 |   175368 |    17644 |   818386      0 |      150 |        0
1361.41/1361.70	c 1345s |      11 |   176269 |    17744 |   818386      0 |      150 |        0
1379.11/1379.47	c 1363s |      11 |   178602 |    17844 |   818386      0 |      150 |        0
1396.40/1396.79	c 1380s |      11 |   179852 |    17944 |   818386      0 |      150 |        0
1399.01/1399.39	c 1383s |      11 |   180383 |    18044 |   818386      0 |      150 |        0
1403.01/1403.33	c 1387s |      11 |   181514 |    18144 |   818386      0 |      150 |        0
1406.31/1406.64	c 1390s |      11 |   182358 |    18244 |   818386      0 |      150 |        0
1410.01/1410.36	c 1394s |      11 |   183376 |    18344 |   818386      0 |      150 |        0
1413.31/1413.68	c 1397s |      11 |   184181 |    18444 |   818386      0 |      150 |        0
1415.41/1415.78	c 1399s |      11 |   184537 |    18544 |   818386      0 |      150 |        0
1418.50/1418.87	c 1403s |      11 |   185106 |    18644 |   818386      0 |      150 |        0
1424.59/1424.95	c 1409s |      11 |   186002 |    18744 |   818386      0 |      150 |        0
1428.20/1428.57	c 1412s |      11 |   186883 |    18844 |   818386      0 |      150 |        0
1431.70/1432.00	c 1416s |      11 |   187410 |    18944 |   818386      0 |      150 |        0
1435.40/1435.78	c 1419s |      11 |   188006 |    19044 |   818386      0 |      150 |        0
1441.81/1442.18	c 1426s |      11 |   188637 |    19144 |   818386      0 |      150 |        0
1450.80/1451.13	c 1435s |      11 |   189224 |    19244 |   818386      0 |      150 |        0
1459.30/1459.63	c 1443s |      11 |   190121 |    19344 |   818386      0 |      150 |        0
1464.09/1464.48	c 1448s |      11 |   190569 |    19444 |   818386      0 |      150 |        0
1470.09/1470.43	c 1454s |      11 |   190983 |    19544 |   818386      0 |      150 |        0
1475.09/1475.46	c 1459s |      11 |   191411 |    19644 |   818386      0 |      150 |        0
1480.89/1481.22	c 1465s |      11 |   191668 |    19744 |   818386      0 |      150 |        0
1484.49/1484.84	c 1469s |      11 |   192030 |    19844 |   818386      0 |      150 |        0
1487.19/1487.57	c 1471s |      11 |   192201 |    19944 |   818386      0 |      150 |        0
1490.89/1491.28	c 1475s |      11 |   193067 |    20044 |   818386      0 |      150 |        0
1494.19/1494.52	c 1478s |      11 |   193572 |    20144 |   818386      0 |      150 |        0
1498.89/1499.29	c 1483s |      11 |   194083 |    20244 |   818386      0 |      150 |        0
1503.89/1504.27	c 1488s |      11 |   194524 |    20344 |   818386      0 |      150 |        0
1508.09/1508.42	c 1492s |      11 |   194709 |    20444 |   818386      0 |      150 |        0
1513.19/1513.58	c 1497s |      11 |   195044 |    20544 |   818386      0 |      150 |        0
1517.59/1517.93	c 1502s |      11 |   195413 |    20644 |   818386      0 |      150 |        0
1521.49/1521.87	c 1506s |      11 |   195724 |    20744 |   818386      0 |      150 |        0
1525.39/1525.72	c 1509s |      11 |   196361 |    20844 |   818386      0 |      150 |        0
1532.28/1532.64	c 1516s |      11 |   197101 |    21044 |   818386      0 |      150 |        0
1535.58/1535.90	c 1520s |      11 |   197716 |    21144 |   818386      0 |      150 |        0
1538.38/1538.77	c 1522s |      11 |   198032 |    21244 |   818386      0 |      150 |        0
1541.18/1541.52	c 1525s |      11 |   198532 |    21344 |   818386      0 |      150 |        0
1543.78/1544.17	c 1528s |      11 |   198810 |    21444 |   818386      0 |      150 |        0
1549.69/1550.04	c 1534s |      11 |   199116 |    21544 |   818386      0 |      150 |        0
1552.38/1552.71	c 1536s |      11 |   199663 |    21644 |   818386      0 |      150 |        0
1557.38/1557.72	c 1541s |      11 |   200041 |    21744 |   818386      0 |      150 |        0
1564.08/1564.41	c 1548s |      11 |   200464 |    21844 |   818386      0 |      150 |        0
1572.18/1572.51	c 1556s |      11 |   200829 |    21944 |   818386      0 |      150 |        0
1576.37/1576.76	c 1560s |      11 |   201319 |    22044 |   818386      0 |      150 |        0
1580.97/1581.32	c 1565s |      11 |   202252 |    22144 |   818386      0 |      150 |        0
1588.47/1588.86	c 1573s |      11 |   203174 |    22344 |   818386      0 |      150 |        0
1594.68/1595.02	c 1579s |      11 |   203875 |    22444 |   818386      0 |      150 |        0
1598.87/1599.27	c 1583s |      11 |   204431 |    22544 |   818386      0 |      150 |        0
1601.97/1602.34	c 1586s |      11 |   204813 |    22644 |   818386      0 |      150 |        0
1607.27/1607.68	c 1591s |      11 |   205406 |    22744 |   818386      0 |      150 |        0
1610.57/1610.94	c 1595s |      11 |   206027 |    22844 |   818386      0 |      150 |        0
1612.57/1612.94	c 1597s |      11 |   206272 |    22944 |   818386      0 |      150 |        0
1621.67/1622.06	c 1606s |      11 |   207280 |    23044 |   818386      0 |      150 |        0
1630.97/1631.38	c 1615s |      11 |   207880 |    23144 |   818386      0 |      150 |        0
1634.46/1634.87	c 1619s |      11 |   208279 |    23244 |   818386      0 |      150 |        0
1641.16/1641.50	c 1625s |      11 |   208743 |    23344 |   818386      0 |      150 |        0
1649.67/1650.09	c 1634s |      11 |   209259 |    23444 |   818386      0 |      150 |        0
1656.76/1657.17	c 1641s |      11 |   210492 |    23544 |   818386      0 |      150 |        0
1663.06/1663.41	c 1647s |      11 |   211218 |    23644 |   818386      0 |      150 |        0
1675.36/1675.74	c 1659s |      11 |   211740 |    23744 |   818386      0 |      150 |        0
1679.06/1679.47	c 1663s |      11 |   212294 |    23844 |   818386      0 |      150 |        0
1682.46/1682.84	c 1667s |      11 |   213162 |    23944 |   818386      0 |      150 |        0
1687.66/1688.07	c 1672s |      11 |   214003 |    24044 |   818386      0 |      150 |        0
1690.36/1690.77	c 1674s |      11 |   214398 |    24144 |   818386      0 |      150 |        0
1695.16/1695.55	c 1679s |      11 |   214665 |    24244 |   818386      0 |      150 |        0
1700.26/1700.64	c 1684s |      11 |   215600 |    24344 |   818386      0 |      150 |        0
1704.05/1704.43	c 1688s |      11 |   216213 |    24444 |   818386      0 |      150 |        0
1710.75/1711.13	c 1695s |      11 |   217714 |    24544 |   818386      0 |      150 |        0
1713.95/1714.33	c 1698s |      11 |   218298 |    24644 |   818386      0 |      150 |        0
1717.45/1717.82	c 1701s |      11 |   219406 |    24744 |   818386      0 |      150 |        0
1723.46/1723.87	c 1708s |      11 |   220090 |    24844 |   818386      0 |      150 |        0
1726.25/1726.69	c 1710s |      11 |   220443 |    24944 |   818386      0 |      150 |        0
1732.45/1732.88	c 1717s |      11 |   221265 |    25044 |   818386      0 |      150 |        0
1738.25/1738.66	c 1722s |      11 |   222430 |    25244 |   818386      0 |      150 |        0
1746.46/1746.83	c 1730s |      11 |   223443 |    25444 |   818386      0 |      150 |        0
1749.65/1750.04	c 1734s |      11 |   223724 |    25544 |   818386      0 |      150 |        0
1755.45/1755.80	c 1739s |      11 |   224547 |    25644 |   818386      0 |      150 |        0
1759.05/1759.42	c 1743s |      11 |   225171 |    25744 |   900225      0 |      150 |        0
1761.45/1761.83	c 1745s |      12 |   225355 |    25819 |   900225      0 |      150 |        0
1768.85/1769.23	c 1753s |      12 |   226102 |    25919 |   900225      0 |      150 |        0
1774.65/1775.09	c 1759s |      12 |   227128 |    26019 |   900225      0 |      150 |        0
1779.74/1780.13	c 1764s |      12 |   227697 |    26119 |   900225      0 |      150 |        0
1783.95/1784.32	c 1768s |      12 |   228409 |    26219 |   900225      0 |      150 |        0
1790.24/1790.65	c 1774s |      12 |   229104 |    26319 |   900225      0 |      150 |        0
1794.14/1794.54	c 1778s |      12 |   230090 |    26419 |   900225      0 |      150 |        0
1796.64/1797.04	c 1781s |      12 |   230376 |    26519 |   900225      0 |      150 |        0
1798.84/1799.27	c 1783s |      12 |   230925 |    26619 |   900225      0 |      150 |        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-4079423-1465328771/watcher-4079423-1465328771 -o /tmp/evaluation-result-4079423-1465328771/solver-4079423-1465328771 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079423-1465328771.opb 

pid=14546
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.07 2.11 2.07 3/179 14549
/proc/meminfo: memFree=16080084/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=806332 CPUtime=0 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 3023 0 0 0 0 0 0 0 20 0 4 0 114811928 825683968 3383 33554432000 4194304 16246674 140734540541760 140734540541184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14549/statm: 202351 3392 441 2943 0 199245 0
[pid=14549/tid=14550] ppid=14546 vsize=824764 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 844558336 3453 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=828860 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114811928 848752640 3470 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=833980 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114811928 853995520 3488 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.07 2.11 2.07 3/179 14549
/proc/meminfo: memFree=16080084/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 30779 0 0 0 6 3 0 0 20 0 4 0 114811928 1333334016 31077 33554432000 4194304 16246674 140734540541760 140734540541072 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14549/statm: 325521 31093 799 2943 0 322415 0
[pid=14549/tid=14550] ppid=14546 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1333334016 31103 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114811928 1333334016 31115 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114811928 1333334016 31126 33554432000 4194304 16246674 140734540541760 139705182047408 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.200517 s]
/proc/loadavg: 2.07 2.11 2.07 3/179 14549
/proc/meminfo: memFree=16080084/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 42819 0 0 0 14 5 0 0 20 0 4 0 114811928 1343819776 43628 33554432000 4194304 16246674 140734540541760 140734540541072 4220982 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14549/statm: 328081 43628 799 2943 0 324975 0
[pid=14549/tid=14550] ppid=14546 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1343819776 43628 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114811928 1343819776 43628 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114811928 1343819776 43628 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300487 s]
/proc/loadavg: 2.07 2.11 2.07 3/179 14549
/proc/meminfo: memFree=16080084/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1312324 CPUtime=0.28 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 48083 0 0 0 23 5 0 0 20 0 4 0 114811928 1343819776 48892 33554432000 4194304 16246674 140734540541760 140734540541072 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14549/statm: 328081 48892 800 2943 0 324975 0
[pid=14549/tid=14550] ppid=14546 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1343819776 48892 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114811928 1343819776 48892 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114811928 1343819776 48892 33554432000 4194304 16246674 140734540541760 139705182047408 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) 1312324

[startup+0.700431 s]
/proc/loadavg: 2.07 2.11 2.07 3/179 14549
/proc/meminfo: memFree=16080084/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 64589 0 0 0 61 8 0 0 20 0 4 0 114811928 1344868352 65398 33554432000 4194304 16246674 140734540541760 140734540523648 7364254 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14549/statm: 328337 65398 802 2943 0 325231 0
[pid=14549/tid=14550] ppid=14546 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1344868352 65398 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114811928 1344868352 65398 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114811928 1344868352 65398 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.07 2.10 2.07 3/183 14553
/proc/meminfo: memFree=15750084/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 82041 0 0 0 138 11 0 0 20 0 4 0 114811928 1357451264 85405 33554432000 4194304 16246674 140734540541760 140734540524752 8058696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14549/statm: 331409 85405 802 2943 0 328303 0
[pid=14549/tid=14550] ppid=14546 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1357451264 85405 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114811928 1357451264 85405 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114811928 1357451264 85405 33554432000 4194304 16246674 140734540541760 139705182047408 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.10036 s]
/proc/loadavg: 2.07 2.10 2.07 3/183 14553
/proc/meminfo: memFree=15588432/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1350212 CPUtime=3.08 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 150509 0 0 0 287 21 0 0 20 0 4 0 114811928 1382617088 159494 33554432000 4194304 16246674 140734540541760 140734540524752 8056990 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14549/statm: 337553 159512 802 2943 0 334447 0
[pid=14549/tid=14550] ppid=14546 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1382617088 159523 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114811928 1382617088 159534 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114811928 1382617088 159546 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1350212

[startup+6.30036 s]
/proc/loadavg: 2.06 2.10 2.07 3/183 14553
/proc/meminfo: memFree=15243488/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1411652 CPUtime=6.29 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 243281 0 0 0 591 38 0 0 20 0 4 0 114811928 1445531648 265552 33554432000 4194304 16246674 140734540541760 140734540540936 6155670 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14549/statm: 352913 265560 840 2943 0 349807 0
[pid=14549/tid=14550] ppid=14546 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1445531648 265565 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1445531648 265570 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 1445531648 265575 33554432000 4194304 16246674 140734540541760 139705182047408 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) 1411652

[startup+12.7004 s]
/proc/loadavg: 2.06 2.10 2.07 3/183 14553
/proc/meminfo: memFree=14904408/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1411652 CPUtime=12.68 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 272082 0 0 0 1226 42 0 0 20 0 4 0 114811928 1445531648 294353 33554432000 4194304 16246674 140734540541760 140734540539584 12481184 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14549/statm: 352913 294353 845 2943 0 349807 0
[pid=14549/tid=14550] ppid=14546 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1445531648 294353 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1445531648 294353 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 1445531648 294353 33554432000 4194304 16246674 140734540541760 139705182047408 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) 1411652

[startup+25.5004 s]
/proc/loadavg: 2.05 2.10 2.06 4/183 14553
/proc/meminfo: memFree=14518852/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1797700 CPUtime=25.48 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 368644 0 0 0 2491 57 0 0 20 0 4 0 114811928 1840844800 390915 33554432000 4194304 16246674 140734540541760 140734540523648 5677716 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14549/statm: 449425 390915 893 2943 0 446319 0
[pid=14549/tid=14550] ppid=14546 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1840844800 390915 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1840844800 390915 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 1840844800 390915 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1797700

[startup+51.1004 s]
/proc/loadavg: 2.08 2.10 2.07 3/183 14553
/proc/meminfo: memFree=14518580/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=1797700 CPUtime=51.07 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 368644 0 0 0 5047 60 0 0 20 0 4 0 114811928 1840844800 390915 33554432000 4194304 16246674 140734540541760 140734540540936 12415827 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14549/statm: 449425 390915 893 2943 0 446319 0
[pid=14549/tid=14550] ppid=14546 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1840844800 390915 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 1840844800 390915 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 1840844800 390915 33554432000 4194304 16246674 140734540541760 139705182047408 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) 1797700

[startup+102.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/183 14602
/proc/meminfo: memFree=28010820/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=102.27 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466440 0 0 0 10153 74 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 5677716 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2188868


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

/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 2188868

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/183 14655
/proc/meminfo: memFree=27614376/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1302.01 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 130118 83 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 2188868

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/183 14656
/proc/meminfo: memFree=27613904/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1362.01 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 136117 84 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 13774460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 2188868

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/183 14657
/proc/meminfo: memFree=27613684/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1422 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 142114 86 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2188868

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/184 14662
/proc/meminfo: memFree=27614372/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1481.99 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 148112 87 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 12483636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2188868

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14663
/proc/meminfo: memFree=27614280/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1541.99 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 154112 87 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540540856 5600076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2188868

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14664
/proc/meminfo: memFree=27614184/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1601.97 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 160110 87 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 2188868

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14665
/proc/meminfo: memFree=27614088/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1661.96 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 166109 87 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 2188868

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14666
/proc/meminfo: memFree=27613984/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1721.95 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 172108 87 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2188868

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14668
/proc/meminfo: memFree=27613764/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1781.94 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 178106 88 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 5600136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 2188868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14668
/proc/meminfo: memFree=27613732/32872528 swapFree=12744/274376
[pid=14549] ppid=14546 vsize=2188868 CPUtime=1800.04 cores=0,2,4,6
/proc/14549/stat : 14549 (toysat) R 14546 14549 11961 0 -1 4202496 466515 0 0 0 179916 88 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 140734540523648 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14549/statm: 547217 488711 897 2943 0 544111 0
[pid=14549/tid=14550] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14550/stat : 14550 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705203010800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14549/tid=14551] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14551/stat : 14551 (toysat) S 14546 14549 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705192520944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14549/tid=14552] ppid=14546 vsize=2188868 CPUtime=0 cores=0,2,4,6
/proc/14549/task/14552/stat : 14552 (toysat) S 14546 14549 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114811928 2241400832 488711 33554432000 4194304 16246674 140734540541760 139705182047408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2188868

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.17
CPU system time (s): 0.889864
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 2188868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.889864
maximum resident set size= 1954844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466515
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= 108
involuntary context switches= 1985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75528 second user time and 6.84496 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 21:46:12
IDJOB=4079423
IDBENCH=92706
IDSOLVER=2542
FILE ID=node107/4079423-1465328771
RUNJOBID= node107-1465310409-12874
PBS_JOBID= 19848089
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_6_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079423-1465328771/watcher-4079423-1465328771 -o /tmp/evaluation-result-4079423-1465328771/solver-4079423-1465328771 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079423-1465328771.opb

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

MD5SUM BENCH= d9c74f599ac8cb1803bc1ae096bcff8b
RANDOM SEED=1652204044

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.441
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.441
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.441
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.441
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:        16080620 kB
Buffers:           56880 kB
Cached:           241676 kB
SwapCached:         1416 kB
Active:         15561696 kB
Inactive:         186468 kB
Active(anon):   15447696 kB
Inactive(anon):     4076 kB
Active(file):     114000 kB
Inactive(file):   182392 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             41828 kB
Writeback:             0 kB
AnonPages:      15727656 kB
Mapped:            10884 kB
Shmem:                 0 kB
Slab:             604604 kB
SReclaimable:      47856 kB
SUnreclaim:       556748 kB
KernelStack:        1456 kB
PageTables:        34896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15869860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    997376 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= 71668 MiB
End job on node107 at 2016-06-07 22:16:12