Trace number 4099865

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
MD5SUM1c8cf561f224f1f2f953c533d372407b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 77
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 658002
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 658002
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T02:01: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-4099865-1466208072.opb"]
0.00/0.01	c use --random-gen="664114883 589466817 3395911489 131012786 3162087223 2616597302 4138327607 2606993055 989804764 3484459077 3058742169 1953966784 1242311392 854793946 692218785 2371705797 3856676090 148734392 3388873801 3475178374 3607524535 3535249151 2952427917 347101629 3320164070 3918987771 3712586409 3673431253 3199513125 1195190040 3417688672 1494582759 1169865702 3644299956 3442697289 1604458723 89217655 2778002909 1915151948 1370937828 1301722659 3382951394 3994444989 3199741999 1420374778 1273987533 159853748 3074306566 2972344766 995280988 3239099752 26709978 2005774254 3393493975 1738729619 3843986331 1280658455 3521229223 1609792751 2487687858 1235845439 2580060905 3451484741 821070816 4117469588 2371432511 2817539438 1046027341 1694366517 3643208673 2759094366 850258736 562820099 3791847746 3242212734 2763451871 3370601890 170043975 538929404 660365935 2365027098 2247562692 118242439 137257756 1099966162 2004478833 2546241902 2543192948 2999103127 3086553396 2431035066 4146592973 3244921192 932279286 4256152168 4049741131 512399954 4042543084 1097315719 2671545809 2697246266 1749896805 2433795012 522550781 1639639189 1739621171 1654508091 1167815903 4096905343 973949962 2460908398 832284776 2451508927 1749059198 1693109146 3521655473 3490528364 1859329820 4268973394 782438876 1695381931 4096701257 1709232193 537203289 3444605280 3392028238 3723123583 726194479 3633693632 1931117822 2035865077 193227188 442793142 2627645088 3561691570 51258709 2279980257 2538906719 1920696959 3726135231 1360231741 2584366295 2883464532 1162091496 2413113260 4233405178 1771809695 1952154017 1460975671 1309905073 1660701017 557962570 1400055562 4064408828 2100800015 2260886422 253731769 2898923754 2505632374 1354190596 3022097624 330657064 2885335302 529879631 2215909181 173293132 3409149799 2996359529 1728192227 2083978568 4212901727 3369181365 1246591961 3017940470 1473323206 2992553313 3915606537 1004888604 765881292 336603415 50472126 2335421723 1499865317 358386962 3020618418 3970430393 1723295504 3936688172 4160353377 3082882663 248887412 2153785288 4014630739 169330883 1387111248 668308138 154490345 188222675 3159805691 3428537514 380476650 577648674 2382938769 128575830 1229945959 1384496232 3154311097 1863105935 44131041 505564658 1295189699 804685958 2408934452 1868919583 3579444409 3172236867 1419793731 4184367938 815131797 914643663 2906232955 3463610589 3754922697 470096907 3178119581 2525618393 136438583 4123927115 891236027 2910314453 205675350 1036749919 1797437897 2931777905 953765943 2720837305 2335153495 2964965107 3773030211 4040233307 2076928879 1799169957 1839820442 1811624790 2270313102 1582308448 3423232316 2161450497 3282624203 1247306784 2506401517 2740052769 4092181016 3857531420 3182768078 2968253715 255 362436" option to reproduce the execution
0.99/1.04	c #vars 155000
0.99/1.04	c #constraints 5150
3.30/3.37	c BCD2: Hardening is enabled.
3.30/3.37	c BCD2: BiasedSearch is enabled.
3.30/3.37	c Solving starts ...
3.30/3.37	c ============================[ Search Statistics ]============================
3.30/3.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.30/3.37	c       |         |          |          |    Limit     GC | Var      | Constra 
3.30/3.37	c =============================================================================
3.39/3.49	c  0.0s |       0 |        0 |        0 |    53433      0 |    60981 |        0
11.09/11.13	c  7.6s |       0 |     5489 |      100 |    53433      0 |    60981 |        0
11.18/11.21	c  7.7s |       1 |     5489 |      100 |    53433      0 |    60981 |        0
11.98/12.06	c  8.6s |       2 |    10512 |      250 |    58777      0 |    60981 |        0
13.38/13.40	c  9.9s |       3 |    11712 |      475 |    64655      0 |    60981 |        0
15.50/15.53	c 12.0s |       3 |    12987 |      775 |    71121      0 |    60981 |        0
15.79/15.81	c 12.3s |       4 |    13025 |      813 |    71121      0 |    60981 |        0
17.89/17.92	c 14.4s |       4 |    14422 |     1213 |    78234      0 |    60981 |        0
18.49/18.52	c 15.0s |       5 |    14534 |     1320 |    78234      0 |    60981 |        0
21.00/21.07	c 17.6s |       5 |    15916 |     1720 |    86058      0 |    60981 |        0
23.29/23.34	c 19.9s |       6 |    16285 |     2081 |    94664      0 |    60981 |        0
25.39/25.46	c 22.0s |       6 |    17567 |     2381 |    94664      0 |    60981 |        0
27.99/28.06	c 24.6s |       6 |    17983 |     2781 |    94664      0 |    60981 |        0
30.08/30.10	c 26.6s |       6 |    18280 |     3081 |    94664      0 |    60981 |        0
30.98/31.07	c 27.6s |       7 |    18429 |     3223 |   104131      0 |    60981 |        0
33.18/33.29	c 29.8s |       7 |    20680 |     3523 |   104131      0 |    60981 |        0
35.38/35.41	c 31.9s |       7 |    20991 |     3823 |   104131      0 |    60981 |        0
37.58/37.65	c 34.2s |       7 |    21297 |     4123 |   104131      0 |    60981 |        0
39.79/39.83	c 36.3s |       7 |    21602 |     4423 |   104131      0 |    60981 |        0
41.89/41.94	c 38.5s |       7 |    21905 |     4723 |   104131      0 |    60981 |        0
43.39/43.49	c 40.0s |       8 |    22123 |     4936 |   114545      0 |    60981 |        0
45.68/45.70	c 42.2s |       8 |    34063 |     5236 |   114545      0 |    60981 |        0
52.28/52.40	c 48.9s |       8 |    51342 |     5436 |   114545      0 |    60981 |        0
58.98/59.07	c 55.6s |       8 |    51438 |     5536 |   114545      0 |    60981 |        0
65.68/65.76	c 62.3s |       8 |    51536 |     5636 |   114545      0 |    60981 |        0
72.38/72.47	c 69.0s |       8 |    51643 |     5736 |   114545      0 |    60981 |        0
79.08/79.15	c 75.7s |       8 |    51741 |     5836 |   114545      0 |    60981 |        0
85.78/85.85	c 82.4s |       8 |    51840 |     5936 |   114545      0 |    60981 |        0
92.48/92.56	c 89.1s |       8 |    51940 |     6036 |   114545      0 |    60981 |        0
99.27/99.30	c 95.8s |       8 |    52043 |     6136 |   114545      0 |    60981 |        0
105.97/106.04	c  102s |       8 |    52140 |     6236 |   114545      0 |    60981 |        0
112.67/112.78	c  109s |       8 |    52241 |     6336 |   114545      0 |    60981 |        0
119.47/119.54	c  116s |       8 |    52338 |     6436 |   114545      0 |    60981 |        0
131.07/131.18	c  127s |       8 |    53238 |     6536 |   114545      0 |    60981 |        0
142.37/142.43	c  138s |       8 |    53476 |     6636 |   114545      0 |    60981 |        0
155.37/155.45	c  151s |       8 |    53724 |     6736 |   114545      0 |    60981 |        0
167.86/167.97	c  164s |       8 |    53961 |     6836 |   114545      0 |    60981 |        0
184.26/184.39	c  180s |       8 |    54121 |     6936 |   114545      0 |    60981 |        0
199.56/199.61	c  196s |       8 |    54371 |     7036 |   114545      0 |    60981 |        0
210.26/210.36	c  206s |       8 |    54835 |     7136 |   114545      0 |    60981 |        0
221.25/221.37	c  217s |       8 |    55113 |     7236 |   114545      0 |    60981 |        0
236.26/236.35	c  232s |       8 |    55734 |     7336 |   114545      0 |    60981 |        0
255.75/255.88	c  252s |       8 |    55887 |     7436 |   114545      0 |    60981 |        0
267.54/267.63	c  264s |       9 |    56078 |     7506 |   126000      0 |    60981 |        0
269.95/270.05	c  266s |       9 |    58316 |     7806 |   126000      0 |    60981 |        0
272.34/272.47	c  268s |       9 |    58723 |     8206 |   126000      0 |    60981 |        0
274.84/274.93	c  271s |       9 |    59121 |     8606 |   126000      0 |    60981 |        0
277.34/277.45	c  273s |       9 |    59527 |     9006 |   126000      0 |    60981 |        0
279.84/279.97	c  276s |       9 |    59933 |     9406 |   126000      0 |    60981 |        0
282.34/282.48	c  278s |       9 |    60340 |     9806 |   126000      0 |    60981 |        0
284.95/285.01	c  281s |       9 |    60739 |    10206 |   126000      0 |    60981 |        0
287.25/287.33	c  283s |       9 |    61154 |    10606 |   126000      0 |    60981 |        0
289.85/289.92	c  286s |       9 |    61551 |    11006 |   126000      0 |    60981 |        0
291.56/291.65	c  288s |      10 |    61920 |    11361 |   138600      0 |    60981 |        0
293.84/293.93	c  290s |      10 |    63217 |    11661 |   138600      0 |    60981 |        0
296.04/296.16	c  292s |      10 |    63628 |    12061 |   138600      0 |    60981 |        0
298.55/298.60	c  295s |      10 |    64018 |    12461 |   138600      0 |    60981 |        0
301.05/301.17	c  297s |      10 |    64427 |    12861 |   138600      0 |    60981 |        0
303.35/303.46	c  299s |      10 |    64823 |    13261 |   138600      0 |    60981 |        0
305.85/305.97	c  302s |      10 |    65220 |    13661 |   138600      0 |    60981 |        0
307.95/308.02	c  304s |      10 |    65521 |    13961 |   138600      0 |    60981 |        0
310.04/310.10	c  306s |      10 |    65931 |    14361 |   138600      0 |    60981 |        0
312.24/312.30	c  308s |      10 |    66441 |    14861 |   138600      0 |    60981 |        0
314.34/314.40	c  310s |      10 |    66941 |    15361 |   138600      0 |    60981 |        0
316.44/316.53	c  313s |      10 |    67330 |    15761 |   138600      0 |    60981 |        0
318.95/319.08	c  315s |      10 |    67735 |    16161 |   138600      0 |    60981 |        0
321.04/321.14	c  317s |      10 |    68048 |    16461 |   138600      0 |    60981 |        0
324.34/324.45	c  320s |      10 |    70884 |    16761 |   138600      0 |    60981 |        0
326.54/326.65	c  323s |      10 |    70989 |    16861 |   138600      0 |    60981 |        0
328.74/328.88	c  325s |      10 |    71089 |    16961 |   138600      0 |    60981 |        0
331.05/331.12	c  327s |      10 |    71193 |    17061 |   152460      0 |    60981 |        0
332.84/332.99	c  329s |      11 |    71282 |    17144 |   152460      0 |    60981 |        0
340.44/340.51	c  337s |      11 |   102033 |    17244 |   152460      0 |    60981 |        0
349.44/349.54	c  346s |      11 |   102238 |    17344 |   152460      0 |    60981 |        0
355.14/355.22	c  351s |      11 |   102333 |    17444 |   152460      0 |    60981 |        0
364.23/364.38	c  360s |      11 |   117736 |    17544 |   152460      0 |    60981 |        0
375.04/375.20	c  371s |      11 |   117927 |    17644 |   152460      0 |    60981 |        0
386.33/386.44	c  382s |      11 |   118074 |    17744 |   152460      0 |    60981 |        0
402.93/403.02	c  399s |      11 |   118255 |    17844 |   152460      0 |    60981 |        0
419.62/419.79	c  416s |      11 |   118355 |    17944 |   152460      0 |    60981 |        0
435.42/435.52	c  432s |      11 |   118674 |    18044 |   152460      0 |    60981 |        0
451.72/451.86	c  448s |      11 |   119062 |    18144 |   152460      0 |    60981 |        0
471.92/472.05	c  468s |      11 |   119309 |    18244 |   152460      0 |    60981 |        0
499.02/499.18	c  495s |      11 |   119561 |    18344 |   152460      0 |    60981 |        0
530.71/530.89	c  527s |      11 |   119783 |    18444 |   152460      0 |    60981 |        0
561.90/562.09	c  558s |      11 |   119939 |    18544 |   152460      0 |    60981 |        0
581.60/581.74	c  578s |      11 |   120174 |    18644 |   152460      0 |    60981 |        0
608.90/609.07	c  605s |      11 |   120418 |    18744 |   152460      0 |    60981 |        0
640.59/640.71	c  637s |      11 |   120567 |    18844 |   152460      0 |    60981 |        0
677.29/677.46	c  673s |      11 |   120780 |    18944 |   152460      0 |    60981 |        0
706.88/707.01	c  703s |      11 |   121163 |    19044 |   152460      0 |    60981 |        0
754.98/755.10	c  751s |      11 |   121521 |    19144 |   152460      0 |    60981 |        0
808.57/808.71	c  805s |      11 |   121662 |    19244 |   152460      0 |    60981 |        0
851.56/851.72	c  848s |      11 |   121954 |    19344 |   152460      0 |    60981 |        0
889.05/889.26	c  885s |      11 |   122193 |    19444 |   152460      0 |    60981 |        0
925.84/926.05	c  922s |      11 |   122373 |    19544 |   152460      0 |    60981 |        0
981.94/982.12	c  978s |      11 |   122587 |    19644 |   152460      0 |    60981 |        0
1038.82/1039.01	c 1035s |      11 |   122739 |    19744 |   152460      0 |    60981 |        0
1102.70/1102.94	c 1099s |      11 |   122870 |    19844 |   152460      0 |    60981 |        0
1169.19/1169.41	c 1165s |      11 |   122992 |    19944 |   152460      0 |    60981 |        0
1223.27/1223.52	c 1220s |      11 |   123155 |    20044 |   152460      0 |    60981 |        0
1272.06/1272.35	c 1268s |      11 |   123404 |    20144 |   152460      0 |    60981 |        0
1303.26/1303.55	c 1300s |      11 |   124804 |    20244 |   152460      0 |    60981 |        0
1339.65/1339.94	c 1336s |      11 |   124972 |    20344 |   152460      0 |    60981 |        0
1367.44/1367.74	c 1364s |      11 |   125167 |    20444 |   152460      0 |    60981 |        0
1400.23/1400.52	c 1397s |      11 |   125318 |    20544 |   152460      0 |    60981 |        0
1435.63/1435.95	c 1432s |      11 |   125569 |    20644 |   152460      0 |    60981 |        0
1470.32/1470.69	c 1467s |      11 |   125844 |    20744 |   152460      0 |    60981 |        0
1505.73/1506.09	c 1502s |      11 |   126359 |    20844 |   152460      0 |    60981 |        0
1557.10/1557.46	c 1553s |      11 |   126844 |    20944 |   152460      0 |    60981 |        0
1600.90/1601.26	c 1597s |      11 |   127223 |    21044 |   152460      0 |    60981 |        0
1636.99/1637.31	c 1633s |      11 |   127735 |    21144 |   152460      0 |    60981 |        0
1690.08/1690.48	c 1686s |      11 |   127990 |    21244 |   152460      0 |    60981 |        0
1727.58/1727.97	c 1724s |      11 |   128328 |    21344 |   152460      0 |    60981 |        0
1757.18/1757.57	c 1754s |      11 |   128565 |    21444 |   152460      0 |    60981 |        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-4099865-1466208072/watcher-4099865-1466208072 -o /tmp/evaluation-result-4099865-1466208072/solver-4099865-1466208072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099865-1466208072.opb 

