Trace number 4079384

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_6_mh_ic.opb
MD5SUMc368128bd234e052a40539eff90aaf64
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4279238
Best CPU time to get the best result obtained on this benchmark1800.05
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 115501303
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 29044350431
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 115501303
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 29044350431
Number of bits of the biggest sum of numbers35
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-07T20:36:08+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079384-1465324568.opb"]
0.00/0.01	c use --random-gen="1286672235 32208539 4099019954 84133070 1021974383 3551163077 3049899959 1566507582 3009399875 3926183138 3768149063 1888447506 966673775 1191891092 300045678 2413590488 68026181 1104185615 894284676 956040314 4144517695 2626126416 149518712 3877364576 1921712157 3207141728 916230467 1288069348 1810423027 2434960156 472711122 1792568983 590513621 1411331063 2872891118 854889796 1137589597 1692499913 3058468421 97140893 3077547573 3696007142 240373013 85075997 739169737 1535197403 2137009536 1620170405 2379755483 3534620690 3217995560 621589568 4077544089 1156134709 1709634337 1159398362 977092340 4077006027 789200607 1619551639 44232363 300341914 711609207 1656302293 2459124632 1053297399 1534123166 1030484088 611117324 3825205845 1677151133 641791570 2554120735 3976101673 857602608 3100988358 778663188 1699832875 2131883153 853377207 2812705807 4124136619 951538839 491712957 15261107 2829006553 290897811 3914180071 2272013080 183851081 3449932486 3459519760 3330245730 279090265 2810946920 3580172459 3527586619 2150816267 1325441834 1530286604 1093255591 916167050 3601124684 126277202 3524250420 3895891789 2960618091 1922019796 267312654 3739443213 3853837180 1462690533 3385834174 3956875007 3942312889 3218739492 2251953176 3064421941 77924513 840829601 407088608 4000739527 2601628366 1559016371 2977658233 2001564235 725200772 1513276125 780590178 3694382646 3333292613 607722753 3823512382 3948833172 2629455505 3259711599 1041143662 3961546390 1887718643 3538940049 1497856868 4159828039 2229417922 3194796115 3401387940 1312617151 1458833691 1414804531 3172048127 1673036372 3672474468 2808089567 2375334432 533544149 4151656794 1092428036 2374511763 2645603467 4094621928 3845859928 4062968468 88916043 1797292944 2007848950 3666082956 4177696109 1415186192 1746289485 4080086217 3060634421 3873021700 849494222 549872903 3322056822 3906473879 763236582 3330851736 2704377393 224643938 1403829307 160551740 417600434 2497353630 2860613848 174246249 2461434946 3659371245 84886170 3539373229 2245213844 3989188721 1733826625 552028873 3974004115 1454098966 2084942458 424557560 1288488450 1297396876 2268886185 817988273 1409723071 3248740245 2867541158 2582672699 857622420 1923261546 1434434694 2631687971 2138295627 3734120691 1652463225 1398972881 1226134280 3473475618 2588129762 1287841092 1460261184 2960978083 540602184 3032647233 2965578563 603832062 2312342850 2536703863 1602404635 338285552 3928618937 1555000637 542598008 4196447982 1619719791 2461436333 2829504709 1872308437 3749904464 2226759127 4012590020 3331225112 133863858 2160835133 240241130 936051154 79851324 2201087778 667804365 1771080543 2515488848 371713299 1371410339 753012622 2064930606 1014127116 3051791362 565542242 435915144 255 362436" option to reproduce the execution
2.19/2.22	c #vars 126385
2.19/2.22	c #constraints 286973
7.09/7.17	c BCD2: Hardening is enabled.
7.09/7.17	c BCD2: BiasedSearch is enabled.
7.09/7.17	c Solving starts ...
7.09/7.17	c ============================[ Search Statistics ]============================
7.09/7.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.09/7.17	c       |         |          |          |    Limit     GC | Var      | Constra 
7.09/7.17	c =============================================================================
7.19/7.25	c  0.0s |       0 |        0 |        0 |   138976      0 |      140 |        0
8.79/8.90	c  1.7s |       1 |      374 |      100 |   138976      0 |      140 |        0
19.09/19.20	c 12.0s |       1 |     3275 |      200 |   152874      0 |      140 |        0
24.78/24.84	c 17.6s |       2 |     3520 |      250 |   152874      0 |      140 |        0
35.48/35.58	c 28.3s |       2 |     5619 |      350 |   168162      0 |      140 |        0
44.09/44.11	c 36.9s |       2 |     6860 |      450 |   168162      0 |      140 |        0
46.19/46.30	c 39.1s |       3 |     7068 |      475 |   168162      0 |      140 |        0
52.79/52.85	c 45.6s |       3 |     7834 |      575 |   184979      0 |      140 |        0
62.18/62.25	c 55.0s |       3 |     9196 |      675 |   184979      0 |      140 |        0
70.88/70.92	c 63.7s |       3 |     9534 |      775 |   184979      0 |      140 |        0
74.08/74.14	c 66.9s |       4 |     9920 |      813 |   184979      0 |      140 |        0
82.87/82.99	c 75.7s |       4 |    10635 |      913 |   203477      0 |      140 |        0
92.07/92.16	c 84.9s |       4 |    11252 |     1013 |   203477      0 |      140 |        0
98.98/99.03	c 91.8s |       4 |    12185 |     1113 |   203477      0 |      140 |        0
106.37/106.45	c 99.2s |       4 |    13032 |     1213 |   203477      0 |      140 |        0
115.07/115.12	c  107s |       4 |    13270 |     1313 |   203477      0 |      140 |        0
115.77/115.87	c  108s |       5 |    13280 |     1320 |   203477      0 |      140 |        0
124.28/124.38	c  117s |       5 |    14140 |     1420 |   223825      0 |      140 |        0
135.67/135.77	c  128s |       5 |    15246 |     1520 |   223825      0 |      140 |        0
143.37/143.48	c  136s |       5 |    15768 |     1620 |   223825      0 |      140 |        0
152.97/153.02	c  145s |       5 |    16142 |     1720 |   223825      0 |      140 |        0
163.36/163.44	c  156s |       5 |    16773 |     1820 |   223825      0 |      140 |        0
173.36/173.44	c  166s |       5 |    17542 |     1920 |   223825      0 |      140 |        0
184.06/184.16	c  176s |       5 |    18346 |     2020 |   223825      0 |      140 |        0
189.17/189.24	c  181s |       6 |    18680 |     2081 |   246208      0 |      140 |        0
195.86/195.96	c  188s |       6 |    19109 |     2181 |   246208      0 |      140 |        0
204.36/204.40	c  197s |       6 |    19741 |     2281 |   246208      0 |      140 |        0
213.25/213.37	c  206s |       6 |    20331 |     2381 |   246208      0 |      140 |        0
224.65/224.77	c  217s |       6 |    21922 |     2481 |   246208      0 |      140 |        0
232.95/233.03	c  225s |       6 |    22411 |     2581 |   246208      0 |      140 |        0
239.76/239.89	c  232s |       6 |    23398 |     2681 |   246208      0 |      140 |        0
252.05/252.15	c  244s |       6 |    24175 |     2781 |   246208      0 |      140 |        0
259.05/259.15	c  251s |       6 |    36003 |     2881 |   246208      0 |      140 |        0
270.55/270.63	c  263s |       6 |    36917 |     2981 |   246208      0 |      140 |        0
281.34/281.46	c  274s |       6 |    37471 |     3081 |   246208      0 |      140 |        0
293.54/293.65	c  286s |       6 |    38217 |     3181 |   246208      0 |      140 |        0
299.04/299.16	c  291s |       7 |    38913 |     3223 |   270829      0 |      140 |        0
310.25/310.39	c  303s |       7 |    39450 |     3323 |   270829      0 |      140 |        0
323.14/323.20	c  315s |       7 |    41005 |     3423 |   270829      0 |      140 |        0
334.14/334.28	c  327s |       7 |    41791 |     3523 |   270829      0 |      140 |        0
346.13/346.27	c  339s |       7 |    42392 |     3623 |   270829      0 |      140 |        0
358.13/358.26	c  351s |       7 |    42948 |     3723 |   270829      0 |      140 |        0
367.93/368.08	c  360s |       7 |    43499 |     3823 |   270829      0 |      140 |        0
380.03/380.15	c  372s |       7 |    44774 |     3923 |   270829      0 |      140 |        0
391.83/391.90	c  384s |       7 |    45176 |     4023 |   270829      0 |      140 |        0
402.12/402.28	c  395s |       7 |    45636 |     4123 |   270829      0 |      140 |        0
414.52/414.68	c  407s |       7 |    47076 |     4223 |   270829      0 |      140 |        0
425.02/425.12	c  417s |       7 |    47518 |     4323 |   270829      0 |      140 |        0
439.72/439.87	c  432s |       7 |    48731 |     4423 |   270829      0 |      140 |        0
453.72/453.82	c  446s |       7 |    49901 |     4523 |   270829      0 |      140 |        0
465.71/465.81	c  458s |       7 |    50502 |     4623 |   270829      0 |      140 |        0
478.21/478.33	c  471s |       7 |    51538 |     4723 |   270829      0 |      140 |        0
489.61/489.78	c  482s |       7 |    53031 |     4823 |   270829      0 |      140 |        0
496.02/496.15	c  488s |       7 |    53674 |     4923 |   297912      0 |      140 |        0
497.01/497.18	c  489s |       8 |    53709 |     4936 |   297912      0 |      140 |        0
507.31/507.47	c  500s |       8 |    54228 |     5036 |   297912      0 |      140 |        0
514.91/515.03	c  507s |       8 |    54676 |     5136 |   297912      0 |      140 |        0
522.51/522.69	c  515s |       8 |    55248 |     5236 |   297912      0 |      140 |        0
533.41/533.53	c  526s |       8 |    55947 |     5336 |   297912      0 |      140 |        0
544.80/544.95	c  537s |       8 |    56787 |     5436 |   297912      0 |      140 |        0
556.70/556.83	c  549s |       8 |    57767 |     5536 |   297912      0 |      140 |        0
566.41/566.53	c  559s |       8 |    58095 |     5636 |   297912      0 |      140 |        0
578.90/579.05	c  571s |       8 |    58651 |     5736 |   297912      0 |      140 |        0
588.80/588.92	c  581s |       8 |    59703 |     5836 |   297912      0 |      140 |        0
603.39/603.52	c  596s |       8 |    61502 |     5936 |   297912      0 |      140 |        0
609.59/609.77	c  602s |       8 |    61868 |     6036 |   297912      0 |      140 |        0
618.29/618.47	c  611s |       8 |    62339 |     6136 |   297912      0 |      140 |        0
631.89/632.00	c  624s |       8 |    64103 |     6236 |   297912      0 |      140 |        0
641.59/641.74	c  634s |       8 |    64846 |     6336 |   297912      0 |      140 |        0
652.39/652.56	c  645s |       8 |    65649 |     6436 |   297912      0 |      140 |        0
662.98/663.18	c  655s |       8 |    66828 |     6536 |   297912      0 |      140 |        0
672.88/673.02	c  665s |       8 |    67658 |     6636 |   297912      0 |      140 |        0
680.28/680.46	c  673s |       8 |    67924 |     6736 |   297912      0 |      140 |        0
691.38/691.53	c  684s |       8 |    69023 |     6836 |   297912      0 |      140 |        0
699.88/700.06	c  692s |       8 |    69651 |     6936 |   297912      0 |      140 |        0
709.28/709.41	c  702s |       8 |    70668 |     7036 |   297912      0 |      140 |        0
718.37/718.56	c  711s |       8 |    71173 |     7136 |   297912      0 |      140 |        0
727.97/728.20	c  720s |       8 |    72524 |     7236 |   297912      0 |      140 |        0
735.97/736.16	c  728s |       8 |    72938 |     7336 |   297912      0 |      140 |        0
744.17/744.35	c  737s |       8 |    73391 |     7436 |   297912      0 |      140 |        0
752.07/752.25	c  745s |       9 |    73949 |     7506 |   327704      0 |      140 |        0
763.47/763.63	c  756s |       9 |    74937 |     7606 |   327704      0 |      140 |        0
770.67/770.89	c  763s |       9 |    75270 |     7706 |   327704      0 |      140 |        0
780.56/780.77	c  773s |       9 |    76050 |     7806 |   327704      0 |      140 |        0
788.26/788.49	c  781s |       9 |    76515 |     7906 |   327704      0 |      140 |        0
800.45/800.66	c  793s |       9 |    77508 |     8006 |   327704      0 |      140 |        0
814.14/814.31	c  807s |       9 |    79133 |     8106 |   327704      0 |      140 |        0
825.34/825.54	c  818s |       9 |    79750 |     8206 |   327704      0 |      140 |        0
837.04/837.24	c  829s |       9 |    80609 |     8306 |   327704      0 |      140 |        0
848.13/848.32	c  841s |       9 |    81050 |     8406 |   327704      0 |      140 |        0
859.93/860.14	c  852s |       9 |    82026 |     8506 |   327704      0 |      140 |        0
869.62/869.87	c  862s |       9 |    82928 |     8606 |   327704      0 |      140 |        0
880.52/880.77	c  873s |       9 |    83554 |     8706 |   327704      0 |      140 |        0
892.61/892.81	c  885s |       9 |    85095 |     8806 |   327704      0 |      140 |        0
904.50/904.75	c  897s |       9 |    86201 |     8906 |   327704      0 |      140 |        0
916.59/916.87	c  909s |       9 |    87031 |     9006 |   327704      0 |      140 |        0
926.99/927.20	c  919s |       9 |    88403 |     9106 |   327704      0 |      140 |        0
936.08/936.38	c  929s |       9 |    88570 |     9206 |   327704      0 |      140 |        0
945.89/946.19	c  938s |       9 |    89125 |     9306 |   327704      0 |      140 |        0
957.78/958.06	c  950s |       9 |    89999 |     9406 |   327704      0 |      140 |        0
968.17/968.48	c  961s |       9 |    91151 |     9506 |   327704      0 |      140 |        0
978.97/979.23	c  971s |       9 |    91696 |     9606 |   327704      0 |      140 |        0
990.66/990.94	c  983s |       9 |    92617 |     9706 |   327704      0 |      140 |        0
1001.66/1001.97	c  994s |       9 |    93249 |     9806 |   327704      0 |      140 |        0
1012.25/1012.55	c 1005s |       9 |    94171 |     9906 |   327704      0 |      140 |        0
1023.45/1023.78	c 1016s |       9 |    95275 |    10006 |   327704      0 |      140 |        0
1033.54/1033.80	c 1026s |       9 |    96633 |    10106 |   327704      0 |      140 |        0
1043.54/1043.80	c 1036s |       9 |    97640 |    10206 |   327704      0 |      140 |        0
1054.64/1054.91	c 1047s |       9 |    98112 |    10306 |   327704      0 |      140 |        0
1068.12/1068.49	c 1061s |       9 |    99220 |    10406 |   327704      0 |      140 |        0
1080.22/1080.50	c 1073s |       9 |   100170 |    10506 |   327704      0 |      140 |        0
1091.21/1091.53	c 1084s |       9 |   101124 |    10606 |   327704      0 |      140 |        0
1101.71/1102.03	c 1094s |       9 |   101779 |    10706 |   327704      0 |      140 |        0
1111.11/1111.47	c 1104s |       9 |   102353 |    10806 |   327704      0 |      140 |        0
1120.91/1121.26	c 1114s |       9 |   103458 |    10906 |   327704      0 |      140 |        0
1133.40/1133.72	c 1126s |       9 |   104278 |    11006 |   327704      0 |      140 |        0
1145.60/1145.91	c 1138s |       9 |   105344 |    11106 |   327704      0 |      140 |        0
1158.90/1159.22	c 1151s |       9 |   106417 |    11206 |   327704      0 |      140 |        0
1171.29/1171.61	c 1164s |       9 |   107270 |    11306 |   360475      0 |      140 |        0
1176.48/1176.85	c 1169s |      10 |   107525 |    11361 |   360475      0 |      140 |        0
1187.18/1187.53	c 1180s |      10 |   108219 |    11461 |   360475      0 |      140 |        0
1198.37/1198.77	c 1191s |      10 |   109780 |    11561 |   360475      0 |      140 |        0
1208.07/1208.49	c 1201s |      10 |   110279 |    11661 |   360475      0 |      140 |        0
1214.27/1214.64	c 1207s |      10 |   111347 |    11761 |   360475      0 |      140 |        0
1225.57/1225.96	c 1218s |      10 |   112386 |    11861 |   360475      0 |      140 |        0
1237.36/1237.78	c 1230s |      10 |   113359 |    11961 |   360475      0 |      140 |        0
1247.06/1247.49	c 1240s |      10 |   114431 |    12061 |   360475      0 |      140 |        0
1258.35/1258.78	c 1251s |      10 |   115454 |    12161 |   360475      0 |      140 |        0
1268.25/1268.61	c 1261s |      10 |   116005 |    12261 |   360475      0 |      140 |        0
1277.55/1277.96	c 1270s |      10 |   116683 |    12361 |   360475      0 |      140 |        0
1289.45/1289.80	c 1282s |      10 |   117397 |    12461 |   360475      0 |      140 |        0
1300.14/1300.50	c 1293s |      10 |   118096 |    12561 |   360475      0 |      140 |        0
1312.64/1313.09	c 1305s |      10 |   119269 |    12661 |   360475      0 |      140 |        0
1323.44/1323.84	c 1316s |      10 |   120798 |    12761 |   360475      0 |      140 |        0
1334.13/1334.51	c 1327s |      10 |   121894 |    12861 |   360475      0 |      140 |        0
1347.73/1348.11	c 1340s |      10 |   123614 |    12961 |   360475      0 |      140 |        0
1359.23/1359.67	c 1352s |      10 |   124659 |    13061 |   360475      0 |      140 |        0
1372.32/1372.73	c 1365s |      10 |   125319 |    13161 |   360475      0 |      140 |        0
1384.52/1384.97	c 1377s |      10 |   126255 |    13261 |   360475      0 |      140 |        0
1397.01/1397.43	c 1390s |      10 |   127210 |    13361 |   360475      0 |      140 |        0
1409.71/1410.14	c 1402s |      10 |   128843 |    13461 |   360475      0 |      140 |        0
1422.01/1422.45	c 1415s |      10 |   129800 |    13561 |   360475      0 |      140 |        0
1434.60/1435.04	c 1427s |      10 |   130299 |    13661 |   360475      0 |      140 |        0
1445.79/1446.21	c 1438s |      10 |   131191 |    13761 |   360475      0 |      140 |        0
1456.69/1457.13	c 1449s |      10 |   131627 |    13861 |   360475      0 |      140 |        0
1470.78/1471.25	c 1464s |      10 |   132420 |    13961 |   360475      0 |      140 |        0
1484.88/1485.37	c 1478s |      10 |   133278 |    14061 |   360475      0 |      140 |        0
1496.28/1496.72	c 1489s |      10 |   133731 |    14161 |   360475      0 |      140 |        0
1510.58/1511.02	c 1503s |      10 |   134155 |    14261 |   360475      0 |      140 |        0
1523.47/1523.94	c 1516s |      10 |   135617 |    14361 |   360475      0 |      140 |        0
1531.27/1531.76	c 1524s |      10 |   136281 |    14461 |   360475      0 |      140 |        0
1539.08/1539.54	c 1532s |      10 |   136785 |    14561 |   360475      0 |      140 |        0
1548.08/1548.55	c 1541s |      10 |   137170 |    14661 |   360475      0 |      140 |        0
1557.78/1558.26	c 1551s |      10 |   137613 |    14761 |   360475      0 |      140 |        0
1569.98/1570.42	c 1563s |      10 |   139592 |    14861 |   360475      0 |      140 |        0
1580.07/1580.57	c 1573s |      10 |   140342 |    14961 |   360475      0 |      140 |        0
1591.07/1591.52	c 1584s |      10 |   140777 |    15061 |   360475      0 |      140 |        0
1600.97/1601.41	c 1594s |      10 |   142129 |    15161 |   360475      0 |      140 |        0
1608.37/1608.83	c 1601s |      10 |   142648 |    15261 |   360475      0 |      140 |        0
1618.87/1619.35	c 1612s |      10 |   142841 |    15361 |   360475      0 |      140 |        0
1628.27/1628.78	c 1621s |      10 |   143751 |    15461 |   360475      0 |      140 |        0
1637.77/1638.23	c 1630s |      10 |   144329 |    15561 |   360475      0 |      140 |        0
1646.37/1646.82	c 1639s |      10 |   145050 |    15661 |   360475      0 |      140 |        0
1657.96/1658.42	c 1651s |      10 |   145474 |    15761 |   360475      0 |      140 |        0
1667.17/1667.61	c 1660s |      10 |   146584 |    15861 |   360475      0 |      140 |        0
1675.76/1676.24	c 1668s |      10 |   146942 |    15961 |   360475      0 |      140 |        0
1687.26/1687.70	c 1680s |      10 |   147513 |    16061 |   360475      0 |      140 |        0
1695.66/1696.11	c 1688s |      10 |   148191 |    16161 |   360475      0 |      140 |        0
1706.35/1706.80	c 1699s |      10 |   149104 |    16261 |   360475      0 |      140 |        0
1715.05/1715.57	c 1708s |      10 |   149552 |    16361 |   360475      0 |      140 |        0
1727.45/1727.95	c 1720s |      10 |   150053 |    16461 |   360475      0 |      140 |        0
1739.76/1740.24	c 1732s |      10 |   151084 |    16561 |   360475      0 |      140 |        0
1748.95/1749.48	c 1742s |      10 |   151668 |    16661 |   360475      0 |      140 |        0
1760.25/1760.73	c 1753s |      10 |   152065 |    16761 |   360475      0 |      140 |        0
1769.55/1770.04	c 1762s |      10 |   152653 |    16861 |   360475      0 |      140 |        0
1779.54/1780.01	c 1772s |      10 |   153313 |    16961 |   360475      0 |      140 |        0
1790.24/1790.75	c 1783s |      10 |   154213 |    17061 |   396523      0 |      140 |        0
1799.44/1799.92	c 1792s |      11 |   154571 |    17144 |   396523      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-4079384-1465324568/watcher-4079384-1465324568 -o /tmp/evaluation-result-4079384-1465324568/solver-4079384-1465324568 -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-4079384-1465324568.opb 

