Trace number 4099929

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.41

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-18T02:29:04+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-4099929-1466209744.opb"]
0.00/0.01	c use --random-gen="2485259793 286189060 795307163 817816813 2344553166 3754236527 2094380312 3569357520 2306439054 1646855655 3200953629 1152790167 3692135845 3899740379 2977088283 1106357927 2282566302 3030387737 1246038565 939362625 2968736850 4117959923 3814448685 3445621200 3056486493 326432297 3802920096 2711917751 965877005 3906347570 4111243247 1343260836 2925651373 2522651205 924583590 1433722790 2673849990 883120378 3872198757 427318589 2987346436 2640844646 841352332 3227009066 556598355 241491399 18209774 1271566946 2638252947 1982492325 285898208 1126995326 111759925 522344683 301190740 3540273082 3746048833 4278444429 884076982 1308589334 3895320043 870380784 818972980 1520426528 1470141259 4293469552 1342927731 2195257423 3798171064 1165405934 3328678902 1642602276 499385796 454734335 2267500783 2955652206 176895437 1736699844 3819017101 2562168909 4139202516 594310380 4038480010 1639316197 1237833211 150692308 891210253 3409588320 1732838179 1278262973 4280751345 1838334330 2491322331 3938992716 3706606380 3628579940 2735355567 3196396140 2794349232 1778820269 3329649435 2873164033 3398980760 492893656 3836917624 1249439135 2494886655 1519394766 52470116 298658185 2214338914 2322089992 1324502401 4217502165 2899542015 171162050 2722215685 580776718 1400521007 3801553813 2588764034 3532227564 1720428416 1026688367 3257544479 1340815995 2412745312 3292775358 3927877209 2258965135 2674792681 1952815306 2614886420 1186211278 651348198 2696681724 3079629013 2925917901 1724455099 2553758043 1402533863 3332852245 2924319746 1496208183 2164347605 514125138 3043507197 1549619599 2841634133 4045388773 1204704194 259742438 931068333 3530889430 1201881758 3308858833 344141996 4276599556 2514025198 1683445012 659434249 2478670380 3574833358 2336549976 1450105940 3743490334 3956528829 1478821426 3880137657 4209918422 464213736 1296758295 2453319244 681722485 1615771584 1263476668 356753980 2510541264 3050266872 2324371237 4058070329 2893818243 636203530 2404875692 1339032124 2392405038 3622182350 1466876001 1783671460 3329629666 166010919 2168205652 628837669 610756854 328023390 1166939981 2385558255 3205745936 2803994271 2657036412 896378800 325109311 1672593998 2742461531 2027001066 3538418829 3979080739 1447511280 2722428915 3625564327 882415287 2471803969 2980958246 152380455 270317816 2422470557 2231392608 3398803800 12955061 1146817695 1657670819 769238784 296128513 3311469301 2412020579 941791859 2600415340 1206719602 3752125922 168744343 947839822 1143609226 1701239655 905981172 2616497657 3226430376 2417415231 2266777066 1425429149 2289357702 2374707362 1516772906 706359237 114191646 2528655761 2300932653 222110896 3206314743 1525619275 1550041901 1875771908 2370597907 2187754716 404975264 4231497069 242165206 255 362436" option to reproduce the execution
0.98/1.05	c #vars 155000
0.98/1.05	c #constraints 5150
3.39/3.41	c BCD2: Hardening is enabled.
3.39/3.41	c BCD2: BiasedSearch is enabled.
3.39/3.41	c Solving starts ...
3.39/3.41	c ============================[ Search Statistics ]============================
3.39/3.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.39/3.41	c       |         |          |          |    Limit     GC | Var      | Constra 
3.39/3.41	c =============================================================================
3.49/3.52	c  0.0s |       0 |        0 |        0 |    53433      0 |    58773 |        0
9.49/9.58	c  6.1s |       0 |     5538 |      100 |    53433      0 |    58773 |        0
9.59/9.66	c  6.1s |       1 |     5538 |      100 |    53433      0 |    58773 |        0
11.49/11.59	c  8.1s |       2 |    16740 |      250 |    58777      0 |    58773 |        0
13.99/14.02	c 10.5s |       2 |    30158 |      450 |    64655      0 |    58773 |        0
14.29/14.34	c 10.8s |       3 |    30183 |      475 |    64655      0 |    58773 |        0
17.79/17.83	c 14.3s |       3 |    51286 |      575 |    71121      0 |    58773 |        0
21.29/21.30	c 17.8s |       3 |    51384 |      675 |    71121      0 |    58773 |        0
24.69/24.79	c 21.3s |       3 |    51483 |      775 |    71121      0 |    58773 |        0
26.09/26.19	c 22.7s |       4 |    51522 |      813 |    71121      0 |    58773 |        0
30.59/30.62	c 27.1s |       4 |    76982 |     1013 |    78234      0 |    58773 |        0
37.29/37.37	c 33.8s |       4 |    77404 |     1113 |    78234      0 |    58773 |        0
45.49/45.51	c 42.0s |       4 |    77544 |     1213 |    78234      0 |    58773 |        0
51.88/51.91	c 48.4s |       4 |    77841 |     1313 |    78234      0 |    58773 |        0
52.28/52.35	c 48.8s |       5 |    77845 |     1320 |    78234      0 |    58773 |        0
54.98/55.04	c 51.5s |       5 |    80050 |     1620 |    86058      0 |    58773 |        0
57.59/57.64	c 54.1s |       5 |    80352 |     1920 |    86058      0 |    58773 |        0
59.18/59.24	c 55.7s |       6 |    80507 |     2081 |    94664      0 |    58773 |        0
61.48/61.55	c 58.0s |       6 |   129001 |     2181 |    94664      0 |    58773 |        0
65.18/65.27	c 61.7s |       6 |   129106 |     2281 |    94664      0 |    58773 |        0
69.08/69.17	c 65.6s |       6 |   129197 |     2381 |    94664      0 |    58773 |        0
73.07/73.13	c 69.6s |       6 |   129303 |     2481 |    94664      0 |    58773 |        0
76.97/77.08	c 73.6s |       6 |   129395 |     2581 |    94664      0 |    58773 |        0
80.98/81.01	c 77.5s |       6 |   129497 |     2681 |    94664      0 |    58773 |        0
84.88/84.97	c 81.5s |       6 |   129602 |     2781 |    94664      0 |    58773 |        0
88.78/88.80	c 85.3s |       6 |   129705 |     2881 |    94664      0 |    58773 |        0
92.68/92.75	c 89.2s |       6 |   129798 |     2981 |    94664      0 |    58773 |        0
96.68/96.75	c 93.2s |       6 |   129905 |     3081 |    94664      0 |    58773 |        0
100.67/100.74	c 97.2s |       6 |   130004 |     3181 |    94664      0 |    58773 |        0
102.37/102.44	c 98.9s |       7 |   130052 |     3223 |   104131      0 |    58773 |        0
105.08/105.14	c  101s |       7 |   133219 |     3623 |   104131      0 |    58773 |        0
107.38/107.40	c  103s |       7 |   133525 |     3923 |   104131      0 |    58773 |        0
109.98/110.03	c  106s |       7 |   133843 |     4223 |   104131      0 |    58773 |        0
112.77/112.80	c  109s |       7 |   134155 |     4523 |   104131      0 |    58773 |        0
115.57/115.63	c  112s |       7 |   134464 |     4823 |   104131      0 |    58773 |        0
116.67/116.70	c  113s |       8 |   134583 |     4936 |   114545      0 |    58773 |        0
121.67/121.70	c  118s |       8 |   159818 |     5036 |   114545      0 |    58773 |        0
126.37/126.44	c  122s |       8 |   159911 |     5136 |   114545      0 |    58773 |        0
131.07/131.17	c  127s |       8 |   160004 |     5236 |   114545      0 |    58773 |        0
135.87/135.90	c  132s |       8 |   160112 |     5336 |   114545      0 |    58773 |        0
140.57/140.62	c  137s |       8 |   160207 |     5436 |   114545      0 |    58773 |        0
145.27/145.35	c  141s |       8 |   160302 |     5536 |   114545      0 |    58773 |        0
149.97/150.08	c  146s |       8 |   160405 |     5636 |   114545      0 |    58773 |        0
154.76/154.81	c  151s |       8 |   160503 |     5736 |   114545      0 |    58773 |        0
159.46/159.53	c  156s |       8 |   160606 |     5836 |   114545      0 |    58773 |        0
164.17/164.26	c  160s |       8 |   160702 |     5936 |   114545      0 |    58773 |        0
168.96/169.00	c  165s |       8 |   160801 |     6036 |   114545      0 |    58773 |        0
173.66/173.73	c  170s |       8 |   160919 |     6136 |   114545      0 |    58773 |        0
178.36/178.49	c  174s |       8 |   161011 |     6236 |   114545      0 |    58773 |        0
183.16/183.21	c  179s |       8 |   161109 |     6336 |   114545      0 |    58773 |        0
187.96/188.01	c  184s |       8 |   161215 |     6436 |   114545      0 |    58773 |        0
192.76/192.81	c  189s |       8 |   161311 |     6536 |   114545      0 |    58773 |        0
197.46/197.57	c  194s |       8 |   161406 |     6636 |   114545      0 |    58773 |        0
202.16/202.29	c  198s |       8 |   161505 |     6736 |   114545      0 |    58773 |        0
207.16/207.23	c  203s |       8 |   161609 |     6836 |   114545      0 |    58773 |        0
212.05/212.19	c  208s |       8 |   161703 |     6936 |   114545      0 |    58773 |        0
216.85/216.91	c  213s |       8 |   161820 |     7036 |   114545      0 |    58773 |        0
221.55/221.63	c  218s |       8 |   161918 |     7136 |   114545      0 |    58773 |        0
226.35/226.40	c  222s |       8 |   162013 |     7236 |   114545      0 |    58773 |        0
231.16/231.25	c  227s |       8 |   162114 |     7336 |   114545      0 |    58773 |        0
236.06/236.15	c  232s |       8 |   162208 |     7436 |   114545      0 |    58773 |        0
239.56/239.69	c  236s |       9 |   162278 |     7506 |   126000      0 |    58773 |        0
249.45/249.58	c  246s |       9 |   199311 |     7606 |   126000      0 |    58773 |        0
259.65/259.72	c  256s |       9 |   199569 |     7706 |   126000      0 |    58773 |        0
273.45/273.57	c  270s |       9 |   199815 |     7806 |   126000      0 |    58773 |        0
283.54/283.66	c  280s |       9 |   200156 |     7906 |   126000      0 |    58773 |        0
293.14/293.24	c  289s |       9 |   200424 |     8006 |   126000      0 |    58773 |        0
306.04/306.13	c  302s |       9 |   200857 |     8106 |   126000      0 |    58773 |        0
322.03/322.12	c  318s |       9 |   201151 |     8206 |   126000      0 |    58773 |        0
340.13/340.26	c  336s |       9 |   201383 |     8306 |   126000      0 |    58773 |        0
357.52/357.66	c  354s |       9 |   201652 |     8406 |   126000      0 |    58773 |        0
372.72/372.88	c  369s |       9 |   202050 |     8506 |   126000      0 |    58773 |        0
383.02/383.16	c  379s |       9 |   202376 |     8606 |   126000      0 |    58773 |        0
398.53/398.63	c  395s |       9 |   202568 |     8706 |   126000      0 |    58773 |        0
417.12/417.28	c  413s |       9 |   202928 |     8806 |   126000      0 |    58773 |        0
436.01/436.14	c  432s |       9 |   203054 |     8906 |   126000      0 |    58773 |        0
451.11/451.24	c  447s |       9 |   203379 |     9006 |   126000      0 |    58773 |        0
472.00/472.20	c  468s |       9 |   203658 |     9106 |   126000      0 |    58773 |        0
489.39/489.58	c  486s |       9 |   203971 |     9206 |   126000      0 |    58773 |        0
506.19/506.39	c  502s |       9 |   204117 |     9306 |   126000      0 |    58773 |        0
523.38/523.57	c  520s |       9 |   204461 |     9406 |   126000      0 |    58773 |        0
545.57/545.71	c  542s |       9 |   204664 |     9506 |   126000      0 |    58773 |        0
564.76/564.94	c  561s |       9 |   204868 |     9606 |   126000      0 |    58773 |        0
579.97/580.18	c  576s |       9 |   205108 |     9706 |   126000      0 |    58773 |        0
599.36/599.59	c  596s |       9 |   205381 |     9806 |   126000      0 |    58773 |        0
613.96/614.11	c  610s |       9 |   205647 |     9906 |   126000      0 |    58773 |        0
634.65/634.82	c  631s |       9 |   205837 |    10006 |   126000      0 |    58773 |        0
653.95/654.17	c  650s |       9 |   206011 |    10106 |   126000      0 |    58773 |        0
676.84/677.09	c  673s |       9 |   206331 |    10206 |   126000      0 |    58773 |        0
703.33/703.58	c  700s |       9 |   206509 |    10306 |   126000      0 |    58773 |        0
726.43/726.68	c  723s |       9 |   206669 |    10406 |   126000      0 |    58773 |        0
749.33/749.58	c  746s |       9 |   206882 |    10506 |   126000      0 |    58773 |        0
772.33/772.59	c  769s |       9 |   207060 |    10606 |   126000      0 |    58773 |        0
796.02/796.29	c  792s |       9 |   207244 |    10706 |   126000      0 |    58773 |        0
818.82/819.08	c  815s |       9 |   207428 |    10806 |   126000      0 |    58773 |        0
833.52/833.72	c  830s |       9 |   207945 |    10906 |   126000      0 |    58773 |        0
850.42/850.62	c  847s |       9 |   208201 |    11006 |   126000      0 |    58773 |        0
865.71/865.91	c  862s |       9 |   208398 |    11106 |   126000      0 |    58773 |        0
882.80/883.03	c  879s |       9 |   208671 |    11206 |   126000      0 |    58773 |        0
904.21/904.49	c  900s |       9 |   208837 |    11306 |   138600      0 |    58773 |        0
918.51/918.76	c  915s |      10 |   208913 |    11361 |   138600      0 |    58773 |        0
926.01/926.24	c  922s |      10 |   244976 |    11461 |   138600      0 |    58773 |        0
932.60/932.83	c  929s |      10 |   245081 |    11561 |   138600      0 |    58773 |        0
939.40/939.69	c  936s |      10 |   245182 |    11661 |   138600      0 |    58773 |        0
947.60/947.81	c  944s |      10 |   245276 |    11761 |   138600      0 |    58773 |        0
957.20/957.41	c  953s |      10 |   245377 |    11861 |   138600      0 |    58773 |        0
967.79/968.04	c  964s |      10 |   245485 |    11961 |   138600      0 |    58773 |        0
978.29/978.52	c  975s |      10 |   245598 |    12061 |   138600      0 |    58773 |        0
991.09/991.35	c  987s |      10 |   245888 |    12161 |   138600      0 |    58773 |        0
1011.49/1011.79	c 1008s |      10 |   246072 |    12261 |   138600      0 |    58773 |        0
1027.78/1028.01	c 1024s |      10 |   246200 |    12361 |   138600      0 |    58773 |        0
1043.18/1043.40	c 1039s |      10 |   246363 |    12461 |   138600      0 |    58773 |        0
1059.18/1059.40	c 1055s |      10 |   246499 |    12561 |   138600      0 |    58773 |        0
1078.98/1079.27	c 1075s |      10 |   246618 |    12661 |   138600      0 |    58773 |        0
1098.98/1099.28	c 1095s |      10 |   246784 |    12761 |   138600      0 |    58773 |        0
1116.77/1117.06	c 1113s |      10 |   246910 |    12861 |   138600      0 |    58773 |        0
1132.87/1133.12	c 1129s |      10 |   247275 |    12961 |   138600      0 |    58773 |        0
1153.06/1153.33	c 1149s |      10 |   247355 |    13061 |   138600      0 |    58773 |        0
1170.06/1170.36	c 1166s |      10 |   247476 |    13161 |   138600      0 |    58773 |        0
1188.97/1189.22	c 1185s |      10 |   247592 |    13261 |   138600      0 |    58773 |        0
1206.46/1206.74	c 1203s |      10 |   247712 |    13361 |   138600      0 |    58773 |        0
1224.75/1225.03	c 1221s |      10 |   247853 |    13461 |   138600      0 |    58773 |        0
1243.45/1243.77	c 1240s |      10 |   247975 |    13561 |   138600      0 |    58773 |        0
1264.45/1264.73	c 1261s |      10 |   248098 |    13661 |   138600      0 |    58773 |        0
1273.75/1274.07	c 1270s |      10 |   248206 |    13761 |   138600      0 |    58773 |        0
1285.34/1285.60	c 1282s |      10 |   248388 |    13861 |   138600      0 |    58773 |        0
1299.74/1300.03	c 1296s |      10 |   248678 |    13961 |   138600      0 |    58773 |        0
1320.75/1321.03	c 1317s |      10 |   248807 |    14061 |   138600      0 |    58773 |        0
1337.75/1338.02	c 1334s |      10 |   248962 |    14161 |   138600      0 |    58773 |        0
1354.14/1354.41	c 1350s |      10 |   249096 |    14261 |   138600      0 |    58773 |        0
1369.33/1369.61	c 1366s |      10 |   249201 |    14361 |   138600      0 |    58773 |        0
1381.23/1381.57	c 1378s |      10 |   249343 |    14461 |   138600      0 |    58773 |        0
1393.84/1394.20	c 1390s |      10 |   249597 |    14561 |   138600      0 |    58773 |        0
1405.73/1406.04	c 1402s |      10 |   249909 |    14661 |   138600      0 |    58773 |        0
1418.23/1418.56	c 1415s |      10 |   250091 |    14761 |   138600      0 |    58773 |        0
1438.62/1438.92	c 1435s |      10 |   250224 |    14861 |   138600      0 |    58773 |        0
1454.02/1454.39	c 1450s |      10 |   250373 |    14961 |   138600      0 |    58773 |        0
1468.62/1468.98	c 1465s |      10 |   250484 |    15061 |   138600      0 |    58773 |        0
1481.82/1482.16	c 1478s |      10 |   250655 |    15161 |   138600      0 |    58773 |        0
1497.71/1498.08	c 1494s |      10 |   250759 |    15261 |   138600      0 |    58773 |        0
1510.41/1510.74	c 1507s |      10 |   250895 |    15361 |   138600      0 |    58773 |        0
1523.81/1524.17	c 1520s |      10 |   251035 |    15461 |   138600      0 |    58773 |        0
1538.41/1538.70	c 1535s |      10 |   251274 |    15561 |   138600      0 |    58773 |        0
1552.50/1552.87	c 1549s |      10 |   251474 |    15661 |   138600      0 |    58773 |        0
1566.90/1567.29	c 1563s |      10 |   251638 |    15761 |   138600      0 |    58773 |        0
1583.00/1583.34	c 1579s |      10 |   251774 |    15861 |   138600      0 |    58773 |        0
1597.90/1598.28	c 1594s |      10 |   251924 |    15961 |   138600      0 |    58773 |        0
1615.50/1615.80	c 1612s |      10 |   252089 |    16061 |   138600      0 |    58773 |        0
1630.30/1630.64	c 1627s |      10 |   252216 |    16161 |   138600      0 |    58773 |        0
1651.39/1651.78	c 1648s |      10 |   252320 |    16261 |   138600      0 |    58773 |        0
1669.99/1670.35	c 1666s |      10 |   252435 |    16361 |   138600      0 |    58773 |        0
1685.98/1686.32	c 1682s |      10 |   252559 |    16461 |   138600      0 |    58773 |        0
1701.09/1701.49	c 1697s |      10 |   252701 |    16561 |   138600      0 |    58773 |        0
1714.68/1715.02	c 1711s |      10 |   252835 |    16661 |   138600      0 |    58773 |        0
1729.38/1729.78	c 1726s |      10 |   252981 |    16761 |   138600      0 |    58773 |        0
1745.58/1745.94	c 1742s |      10 |   253089 |    16861 |   138600      0 |    58773 |        0
1763.47/1763.84	c 1760s |      10 |   253239 |    16961 |   138600      0 |    58773 |        0
1781.47/1781.83	c 1778s |      10 |   253387 |    17061 |   152460      0 |    58773 |        0
1797.67/1798.08	c 1794s |      11 |   253523 |    17144 |   152460      0 |    58773 |        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-4099929-1466209744/watcher-4099929-1466209744 -o /tmp/evaluation-result-4099929-1466209744/solver-4099929-1466209744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099929-1466209744.opb 

