Trace number 4100553

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.09 1800.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb
MD5SUMf76080fd01118b16218a90da3c643655
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1320
Best CPU time to get the best result obtained on this benchmark1800.43
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1071
Optimality of the best value was proved NO
Number of variables24645
Total number of constraints4873
Number of constraints which are clauses4872
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint17864
Number of terms in the objective function 24645
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 24645
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 27120
Number of bits of the biggest sum of numbers15
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-18T04:00:25+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-4100553-1466215224.opb"]
0.00/0.01	c use --random-gen="576102393 611044477 1156301803 1411278628 1577144519 2295647409 1480137383 1564754646 2452435943 3028323171 3381554430 2936639451 314326645 3922454016 3820907105 2392034980 2872605628 2261237772 150869250 1949771984 2746540939 448251534 3857246451 2913960120 1117790815 1767513781 2170673429 340454545 3933305841 3938744841 588686380 781089955 991307337 2456122334 575951043 336910025 3290874448 3495074435 598019590 1341338011 270602193 1005338304 2468883039 786467929 2426350839 74982969 3455011505 992288500 2518387647 3248175238 3264691460 132485741 2440036983 4020177485 4225193016 2376506609 1468915144 3422192299 4167455475 1061418845 3595812 279494372 874540093 1044954377 996844742 3290470084 758503558 1262596631 4033858755 1319242758 4107133256 1179916284 4148618868 365012553 4067229807 586406220 3856613332 1509186569 3968882951 863511911 2724149663 48050810 2764776728 2181523879 4153450445 876318896 1810624378 2091576391 1882364050 4076702631 1807861737 781541111 1869331176 295818376 3494486701 4075248481 538720152 42635894 2235449312 1707427151 1596840593 2504602157 1992346000 4058376375 3001365716 19120801 1951973271 148296194 185236421 1730547585 705639321 275357277 4072376985 112592919 255880241 2691055502 2126343000 3963035665 1893742332 3460160084 1579017120 1813457732 2986355577 4240085595 1120040569 2092415472 1302065255 4088978376 575149109 1023146574 742799593 324037472 3574825022 525290576 201541770 1045393980 522392560 558786854 3113781923 33562644 1809135538 422570173 1884908786 3623919559 153663614 210718593 3060094074 83200376 2973359270 3919484730 1901982585 1179942926 1233572347 2414726288 414945719 960721023 547828817 35442979 1065275066 1097993907 481356141 1132516057 3990975484 1171031676 1103489162 862633963 3643412706 2918222302 528926802 537926328 183419983 2302277012 2966019435 1970151732 4167539778 1639833746 4826126 3065252705 3369809 1316637562 2216661545 3193943925 1059446909 3617837827 2605050959 3406512478 2706563362 1590812033 3981429985 2053916138 3440826499 3777737375 590055214 1081554459 792491531 937549506 3500585351 2203828421 2339573624 52259812 1685249913 3886866151 1182897104 851346248 1741318796 1345918317 3462626780 2588114642 2592651573 4106979865 11689731 1126894216 3196441615 680519680 114743587 3065355853 2938935187 2271305400 310210302 3262868290 543631880 4285065871 1637116571 1534775832 1795621190 3205550011 3024771484 2151112545 1684350228 3543035302 999424508 2847346979 52222401 1584240667 2165652765 527049830 1915347720 2442628709 2193805293 2537691091 1973894803 2814205103 1753354411 2968252256 3347945270 4210784261 687896836 2954537859 4074737409 1786660422 1242584071 1953081862 659257920 2269795961 710311281 2774113097 255 362436" option to reproduce the execution
0.29/0.39	c #vars 24645
0.29/0.39	c #constraints 4873
0.89/0.99	c BCD2: Hardening is enabled.
0.89/0.99	c BCD2: BiasedSearch is enabled.
0.89/0.99	c Solving starts ...
0.89/0.99	c ============================[ Search Statistics ]============================
0.89/0.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.99	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.99	c =============================================================================
0.99/1.00	c  0.0s |       0 |        0 |        0 |     9801      0 |       51 |        0
25.18/25.28	c 24.3s |       0 |    14250 |      100 |     9801      0 |       51 |       64
25.18/25.29	c 24.3s |       1 |    14250 |      100 |     9801      0 |       51 |       64
40.89/40.96	c 40.0s |       1 |    25818 |      200 |    10782      0 |       51 |       64
53.48/53.59	c 52.6s |       2 |    27213 |      250 |    10782      0 |       51 |       64
63.98/64.07	c 63.1s |       2 |    37877 |      350 |    11861      0 |       51 |       64
69.68/69.77	c 68.8s |       2 |    38247 |      450 |    11861      0 |       51 |       64
71.38/71.40	c 70.4s |       3 |    38383 |      475 |    11861      0 |       51 |       64
80.67/80.71	c 79.7s |       3 |    48097 |      575 |    13048      0 |       51 |       64
89.38/89.44	c 88.4s |       3 |    48465 |      675 |    13048      0 |       51 |       64
97.68/97.71	c 96.7s |       3 |    48701 |      775 |    13048      0 |       51 |       64
100.27/100.38	c 99.4s |       4 |    48765 |      813 |    13048      0 |       51 |       64
109.37/109.47	c  108s |       4 |    58422 |      913 |    14353      0 |       51 |       64
121.67/121.78	c  120s |       4 |    59509 |     1013 |    14353      0 |       51 |       64
131.57/131.64	c  130s |       4 |    60322 |     1113 |    14353      0 |       51 |       64
140.27/140.36	c  139s |       4 |    60860 |     1213 |    14353      0 |       51 |       64
147.77/147.84	c  146s |       4 |    61455 |     1313 |    14353      0 |       51 |       64
148.27/148.35	c  147s |       5 |    61463 |     1320 |    14353      0 |       51 |       64
155.76/155.81	c  154s |       5 |    70913 |     1420 |    15789      0 |       51 |       64
161.97/162.04	c  161s |       5 |    71170 |     1520 |    15789      0 |       51 |       64
168.87/168.94	c  167s |       5 |    71406 |     1620 |    15789      0 |       51 |       64
176.96/177.03	c  176s |       5 |    71745 |     1720 |    15789      0 |       51 |       64
185.36/185.49	c  184s |       5 |    72143 |     1820 |    15789      0 |       51 |       64
192.26/192.30	c  191s |       5 |    72486 |     1920 |    15789      0 |       51 |       64
198.96/199.09	c  198s |       5 |    72787 |     2020 |    15789      0 |       51 |       64
203.06/203.14	c  202s |       6 |    73021 |     2081 |    17368      0 |       51 |       64
211.96/212.05	c  211s |       6 |    82772 |     2181 |    17368      0 |       51 |       64
219.76/219.83	c  218s |       6 |    83151 |     2281 |    17368      0 |       51 |       64
226.95/227.02	c  226s |       6 |    83544 |     2381 |    17368      0 |       51 |       64
233.56/233.65	c  232s |       6 |    83855 |     2481 |    17368      0 |       51 |       64
241.85/241.92	c  240s |       6 |    84189 |     2581 |    17368      0 |       51 |       64
249.25/249.32	c  248s |       6 |    84612 |     2681 |    17368      0 |       51 |       64
256.55/256.64	c  255s |       6 |    84923 |     2781 |    17368      0 |       51 |       64
263.95/264.05	c  263s |       6 |    85312 |     2881 |    17368      0 |       51 |       64
270.25/270.34	c  269s |       6 |    85476 |     2981 |    17368      0 |       51 |       64
279.14/279.26	c  278s |       6 |    86228 |     3081 |    17368      0 |       51 |       64
286.75/286.88	c  285s |       6 |    86582 |     3181 |    17368      0 |       51 |       64
291.64/291.77	c  290s |       7 |    86839 |     3223 |    19105      0 |       51 |       64
300.64/300.75	c  299s |       7 |    96743 |     3323 |    19105      0 |       51 |       64
310.44/310.59	c  309s |       7 |    97254 |     3423 |    19105      0 |       51 |       64
319.94/320.03	c  319s |       7 |    97837 |     3523 |    19105      0 |       51 |       64
327.74/327.89	c  326s |       7 |    98262 |     3623 |    19105      0 |       51 |       64
336.03/336.10	c  335s |       7 |    98760 |     3723 |    19105      0 |       51 |       64
343.84/343.90	c  342s |       7 |    98938 |     3823 |    19105      0 |       51 |       64
351.84/351.91	c  350s |       7 |    99291 |     3923 |    19105      0 |       51 |       64
358.74/358.85	c  357s |       7 |    99743 |     4023 |    19105      0 |       51 |       64
366.03/366.15	c  365s |       7 |   100081 |     4123 |    19105      0 |       51 |       64
374.33/374.46	c  373s |       7 |   100371 |     4223 |    19105      0 |       51 |       64
383.03/383.13	c  382s |       7 |   100634 |     4323 |    19105      0 |       51 |       64
391.83/391.97	c  390s |       7 |   101461 |     4423 |    19105      0 |       51 |       64
400.73/400.87	c  399s |       7 |   101898 |     4523 |    19105      0 |       51 |       64
408.92/409.03	c  408s |       7 |   102308 |     4623 |    19105      0 |       51 |       64
418.63/418.77	c  417s |       7 |   102689 |     4723 |    19105      0 |       51 |       64
426.73/426.90	c  425s |       7 |   103017 |     4823 |    19105      0 |       51 |       64
435.22/435.39	c  434s |       7 |   103301 |     4923 |    21016      0 |       51 |       64
437.52/437.69	c  436s |       8 |   103321 |     4936 |    21016      0 |       51 |       64
451.42/451.52	c  450s |       8 |   112964 |     5036 |    21016      0 |       51 |       64
459.72/459.86	c  458s |       8 |   113444 |     5136 |    21016      0 |       51 |       64
479.11/479.28	c  478s |       8 |   114074 |     5236 |    21016      0 |       51 |       64
491.40/491.54	c  490s |       8 |   114629 |     5336 |    21016      0 |       51 |       64
500.30/500.44	c  499s |       8 |   115164 |     5436 |    21016      0 |       51 |       64
511.51/511.67	c  510s |       8 |   116098 |     5536 |    21016      0 |       51 |       64
520.50/520.65	c  519s |       8 |   116665 |     5636 |    21016      0 |       51 |       64
529.70/529.81	c  528s |       8 |   117173 |     5736 |    21016      0 |       51 |       64
538.19/538.40	c  537s |       8 |   117725 |     5836 |    21016      0 |       51 |       64
546.09/546.27	c  545s |       8 |   118041 |     5936 |    21016      0 |       51 |       64
553.80/553.90	c  552s |       8 |   118475 |     6036 |    21016      0 |       51 |       64
561.19/561.35	c  560s |       8 |   118877 |     6136 |    21016      0 |       51 |       64
568.19/568.39	c  567s |       8 |   119332 |     6236 |    21016      0 |       51 |       64
576.48/576.69	c  575s |       8 |   119744 |     6336 |    21016      0 |       51 |       64
590.99/591.12	c  590s |       8 |   121019 |     6436 |    21016      0 |       51 |       64
600.38/600.57	c  599s |       8 |   121462 |     6536 |    21016      0 |       51 |       64
608.48/608.62	c  607s |       8 |   122052 |     6636 |    21016      0 |       51 |       64
618.88/619.05	c  618s |       8 |   122787 |     6736 |    21016      0 |       51 |       64
630.08/630.27	c  629s |       8 |   123556 |     6836 |    21016      0 |       51 |       64
641.77/641.95	c  640s |       8 |   124222 |     6936 |    21016      0 |       51 |       64
653.28/653.46	c  652s |       8 |   124800 |     7036 |    21016      0 |       51 |       64
665.17/665.35	c  664s |       8 |   125429 |     7136 |    21016      0 |       51 |       64
675.66/675.84	c  674s |       8 |   126022 |     7236 |    21016      0 |       51 |       64
687.47/687.62	c  686s |       8 |   126743 |     7336 |    21016      0 |       51 |       64
699.66/699.81	c  698s |       8 |   127554 |     7436 |    21016      0 |       51 |       64
707.75/707.92	c  706s |       9 |   127841 |     7506 |    23118      0 |       51 |       64
723.85/724.07	c  723s |       9 |   137623 |     7606 |    23118      0 |       51 |       64
738.25/738.48	c  737s |       9 |   138583 |     7706 |    23118      0 |       51 |       64
748.45/748.67	c  747s |       9 |   139206 |     7806 |    23118      0 |       51 |       64
756.75/756.99	c  755s |       9 |   139517 |     7906 |    23118      0 |       51 |       64
765.55/765.79	c  764s |       9 |   139958 |     8006 |    23118      0 |       51 |       64
774.35/774.55	c  773s |       9 |   140376 |     8106 |    23118      0 |       51 |       64
783.15/783.39	c  782s |       9 |   140748 |     8206 |    23118      0 |       51 |       64
790.93/791.19	c  790s |       9 |   141106 |     8306 |    23118      0 |       51 |       64
800.24/800.45	c  799s |       9 |   141696 |     8406 |    23118      0 |       51 |       64
807.73/807.95	c  806s |       9 |   142196 |     8506 |    23118      0 |       51 |       64
814.74/814.99	c  813s |       9 |   142577 |     8606 |    23118      0 |       51 |       64
827.93/828.18	c  827s |       9 |   143198 |     8706 |    23118      0 |       51 |       64
838.72/838.96	c  837s |       9 |   144208 |     8806 |    23118      0 |       51 |       64
847.53/847.73	c  846s |       9 |   144676 |     8906 |    23118      0 |       51 |       64
854.33/854.52	c  853s |       9 |   144968 |     9006 |    23118      0 |       51 |       64
862.02/862.22	c  861s |       9 |   145244 |     9106 |    23118      0 |       51 |       64
870.61/870.82	c  869s |       9 |   145420 |     9206 |    23118      0 |       51 |       64
883.01/883.29	c  882s |       9 |   146283 |     9306 |    23118      0 |       51 |       64
892.61/892.80	c  891s |       9 |   146841 |     9406 |    23118      0 |       51 |       64
902.41/902.61	c  901s |       9 |   147318 |     9506 |    23118      0 |       51 |       64
911.31/911.57	c  910s |       9 |   147749 |     9606 |    23118      0 |       51 |       64
920.52/920.79	c  919s |       9 |   148297 |     9706 |    23118      0 |       51 |       64
929.41/929.63	c  928s |       9 |   148798 |     9806 |    23118      0 |       51 |       64
939.00/939.27	c  938s |       9 |   149167 |     9906 |    23118      0 |       51 |       64
947.70/947.91	c  946s |       9 |   149768 |    10006 |    23118      0 |       51 |       64
961.40/961.69	c  960s |       9 |   150454 |    10106 |    23118      0 |       51 |       64
971.69/971.94	c  970s |       9 |   150988 |    10206 |    23118      0 |       51 |       64
980.20/980.48	c  979s |       9 |   151355 |    10306 |    23118      0 |       51 |       64
988.89/989.19	c  988s |       9 |   152080 |    10406 |    23118      0 |       51 |       64
997.60/997.88	c  996s |       9 |   152669 |    10506 |    23118      0 |       51 |       64
1006.19/1006.49	c 1005s |       9 |   153130 |    10606 |    23118      0 |       51 |       64
1015.29/1015.51	c 1014s |       9 |   153524 |    10706 |    23118      0 |       51 |       64
1026.39/1026.64	c 1025s |       9 |   153983 |    10806 |    23118      0 |       51 |       64
1038.19/1038.42	c 1037s |       9 |   154209 |    10906 |    23118      0 |       51 |       64
1048.98/1049.28	c 1048s |       9 |   154908 |    11006 |    23118      0 |       51 |       64
1061.97/1062.26	c 1061s |       9 |   155414 |    11106 |    23118      0 |       51 |       64
1074.68/1074.91	c 1073s |       9 |   156055 |    11206 |    23118      0 |       51 |       64
1086.78/1087.00	c 1086s |       9 |   156398 |    11306 |    25430      0 |       51 |       64
1095.17/1095.49	c 1094s |      10 |   156679 |    11361 |    25430      0 |       51 |       64
1114.27/1114.54	c 1113s |      10 |   166315 |    11461 |    25430      0 |       51 |       64
1124.86/1125.19	c 1124s |      10 |   166930 |    11561 |    25430      0 |       51 |       64
1135.26/1135.53	c 1134s |      10 |   167499 |    11661 |    25430      0 |       51 |       64
1145.87/1146.19	c 1145s |      10 |   167942 |    11761 |    25430      0 |       51 |       64
1158.46/1158.71	c 1157s |      10 |   168246 |    11861 |    25430      0 |       51 |       64
1169.56/1169.80	c 1168s |      10 |   168497 |    11961 |    25430      0 |       51 |       64
1180.16/1180.46	c 1179s |      10 |   168702 |    12061 |    25430      0 |       51 |       64
1192.35/1192.60	c 1191s |      10 |   169200 |    12161 |    25430      0 |       51 |       64
1200.65/1200.97	c 1199s |      10 |   169464 |    12261 |    25430      0 |       51 |       64
1208.95/1209.28	c 1208s |      10 |   169754 |    12361 |    25430      0 |       51 |       64
1217.35/1217.64	c 1216s |      10 |   170151 |    12461 |    25430      0 |       51 |       64
1225.54/1225.86	c 1224s |      10 |   170483 |    12561 |    25430      0 |       51 |       64
1235.44/1235.77	c 1234s |      10 |   170681 |    12661 |    25430      0 |       51 |       64
1244.24/1244.54	c 1243s |      10 |   170985 |    12761 |    25430      0 |       51 |       64
1255.54/1255.88	c 1254s |      10 |   171360 |    12861 |    25430      0 |       51 |       64
1264.53/1264.85	c 1263s |      10 |   171753 |    12961 |    25430      0 |       51 |       64
1273.73/1274.09	c 1273s |      10 |   172114 |    13061 |    25430      0 |       51 |       64
1282.83/1283.14	c 1282s |      10 |   172563 |    13161 |    25430      0 |       51 |       64
1291.73/1292.08	c 1291s |      10 |   172910 |    13261 |    25430      0 |       51 |       64
1299.94/1300.24	c 1299s |      10 |   173248 |    13361 |    25430      0 |       51 |       64
1313.24/1313.54	c 1312s |      10 |   173464 |    13461 |    25430      0 |       51 |       64
1321.63/1321.90	c 1320s |      10 |   174143 |    13561 |    25430      0 |       51 |       64
1329.64/1329.96	c 1328s |      10 |   174488 |    13661 |    25430      0 |       51 |       64
1338.22/1338.59	c 1337s |      10 |   174998 |    13761 |    25430      0 |       51 |       64
1349.12/1349.44	c 1348s |      10 |   175420 |    13861 |    25430      0 |       51 |       64
1363.22/1363.50	c 1362s |      10 |   175672 |    13961 |    25430      0 |       51 |       64
1375.02/1375.32	c 1374s |      10 |   176207 |    14061 |    25430      0 |       51 |       64
1384.02/1384.33	c 1383s |      10 |   176539 |    14161 |    25430      0 |       51 |       64
1394.42/1394.76	c 1393s |      10 |   176987 |    14261 |    25430      0 |       51 |       64
1405.72/1406.07	c 1405s |      10 |   177486 |    14361 |    25430      0 |       51 |       64
1414.32/1414.63	c 1413s |      10 |   178114 |    14461 |    25430      0 |       51 |       64
1421.92/1422.28	c 1421s |      10 |   178468 |    14561 |    25430      0 |       51 |       64
1431.30/1431.61	c 1430s |      10 |   178836 |    14661 |    25430      0 |       51 |       64
1444.01/1444.38	c 1443s |      10 |   179342 |    14761 |    25430      0 |       51 |       64
1453.21/1453.56	c 1452s |      10 |   179563 |    14861 |    25430      0 |       51 |       64
1461.50/1461.81	c 1460s |      10 |   179940 |    14961 |    25430      0 |       51 |       64
1471.90/1472.21	c 1471s |      10 |   180379 |    15061 |    25430      0 |       51 |       64
1481.80/1482.15	c 1481s |      10 |   180702 |    15161 |    25430      0 |       51 |       64
1489.50/1489.87	c 1488s |      10 |   180919 |    15261 |    25430      0 |       51 |       64
1501.10/1501.44	c 1500s |      10 |   181472 |    15361 |    25430      0 |       51 |       64
1515.99/1516.31	c 1515s |      10 |   182034 |    15461 |    25430      0 |       51 |       64
1527.49/1527.88	c 1526s |      10 |   182667 |    15561 |    25430      0 |       51 |       64
1535.49/1535.86	c 1534s |      10 |   183012 |    15661 |    25430      0 |       51 |       64
1544.78/1545.17	c 1544s |      10 |   183197 |    15761 |    25430      0 |       51 |       64
1554.89/1555.21	c 1554s |      10 |   183521 |    15861 |    25430      0 |       51 |       64
1566.19/1566.54	c 1565s |      10 |   183738 |    15961 |    25430      0 |       51 |       64
1577.19/1577.58	c 1576s |      10 |   184165 |    16061 |    25430      0 |       51 |       64
1588.58/1588.90	c 1587s |      10 |   184643 |    16161 |    25430      0 |       51 |       64
1598.88/1599.20	c 1598s |      10 |   185191 |    16261 |    25430      0 |       51 |       64
1608.47/1608.82	c 1607s |      10 |   185563 |    16361 |    25430      0 |       51 |       64
1616.78/1617.15	c 1616s |      10 |   185918 |    16461 |    25430      0 |       51 |       64
1624.57/1624.90	c 1623s |      10 |   186179 |    16561 |    25430      0 |       51 |       64
1634.57/1634.91	c 1633s |      10 |   186523 |    16661 |    25430      0 |       51 |       64
1643.97/1644.32	c 1643s |      10 |   187062 |    16761 |    25430      0 |       51 |       64
1651.77/1652.18	c 1651s |      10 |   187403 |    16861 |    25430      0 |       51 |       64
1661.77/1662.13	c 1661s |      10 |   187616 |    16961 |    25430      0 |       51 |       64
1671.37/1671.73	c 1670s |      10 |   187887 |    17061 |    27974      0 |       51 |       64
1680.27/1680.69	c 1679s |      11 |   188044 |    17144 |    27974      0 |       51 |       64
1707.46/1707.86	c 1706s |      11 |   197685 |    17244 |    27974      0 |       51 |       64
1718.46/1718.86	c 1717s |      11 |   198014 |    17344 |    27974      0 |       51 |       64
1730.46/1730.85	c 1729s |      11 |   198345 |    17444 |    27974      0 |       51 |       64
1739.36/1739.71	c 1738s |      11 |   198633 |    17544 |    27974      0 |       51 |       64
1749.45/1749.89	c 1748s |      11 |   198943 |    17644 |    27974      0 |       51 |       64
1757.86/1758.28	c 1757s |      11 |   199231 |    17744 |    27974      0 |       51 |       64
1771.25/1771.65	c 1770s |      11 |   199520 |    17844 |    27974      0 |       51 |       64
1782.25/1782.69	c 1781s |      11 |   200114 |    17944 |    27974      0 |       51 |       64
1790.75/1791.14	c 1790s |      11 |   200643 |    18044 |    27974      0 |       51 |       64
1799.15/1799.54	c 1798s |      11 |   200939 |    18144 |    27974      0 |       51 |       64

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-4100553-1466215224/watcher-4100553-1466215224 -o /tmp/evaluation-result-4100553-1466215224/solver-4100553-1466215224 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100553-1466215224.opb 