pid=14083
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.31 2.21 1.95 3/180 14086
/proc/meminfo: memFree=29484012/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 2758 0 0 0 0 0 0 0 20 0 4 0 22854004 755429376 2608 33554432000 4194304 16246674 140734545278768 140734545278192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 185199 2618 441 2943 0 182093 0
[pid=14086/tid=14087] ppid=14083 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 773255168 2676 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 778498048 2694 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22854004 782692352 2710 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.31 2.21 1.95 3/180 14086
/proc/meminfo: memFree=29484012/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 27981 0 0 0 6 3 0 0 20 0 4 0 22854004 1332285440 27769 33554432000 4194304 16246674 140734545278768 140734545278080 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 325265 27785 798 2943 0 322159 0
[pid=14086/tid=14087] ppid=14083 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1332285440 27796 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1332285440 27808 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1332285440 27820 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200556 s]
/proc/loadavg: 2.31 2.21 1.95 3/180 14086
/proc/meminfo: memFree=29484012/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 45641 0 0 0 13 6 0 0 20 0 4 0 22854004 1345916928 45940 33554432000 4194304 16246674 140734545278768 140734545278080 14795900 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 328593 45940 798 2943 0 325487 0
[pid=14086/tid=14087] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 45940 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 45940 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 45940 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300506 s]
/proc/loadavg: 2.31 2.21 1.95 3/180 14086
/proc/meminfo: memFree=29484012/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 52860 0 0 0 22 7 0 0 20 0 4 0 22854004 1345916928 53159 33554432000 4194304 16246674 140734545278768 140734545278080 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 328593 53159 799 2943 0 325487 0
[pid=14086/tid=14087] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 53159 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 53159 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 53159 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700415 s]
/proc/loadavg: 2.31 2.21 1.95 3/180 14086
/proc/meminfo: memFree=29484012/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 70522 0 0 0 59 10 0 0 20 0 4 0 22854004 1345916928 70821 33554432000 4194304 16246674 140734545278768 140734545276672 13893024 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 328593 70821 801 2943 0 325487 0
[pid=14086/tid=14087] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 70821 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 70821 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1345916928 70821 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.29 2.21 1.95 3/184 14090
/proc/meminfo: memFree=29193284/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 89194 0 0 0 137 12 0 0 20 0 4 0 22854004 1414074368 92559 33554432000 4194304 16246674 140734545278768 140734545278080 4220527 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 345233 92559 830 2943 0 342127 0
[pid=14086/tid=14087] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 92559 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 92559 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 92559 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1380932