pid=32411
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.27 2.19 2.12 3/179 32414
/proc/meminfo: memFree=29622580/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=711236 CPUtime=0 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 2652 0 0 0 0 0 0 0 20 0 4 0 23020935 728305664 3523 33554432000 4194304 16246674 140736685609152 140736685608576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 178577 3531 442 2943 0 175471 0
[pid=32414/tid=32415] ppid=32411 vsize=728644 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 746131456 3591 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=733764 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 751374336 3608 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=737860 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020935 755568640 3625 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.27 2.19 2.12 3/179 32414
/proc/meminfo: memFree=29622580/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 28399 0 0 0 5 4 0 0 20 0 4 0 23020935 1332285440 29209 33554432000 4194304 16246674 140736685609152 140736685608464 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 325265 29224 799 2943 0 322159 0
[pid=32414/tid=32415] ppid=32411 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1332285440 29235 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1332285440 29247 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1332285440 29258 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1301060

[startup+0.510861 s]
/proc/loadavg: 2.27 2.19 2.12 3/179 32414
/proc/meminfo: memFree=29622580/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1314372 CPUtime=0.5 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 65546 0 0 0 42 8 0 0 20 0 4 0 23020935 1345916928 66866 33554432000 4194304 16246674 140736685609152 140736685592144 7368122 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 328593 66866 801 2943 0 325487 0
[pid=32414/tid=32415] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 66866 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 66866 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 66866 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 1314372