pid=2628
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.21 2.21 2.23 4/180 2631
/proc/meminfo: memFree=28956640/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 2981 0 0 0 0 0 0 0 20 0 4 0 23569594 815198208 2832 33554432000 4194304 16246674 140735684006288 140735684005712 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 199535 2840 441 2943 0 196429 0
[pid=2631/tid=2632] ppid=2628 vsize=813500 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 833024000 2901 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=817596 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 837218304 2919 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23569594 841412608 2935 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.21 2.21 2.23 4/180 2631
/proc/meminfo: memFree=28956640/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 29410 0 0 0 5 4 0 0 20 0 4 0 23569594 1333334016 29198 33554432000 4194304 16246674 140735684006288 140735684005600 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 325521 29213 799 2943 0 322415 0
[pid=2631/tid=2632] ppid=2628 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1333334016 29225 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1333334016 29236 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1333334016 29247 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200543 s]
/proc/loadavg: 2.21 2.21 2.23 4/180 2631
/proc/meminfo: memFree=28956640/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 46470 0 0 0 13 6 0 0 20 0 4 0 23569594 1344868352 46769 33554432000 4194304 16246674 140735684006288 140735684005600 7377761 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 328337 46769 800 2943 0 325231 0
[pid=2631/tid=2632] ppid=2628 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1344868352 46769 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1344868352 46769 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1344868352 46769 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300461 s]
/proc/loadavg: 2.21 2.21 2.23 4/180 2631
/proc/meminfo: memFree=28956640/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 54341 0 0 0 22 7 0 0 20 0 4 0 23569594 1344868352 54640 33554432000 4194304 16246674 140735684006288 140735684005600 4220489 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 328337 54640 800 2943 0 325231 0
[pid=2631/tid=2632] ppid=2628 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1344868352 54640 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1344868352 54640 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1344868352 54640 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700359 s]
/proc/loadavg: 2.21 2.21 2.23 4/180 2631
/proc/meminfo: memFree=28956640/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1318468 CPUtime=0.69 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 108689 0 0 0 55 14 0 0 20 0 4 0 23569594 1350111232 108989 33554432000 4194304 16246674 140735684006288 140735684005600 13932337 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 329617 109001 834 2943 0 326511 0
[pid=2631/tid=2632] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 109009 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 109017 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 109024 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1318468