[startup+3.10043 s]
/proc/loadavg: 2.29 2.21 1.95 3/184 14090
/proc/meminfo: memFree=29096932/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 94390 0 0 0 296 13 0 0 20 0 4 0 22854004 1414074368 97756 33554432000 4194304 16246674 140734545278768 140734545277944 5740329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 345233 97768 846 2943 0 342127 0
[pid=14086/tid=14087] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 97773 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 97780 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 97785 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30037 s]
/proc/loadavg: 2.29 2.21 1.95 3/184 14090
/proc/meminfo: memFree=28813716/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1380932 CPUtime=6.28 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 164259 0 0 0 606 22 0 0 20 0 4 0 22854004 1414074368 167624 33554432000 4194304 16246674 140734545278768 140734545260672 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 345233 167624 898 2943 0 342127 0
[pid=14086/tid=14087] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 167624 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 167624 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 167624 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.32 2.22 1.95 3/184 14090
/proc/meminfo: memFree=28814760/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1380932 CPUtime=12.68 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 164259 0 0 0 1246 22 0 0 20 0 4 0 22854004 1414074368 167624 33554432000 4194304 16246674 140734545278768 140734545260672 13954476 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 345233 167624 898 2943 0 342127 0
[pid=14086/tid=14087] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 167624 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 167624 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 167624 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1380932