[startup+0.600518 s]
/proc/loadavg: 2.27 2.19 2.12 3/179 32414
/proc/meminfo: memFree=29622580/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1314372 CPUtime=0.59 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 69904 0 0 0 50 9 0 0 20 0 4 0 23020935 1345916928 71224 33554432000 4194304 16246674 140736685609152 140736685592144 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 328593 71244 801 2943 0 325487 0
[pid=32414/tid=32415] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 71255 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 71267 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 71278 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 1314372

[startup+0.700473 s]
/proc/loadavg: 2.27 2.19 2.12 3/179 32414
/proc/meminfo: memFree=29622580/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 72872 0 0 0 60 9 0 0 20 0 4 0 23020935 1345916928 74192 33554432000 4194304 16246674 140736685609152 140736685592144 12752240 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 328593 74192 802 2943 0 325487 0
[pid=32414/tid=32415] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 74192 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 74192 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1345916928 74192 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1314372

[startup+1.50757 s]
/proc/loadavg: 2.27 2.19 2.12 3/183 32467
/proc/meminfo: memFree=30143400/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=1.49 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 92074 0 0 0 137 12 0 0 20 0 4 0 23020935 1414074368 95949 33554432000 4194304 16246674 140736685609152 140736685608248 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 95949 830 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 95949 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 95949 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 95949 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+3.10037 s]
/proc/loadavg: 2.24 2.19 2.12 3/183 32467
/proc/meminfo: memFree=29547704/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=3.09 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 108590 0 0 0 294 15 0 0 20 0 4 0 23020935 1414074368 112465 33554432000 4194304 16246674 140736685609152 140736685608328 13781192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 112465 846 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 112465 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 112465 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 112465 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+6.30042 s]
/proc/loadavg: 2.24 2.19 2.12 3/183 32467
/proc/meminfo: memFree=28914088/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=6.29 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 173420 0 0 0 606 23 0 0 20 0 4 0 23020935 1414074368 177295 33554432000 4194304 16246674 140736685609152 140736685591040 13780624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 177295 898 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 177295 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 177295 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 177295 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.21 2.18 2.11 3/183 32467
/proc/meminfo: memFree=28914044/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=12.69 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 173420 0 0 0 1246 23 0 0 20 0 4 0 23020935 1414074368 177295 33554432000 4194304 16246674 140736685609152 140736685591040 5711680 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 177295 898 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 177295 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 177295 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 177295 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1380932

