Trace number 4079353

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.31 1800.64

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
MD5SUMb9981fecb2de7312ec4d4b314bc882c2
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19879383
Best CPU time to get the best result obtained on this benchmark1800.73
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 172808693
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 207142313218
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 172808693
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 207142313218
Number of bits of the biggest sum of numbers38
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-07T18:50:58+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-4079353-1465318255.opb"]
0.00/0.01	c use --random-gen="1346858822 2991013014 4016362879 3934667173 785343255 563549189 1118491360 3749802558 1911574681 1069166279 1211661671 4175409753 531017285 538066340 1280365108 3014337897 598328055 3727811795 2389450821 590733083 2524639794 2414759455 2734679691 2051499234 4114718698 3327467034 3394679878 1425745253 806338058 2258771647 2637006281 2683352352 4070975585 646623037 3044914730 2682636985 2509519839 2350155744 1130792142 946219199 1716368753 2486996058 3997090051 1225182872 1878566880 953614911 72886627 2192993757 1852732165 4086310435 1775859699 427915403 1533386281 1770318521 4158624834 1034077000 2609928089 2076735317 734577598 4247844419 3245184601 102336465 478462994 2021377711 445867229 1659536207 2767299896 3664335350 1610951829 201995066 2893679664 2638143115 3317735339 4289443739 3906663359 1944763872 2561481186 425658210 3729476762 3097870879 652773318 2083315260 1353576044 1176303033 1423508298 3349850915 198559949 821038669 224905544 1919679991 3863482426 1922525411 4169687272 891068086 1676765188 4207902781 2286956937 1973316340 1032625791 683589844 682260801 1395315063 277044527 83496344 2771368032 3190655816 1375653991 398476127 2018355965 3427450224 3389832889 389189273 1856577442 560931986 1711843746 1868266688 198204360 803470577 2061602787 2953548002 4289070951 2824012137 3847933597 305113617 3129272263 1808016571 1760367943 505722384 3689062172 4102731070 1426742767 1080509841 1838944637 1232043770 1006610661 3265985810 1711976674 2473087778 1399875653 1025621449 2259222246 3178598803 2820904236 4235808711 371213934 2122011820 283028200 1939537439 3443004607 759936342 432696674 1926668798 4098543400 4134231688 652110638 3275351511 1240655765 3399277223 1064559123 4125391236 1432840883 4031707528 1674588001 611311561 1714865449 626250078 2809838999 365036020 1011249083 3323324677 2319773177 2157091201 4107991584 3029620068 3097512591 667465648 1532122706 113220006 2382085222 381369488 2898124344 2828574046 1166778757 476976740 4025074929 609577883 988069468 3108670091 1588103316 1156044487 3252829990 1898394497 791416522 2297577565 2266165718 3462846441 1357049088 967385985 247268153 843760842 910281207 3187142060 1415814214 3429695780 2110069760 1172694498 1470131504 4215025844 126104608 3590334766 2787986923 2167139094 2612764859 1527037149 2700301821 2189210889 26216234 2710365088 2625144074 949237231 1636102532 3178681249 680251334 503069301 979938751 1503510987 2092269236 3592211112 3421326966 1041807963 1927992600 2539101238 3102978767 2071398865 392568002 2877946240 1144025420 2088928660 3239079168 2933365237 1341020916 3165654072 2796730500 3844162483 3227407097 2056029580 2902036584 920366558 3648136704 807895963 1770595666 2364381990 3875774074 2832581779 808800591 1626092106 255 362436" option to reproduce the execution
16.68/16.71	c #vars 1000400
16.68/16.71	c #constraints 2000307
59.08/59.12	c BCD2: Hardening is enabled.
59.08/59.12	c BCD2: BiasedSearch is enabled.
59.08/59.12	c Solving starts ...
59.08/59.12	c ============================[ Search Statistics ]============================
59.08/59.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
59.08/59.12	c       |         |          |          |    Limit     GC | Var      | Constra 
59.08/59.12	c =============================================================================
59.08/59.14	c  0.0s |       0 |        0 |        0 |  1010136      0 |      300 |        0
213.66/213.72	c  154s |       0 |      165 |      100 |  1010136      0 |      300 |        0
214.36/214.50	c  155s |       1 |      165 |      100 |  1010136      0 |      300 |        0
227.76/227.83	c  168s |       1 |      581 |      200 |  1111150      0 |      300 |        0
233.66/233.71	c  174s |       2 |      637 |      250 |  1111150      0 |      300 |        0
364.24/364.32	c  305s |       2 |     1600 |      350 |  1222265      0 |      300 |        0
413.63/413.74	c  354s |       2 |     1704 |      450 |  1222265      0 |      300 |        0
417.93/418.03	c  358s |       3 |     1728 |      475 |  1222265      0 |      300 |        0
430.13/430.22	c  371s |       3 |     2977 |      575 |  1344492      0 |      300 |        0
437.52/437.68	c  378s |       3 |     3085 |      675 |  1344492      0 |      300 |        0
445.12/445.20	c  386s |       3 |     3186 |      775 |  1344492      0 |      300 |        0
449.22/449.35	c  390s |       4 |     3226 |      813 |  1344492      0 |      300 |        0
461.22/461.37	c  402s |       4 |     5165 |      913 |  1478942      0 |      300 |        0
468.71/468.84	c  409s |       4 |     5274 |     1013 |  1478942      0 |      300 |        0
480.22/480.34	c  421s |       4 |     5385 |     1113 |  1478942      0 |      300 |        0
486.61/486.78	c  427s |       4 |     5494 |     1213 |  1478942      0 |      300 |        0
494.41/494.56	c  435s |       4 |     5605 |     1313 |  1478942      0 |      300 |        0
496.21/496.37	c  437s |       5 |     5616 |     1320 |  1478942      0 |      300 |        0
520.50/520.64	c  461s |       5 |    10780 |     1420 |  1626837      0 |      300 |        0
561.09/561.24	c  502s |       5 |    11866 |     1520 |  1626837      0 |      300 |        0
585.20/585.37	c  526s |       5 |    12690 |     1620 |  1626837      0 |      300 |        0
598.98/599.15	c  540s |       5 |    12847 |     1720 |  1626837      0 |      300 |        0
614.90/615.09	c  555s |       5 |    13035 |     1820 |  1626837      0 |      300 |        0
621.88/622.04	c  562s |       5 |    13194 |     1920 |  1626837      0 |      300 |        0
624.48/624.67	c  565s |       6 |    13414 |     2081 |  1789521      0 |      300 |        0
634.69/634.81	c  575s |       6 |    14612 |     2181 |  1789521      0 |      300 |        0
640.68/640.85	c  581s |       6 |    14715 |     2281 |  1789521      0 |      300 |        0
646.88/647.06	c  587s |       6 |    14812 |     2381 |  1789521      0 |      300 |        0
653.18/653.39	c  594s |       6 |    14914 |     2481 |  1789521      0 |      300 |        0
659.89/660.03	c  600s |       6 |    15010 |     2581 |  1789521      0 |      300 |        0
666.68/666.80	c  607s |       6 |    15108 |     2681 |  1789521      0 |      300 |        0
673.18/673.31	c  614s |       6 |    15209 |     2781 |  1789521      0 |      300 |        0
679.48/679.65	c  620s |       6 |    15309 |     2881 |  1789521      0 |      300 |        0
689.87/690.05	c  630s |       6 |    15405 |     2981 |  1789521      0 |      300 |        0
696.07/696.24	c  637s |       6 |    15510 |     3081 |  1789521      0 |      300 |        0
702.27/702.48	c  643s |       6 |    15607 |     3181 |  1789521      0 |      300 |        0
706.37/706.54	c  647s |       7 |    15649 |     3223 |  1968474      0 |      300 |        0
714.87/715.06	c  655s |       7 |    17760 |     3323 |  1968474      0 |      300 |        0
718.87/719.08	c  659s |       7 |    17886 |     3423 |  1968474      0 |      300 |        0
723.47/723.65	c  664s |       7 |    17998 |     3523 |  1968474      0 |      300 |        0
728.37/728.55	c  669s |       7 |    18107 |     3623 |  1968474      0 |      300 |        0
733.37/733.53	c  674s |       7 |    18214 |     3723 |  1968474      0 |      300 |        0
736.97/737.17	c  678s |       7 |    18318 |     3823 |  1968474      0 |      300 |        0
741.17/741.38	c  682s |       7 |    18429 |     3923 |  1968474      0 |      300 |        0
745.97/746.14	c  687s |       7 |    18534 |     4023 |  1968474      0 |      300 |        0
750.86/751.03	c  691s |       7 |    18675 |     4123 |  1968474      0 |      300 |        0
756.17/756.35	c  697s |       7 |    18816 |     4223 |  1968474      0 |      300 |        0
760.36/760.52	c  701s |       7 |    18935 |     4323 |  1968474      0 |      300 |        0
767.97/768.11	c  708s |       7 |    19056 |     4423 |  1968474      0 |      300 |        0
771.46/771.62	c  712s |       7 |    19169 |     4523 |  1968474      0 |      300 |        0
774.76/774.99	c  715s |       7 |    19315 |     4623 |  1968474      0 |      300 |        0
778.46/778.67	c  719s |       7 |    19431 |     4723 |  1968474      0 |      300 |        0
782.86/783.04	c  723s |       7 |    19598 |     4823 |  1968474      0 |      300 |        0
787.86/788.02	c  728s |       7 |    19715 |     4923 |  2165322      0 |      300 |        0
790.06/790.21	c  731s |       8 |    19732 |     4936 |  2165322      0 |      300 |        0
799.16/799.32	c  740s |       8 |    22090 |     5036 |  2165322      0 |      300 |        0
803.35/803.58	c  744s |       8 |    22193 |     5136 |  2165322      0 |      300 |        0
806.85/807.08	c  747s |       8 |    22312 |     5236 |  2165322      0 |      300 |        0
811.56/811.74	c  752s |       8 |    22415 |     5336 |  2165322      0 |      300 |        0
815.95/816.20	c  757s |       8 |    22541 |     5436 |  2165322      0 |      300 |        0
819.95/820.10	c  760s |       8 |    22670 |     5536 |  2165322      0 |      300 |        0
828.35/828.56	c  769s |       8 |    22811 |     5636 |  2165322      0 |      300 |        0
833.15/833.34	c  774s |       8 |    22922 |     5736 |  2165322      0 |      300 |        0
837.75/837.98	c  778s |       8 |    23024 |     5836 |  2165322      0 |      300 |        0
841.35/841.58	c  782s |       8 |    23125 |     5936 |  2165322      0 |      300 |        0
845.35/845.56	c  786s |       8 |    23233 |     6036 |  2165322      0 |      300 |        0
848.75/848.96	c  789s |       8 |    23340 |     6136 |  2165322      0 |      300 |        0
851.95/852.18	c  793s |       8 |    23448 |     6236 |  2165322      0 |      300 |        0
855.75/855.95	c  796s |       8 |    23563 |     6336 |  2165322      0 |      300 |        0
860.15/860.35	c  801s |       8 |    23668 |     6436 |  2165322      0 |      300 |        0
864.14/864.37	c  805s |       8 |    23773 |     6536 |  2165322      0 |      300 |        0
868.85/869.02	c  809s |       8 |    23883 |     6636 |  2165322      0 |      300 |        0
872.84/873.08	c  813s |       8 |    23996 |     6736 |  2165322      0 |      300 |        0
881.74/881.90	c  822s |       8 |    24103 |     6836 |  2165322      0 |      300 |        0
886.74/886.94	c  827s |       8 |    24212 |     6936 |  2165322      0 |      300 |        0
892.14/892.33	c  833s |       8 |    24316 |     7036 |  2165322      0 |      300 |        0
897.24/897.43	c  838s |       8 |    24419 |     7136 |  2165322      0 |      300 |        0
901.63/901.86	c  842s |       8 |    24538 |     7236 |  2165322      0 |      300 |        0
906.73/906.98	c  847s |       8 |    24643 |     7336 |  2165322      0 |      300 |        0
911.24/911.46	c  852s |       8 |    24761 |     7436 |  2165322      0 |      300 |        0
915.73/915.97	c  856s |       9 |    24840 |     7506 |  2381855      0 |      300 |        0
923.13/923.34	c  864s |       9 |    29572 |     7606 |  2381855      0 |      300 |        0
932.22/932.43	c  873s |       9 |    29860 |     7806 |  2381855      0 |      300 |        0
935.63/935.83	c  876s |       9 |    30085 |     8006 |  2381855      0 |      300 |        0
938.73/938.92	c  879s |       9 |    30364 |     8206 |  2381855      0 |      300 |        0
941.82/942.05	c  882s |       9 |    30638 |     8406 |  2381855      0 |      300 |        0
945.93/946.11	c  886s |       9 |    31025 |     8706 |  2381855      0 |      300 |        0
948.72/948.94	c  889s |       9 |    31291 |     8906 |  2381855      0 |      300 |        0
951.02/951.25	c  892s |       9 |    31402 |     9006 |  2381855      0 |      300 |        0
953.93/954.12	c  894s |       9 |    31524 |     9106 |  2381855      0 |      300 |        0
956.93/957.18	c  898s |       9 |    31776 |     9306 |  2381855      0 |      300 |        0
959.72/959.90	c  900s |       9 |    31908 |     9406 |  2381855      0 |      300 |        0
961.92/962.13	c  903s |       9 |    32198 |     9606 |  2381855      0 |      300 |        0
964.02/964.22	c  905s |       9 |    32371 |     9706 |  2381855      0 |      300 |        0
966.62/966.83	c  907s |       9 |    32518 |     9806 |  2381855      0 |      300 |        0
969.92/970.18	c  911s |       9 |    32654 |     9906 |  2381855      0 |      300 |        0
971.92/972.19	c  913s |       9 |    32795 |    10006 |  2381855      0 |      300 |        0
976.73/976.99	c  917s |       9 |    33107 |    10206 |  2381855      0 |      300 |        0
979.92/980.19	c  921s |       9 |    33266 |    10306 |  2381855      0 |      300 |        0
983.52/983.70	c  924s |       9 |    33390 |    10406 |  2381855      0 |      300 |        0
990.02/990.20	c  931s |       9 |    33550 |    10506 |  2381855      0 |      300 |        0
992.92/993.15	c  934s |       9 |    33746 |    10606 |  2381855      0 |      300 |        0
995.11/995.37	c  936s |       9 |    33897 |    10706 |  2381855      0 |      300 |        0
998.11/998.35	c  939s |       9 |    34041 |    10806 |  2381855      0 |      300 |        0
1001.41/1001.60	c  942s |       9 |    34191 |    10906 |  2381855      0 |      300 |        0
1004.01/1004.24	c  945s |       9 |    34330 |    11006 |  2381855      0 |      300 |        0
1006.21/1006.49	c  947s |       9 |    34479 |    11106 |  2381855      0 |      300 |        0
1009.72/1009.99	c  950s |       9 |    34715 |    11306 |  2620041      0 |      300 |        0
1012.11/1012.30	c  953s |      10 |    34781 |    11361 |  2620041      0 |      300 |        0
1027.81/1028.07	c  968s |      10 |    35849 |    11461 |  2620041      0 |      300 |        0
1037.90/1038.18	c  979s |      10 |    35950 |    11561 |  2620041      0 |      300 |        0
1053.29/1053.58	c  994s |      10 |    36052 |    11661 |  2620041      0 |      300 |        0
1067.79/1068.03	c 1008s |      10 |    36162 |    11761 |  2620041      0 |      300 |        0
1076.59/1076.86	c 1017s |      10 |    36279 |    11861 |  2620041      0 |      300 |        0
1088.29/1088.50	c 1029s |      10 |    36383 |    11961 |  2620041      0 |      300 |        0
1096.99/1097.25	c 1038s |      10 |    36513 |    12061 |  2620041      0 |      300 |        0
1107.08/1107.33	c 1048s |      10 |    36620 |    12161 |  2620041      0 |      300 |        0
1116.68/1116.90	c 1057s |      10 |    36747 |    12261 |  2620041      0 |      300 |        0
1126.58/1126.86	c 1067s |      10 |    36853 |    12361 |  2620041      0 |      300 |        0
1140.88/1141.12	c 1082s |      10 |    36955 |    12461 |  2620041      0 |      300 |        0
1150.87/1151.13	c 1092s |      10 |    37063 |    12561 |  2620041      0 |      300 |        0
1162.87/1163.16	c 1104s |      10 |    37172 |    12661 |  2620041      0 |      300 |        0
1174.37/1174.67	c 1115s |      10 |    37280 |    12761 |  2620041      0 |      300 |        0
1185.17/1185.47	c 1126s |      10 |    37386 |    12861 |  2620041      0 |      300 |        0
1196.36/1196.62	c 1137s |      10 |    37495 |    12961 |  2620041      0 |      300 |        0
1206.37/1206.62	c 1147s |      10 |    37614 |    13061 |  2620041      0 |      300 |        0
1221.36/1221.61	c 1162s |      10 |    37730 |    13161 |  2620041      0 |      300 |        0
1230.96/1231.26	c 1172s |      10 |    37841 |    13261 |  2620041      0 |      300 |        0
1240.96/1241.20	c 1182s |      10 |    37965 |    13361 |  2620041      0 |      300 |        0
1252.85/1253.14	c 1194s |      10 |    38073 |    13461 |  2620041      0 |      300 |        0
1262.05/1262.35	c 1203s |      10 |    38194 |    13561 |  2620041      0 |      300 |        0
1272.16/1272.49	c 1213s |      10 |    38292 |    13661 |  2620041      0 |      300 |        0
1286.76/1287.09	c 1227s |      10 |    38401 |    13761 |  2620041      0 |      300 |        0
1297.25/1297.52	c 1238s |      10 |    38507 |    13861 |  2620041      0 |      300 |        0
1307.84/1308.10	c 1248s |      10 |    38605 |    13961 |  2620041      0 |      300 |        0
1318.65/1318.96	c 1259s |      10 |    38725 |    14061 |  2620041      0 |      300 |        0
1329.04/1329.30	c 1270s |      10 |    38842 |    14161 |  2620041      0 |      300 |        0
1339.74/1340.08	c 1280s |      10 |    38949 |    14261 |  2620041      0 |      300 |        0
1350.34/1350.68	c 1291s |      10 |    39081 |    14361 |  2620041      0 |      300 |        0
1364.14/1364.46	c 1305s |      10 |    39184 |    14461 |  2620041      0 |      300 |        0
1373.93/1374.22	c 1315s |      10 |    39287 |    14561 |  2620041      0 |      300 |        0
1385.13/1385.48	c 1326s |      10 |    39398 |    14661 |  2620041      0 |      300 |        0
1396.43/1396.78	c 1337s |      10 |    39506 |    14761 |  2620041      0 |      300 |        0
1405.93/1406.28	c 1347s |      10 |    39657 |    14861 |  2620041      0 |      300 |        0
1415.63/1415.94	c 1356s |      10 |    39809 |    14961 |  2620041      0 |      300 |        0
1430.22/1430.51	c 1371s |      10 |    39920 |    15061 |  2620041      0 |      300 |        0
1441.02/1441.37	c 1382s |      10 |    40026 |    15161 |  2620041      0 |      300 |        0
1451.31/1451.62	c 1392s |      10 |    40132 |    15261 |  2620041      0 |      300 |        0
1462.52/1462.83	c 1403s |      10 |    40230 |    15361 |  2620041      0 |      300 |        0
1474.22/1474.53	c 1415s |      10 |    40343 |    15461 |  2620041      0 |      300 |        0
1484.51/1484.81	c 1425s |      10 |    40455 |    15561 |  2620041      0 |      300 |        0
1495.21/1495.55	c 1436s |      10 |    40564 |    15661 |  2620041      0 |      300 |        0
1504.21/1504.51	c 1445s |      10 |    40691 |    15761 |  2620041      0 |      300 |        0
1518.92/1519.23	c 1460s |      10 |    40818 |    15861 |  2620041      0 |      300 |        0
1528.11/1528.45	c 1469s |      10 |    40962 |    15961 |  2620041      0 |      300 |        0
1538.31/1538.69	c 1479s |      10 |    41105 |    16061 |  2620041      0 |      300 |        0
1549.80/1550.13	c 1491s |      10 |    41217 |    16161 |  2620041      0 |      300 |        0
1560.10/1560.46	c 1501s |      10 |    41328 |    16261 |  2620041      0 |      300 |        0
1570.30/1570.67	c 1511s |      10 |    41438 |    16361 |  2620041      0 |      300 |        0
1580.70/1581.00	c 1521s |      10 |    41561 |    16461 |  2620041      0 |      300 |        0
1594.39/1594.71	c 1535s |      10 |    41665 |    16561 |  2620041      0 |      300 |        0
1606.19/1606.56	c 1547s |      10 |    41759 |    16661 |  2620041      0 |      300 |        0
1616.49/1616.81	c 1557s |      10 |    41887 |    16761 |  2620041      0 |      300 |        0
1626.39/1626.72	c 1567s |      10 |    41999 |    16861 |  2620041      0 |      300 |        0
1638.80/1639.18	c 1580s |      10 |    42100 |    16961 |  2620041      0 |      300 |        0
1649.19/1649.57	c 1590s |      10 |    42208 |    17061 |  2882046      0 |      300 |        0
1659.39/1659.77	c 1600s |      11 |    42291 |    17144 |  2882046      0 |      300 |        0
1670.79/1671.11	c 1611s |      11 |    45184 |    17244 |  2882046      0 |      300 |        0
1679.68/1680.05	c 1620s |      11 |    45281 |    17344 |  2882046      0 |      300 |        0
1683.89/1684.23	c 1625s |      11 |    45392 |    17444 |  2882046      0 |      300 |        0
1688.29/1688.62	c 1629s |      11 |    45497 |    17544 |  2882046      0 |      300 |        0
1692.48/1692.80	c 1633s |      11 |    45607 |    17644 |  2882046      0 |      300 |        0
1696.77/1697.13	c 1638s |      11 |    45711 |    17744 |  2882046      0 |      300 |        0
1700.88/1701.26	c 1642s |      11 |    45815 |    17844 |  2882046      0 |      300 |        0
1704.88/1705.24	c 1646s |      11 |    45913 |    17944 |  2882046      0 |      300 |        0
1708.98/1709.32	c 1650s |      11 |    46026 |    18044 |  2882046      0 |      300 |        0
1713.07/1713.43	c 1654s |      11 |    46126 |    18144 |  2882046      0 |      300 |        0
1716.98/1717.30	c 1658s |      11 |    46231 |    18244 |  2882046      0 |      300 |        0
1720.78/1721.14	c 1662s |      11 |    46343 |    18344 |  2882046      0 |      300 |        0
1724.77/1725.12	c 1665s |      11 |    46450 |    18444 |  2882046      0 |      300 |        0
1728.78/1729.20	c 1670s |      11 |    46556 |    18544 |  2882046      0 |      300 |        0
1733.38/1733.76	c 1674s |      11 |    46661 |    18644 |  2882046      0 |      300 |        0
1737.57/1738.00	c 1678s |      11 |    46768 |    18744 |  2882046      0 |      300 |        0
1741.87/1742.26	c 1683s |      11 |    46875 |    18844 |  2882046      0 |      300 |        0
1745.57/1745.92	c 1686s |      11 |    46980 |    18944 |  2882046      0 |      300 |        0
1749.47/1749.85	c 1690s |      11 |    47082 |    19044 |  2882046      0 |      300 |        0
1757.27/1757.63	c 1698s |      11 |    47190 |    19144 |  2882046      0 |      300 |        0
1761.57/1761.99	c 1702s |      11 |    47301 |    19244 |  2882046      0 |      300 |        0
1766.07/1766.42	c 1707s |      11 |    47398 |    19344 |  2882046      0 |      300 |        0
1770.17/1770.59	c 1711s |      11 |    47508 |    19444 |  2882046      0 |      300 |        0
1774.26/1774.61	c 1715s |      11 |    47609 |    19544 |  2882046      0 |      300 |        0
1778.47/1778.82	c 1719s |      11 |    47714 |    19644 |  2882046      0 |      300 |        0
1782.77/1783.11	c 1723s |      11 |    47824 |    19744 |  2882046      0 |      300 |        0
1786.77/1787.11	c 1727s |      11 |    47936 |    19844 |  2882046      0 |      300 |        0
1791.06/1791.49	c 1732s |      11 |    48048 |    19944 |  2882046      0 |      300 |        0
1795.26/1795.69	c 1736s |      11 |    48147 |    20044 |  2882046      0 |      300 |        0
1799.56/1799.92	c 1740s |      11 |    48252 |    20144 |  2882046      0 |      300 |        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-4079353-1465318255/watcher-4079353-1465318255 -o /tmp/evaluation-result-4079353-1465318255/solver-4079353-1465318255 -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-4079353-1465318255.opb 