[startup+25.5005 s]
/proc/loadavg: 2.27 2.21 1.95 3/184 14090
/proc/meminfo: memFree=28783144/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1380932 CPUtime=25.49 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 172071 0 0 0 2525 24 0 0 20 0 4 0 22854004 1414074368 175436 33554432000 4194304 16246674 140734545278768 140734545277944 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 345233 175436 898 2943 0 342127 0
[pid=14086/tid=14087] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 175436 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 175436 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 175436 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1380932

[startup+51.1006 s]
/proc/loadavg: 2.24 2.21 1.96 3/183 14090
/proc/meminfo: memFree=28617444/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1380932 CPUtime=51.08 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 213466 0 0 0 5078 30 0 0 20 0 4 0 22854004 1414074368 216831 33554432000 4194304 16246674 140734545278768 140734545277944 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 345233 216831 898 2943 0 342127 0
[pid=14086/tid=14087] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 216831 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 216831 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 216831 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1380932

[startup+102.301 s]
/proc/loadavg: 2.40 2.25 1.98 3/183 14091
/proc/meminfo: memFree=28617444/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1380932 CPUtime=102.28 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 213466 0 0 0 10197 31 0 0 20 0 4 0 22854004 1414074368 216831 33554432000 4194304 16246674 140734545278768 140734545260672 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 345233 216831 898 2943 0 342127 0
[pid=14086/tid=14087] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 216831 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 216831 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1414074368 216831 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1380932


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

