Trace number 4100513

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.1 1800.39

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-core2536-691.opb
MD5SUM06a8ed91d04dd9c37cb8c92ab4f7d82f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark534
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 386
Optimality of the best value was proved NO
Number of variables15284
Total number of constraints2537
Number of constraints which are clauses2536
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 constraint13789
Number of terms in the objective function 15284
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 15284
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 23045
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-18T03:59:22+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-4100513-1466215162.opb"]
0.00/0.01	c use --random-gen="2052426132 1009717887 572063396 3409935891 2764603144 942549591 47119784 508020479 4189828730 1391772276 1024937679 260556317 1332505943 2977779141 2133921494 1589804966 1107718773 583455292 3837925918 1115058816 174044679 3335680176 362547670 3718144747 967772409 4286595072 1264651168 3289279935 1328418206 479575779 3434848973 3082691490 2215898961 4258874827 3559955456 3857702865 2444305390 939074456 3704990740 2981655487 354669259 1751957395 2989533545 3672629685 1994877670 2489147001 890317557 3614763313 1003896654 225663410 1302449622 15141659 474846160 2603564851 2218331786 325115454 2782965564 3625115538 1135202927 122526723 1184977518 3599148866 3847750067 817062101 1129034359 4158389380 1853285547 2208201328 3532115277 1193721818 2797281269 2525851438 49124074 2436874849 2377908459 3581621011 3086478440 168486659 1313983399 2119233588 171383818 295834217 669926305 2273892995 2846354049 1332240460 2425990826 1643579030 3871286363 1577227872 104972530 1912139917 4277483253 2003455982 2488388126 141055500 2178100398 426884995 1608035936 553279227 4178022244 2678585139 1025239003 301224461 3936864959 3273840224 1989660008 471478356 3408710953 213972845 4078544957 3827800871 3582150912 3068316375 2628458570 3179715310 12177098 3291770919 2904094673 3392041668 1903026930 2962450587 3373096448 3334784727 1710394354 2481371598 2468744671 3201463648 904751384 1911286410 1888908765 2257194211 2342241048 4131047674 952975594 3441139449 3934717789 1992588063 1572042498 473956401 1931951993 2577508799 3224314439 2931523736 911215120 1923511065 178826743 2890713159 1250612297 2381029331 4006152344 2032244058 434905767 375794494 3668702623 3047976829 3890297435 2355078361 3862223931 2243945311 3613977491 2641908386 3904229956 4209283283 2370480353 2090912840 780747768 708207191 22944439 862948192 2139135600 2057627410 1764588593 2286294124 1081590631 2898368849 3260150235 235655145 2513577792 2975356634 3150217974 315776711 3975571932 2083682336 2940085950 3310016919 1493691168 1671735203 3585633693 3145702759 3098224923 642086488 506282607 1619624652 250878004 2764276899 407479579 2935900890 1230976627 3864137436 4057385179 3409764518 3767789199 1852218427 2525596535 1896858365 2268518788 1447464222 885662693 2851310693 2303486235 3526093573 3572995309 2725241617 3712951064 205330681 1145672849 3695477186 2109931080 105724676 3976979045 1559283613 4075496174 1651771908 2943826550 3032079835 3092664535 3917913722 4057008755 3579803057 3621859087 1643971975 2458263342 2092898139 2255734141 1104048816 3388750777 1322439856 2434460497 727288637 1295149465 3722307218 1125568749 2503094488 3107067472 3501695072 1235482522 2273794211 1609313377 630026607 898363630 3162397234 765153649 1294334986 553533610 1780519993 255 362436" option to reproduce the execution
0.29/0.34	c #vars 15284
0.29/0.34	c #constraints 2537
0.79/0.82	c BCD2: Hardening is enabled.
0.79/0.82	c BCD2: BiasedSearch is enabled.
0.79/0.82	c Solving starts ...
0.79/0.82	c ============================[ Search Statistics ]============================
0.79/0.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.82	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.82	c =============================================================================
0.79/0.82	c  0.0s |       0 |        0 |        0 |     5933      0 |        5 |        0
9.78/9.90	c  9.1s |       0 |    10674 |      100 |     5933      0 |        5 |       12
9.89/9.91	c  9.1s |       1 |    10674 |      100 |     5933      0 |        5 |       12
17.39/17.42	c 16.6s |       1 |    20464 |      200 |     6527      0 |        5 |       12
20.18/20.20	c 19.4s |       2 |    20684 |      250 |     6527      0 |        5 |       12
27.68/27.72	c 26.9s |       2 |    30411 |      350 |     7180      0 |        5 |       12
39.88/39.98	c 39.2s |       2 |    31077 |      450 |     7180      0 |        5 |       12
42.18/42.21	c 41.4s |       3 |    31129 |      475 |     7180      0 |        5 |       12
51.28/51.36	c 50.5s |       3 |    41060 |      575 |     7899      0 |        5 |       12
59.58/59.62	c 58.8s |       3 |    41634 |      675 |     7899      0 |        5 |       12
67.48/67.56	c 66.7s |       3 |    42110 |      775 |     7899      0 |        5 |       12
70.68/70.75	c 69.9s |       4 |    42245 |      813 |     7899      0 |        5 |       12
78.78/78.88	c 78.1s |       4 |    51822 |      913 |     8689      0 |        5 |       12
87.37/87.49	c 86.7s |       4 |    52362 |     1013 |     8689      0 |        5 |       12
96.68/96.71	c 95.9s |       4 |    52785 |     1113 |     8689      0 |        5 |       12
107.68/107.74	c  106s |       4 |    53317 |     1213 |     8689      0 |        5 |       12
116.28/116.32	c  115s |       4 |    53801 |     1313 |     8689      0 |        5 |       12
116.87/116.97	c  116s |       5 |    53827 |     1320 |     8689      0 |        5 |       12
126.17/126.24	c  125s |       5 |    63631 |     1420 |     9558      0 |        5 |       12
134.17/134.27	c  133s |       5 |    64142 |     1520 |     9558      0 |        5 |       12
141.36/141.44	c  140s |       5 |    64484 |     1620 |     9558      0 |        5 |       12
149.97/150.05	c  149s |       5 |    64901 |     1720 |     9558      0 |        5 |       12
160.27/160.31	c  159s |       5 |    65314 |     1820 |     9558      0 |        5 |       12
169.06/169.14	c  168s |       5 |    65708 |     1920 |     9558      0 |        5 |       12
177.76/177.89	c  177s |       5 |    66232 |     2020 |     9558      0 |        5 |       12
182.67/182.78	c  181s |       6 |    66474 |     2081 |    10514      0 |        5 |       12
191.66/191.71	c  190s |       6 |    76115 |     2181 |    10514      0 |        5 |       12
198.95/199.07	c  198s |       6 |    76558 |     2281 |    10514      0 |        5 |       12
206.26/206.30	c  205s |       6 |    76913 |     2381 |    10514      0 |        5 |       12
215.36/215.44	c  214s |       6 |    77181 |     2481 |    10514      0 |        5 |       12
222.96/223.09	c  222s |       6 |    77686 |     2581 |    10514      0 |        5 |       12
232.95/233.05	c  232s |       6 |    78364 |     2681 |    10514      0 |        5 |       12
238.96/239.09	c  238s |       6 |    78651 |     2781 |    10514      0 |        5 |       12
246.36/246.46	c  245s |       6 |    79022 |     2881 |    10514      0 |        5 |       12
254.85/254.92	c  254s |       6 |    79401 |     2981 |    10514      0 |        5 |       12
261.35/261.43	c  260s |       6 |    80166 |     3081 |    10514      0 |        5 |       12
269.25/269.32	c  268s |       6 |    80627 |     3181 |    10514      0 |        5 |       12
272.95/273.07	c  272s |       7 |    80832 |     3223 |    11566      0 |        5 |       12
284.04/284.17	c  283s |       7 |    90501 |     3323 |    11566      0 |        5 |       12
296.44/296.55	c  295s |       7 |    91119 |     3423 |    11566      0 |        5 |       12
308.55/308.61	c  307s |       7 |    91551 |     3523 |    11566      0 |        5 |       12
317.14/317.22	c  316s |       7 |    92077 |     3623 |    11566      0 |        5 |       12
326.94/327.04	c  326s |       7 |    92431 |     3723 |    11566      0 |        5 |       12
334.84/334.99	c  334s |       7 |    92800 |     3823 |    11566      0 |        5 |       12
342.94/343.01	c  342s |       7 |    93187 |     3923 |    11566      0 |        5 |       12
352.14/352.22	c  351s |       7 |    93876 |     4023 |    11566      0 |        5 |       12
361.24/361.32	c  360s |       7 |    94183 |     4123 |    11566      0 |        5 |       12
368.83/368.97	c  368s |       7 |    94505 |     4223 |    11566      0 |        5 |       12
375.83/375.90	c  375s |       7 |    94885 |     4323 |    11566      0 |        5 |       12
384.23/384.33	c  383s |       7 |    95409 |     4423 |    11566      0 |        5 |       12
392.03/392.14	c  391s |       7 |    95738 |     4523 |    11566      0 |        5 |       12
401.12/401.22	c  400s |       7 |    96219 |     4623 |    11566      0 |        5 |       12
410.03/410.17	c  409s |       7 |    96519 |     4723 |    11566      0 |        5 |       12
419.22/419.30	c  418s |       7 |    96936 |     4823 |    11566      0 |        5 |       12
428.72/428.85	c  428s |       7 |    97356 |     4923 |    12723      0 |        5 |       12
430.42/430.58	c  429s |       8 |    97391 |     4936 |    12723      0 |        5 |       12
443.23/443.35	c  442s |       8 |   106908 |     5036 |    12723      0 |        5 |       12
450.52/450.69	c  449s |       8 |   107312 |     5136 |    12723      0 |        5 |       12
459.42/459.54	c  458s |       8 |   107633 |     5236 |    12723      0 |        5 |       12
467.32/467.47	c  466s |       8 |   108011 |     5336 |    12723      0 |        5 |       12
474.21/474.37	c  473s |       8 |   108403 |     5436 |    12723      0 |        5 |       12
482.42/482.56	c  481s |       8 |   108698 |     5536 |    12723      0 |        5 |       12
490.92/491.05	c  490s |       8 |   108893 |     5636 |    12723      0 |        5 |       12
499.11/499.28	c  498s |       8 |   109351 |     5736 |    12723      0 |        5 |       12
508.51/508.68	c  507s |       8 |   109894 |     5836 |    12723      0 |        5 |       12
517.61/517.77	c  516s |       8 |   110347 |     5936 |    12723      0 |        5 |       12
528.41/528.52	c  527s |       8 |   110852 |     6036 |    12723      0 |        5 |       12
540.41/540.58	c  539s |       8 |   111345 |     6136 |    12723      0 |        5 |       12
547.81/547.94	c  547s |       8 |   111642 |     6236 |    12723      0 |        5 |       12
555.01/555.20	c  554s |       8 |   112141 |     6336 |    12723      0 |        5 |       12
561.90/562.00	c  561s |       8 |   112421 |     6436 |    12723      0 |        5 |       12
568.61/568.73	c  567s |       8 |   112867 |     6536 |    12723      0 |        5 |       12
576.70/576.85	c  576s |       8 |   113189 |     6636 |    12723      0 |        5 |       12
587.20/587.30	c  586s |       8 |   113661 |     6736 |    12723      0 |        5 |       12
594.60/594.75	c  593s |       8 |   114042 |     6836 |    12723      0 |        5 |       12
602.19/602.32	c  601s |       8 |   114327 |     6936 |    12723      0 |        5 |       12
608.39/608.55	c  607s |       8 |   114772 |     7036 |    12723      0 |        5 |       12
614.91/615.00	c  614s |       8 |   115153 |     7136 |    12723      0 |        5 |       12
622.40/622.50	c  621s |       8 |   115450 |     7236 |    12723      0 |        5 |       12
628.89/629.05	c  628s |       8 |   115621 |     7336 |    12723      0 |        5 |       12
640.79/640.92	c  640s |       8 |   116571 |     7436 |    12723      0 |        5 |       12
647.49/647.61	c  646s |       9 |   116939 |     7506 |    13996      0 |        5 |       12
661.79/661.92	c  661s |       9 |   126498 |     7606 |    13996      0 |        5 |       12
669.90/670.03	c  669s |       9 |   127079 |     7706 |    13996      0 |        5 |       12
678.88/679.01	c  678s |       9 |   127812 |     7806 |    13996      0 |        5 |       12
688.50/688.68	c  687s |       9 |   128408 |     7906 |    13996      0 |        5 |       12
696.09/696.20	c  695s |       9 |   128880 |     8006 |    13996      0 |        5 |       12
703.78/703.90	c  703s |       9 |   129431 |     8106 |    13996      0 |        5 |       12
712.98/713.18	c  712s |       9 |   129650 |     8206 |    13996      0 |        5 |       12
722.68/722.87	c  722s |       9 |   130095 |     8306 |    13996      0 |        5 |       12
734.97/735.13	c  734s |       9 |   130616 |     8406 |    13996      0 |        5 |       12
745.98/746.16	c  745s |       9 |   131204 |     8506 |    13996      0 |        5 |       12
759.07/759.27	c  758s |       9 |   131432 |     8606 |    13996      0 |        5 |       12
770.17/770.34	c  769s |       9 |   132147 |     8706 |    13996      0 |        5 |       12
778.77/778.99	c  778s |       9 |   132716 |     8806 |    13996      0 |        5 |       12
787.07/787.28	c  786s |       9 |   133403 |     8906 |    13996      0 |        5 |       12
795.87/796.04	c  795s |       9 |   134041 |     9006 |    13996      0 |        5 |       12
804.46/804.61	c  803s |       9 |   134633 |     9106 |    13996      0 |        5 |       12
812.47/812.67	c  811s |       9 |   135041 |     9206 |    13996      0 |        5 |       12
824.27/824.47	c  823s |       9 |   135363 |     9306 |    13996      0 |        5 |       12
838.76/838.94	c  838s |       9 |   136636 |     9406 |    13996      0 |        5 |       12
850.36/850.52	c  849s |       9 |   137188 |     9506 |    13996      0 |        5 |       12
863.26/863.41	c  862s |       9 |   138083 |     9606 |    13996      0 |        5 |       12
872.45/872.64	c  871s |       9 |   138817 |     9706 |    13996      0 |        5 |       12
881.66/881.82	c  881s |       9 |   139505 |     9806 |    13996      0 |        5 |       12
889.86/890.06	c  889s |       9 |   140026 |     9906 |    13996      0 |        5 |       12
898.35/898.56	c  897s |       9 |   140410 |    10006 |    13996      0 |        5 |       12
907.05/907.29	c  906s |       9 |   140955 |    10106 |    13996      0 |        5 |       12
916.05/916.25	c  915s |       9 |   141449 |    10206 |    13996      0 |        5 |       12
925.05/925.22	c  924s |       9 |   142004 |    10306 |    13996      0 |        5 |       12
934.86/935.10	c  934s |       9 |   142376 |    10406 |    13996      0 |        5 |       12
945.96/946.13	c  945s |       9 |   143280 |    10506 |    13996      0 |        5 |       12
957.54/957.71	c  956s |       9 |   143917 |    10606 |    13996      0 |        5 |       12
965.14/965.32	c  964s |       9 |   144255 |    10706 |    13996      0 |        5 |       12
973.45/973.68	c  972s |       9 |   144538 |    10806 |    13996      0 |        5 |       12
983.04/983.25	c  982s |       9 |   144937 |    10906 |    13996      0 |        5 |       12
992.14/992.32	c  991s |       9 |   145372 |    11006 |    13996      0 |        5 |       12
1001.03/1001.25	c 1000s |       9 |   145574 |    11106 |    13996      0 |        5 |       12
1012.73/1012.93	c 1012s |       9 |   146259 |    11206 |    13996      0 |        5 |       12
1022.84/1023.04	c 1022s |       9 |   146669 |    11306 |    15396      0 |        5 |       12
1027.24/1027.50	c 1026s |      10 |   146918 |    11361 |    15396      0 |        5 |       12
1044.12/1044.38	c 1043s |      10 |   156604 |    11461 |    15396      0 |        5 |       12
1054.12/1054.32	c 1053s |      10 |   156921 |    11561 |    15396      0 |        5 |       12
1068.12/1068.38	c 1067s |      10 |   157402 |    11661 |    15396      0 |        5 |       12
1084.42/1084.69	c 1083s |      10 |   158640 |    11761 |    15396      0 |        5 |       12
1095.92/1096.19	c 1095s |      10 |   159581 |    11861 |    15396      0 |        5 |       12
1106.62/1106.84	c 1106s |      10 |   160406 |    11961 |    15396      0 |        5 |       12
1116.11/1116.35	c 1115s |      10 |   160890 |    12061 |    15396      0 |        5 |       12
1124.21/1124.44	c 1123s |      10 |   161323 |    12161 |    15396      0 |        5 |       12
1131.72/1131.95	c 1131s |      10 |   161587 |    12261 |    15396      0 |        5 |       12
1140.51/1140.73	c 1139s |      10 |   162099 |    12361 |    15396      0 |        5 |       12
1150.81/1151.01	c 1150s |      10 |   162408 |    12461 |    15396      0 |        5 |       12
1160.71/1160.91	c 1160s |      10 |   162853 |    12561 |    15396      0 |        5 |       12
1169.21/1169.46	c 1168s |      10 |   163138 |    12661 |    15396      0 |        5 |       12
1178.30/1178.56	c 1177s |      10 |   163335 |    12761 |    15396      0 |        5 |       12
1189.10/1189.34	c 1188s |      10 |   163611 |    12861 |    15396      0 |        5 |       12
1201.90/1202.12	c 1201s |      10 |   163880 |    12961 |    15396      0 |        5 |       12
1211.20/1211.41	c 1210s |      10 |   164249 |    13061 |    15396      0 |        5 |       12
1219.50/1219.70	c 1218s |      10 |   164757 |    13161 |    15396      0 |        5 |       12
1228.09/1228.31	c 1227s |      10 |   165347 |    13261 |    15396      0 |        5 |       12
1236.00/1236.26	c 1235s |      10 |   165718 |    13361 |    15396      0 |        5 |       12
1246.39/1246.63	c 1245s |      10 |   166123 |    13461 |    15396      0 |        5 |       12
1263.29/1263.51	c 1262s |      10 |   167061 |    13561 |    15396      0 |        5 |       12
1275.39/1275.66	c 1274s |      10 |   167942 |    13661 |    15396      0 |        5 |       12
1284.78/1285.02	c 1284s |      10 |   168483 |    13761 |    15396      0 |        5 |       12
1296.29/1296.51	c 1295s |      10 |   169010 |    13861 |    15396      0 |        5 |       12
1304.79/1305.07	c 1304s |      10 |   169418 |    13961 |    15396      0 |        5 |       12
1313.29/1313.57	c 1312s |      10 |   169847 |    14061 |    15396      0 |        5 |       12
1322.38/1322.65	c 1321s |      10 |   170400 |    14161 |    15396      0 |        5 |       12
1334.57/1334.85	c 1334s |      10 |   170662 |    14261 |    15396      0 |        5 |       12
1344.28/1344.60	c 1343s |      10 |   170931 |    14361 |    15396      0 |        5 |       12
1353.58/1353.85	c 1353s |      10 |   171381 |    14461 |    15396      0 |        5 |       12
1362.98/1363.30	c 1362s |      10 |   171644 |    14561 |    15396      0 |        5 |       12
1372.17/1372.43	c 1371s |      10 |   171899 |    14661 |    15396      0 |        5 |       12
1382.27/1382.51	c 1381s |      10 |   172095 |    14761 |    15396      0 |        5 |       12
1392.27/1392.53	c 1391s |      10 |   172763 |    14861 |    15396      0 |        5 |       12
1402.28/1402.58	c 1401s |      10 |   173039 |    14961 |    15396      0 |        5 |       12
1412.47/1412.74	c 1411s |      10 |   173237 |    15061 |    15396      0 |        5 |       12
1428.46/1428.74	c 1427s |      10 |   173969 |    15161 |    15396      0 |        5 |       12
1443.46/1443.77	c 1442s |      10 |   174958 |    15261 |    15396      0 |        5 |       12
1453.46/1453.77	c 1452s |      10 |   175674 |    15361 |    15396      0 |        5 |       12
1464.86/1465.11	c 1464s |      10 |   176327 |    15461 |    15396      0 |        5 |       12
1474.76/1475.01	c 1474s |      10 |   177097 |    15561 |    15396      0 |        5 |       12
1486.16/1486.41	c 1485s |      10 |   177769 |    15661 |    15396      0 |        5 |       12
1496.25/1496.59	c 1495s |      10 |   178506 |    15761 |    15396      0 |        5 |       12
1505.95/1506.25	c 1505s |      10 |   178868 |    15861 |    15396      0 |        5 |       12
1516.25/1516.56	c 1515s |      10 |   179334 |    15961 |    15396      0 |        5 |       12
1526.15/1526.43	c 1525s |      10 |   179752 |    16061 |    15396      0 |        5 |       12
1535.24/1535.52	c 1534s |      10 |   180057 |    16161 |    15396      0 |        5 |       12
1545.54/1545.80	c 1544s |      10 |   180348 |    16261 |    15396      0 |        5 |       12
1556.84/1557.10	c 1556s |      10 |   181176 |    16361 |    15396      0 |        5 |       12
1565.44/1565.71	c 1564s |      10 |   181570 |    16461 |    15396      0 |        5 |       12
1574.64/1574.93	c 1574s |      10 |   181828 |    16561 |    15396      0 |        5 |       12
1583.64/1583.99	c 1583s |      10 |   182207 |    16661 |    15396      0 |        5 |       12
1594.04/1594.32	c 1593s |      10 |   182666 |    16761 |    15396      0 |        5 |       12
1605.93/1606.24	c 1605s |      10 |   183174 |    16861 |    15396      0 |        5 |       12
1615.23/1615.57	c 1614s |      10 |   183653 |    16961 |    15396      0 |        5 |       12
1627.74/1628.06	c 1627s |      10 |   184372 |    17061 |    16936      0 |        5 |       12
1634.73/1635.02	c 1634s |      11 |   184725 |    17144 |    16936      0 |        5 |       12
1679.53/1679.89	c 1679s |      11 |   194636 |    17244 |    16936      1 |        5 |       12
1689.72/1690.06	c 1689s |      11 |   195445 |    17344 |    16936      1 |        5 |       12
1699.32/1699.69	c 1698s |      11 |   195870 |    17444 |    16936      1 |        5 |       12
1709.12/1709.47	c 1708s |      11 |   196414 |    17544 |    16936      1 |        5 |       12
1719.22/1719.59	c 1718s |      11 |   196989 |    17644 |    16936      1 |        5 |       12
1729.91/1730.22	c 1729s |      11 |   197394 |    17744 |    16936      1 |        5 |       12
1741.12/1741.41	c 1740s |      11 |   197929 |    17844 |    16936      1 |        5 |       12
1751.51/1751.88	c 1751s |      11 |   198420 |    17944 |    16936      1 |        5 |       12
1763.41/1763.73	c 1762s |      11 |   198763 |    18044 |    16936      1 |        5 |       12
1777.10/1777.43	c 1776s |      11 |   199148 |    18144 |    16936      1 |        5 |       12
1787.41/1787.75	c 1786s |      11 |   199732 |    18244 |    16936      1 |        5 |       12
1795.61/1795.97	c 1795s |      11 |   200089 |    18344 |    16936      1 |        5 |       12

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