pid=20035
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.18 2.19 2.18 3/173 20038
/proc/meminfo: memFree=29672952/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=699836 CPUtime=0 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 2606 0 0 0 0 0 0 0 20 0 4 0 113758613 716632064 2968 33554432000 4194304 16246674 140737161334304 140737161333728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 175727 2977 441 2943 0 172621 0
[pid=20038/tid=20039] ppid=20035 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 734457856 3036 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 739700736 3055 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113758613 743895040 3071 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.18 2.19 2.18 3/173 20038
/proc/meminfo: memFree=29672952/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 31259 0 0 0 6 3 0 0 20 0 4 0 113758613 1334382592 31559 33554432000 4194304 16246674 140737161334304 140737161333616 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 325777 31573 800 2943 0 322671 0
[pid=20038/tid=20039] ppid=20035 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 1334382592 31584 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 1334382592 31596 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 1334382592 31607 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200493 s]
/proc/loadavg: 2.18 2.19 2.18 3/173 20038
/proc/meminfo: memFree=29672952/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 48951 0 0 0 13 6 0 0 20 0 4 0 113758613 1342771200 49762 33554432000 4194304 16246674 140737161334304 140737161333616 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 327825 49779 801 2943 0 324719 0
[pid=20038/tid=20039] ppid=20035 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 1342771200 49790 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 1342771200 49802 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 1342771200 49813 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300474 s]
/proc/loadavg: 2.18 2.19 2.18 3/173 20038
/proc/meminfo: memFree=29672952/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 54241 0 0 0 22 7 0 0 20 0 4 0 113758613 1343819776 55051 33554432000 4194304 16246674 140737161334304 140737161333616 8055516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 328081 55051 801 2943 0 324975 0
[pid=20038/tid=20039] ppid=20035 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 1343819776 55051 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 1343819776 55051 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 1343819776 55051 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700364 s]
/proc/loadavg: 2.18 2.19 2.18 3/173 20038
/proc/meminfo: memFree=29672952/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 65257 0 0 0 60 9 0 0 20 0 4 0 113758613 1344868352 66067 33554432000 4194304 16246674 140737161334304 140737161317296 7371480 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 328337 66067 802 2943 0 325231 0
[pid=20038/tid=20039] ppid=20035 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 1344868352 66067 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 1344868352 66067 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 1344868352 66067 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.18 2.19 2.18 3/184 20056
/proc/meminfo: memFree=29137600/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 104596 0 0 0 135 14 0 0 20 0 4 0 113758613 1357451264 107961 33554432000 4194304 16246674 140737161334304 140737161317296 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 331409 107961 802 2943 0 328303 0
[pid=20038/tid=20039] ppid=20035 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 1357451264 107961 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 1357451264 107961 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 1357451264 107961 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10041 s]
/proc/loadavg: 2.25 2.21 2.18 3/184 20056
/proc/meminfo: memFree=28786912/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=1350212 CPUtime=3.09 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 138730 0 0 0 290 19 0 0 20 0 4 0 113758613 1382617088 147716 33554432000 4194304 16246674 140737161334304 140737161317296 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 337553 147716 802 2943 0 334447 0
[pid=20038/tid=20039] ppid=20035 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 1382617088 147716 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 1382617088 147716 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 1382617088 147716 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1350212