[startup+1.50034 s]
/proc/loadavg: 2.21 2.21 2.23 4/184 2635
/proc/meminfo: memFree=28399760/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 139351 0 0 0 132 17 0 0 20 0 4 0 23569594 1350111232 139650 33554432000 4194304 16246674 140735684006288 140735684005600 5523232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 329617 139650 879 2943 0 326511 0
[pid=2631/tid=2632] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139650 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139650 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139650 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10041 s]
/proc/loadavg: 2.19 2.21 2.23 4/184 2635
/proc/meminfo: memFree=28398768/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1318468 CPUtime=3.09 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 139368 0 0 0 291 18 0 0 20 0 4 0 23569594 1350111232 139667 33554432000 4194304 16246674 140735684006288 140735684004096 4206600 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 329617 139667 894 2943 0 326511 0
[pid=2631/tid=2632] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139667 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139667 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139667 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30042 s]
/proc/loadavg: 2.19 2.21 2.23 4/184 2635
/proc/meminfo: memFree=28399056/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1318468 CPUtime=6.29 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 139370 0 0 0 611 18 0 0 20 0 4 0 23569594 1350111232 139669 33554432000 4194304 16246674 140735684006288 140735684005464 12478249 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 329617 139669 895 2943 0 326511 0
[pid=2631/tid=2632] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139669 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139669 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139669 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.24 2.22 2.23 5/184 2635
/proc/meminfo: memFree=28399220/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1318468 CPUtime=12.69 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 139370 0 0 0 1251 18 0 0 20 0 4 0 23569594 1350111232 139669 33554432000 4194304 16246674 140735684006288 140735684004160 4220912 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 329617 139669 895 2943 0 326511 0
[pid=2631/tid=2632] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139669 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139669 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139669 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.20 2.21 2.23 4/184 2635
/proc/meminfo: memFree=28399312/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1318468 CPUtime=25.48 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 139371 0 0 0 2530 18 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 140735684005384 13943729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 329617 139670 896 2943 0 326511 0
[pid=2631/tid=2632] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.36 2.24 2.24 4/184 2658
/proc/meminfo: memFree=28399100/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 139371 0 0 0 5088 20 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 140735684005384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 329617 139670 896 2943 0 326511 0
[pid=2631/tid=2632] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.26 2.23 2.23 5/183 2660
/proc/meminfo: memFree=28398784/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=1318468 CPUtime=102.29 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 139371 0 0 0 10203 26 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 140735684005464 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 329617 139670 896 2943 0 326511 0
[pid=2631/tid=2632] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 1350111232 139670 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1318468


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