pid=20593
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.32 2.29 2.21 3/179 20596
/proc/meminfo: memFree=27993020/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=576956 CPUtime=0 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 2129 0 0 0 0 0 0 0 20 0 4 0 114389683 590802944 1978 33554432000 4194304 16246674 140733539817920 140733539817344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20596/statm: 145007 1986 441 2943 0 141901 0
[pid=20596/tid=20597] ppid=20593 vsize=594364 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 608628736 2044 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=598460 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 612823040 2060 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=602556 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114389683 617017344 2077 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.32 2.29 2.21 3/179 20596
/proc/meminfo: memFree=27993020/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 28671 0 0 0 5 4 0 0 20 0 4 0 114389683 1333334016 28458 33554432000 4194304 16246674 140733539817920 140733539817232 13780501 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20596/statm: 325521 28473 799 2943 0 322415 0
[pid=20596/tid=20597] ppid=20593 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1333334016 28484 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1333334016 28495 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1333334016 28506 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200464 s]
/proc/loadavg: 2.32 2.29 2.21 3/179 20596
/proc/meminfo: memFree=27993020/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 43873 0 0 0 12 7 0 0 20 0 4 0 114389683 1341722624 44172 33554432000 4194304 16246674 140733539817920 140733539817232 7374276 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20596/statm: 327569 44187 801 2943 0 324463 0
[pid=20596/tid=20597] ppid=20593 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1341722624 44194 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1341722624 44194 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1341722624 44205 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300435 s]
/proc/loadavg: 2.32 2.29 2.21 3/179 20596
/proc/meminfo: memFree=27993020/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 58216 0 0 0 20 9 0 0 20 0 4 0 114389683 1344868352 58514 33554432000 4194304 16246674 140733539817920 140733539817232 4206864 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20596/statm: 328337 58514 801 2943 0 325231 0
[pid=20596/tid=20597] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 58514 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 58514 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 58514 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700415 s]
/proc/loadavg: 2.32 2.29 2.21 3/179 20596
/proc/meminfo: memFree=27993020/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 63655 0 0 0 58 10 0 0 20 0 4 0 114389683 1344868352 63953 33554432000 4194304 16246674 140733539817920 140733539815808 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 328337 63953 802 2943 0 325231 0
[pid=20596/tid=20597] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 63953 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 63953 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 63953 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.32 2.29 2.21 3/183 20600
/proc/meminfo: memFree=27644088/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 87270 0 0 0 134 14 0 0 20 0 4 0 114389683 1344868352 87568 33554432000 4194304 16246674 140733539817920 140733539817016 8058226 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 328337 87568 802 2943 0 325231 0
[pid=20596/tid=20597] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 87568 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 87568 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1344868352 87568 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.29 2.29 2.21 3/183 20600
/proc/meminfo: memFree=27494160/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=3.08 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 178173 0 0 0 280 28 0 0 20 0 4 0 114389683 1399394304 184092 33554432000 4194304 16246674 140733539817920 140733539799808 6155670 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 184100 843 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 184106 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 184111 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 184116 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1366596