[startup+6.30042 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 20056
/proc/meminfo: memFree=27845284/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=1399364 CPUtime=6.29 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 218278 0 0 0 598 31 0 0 20 0 4 0 113758613 1432948736 238506 33554432000 4194304 16246674 140737161334304 140737161317296 7440268 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 349841 238506 802 2943 0 346735 0
[pid=20038/tid=20039] ppid=20035 vsize=1399364 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 1432948736 238506 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=1399364 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 1432948736 238506 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=1399364 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 1432948736 238506 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1399364

[startup+12.7004 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 20056
/proc/meminfo: memFree=27373364/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=1449540 CPUtime=12.68 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 281503 0 0 0 1227 41 0 0 20 0 4 0 113758613 1484328960 303775 33554432000 4194304 16246674 140737161334304 140737161333480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 362385 303775 802 2943 0 359279 0
[pid=20038/tid=20039] ppid=20035 vsize=1449540 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 1484328960 303775 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=1449540 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 1484328960 303775 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=1449540 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 1484328960 303775 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1449540

[startup+25.5005 s]
/proc/loadavg: 2.32 2.22 2.19 3/183 20056
/proc/meminfo: memFree=23002108/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=3867204 CPUtime=25.49 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 885974 0 0 0 2424 125 0 0 20 0 4 0 113758613 3960016896 908246 33554432000 4194304 16246674 140737161334304 140737161333480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 966801 908246 848 2943 0 963695 0
[pid=20038/tid=20039] ppid=20035 vsize=3867204 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 3960016896 908246 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=3867204 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 3960016896 908246 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=3867204 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 3960016896 908246 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3867204

[startup+51.1005 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 20056
/proc/meminfo: memFree=17293004/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=5815876 CPUtime=51.08 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1373143 0 0 0 4914 194 0 0 20 0 4 0 113758613 5955457024 1395415 33554432000 4194304 16246674 140737161334304 140737161333480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1453969 1395415 848 2943 0 1450863 0
[pid=20038/tid=20039] ppid=20035 vsize=5815876 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 5955457024 1395415 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=5815876 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 5955457024 1395415 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=5815876 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 5955457024 1395415 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5815876

[startup+102.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 20057
/proc/meminfo: memFree=12575096/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7242308 CPUtime=102.28 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1729801 0 0 0 9980 248 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 140737161333400 12483481 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1810577 1752073 898 2943 0 1807471 0
[pid=20038/tid=20039] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 7242308


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

/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 7242308

[startup+1362.3 s]
/proc/loadavg: 2.31 2.25 2.20 3/183 20111
/proc/meminfo: memFree=10717744/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7242308 CPUtime=1362.03 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1729879 0 0 0 135846 357 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 140737161333480 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1810577 1752073 898 2943 0 1807471 0
[pid=20038/tid=20039] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 7242308

[startup+1422.3 s]
/proc/loadavg: 2.39 2.28 2.21 4/183 20112
/proc/meminfo: memFree=10829600/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7242308 CPUtime=1422.03 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1729887 0 0 0 141838 365 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 140737161333480 5600232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1810577 1752073 898 2943 0 1807471 0
[pid=20038/tid=20039] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7416123392 1752073 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 7242308

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.20 3/183 20114
/proc/meminfo: memFree=10939700/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7246404 CPUtime=1482.01 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1730753 0 0 0 147832 369 0 0 20 0 4 0 113758613 7420317696 1752939 33554432000 4194304 16246674 140737161334304 140737161333480 12415676 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1811601 1752939 898 2943 0 1808495 0
[pid=20038/tid=20039] ppid=20035 vsize=7246404 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7420317696 1752939 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7246404 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7420317696 1752939 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7246404 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7420317696 1752939 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 7246404

[startup+1542.31 s]
/proc/loadavg: 2.25 2.24 2.20 4/183 20115
/proc/meminfo: memFree=10968100/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7258692 CPUtime=1542.01 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1733771 0 0 0 153826 375 0 0 20 0 4 0 113758613 7432900608 1755957 33554432000 4194304 16246674 140737161334304 140737161333480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1814673 1755957 898 2943 0 1811567 0
[pid=20038/tid=20039] ppid=20035 vsize=7258692 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7432900608 1755957 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7258692 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7432900608 1755957 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7258692 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7432900608 1755957 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 7258692

[startup+1602.3 s]
/proc/loadavg: 2.14 2.21 2.18 4/183 20116
/proc/meminfo: memFree=10953596/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7272004 CPUtime=1601.99 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1737197 0 0 0 159817 382 0 0 20 0 4 0 113758613 7446532096 1759382 33554432000 4194304 16246674 140737161334304 140737161333400 5662038 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1818001 1759382 898 2943 0 1814895 0
[pid=20038/tid=20039] ppid=20035 vsize=7272004 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7446532096 1759382 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7272004 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7446532096 1759382 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7272004 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7446532096 1759382 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 7272004

[startup+1662.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 20117
/proc/meminfo: memFree=10953356/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7272004 CPUtime=1661.99 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1737312 0 0 0 165810 389 0 0 20 0 4 0 113758613 7446532096 1759497 33554432000 4194304 16246674 140737161334304 140737161333480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1818001 1759497 898 2943 0 1814895 0
[pid=20038/tid=20039] ppid=20035 vsize=7272004 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7446532096 1759497 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7272004 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7446532096 1759497 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7272004 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7446532096 1759497 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 7272004

[startup+1722.3 s]
/proc/loadavg: 2.27 2.24 2.19 4/183 20118
/proc/meminfo: memFree=10941328/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7284292 CPUtime=1721.97 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1740385 0 0 0 171802 395 0 0 20 0 4 0 113758613 7459115008 1762569 33554432000 4194304 16246674 140737161334304 140737161333480 5827671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1821073 1762569 898 2943 0 1817967 0
[pid=20038/tid=20039] ppid=20035 vsize=7284292 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7459115008 1762569 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7284292 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7459115008 1762569 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7284292 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7459115008 1762569 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 7284292

[startup+1782.3 s]
/proc/loadavg: 2.38 2.28 2.21 4/183 20122
/proc/meminfo: memFree=10926344/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7298628 CPUtime=1781.96 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1743807 0 0 0 177795 401 0 0 20 0 4 0 113758613 7473795072 1765990 33554432000 4194304 16246674 140737161334304 140737161333400 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1824657 1765990 898 2943 0 1821551 0
[pid=20038/tid=20039] ppid=20035 vsize=7298628 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7473795072 1765990 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7298628 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7473795072 1765990 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7298628 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7473795072 1765990 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 7298628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.27 2.20 4/184 20124
/proc/meminfo: memFree=10926168/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=7298628 CPUtime=1800.06 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) R 20035 20038 19387 0 -1 4202496 1743808 0 0 0 179603 403 0 0 20 0 4 0 113758613 7473795072 1765990 33554432000 4194304 16246674 140737161334304 140737161333480 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 1824657 1765990 898 2943 0 1821551 0
[pid=20038/tid=20039] ppid=20035 vsize=7298628 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20039/stat : 20039 (toysat) S 20035 20038 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758613 7473795072 1765990 33554432000 4194304 16246674 140737161334304 139849610800368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=7298628 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) S 20035 20038 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113758613 7473795072 1765990 33554432000 4194304 16246674 140737161334304 139849600310512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20038/tid=20041] ppid=20035 vsize=7298628 CPUtime=0 cores=0,2,4,6
/proc/20038/task/20041/stat : 20041 (toysat) S 20035 20038 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758613 7473795072 1765990 33554432000 4194304 16246674 140737161334304 139849589836976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 7298628

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

[startup+1800.6 s]
/proc/loadavg: 2.29 2.27 2.20 4/184 20124
/proc/meminfo: memFree=10926168/32872528 swapFree=16204/1518544
[pid=20038] ppid=20035 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/20038/stat : 20038 (toysat) Z 20035 20038 19387 0 -1 4203532 1743808 0 0 0 179603 423 0 0 20 0 2 0 113758613 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20038/statm: 0 0 0 0 0 0 0
[pid=20038/tid=20040] ppid=20035 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/20038/task/20040/stat : 20040 (toysat) R 20035 20038 19387 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 113758613 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.31
CPU user time (s): 1796.04
CPU system time (s): 4.26835
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 7298628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 4.26835
maximum resident set size= 7063960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1743808
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= 192
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25105 second user time and 9.37557 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 18:50:58
IDJOB=4079353
IDBENCH=92641
IDSOLVER=2542
FILE ID=node129/4079353-1465318255
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71432 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_3_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079353-1465318255/watcher-4079353-1465318255 -o /tmp/evaluation-result-4079353-1465318255/solver-4079353-1465318255 -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-4079353-1465318255.opb

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

MD5SUM BENCH= b9981fecb2de7312ec4d4b314bc882c2
RANDOM SEED=1256767452

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:        29674332 kB
Buffers:          152612 kB
Cached:           759176 kB
SwapCached:         2232 kB
Active:           247444 kB
Inactive:         671680 kB
Active(anon):       8288 kB
Inactive(anon):     1732 kB
Active(file):     239156 kB
Inactive(file):   669948 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098820 kB
Dirty:            332280 kB
Writeback:             0 kB
AnonPages:       1527392 kB
Mapped:             8108 kB
Shmem:                 0 kB
Slab:             626844 kB
SReclaimable:      66212 kB
SUnreclaim:       560632 kB
KernelStack:        1416 kB
PageTables:         7004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1619888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1509376 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= 71392 MiB
End job on node129 at 2016-06-07 19:20:58