[startup+25.5004 s]
/proc/loadavg: 2.17 2.18 2.11 3/183 32467
/proc/meminfo: memFree=28911264/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=25.49 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 173421 0 0 0 2526 23 0 0 20 0 4 0 23020935 1414074368 178146 33554432000 4194304 16246674 140736685609152 140736685591040 12483376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 178146 898 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 178146 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 178146 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 178146 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+51.1004 s]
/proc/loadavg: 2.18 2.18 2.11 4/183 32467
/proc/meminfo: memFree=28862740/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=51.08 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 173423 0 0 0 5085 23 0 0 20 0 4 0 23020935 1414074368 190244 33554432000 4194304 16246674 140736685609152 140736685591040 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 190244 900 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 190244 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 190244 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 190244 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+102.3 s]
/proc/loadavg: 2.26 2.20 2.12 3/184 32471
/proc/meminfo: memFree=28781852/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=102.27 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 173423 0 0 0 10203 24 0 0 20 0 4 0 23020935 1414074368 210404 33554432000 4194304 16246674 140736685609152 140736685608248 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 210404 900 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 210404 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 210404 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 210404 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1380932


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

/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1380932

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.16 4/183 32502
/proc/meminfo: memFree=28456528/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=1362.03 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 246312 0 0 0 136162 41 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140736685591040 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 287245 901 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.16 3/183 32503
/proc/meminfo: memFree=28456968/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=1422.03 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 246312 0 0 0 142161 42 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140736685608328 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 287245 901 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+1482.3 s]
/proc/loadavg: 2.24 2.22 2.16 3/183 32505
/proc/meminfo: memFree=28457592/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=1482.01 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 246312 0 0 0 148159 42 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140736685591040 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 287245 901 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+1542.3 s]
/proc/loadavg: 2.29 2.24 2.17 3/183 32506
/proc/meminfo: memFree=28457348/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=1542.01 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 246312 0 0 0 154158 43 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140736685591040 5712536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 287245 901 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+1602.3 s]
/proc/loadavg: 2.32 2.25 2.18 3/183 32507
/proc/meminfo: memFree=28457232/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=1602 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 246312 0 0 0 160156 44 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140736685591040 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 287245 901 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1380932