[startup+6.3004 s]
/proc/loadavg: 2.29 2.29 2.21 3/183 20600
/proc/meminfo: memFree=26863500/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=6.29 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 276662 0 0 0 585 44 0 0 20 0 4 0 114389683 1399394304 282581 33554432000 4194304 16246674 140733539817920 140733539799808 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282581 846 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282581 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282581 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282581 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.33 2.29 2.21 3/183 20600
/proc/meminfo: memFree=26863432/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=12.69 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 276708 0 0 0 1225 44 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 140733539799808 5601643 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282627 892 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.28 2.28 2.21 4/183 20600
/proc/meminfo: memFree=26863428/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=25.48 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 276708 0 0 0 2504 44 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 140733539799808 5601643 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282627 892 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1366596

[startup+51.1005 s]
/proc/loadavg: 2.32 2.29 2.21 3/183 20601
/proc/meminfo: memFree=26863452/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=51.08 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 276708 0 0 0 5064 44 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 140733539799808 13820947 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282627 892 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1366596

[startup+102.3 s]
/proc/loadavg: 2.34 2.31 2.22 3/183 20602
/proc/meminfo: memFree=26863136/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=102.28 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 276708 0 0 0 10184 44 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 140733539799808 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282627 892 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282627 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1366596


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

/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1366596