/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 2363035648 517921 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2307652

[startup+1302.3 s]
/proc/loadavg: 2.18 2.24 2.22 3/183 2739
/proc/meminfo: memFree=25213564/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=2403908 CPUtime=1302.03 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 519909 0 0 0 129938 265 0 0 20 0 4 0 23569594 2461601792 542144 33554432000 4194304 16246674 140735684006288 140735684005384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 600977 542144 896 2943 0 597871 0
[pid=2631/tid=2632] ppid=2628 vsize=2403908 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 2461601792 542144 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=2403908 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 2461601792 542144 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=2403908 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 2461601792 542144 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2403908

[startup+1362.3 s]
/proc/loadavg: 2.21 2.23 2.22 4/183 2740
/proc/meminfo: memFree=25113972/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=2503236 CPUtime=1362.02 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 544600 0 0 0 135919 283 0 0 20 0 4 0 23569594 2563313664 566834 33554432000 4194304 16246674 140735684006288 140735684005384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 625809 566834 896 2943 0 622703 0
[pid=2631/tid=2632] ppid=2628 vsize=2503236 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 2563313664 566834 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=2503236 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 2563313664 566834 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=2503236 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 2563313664 566834 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2503236

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.22 3/183 2741
/proc/meminfo: memFree=24856592/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=2587204 CPUtime=1422.02 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 565810 0 0 0 141900 302 0 0 20 0 4 0 23569594 2649296896 588042 33554432000 4194304 16246674 140735684006288 140735684005384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 646801 588042 896 2943 0 643695 0
[pid=2631/tid=2632] ppid=2628 vsize=2587204 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 2649296896 588042 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=2587204 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 2649296896 588042 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=2587204 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 2649296896 588042 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2587204