[startup+1662.3 s]
/proc/loadavg: 2.37 2.28 2.19 3/183 32508
/proc/meminfo: memFree=28455748/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=1661.99 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 246312 0 0 0 166155 44 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140736685591040 13781202 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 287245 901 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007199202480 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) 1380932

[startup+1722.3 s]
/proc/loadavg: 2.33 2.29 2.19 3/183 32509
/proc/meminfo: memFree=28455252/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1380932 CPUtime=1721.98 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 246312 0 0 0 172153 45 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140736685608328 5712536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 345233 287245 901 2943 0 342127 0
[pid=32414/tid=32415] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1414074368 287245 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1380932

[startup+1782.3 s]
/proc/loadavg: 2.31 2.29 2.20 3/183 32511
/proc/meminfo: memFree=28387796/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1448516 CPUtime=1781.97 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 262977 0 0 0 178150 47 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140736685591040 5711784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 362129 303910 901 2943 0 359023 0
[pid=32414/tid=32415] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1448516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.31 2.29 2.20 3/183 32511
/proc/meminfo: memFree=28388168/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1448516 CPUtime=1800.07 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 262977 0 0 0 179959 48 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140736685591040 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 362129 303910 901 2943 0 359023 0
[pid=32414/tid=32415] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1448516

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

[startup+1800.4 s]
/proc/loadavg: 2.31 2.29 2.20 3/183 32511
/proc/meminfo: memFree=28388168/32872528 swapFree=1200228/1314692
[pid=32414] ppid=32411 vsize=1448516 CPUtime=1800.07 cores=0,2,4,6
/proc/32414/stat : 32414 (toysat) R 32411 32414 31224 0 -1 4202496 262977 0 0 0 179959 48 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140736685591040 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32414/statm: 362129 303910 901 2943 0 359023 0
[pid=32414/tid=32415] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32415/stat : 32415 (toysat) S 32411 32414 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007289367792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32414/tid=32416] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32416/stat : 32416 (toysat) S 32411 32414 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007209676016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32414/tid=32417] ppid=32411 vsize=1448516 CPUtime=0 cores=0,2,4,6
/proc/32414/task/32417/stat : 32417 (toysat) S 32411 32414 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020935 1483280384 303910 33554432000 4194304 16246674 140736685609152 140007199202480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1448516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.6
CPU system time (s): 0.481926
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 1448516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.481926
maximum resident set size= 1215640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262977
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= 102
involuntary context switches= 1942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0385 second user time and 18.0972 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 02:29:04
IDJOB=4099929
IDBENCH=1552
IDSOLVER=2542
FILE ID=node131/4099929-1466209744
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= d04a5226e9b4ce46849c897b37a2f22b
RANDOM SEED=812794226

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.752
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.57
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.752
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:        29622736 kB
Buffers:           42736 kB
Cached:           106768 kB
SwapCached:         1500 kB
Active:          1166772 kB
Inactive:          64120 kB
Active(anon):    1080972 kB
Inactive(anon):     2640 kB
Active(file):      85800 kB
Inactive(file):    61480 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099820 kB
Dirty:             22924 kB
Writeback:             0 kB
AnonPages:       2461040 kB
Mapped:            10924 kB
Shmem:                 0 kB
Slab:             570076 kB
SReclaimable:      14384 kB
SUnreclaim:       555692 kB
KernelStack:        1520 kB
PageTables:         9240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2535320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node131 at 2016-06-18 02:59:05