[startup+1362.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 20682
/proc/meminfo: memFree=26859028/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1361.92 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 276977 0 0 0 136148 44 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 6022967 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1366596

[startup+1422.3 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 20683
/proc/meminfo: memFree=26858844/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1421.91 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277005 0 0 0 142147 44 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 6837238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1366596

[startup+1482.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/184 20687
/proc/meminfo: memFree=26858888/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1481.88 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277025 0 0 0 148144 44 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1366596

[startup+1542.31 s]
/proc/loadavg: 2.50 2.27 2.20 3/184 20711
/proc/meminfo: memFree=26858784/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1541.89 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277025 0 0 0 154144 45 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1366596

[startup+1602.3 s]
/proc/loadavg: 2.36 2.27 2.20 4/182 20713
/proc/meminfo: memFree=26859460/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1601.87 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277025 0 0 0 160142 45 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1366596

[startup+1662.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 20715
/proc/meminfo: memFree=26858632/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1661.86 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277025 0 0 0 166141 45 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1366596

[startup+1722.3 s]
/proc/loadavg: 2.20 2.23 2.19 4/183 20716
/proc/meminfo: memFree=26858548/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1721.85 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277025 0 0 0 172140 45 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 5659568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1366596

[startup+1782.3 s]
/proc/loadavg: 2.17 2.21 2.18 4/183 20717
/proc/meminfo: memFree=26857572/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1781.84 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277025 0 0 0 178139 45 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539817016 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1366596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 20717
/proc/meminfo: memFree=26857556/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1800.04 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277025 0 0 0 179959 45 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 5600331 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 20596 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 20717
/proc/meminfo: memFree=26857556/32872528 swapFree=16204/1518544
[pid=20596] ppid=20593 vsize=1366596 CPUtime=1800.04 cores=0,2,4,6
/proc/20596/stat : 20596 (toysat) R 20593 20596 19387 0 -1 4202496 277025 0 0 0 179959 45 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 140733539799808 5600331 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20596/statm: 341649 282631 895 2943 0 338543 0
[pid=20596/tid=20597] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20597/stat : 20597 (toysat) S 20593 20596 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711310966000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20596/tid=20598] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20598/stat : 20598 (toysat) S 20593 20596 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711300476144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20596/tid=20599] ppid=20593 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20596/task/20599/stat : 20599 (toysat) S 20593 20596 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114389683 1399394304 282631 33554432000 4194304 16246674 140733539817920 139711290002608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1366596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.6
CPU system time (s): 0.451931
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1366596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.451931
maximum resident set size= 1130524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277025
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= 336
involuntary context switches= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99909 second user time and 7.2009 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 20:36:08
IDJOB=4079384
IDBENCH=92676
IDSOLVER=2542
FILE ID=node129/4079384-1465324568
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_6_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-4079384-1465324568/watcher-4079384-1465324568 -o /tmp/evaluation-result-4079384-1465324568/solver-4079384-1465324568 -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-4079384-1465324568.opb

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

MD5SUM BENCH= c368128bd234e052a40539eff90aaf64
RANDOM SEED=515071647

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:        27993680 kB
Buffers:           29340 kB
Cached:           239912 kB
SwapCached:         1620 kB
Active:          2500564 kB
Inactive:         117064 kB
Active(anon):    2346368 kB
Inactive(anon):     4300 kB
Active(file):     154196 kB
Inactive(file):   112764 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098820 kB
Dirty:             28492 kB
Writeback:             0 kB
AnonPages:       3868932 kB
Mapped:            11852 kB
Shmem:                 0 kB
Slab:             604920 kB
SReclaimable:      48824 kB
SUnreclaim:       556096 kB
KernelStack:        1512 kB
PageTables:        11572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4009496 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= 71656 MiB
End job on node129 at 2016-06-07 21:06:09