[startup+1482.3 s]
/proc/loadavg: 2.26 2.25 2.22 3/183 2742
/proc/meminfo: memFree=24621684/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=2686532 CPUtime=1482 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 590526 0 0 0 147879 321 0 0 20 0 4 0 23569594 2751008768 612756 33554432000 4194304 16246674 140735684006288 140735684005464 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 671633 612756 896 2943 0 668527 0
[pid=2631/tid=2632] ppid=2628 vsize=2686532 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 2751008768 612756 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=2686532 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 2751008768 612756 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=2686532 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 2751008768 612756 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2686532

[startup+1542.31 s]
/proc/loadavg: 2.13 2.21 2.21 3/183 2743
/proc/meminfo: memFree=24528976/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=2768452 CPUtime=1541.99 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 611126 0 0 0 153859 340 0 0 20 0 4 0 23569594 2834894848 633354 33554432000 4194304 16246674 140735684006288 140735684005464 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 692113 633354 896 2943 0 689007 0
[pid=2631/tid=2632] ppid=2628 vsize=2768452 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 2834894848 633354 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=2768452 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 2834894848 633354 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=2768452 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 2834894848 633354 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2768452

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.21 4/182 2744
/proc/meminfo: memFree=24353980/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=2864708 CPUtime=1601.98 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 635105 0 0 0 159834 364 0 0 20 0 4 0 23569594 2933460992 657333 33554432000 4194304 16246674 140735684006288 140735684005384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 716177 657333 896 2943 0 713071 0
[pid=2631/tid=2632] ppid=2628 vsize=2864708 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 2933460992 657333 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=2864708 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 2933460992 657333 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=2864708 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 2933460992 657333 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2864708