pid=17165
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.23 2.22 2.23 3/179 17168
/proc/meminfo: memFree=29239868/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 2826 0 0 0 0 0 0 0 20 0 4 0 23564963 773255168 2676 33554432000 4194304 16246674 140736075819072 140736075818496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 189295 2684 441 2943 0 186189 0
[pid=17168/tid=17169] ppid=17165 vsize=773564 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 792129536 2745 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 797372416 2766 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23564963 801566720 2782 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.23 2.22 2.23 3/179 17168
/proc/meminfo: memFree=29239868/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 28640 0 0 0 6 3 0 0 20 0 4 0 23564963 1333334016 28428 33554432000 4194304 16246674 140736075819072 140736075802064 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 325521 28443 800 2943 0 322415 0
[pid=17168/tid=17169] ppid=17165 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1333334016 28454 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1333334016 28465 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1333334016 28477 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200511 s]
/proc/loadavg: 2.23 2.22 2.23 3/179 17168
/proc/meminfo: memFree=29239868/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 50344 0 0 0 13 6 0 0 20 0 4 0 23564963 1343819776 50642 33554432000 4194304 16246674 140736075819072 140736075802064 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328081 50642 801 2943 0 324975 0
[pid=17168/tid=17169] ppid=17165 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1343819776 50642 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1343819776 50642 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1343819776 50642 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300502 s]
/proc/loadavg: 2.23 2.22 2.23 3/179 17168
/proc/meminfo: memFree=29239868/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 57606 0 0 0 22 7 0 0 20 0 4 0 23564963 1343819776 57904 33554432000 4194304 16246674 140736075819072 140736075802064 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328081 57904 801 2943 0 324975 0
[pid=17168/tid=17169] ppid=17165 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1343819776 57904 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1343819776 57904 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1343819776 57904 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700355 s]
/proc/loadavg: 2.23 2.22 2.23 3/179 17168
/proc/meminfo: memFree=29239868/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 113914 0 0 0 55 14 0 0 20 0 4 0 23564963 1346965504 114212 33554432000 4194304 16246674 140736075819072 140736075802064 6757221 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328849 114212 835 2943 0 325743 0
[pid=17168/tid=17169] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114212 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114212 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114212 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50033 s]
/proc/loadavg: 2.23 2.22 2.23 3/183 17172
/proc/meminfo: memFree=28784056/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 113960 0 0 0 135 14 0 0 20 0 4 0 23564963 1346965504 114258 33554432000 4194304 16246674 140736075819072 140736075800960 5522960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328849 114258 879 2943 0 325743 0
[pid=17168/tid=17169] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114258 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114258 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114258 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10041 s]
/proc/loadavg: 2.23 2.22 2.23 3/183 17172
/proc/meminfo: memFree=28782816/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 113975 0 0 0 295 14 0 0 20 0 4 0 23564963 1346965504 114273 33554432000 4194304 16246674 140736075819072 140736075818248 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328849 114273 894 2943 0 325743 0
[pid=17168/tid=17169] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114273 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114273 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114273 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.3004 s]
/proc/loadavg: 2.29 2.24 2.23 3/183 17172
/proc/meminfo: memFree=28784064/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 113976 0 0 0 615 14 0 0 20 0 4 0 23564963 1346965504 114274 33554432000 4194304 16246674 140736075819072 140736075818248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328849 114274 895 2943 0 325743 0
[pid=17168/tid=17169] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114274 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114274 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114274 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.35 2.25 2.24 4/183 17172
/proc/meminfo: memFree=28783744/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1315396 CPUtime=12.68 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 113977 0 0 0 1254 14 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140736075818168 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328849 114275 895 2943 0 325743 0
[pid=17168/tid=17169] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.34 2.25 2.24 3/183 17172
/proc/meminfo: memFree=28784144/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 113977 0 0 0 2533 15 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140736075818248 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328849 114275 895 2943 0 325743 0
[pid=17168/tid=17169] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.28 2.25 2.24 4/184 17175
/proc/meminfo: memFree=28783916/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 113977 0 0 0 5091 17 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140736075818248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328849 114275 895 2943 0 325743 0
[pid=17168/tid=17169] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.21 2.24 2.23 3/183 17199
/proc/meminfo: memFree=28782208/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 113977 0 0 0 10207 21 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140736075816896 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 328849 114275 895 2943 0 325743 0
[pid=17168/tid=17169] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 1346965504 114275 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 2526613504 557949 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2467396