/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1441337344 293136 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1407556

[startup+1302.3 s]
/proc/loadavg: 2.18 2.21 2.16 3/183 14121
/proc/meminfo: memFree=28303188/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1413700 CPUtime=1302.05 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 291100 0 0 0 130152 53 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 140734545260672 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 353425 294662 901 2943 0 350319 0
[pid=14086/tid=14087] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1413700

[startup+1362.3 s]
/proc/loadavg: 2.27 2.23 2.17 4/183 14122
/proc/meminfo: memFree=28303164/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1413700 CPUtime=1362.04 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 291106 0 0 0 136151 53 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 140734545260672 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 353425 294662 901 2943 0 350319 0
[pid=14086/tid=14087] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1413700

[startup+1422.3 s]
/proc/loadavg: 2.26 2.23 2.17 4/183 14124
/proc/meminfo: memFree=28292784/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1413700 CPUtime=1422.04 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 291116 0 0 0 142150 54 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 140734545277944 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 353425 294662 901 2943 0 350319 0
[pid=14086/tid=14087] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294662 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1413700

[startup+1482.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 14125
/proc/meminfo: memFree=28292536/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1413700 CPUtime=1482.02 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 291126 0 0 0 148148 54 0 0 20 0 4 0 22854004 1447628800 294672 33554432000 4194304 16246674 140734545278768 140734545277944 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 353425 294672 901 2943 0 350319 0
[pid=14086/tid=14087] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294672 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294672 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1447628800 294672 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1413700

[startup+1542.31 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 14126
/proc/meminfo: memFree=28270832/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1435204 CPUtime=1542.01 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 296502 0 0 0 154146 55 0 0 20 0 4 0 22854004 1469648896 300048 33554432000 4194304 16246674 140734545278768 140734545260672 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 358801 300048 901 2943 0 355695 0
[pid=14086/tid=14087] ppid=14083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1469648896 300048 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1469648896 300048 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1469648896 300048 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1435204

[startup+1602.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 14127
/proc/meminfo: memFree=28270836/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1435204 CPUtime=1602 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 296502 0 0 0 160144 56 0 0 20 0 4 0 22854004 1469648896 300048 33554432000 4194304 16246674 140734545278768 140734545277944 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 358801 300048 901 2943 0 355695 0
[pid=14086/tid=14087] ppid=14083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1469648896 300048 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1469648896 300048 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1469648896 300048 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1435204

[startup+1662.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 14128
/proc/meminfo: memFree=28229548/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1477188 CPUtime=1661.99 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 306787 0 0 0 166142 57 0 0 20 0 4 0 22854004 1512640512 310333 33554432000 4194304 16246674 140734545278768 140734545260672 5711416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 369297 310333 901 2943 0 366191 0
[pid=14086/tid=14087] ppid=14083 vsize=1477188 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1512640512 310333 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1477188 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1512640512 310333 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1477188 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1512640512 310333 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1477188

[startup+1722.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 14178
/proc/meminfo: memFree=28187680/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1477188 CPUtime=1721.98 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 306787 0 0 0 172139 59 0 0 20 0 4 0 22854004 1512640512 310333 33554432000 4194304 16246674 140734545278768 140734545277944 5711644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 369297 310333 901 2943 0 366191 0
[pid=14086/tid=14087] ppid=14083 vsize=1477188 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1512640512 310333 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1477188 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1512640512 310333 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1477188 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1512640512 310333 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1477188

[startup+1782.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 14182
/proc/meminfo: memFree=28163940/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1490500 CPUtime=1781.97 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 310114 0 0 0 178137 60 0 0 20 0 4 0 22854004 1526272000 313660 33554432000 4194304 16246674 140734545278768 140734545260672 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 372625 313660 901 2943 0 369519 0
[pid=14086/tid=14087] ppid=14083 vsize=1490500 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1526272000 313660 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1490500 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1526272000 313660 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1490500 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1526272000 313660 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1490500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 14183
/proc/meminfo: memFree=28163824/32872528 swapFree=1286400/1433568
[pid=14086] ppid=14083 vsize=1490500 CPUtime=1800.07 cores=1,3,5,7
/proc/14086/stat : 14086 (toysat) R 14083 14086 12983 0 -1 4202496 310114 0 0 0 179947 60 0 0 20 0 4 0 22854004 1526272000 313660 33554432000 4194304 16246674 140734545278768 140734545260672 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14086/statm: 372625 313660 901 2943 0 369519 0
[pid=14086/tid=14087] ppid=14083 vsize=1490500 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14087/stat : 14087 (toysat) S 14083 14086 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22854004 1526272000 313660 33554432000 4194304 16246674 140734545278768 139705531215088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14086/tid=14088] ppid=14083 vsize=1490500 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14088/stat : 14088 (toysat) S 14083 14086 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22854004 1526272000 313660 33554432000 4194304 16246674 140734545278768 139705520725232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14086/tid=14089] ppid=14083 vsize=1490500 CPUtime=0 cores=1,3,5,7
/proc/14086/task/14089/stat : 14089 (toysat) S 14083 14086 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22854004 1526272000 313660 33554432000 4194304 16246674 140734545278768 139705510251696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1490500

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 14086 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.08
CPU user time (s): 1799.48
CPU system time (s): 0.606907
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 1490500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.606907
maximum resident set size= 1254640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310114
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= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7201 second user time and 16.3125 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 02:01:12
IDJOB=4099865
IDBENCH=1544
IDSOLVER=2542
FILE ID=node130/4099865-1466208072
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 1c8cf561f224f1f2f953c533d372407b
RANDOM SEED=1481908649

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29484532 kB
Buffers:           39588 kB
Cached:           114760 kB
SwapCached:         1824 kB
Active:          1179024 kB
Inactive:          67100 kB
Active(anon):    1092540 kB
Inactive(anon):     1544 kB
Active(file):      86484 kB
Inactive(file):    65556 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:             22924 kB
Writeback:             0 kB
AnonPages:       2524868 kB
Mapped:            10676 kB
Shmem:                 0 kB
Slab:             572396 kB
SReclaimable:      15984 kB
SUnreclaim:       556412 kB
KernelStack:        1488 kB
PageTables:         9060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2668768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71704 MiB
End job on node130 at 2016-06-18 02:31:13