[startup+1662.3 s]
/proc/loadavg: 2.17 2.20 2.20 3/183 2746
/proc/meminfo: memFree=24205716/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=2963012 CPUtime=1661.97 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 659767 0 0 0 165814 383 0 0 20 0 4 0 23569594 3034124288 681994 33554432000 4194304 16246674 140735684006288 140735684005384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 740753 681994 896 2943 0 737647 0
[pid=2631/tid=2632] ppid=2628 vsize=2963012 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 3034124288 681994 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=2963012 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 3034124288 681994 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=2963012 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 3034124288 681994 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2963012

[startup+1722.3 s]
/proc/loadavg: 2.18 2.20 2.20 3/183 2747
/proc/meminfo: memFree=24093780/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=3040836 CPUtime=1721.96 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 679224 0 0 0 171792 404 0 0 20 0 4 0 23569594 3113816064 701450 33554432000 4194304 16246674 140735684006288 140735684005384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 760209 701450 896 2943 0 757103 0
[pid=2631/tid=2632] ppid=2628 vsize=3040836 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 3113816064 701450 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=3040836 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 3113816064 701450 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=3040836 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 3113816064 701450 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3040836

[startup+1782.3 s]
/proc/loadavg: 2.22 2.20 2.19 3/184 2751
/proc/meminfo: memFree=23962752/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=3119684 CPUtime=1781.95 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 698936 0 0 0 177773 422 0 0 20 0 4 0 23569594 3194556416 721162 33554432000 4194304 16246674 140735684006288 140735684005384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 779921 721162 896 2943 0 776815 0
[pid=2631/tid=2632] ppid=2628 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 3194556416 721162 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 3194556416 721162 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 3194556416 721162 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3119684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.19 2.19 3/184 2751
/proc/meminfo: memFree=23929612/32872528 swapFree=17888/1798212
[pid=2631] ppid=2628 vsize=3149380 CPUtime=1800.05 cores=1,3,5,7
/proc/2631/stat : 2631 (toysat) R 2628 2631 579 0 -1 4202496 706168 0 0 0 179576 429 0 0 20 0 4 0 23569594 3224965120 728394 33554432000 4194304 16246674 140735684006288 140735684005384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2631/statm: 787345 728394 896 2943 0 784239 0
[pid=2631/tid=2632] ppid=2628 vsize=3149380 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2632/stat : 2632 (toysat) S 2628 2631 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23569594 3224965120 728394 33554432000 4194304 16246674 140735684006288 139977926094064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2631/tid=2633] ppid=2628 vsize=3149380 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2633/stat : 2633 (toysat) S 2628 2631 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23569594 3224965120 728394 33554432000 4194304 16246674 140735684006288 139977915604208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2631/tid=2634] ppid=2628 vsize=3149380 CPUtime=0 cores=1,3,5,7
/proc/2631/task/2634/stat : 2634 (toysat) S 2628 2631 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23569594 3224965120 728394 33554432000 4194304 16246674 140735684006288 139977905130672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3149380

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 2631 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.44
CPU time (s): 1800.09
CPU user time (s): 1795.77
CPU system time (s): 4.32334
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 3149380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.77
system time used= 4.32334
maximum resident set size= 2913576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706168
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= 131
involuntary context switches= 1826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99124 second user time and 7.32988 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 04:00:25
IDJOB=4100553
IDBENCH=1631
IDSOLVER=2542
FILE ID=node123/4100553-1466215224
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= f76080fd01118b16218a90da3c643655
RANDOM SEED=2056981506

node123.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.791
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.58
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.791
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.791
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.791
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.57
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.791
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.56
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.791
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.56
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.791
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.791
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:        28957284 kB
Buffers:          103028 kB
Cached:           172960 kB
SwapCached:         1648 kB
Active:          1202080 kB
Inactive:         174632 kB
Active(anon):    1101420 kB
Inactive(anon):     1152 kB
Active(file):     100660 kB
Inactive(file):   173480 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             18384 kB
Writeback:             0 kB
AnonPages:       2899972 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             602044 kB
SReclaimable:      45888 kB
SUnreclaim:       556156 kB
KernelStack:        1496 kB
PageTables:         9472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3061796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1863680 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= 71588 MiB
End job on node123 at 2016-06-18 04:30:25