[startup+1362.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/183 17280
/proc/meminfo: memFree=26875972/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=2562628 CPUtime=1362.07 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 581210 0 0 0 135953 254 0 0 20 0 4 0 23564963 2624131072 581743 33554432000 4194304 16246674 140736075819072 140736075818248 12483403 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 640657 581743 896 2943 0 637551 0
[pid=17168/tid=17169] ppid=17165 vsize=2562628 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 2624131072 581743 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=2562628 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 2624131072 581743 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=2562628 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 2624131072 581743 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2562628

[startup+1422.3 s]
/proc/loadavg: 2.31 2.20 2.18 3/183 17281
/proc/meminfo: memFree=26772708/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=2665028 CPUtime=1422.07 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 606968 0 0 0 141936 271 0 0 20 0 4 0 23564963 2728988672 607499 33554432000 4194304 16246674 140736075819072 140736075818168 6011952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 666257 607499 896 2943 0 663151 0
[pid=17168/tid=17169] ppid=17165 vsize=2665028 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 2728988672 607499 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=2665028 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 2728988672 607499 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=2665028 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 2728988672 607499 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2665028

[startup+1482.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 17282
/proc/meminfo: memFree=26711132/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=2731588 CPUtime=1482.06 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 623428 0 0 0 147919 287 0 0 20 0 4 0 23564963 2797146112 623958 33554432000 4194304 16246674 140736075819072 140736075818168 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 682897 623958 896 2943 0 679791 0
[pid=17168/tid=17169] ppid=17165 vsize=2731588 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 2797146112 623958 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=2731588 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 2797146112 623958 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=2731588 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 2797146112 623958 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2731588

[startup+1542.31 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 17283
/proc/meminfo: memFree=26608452/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=2829892 CPUtime=1542.05 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 647976 0 0 0 153901 304 0 0 20 0 4 0 23564963 2897809408 648506 33554432000 4194304 16246674 140736075819072 140736075818248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 707473 648506 898 2943 0 704367 0
[pid=17168/tid=17169] ppid=17165 vsize=2829892 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 2897809408 648506 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=2829892 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 2897809408 648506 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=2829892 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 2897809408 648506 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2829892

[startup+1602.3 s]
/proc/loadavg: 2.21 2.19 2.18 4/183 17284
/proc/meminfo: memFree=26514200/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=2923076 CPUtime=1602.04 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 671483 0 0 0 159885 319 0 0 20 0 4 0 23564963 2993229824 672013 33554432000 4194304 16246674 140736075819072 140736075818248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 730769 672013 898 2943 0 727663 0
[pid=17168/tid=17169] ppid=17165 vsize=2923076 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 2993229824 672013 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=2923076 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 2993229824 672013 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=2923076 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 2993229824 672013 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2923076

[startup+1662.3 s]
/proc/loadavg: 2.29 2.21 2.19 3/183 17286
/proc/meminfo: memFree=26465632/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=2971204 CPUtime=1662.03 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 683506 0 0 0 165867 336 0 0 20 0 4 0 23564963 3042512896 684036 33554432000 4194304 16246674 140736075819072 140736075816960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 742801 684036 898 2943 0 739695 0
[pid=17168/tid=17169] ppid=17165 vsize=2971204 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 3042512896 684036 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=2971204 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 3042512896 684036 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=2971204 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 3042512896 684036 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2971204

[startup+1722.3 s]
/proc/loadavg: 2.15 2.19 2.18 4/183 17287
/proc/meminfo: memFree=26390756/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=3045956 CPUtime=1722.01 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 702205 0 0 0 171848 353 0 0 20 0 4 0 23564963 3119058944 702734 33554432000 4194304 16246674 140736075819072 140736075818248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 761489 702734 899 2943 0 758383 0
[pid=17168/tid=17169] ppid=17165 vsize=3045956 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 3119058944 702734 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=3045956 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 3119058944 702734 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=3045956 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 3119058944 702734 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3045956

[startup+1782.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/183 17288
/proc/meminfo: memFree=26302884/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=3134020 CPUtime=1782.01 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 724119 0 0 0 177830 371 0 0 20 0 4 0 23564963 3209236480 724648 33554432000 4194304 16246674 140736075819072 140736075818168 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 783505 724648 899 2943 0 780399 0
[pid=17168/tid=17169] ppid=17165 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 3209236480 724648 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 3209236480 724648 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 3209236480 724648 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3134020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 17288
/proc/meminfo: memFree=26288616/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=3147332 CPUtime=1800.01 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 727549 0 0 0 179624 377 0 0 20 0 4 0 23564963 3222867968 728078 33554432000 4194304 16246674 140736075819072 140736075818248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 786833 728078 899 2943 0 783727 0
[pid=17168/tid=17169] ppid=17165 vsize=3147332 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 3222867968 728078 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=3147332 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 3222867968 728078 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=3147332 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 3222867968 728078 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3147332

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

[startup+1800.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 17288
/proc/meminfo: memFree=26288616/32872528 swapFree=1431120/1543540
[pid=17168] ppid=17165 vsize=3147332 CPUtime=1800.01 cores=0,2,4,6
/proc/17168/stat : 17168 (toysat) R 17165 17168 15180 0 -1 4202496 727549 0 0 0 179624 377 0 0 20 0 4 0 23564963 3222867968 728078 33554432000 4194304 16246674 140736075819072 140736075818248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17168/statm: 786833 728078 899 2943 0 783727 0
[pid=17168/tid=17169] ppid=17165 vsize=3147332 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17169/stat : 17169 (toysat) S 17165 17168 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23564963 3222867968 728078 33554432000 4194304 16246674 140736075819072 140491805928688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17168/tid=17170] ppid=17165 vsize=3147332 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17170/stat : 17170 (toysat) S 17165 17168 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23564963 3222867968 728078 33554432000 4194304 16246674 140736075819072 140491795438832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17168/tid=17171] ppid=17165 vsize=3147332 CPUtime=0 cores=0,2,4,6
/proc/17168/task/17171/stat : 17171 (toysat) S 17165 17168 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23564963 3222867968 728078 33554432000 4194304 16246674 140736075819072 140491784965296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3147332

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.39
CPU time (s): 1800.1
CPU user time (s): 1796.25
CPU system time (s): 3.85041
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 3147332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.25
system time used= 3.85041
maximum resident set size= 2912312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 727549
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= 40
involuntary context switches= 1967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47032 second user time and 7.00993 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 03:59:22
IDJOB=4100513
IDBENCH=1626
IDSOLVER=2542
FILE ID=node116/4100513-1466215162
RUNJOBID= node116-1466206094-15196
PBS_JOBID= 19918160
Free space on /tmp= 71708 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-core2536-691.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100513-1466215162/watcher-4100513-1466215162 -o /tmp/evaluation-result-4100513-1466215162/solver-4100513-1466215162 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100513-1466215162.opb

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

MD5SUM BENCH= 06a8ed91d04dd9c37cb8c92ab4f7d82f
RANDOM SEED=39730331

node116.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.781
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.56
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.781
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.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29240156 kB
Buffers:          103924 kB
Cached:           118664 kB
SwapCached:         2160 kB
Active:          1224128 kB
Inactive:         127096 kB
Active(anon):    1129452 kB
Inactive(anon):     1544 kB
Active(file):      94676 kB
Inactive(file):   125552 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             17876 kB
Writeback:             0 kB
AnonPages:       2763672 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             602624 kB
SReclaimable:      46860 kB
SUnreclaim:       555764 kB
KernelStack:        1520 kB
PageTables:         9716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2811988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1325056 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= 71684 MiB
End job on node116 at 2016-06-18 04:29:23