Trace number 4103361

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.16 1800.47

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
MD5SUM9f773ed397fe8d5b3302fdfeba2433bb
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark947200000000000
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 947200000000000
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 2048000000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 29770752000000000
Number of bits of the sum of numbers in the objective function 55
Biggest number in a constraint 2048000000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 29770752000000000
Number of bits of the biggest sum of numbers55
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-18T09:41:00+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-4103361-1466235660.opb"]
0.00/0.01	c use --random-gen="1941623668 1610871003 3531822790 1937415164 3821733260 3505684623 3337000139 1256669505 629198568 4133424970 1113832935 1286493808 3725985732 2942945620 2412626486 503631517 2599000273 1106649545 4280843174 3377506124 827010029 1013212958 2578665411 350157981 2576958897 3538714193 2877404257 246748171 864880918 2504510527 3119454546 1053589824 2065098545 2397369672 2593913606 2809406869 4283235416 4106786083 2816517621 1139823300 65734740 1911696273 2139033877 51597477 4154279212 13784592 2930117667 1434836466 3302589996 3208643512 3209967237 2052722324 4201882358 531148626 4272628223 1765085867 1733425680 4052016202 3147777151 1764164463 3156244225 3394364333 3493482144 828788113 1869712241 28295935 1498439131 1248611291 2338819979 734372263 3555330884 1120421856 1984823626 1236705030 2870040887 627525739 2044102492 4170722043 612229280 737641160 2765234197 2789701066 3446932289 4079014643 2724840602 2359607812 3480315809 2642496402 2767125663 410579255 2968670970 449724571 765961841 2962083100 2471869363 2093090095 2821406018 3675437869 2775942859 458932742 2153371726 2891545376 144719579 1180198351 966186092 4229838636 1788664811 2358114665 3961539431 3295720267 928357338 1425082056 4033003237 465291056 1490169830 3754188200 2918010360 109291875 3090275237 2257497694 1450905709 1112782254 3847317028 2764918338 3599658890 4077900478 1119938114 2507176492 4041110761 1656460128 2176961574 1901263711 300907841 3555496757 2777954369 2825882932 1986040364 3327187880 4053367260 922933725 2941501209 3228799740 1581801627 3347469344 3670468745 1396056852 3319990303 1301718959 2650319660 3330141469 3995735390 2745929441 1705972190 2696216922 1874352424 1653442465 3054447340 2445106098 2087173680 1624294893 850078868 1070900229 3284988606 1718804780 3774096330 1571141311 1919751837 3195299855 4098661555 3508219209 1507897507 2779990254 4212476360 4235185811 1151799381 3577330815 3356048160 4046920385 3939101974 1356643644 2912024255 3433497697 1145768951 1486723838 1114308123 303937817 1075517862 3350904429 32440609 908196985 1408995297 4068042192 2896665378 3727599408 2879339629 3672135359 738726938 1382492879 3604832554 3424727296 2167371483 1859879957 976735931 2725002536 4147572946 2909444504 12474423 1531933967 2572827477 4239957454 40104876 969426300 489754834 2922563523 741095828 2639921249 20874587 3288696989 2365394019 3178285880 1163779204 2293597257 1519667993 2806720126 2240452567 4036460345 3540058551 2489316412 3085343615 3448429745 3134393452 876902924 3824104487 555837100 2641011198 88632997 3731077071 2231462421 3685988437 1650874385 513143433 3893197415 4265844022 1002880266 3594982095 457765385 756240191 3642952902 744642172 622215054 1172603510 1346646070 1073314915 1330314024 2897675050 762963487 255 362436" option to reproduce the execution
0.29/0.31	c #vars 15284
0.29/0.31	c #constraints 2537
0.79/0.83	c BCD2: Hardening is enabled.
0.79/0.83	c BCD2: BiasedSearch is enabled.
0.79/0.83	c Solving starts ...
0.79/0.83	c ============================[ Search Statistics ]============================
0.79/0.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.83	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.83	c =============================================================================
0.79/0.83	c  0.0s |       0 |        0 |        0 |     5933      0 |        5 |        0
23.69/23.79	c 23.0s |       0 |    11990 |      100 |     5933      0 |        5 |       12
23.69/23.79	c 23.0s |       1 |    11990 |      100 |     5933      0 |        5 |       12
33.48/33.53	c 32.7s |       1 |    22164 |      200 |     6527      0 |        5 |       12
42.09/42.13	c 41.3s |       2 |    22436 |      250 |     6527      0 |        5 |       12
55.18/55.21	c 54.4s |       2 |    32848 |      350 |     7180      0 |        5 |       12
67.38/67.44	c 66.6s |       2 |    33104 |      450 |     7180      0 |        5 |       12
72.18/72.20	c 71.4s |       3 |    33190 |      475 |     7180      0 |        5 |       12
83.38/83.43	c 82.6s |       3 |    43026 |      575 |     7899      0 |        5 |       12
99.38/99.45	c 98.6s |       3 |    43464 |      675 |     7899      0 |        5 |       12
113.17/113.20	c  112s |       3 |    43670 |      775 |     7899      0 |        5 |       12
117.37/117.47	c  116s |       4 |    44194 |      813 |     7899      0 |        5 |       12
128.97/129.02	c  128s |       4 |    53849 |      913 |     8689      0 |        5 |       12
139.37/139.48	c  138s |       4 |    54110 |     1013 |     8689      0 |        5 |       12
152.57/152.62	c  151s |       4 |    54423 |     1113 |     8689      0 |        5 |       12
164.66/164.71	c  163s |       4 |    54753 |     1213 |     8689      0 |        5 |       12
176.66/176.76	c  175s |       4 |    55085 |     1313 |     8689      0 |        5 |       12
177.46/177.59	c  176s |       5 |    55085 |     1320 |     8689      0 |        5 |       12
187.26/187.37	c  186s |       5 |    65059 |     1420 |     9558      0 |        5 |       12
197.86/197.97	c  197s |       5 |    65225 |     1520 |     9558      0 |        5 |       12
207.66/207.75	c  206s |       5 |    66286 |     1620 |     9558      0 |        5 |       12
219.25/219.32	c  218s |       5 |    66667 |     1720 |     9558      0 |        5 |       12
234.06/234.20	c  233s |       5 |    67282 |     1820 |     9558      0 |        5 |       12
249.55/249.67	c  248s |       5 |    67594 |     1920 |     9558      0 |        5 |       12
261.95/262.02	c  261s |       5 |    68226 |     2020 |     9558      0 |        5 |       12
270.65/270.74	c  269s |       6 |    68486 |     2081 |    10514      0 |        5 |       12
285.74/285.84	c  285s |       6 |    78583 |     2181 |    10514      0 |        5 |       12
298.05/298.20	c  297s |       6 |    78900 |     2281 |    10514      0 |        5 |       12
307.55/307.64	c  306s |       6 |    79566 |     2381 |    10514      0 |        5 |       12
317.44/317.57	c  316s |       6 |    80205 |     2481 |    10514      0 |        5 |       12
326.84/326.93	c  326s |       6 |    80645 |     2581 |    10514      0 |        5 |       12
335.55/335.66	c  334s |       6 |    81259 |     2681 |    10514      0 |        5 |       12
348.75/348.82	c  347s |       6 |    82062 |     2781 |    10514      0 |        5 |       12
358.73/358.89	c  358s |       6 |    82408 |     2881 |    10514      0 |        5 |       12
370.13/370.28	c  369s |       6 |    82920 |     2981 |    10514      0 |        5 |       12
377.43/377.57	c  376s |       6 |    83704 |     3081 |    10514      0 |        5 |       12
387.63/387.70	c  386s |       6 |    84633 |     3181 |    10514      0 |        5 |       12
392.33/392.44	c  391s |       7 |    84693 |     3223 |    11566      0 |        5 |       12
405.63/405.70	c  404s |       7 |    94335 |     3323 |    11566      0 |        5 |       12
416.52/416.67	c  415s |       7 |    94697 |     3423 |    11566      0 |        5 |       12
426.22/426.38	c  425s |       7 |    95489 |     3523 |    11566      0 |        5 |       12
440.53/440.63	c  439s |       7 |    96580 |     3623 |    11566      0 |        5 |       12
455.62/455.80	c  454s |       7 |    97534 |     3723 |    11566      0 |        5 |       12
469.52/469.60	c  468s |       7 |    98468 |     3823 |    11566      0 |        5 |       12
481.82/481.98	c  481s |       7 |    99395 |     3923 |    11566      0 |        5 |       12
495.32/495.41	c  494s |       7 |   100146 |     4023 |    11566      0 |        5 |       12
509.91/510.03	c  509s |       7 |   101157 |     4123 |    11566      0 |        5 |       12
520.71/520.82	c  519s |       7 |   101860 |     4223 |    11566      0 |        5 |       12
532.51/532.60	c  531s |       7 |   102255 |     4323 |    11566      0 |        5 |       12
541.91/542.05	c  541s |       7 |   103124 |     4423 |    11566      0 |        5 |       12
552.60/552.77	c  551s |       7 |   104021 |     4523 |    11566      0 |        5 |       12
564.00/564.15	c  563s |       7 |   104679 |     4623 |    11566      0 |        5 |       12
575.00/575.12	c  574s |       7 |   105263 |     4723 |    11566      0 |        5 |       12
584.60/584.74	c  583s |       7 |   105855 |     4823 |    11566      0 |        5 |       12
594.59/594.76	c  593s |       7 |   106457 |     4923 |    12723      0 |        5 |       12
595.59/595.73	c  594s |       8 |   106553 |     4936 |    12723      0 |        5 |       12
612.89/613.00	c  612s |       8 |   116475 |     5036 |    12723      0 |        5 |       12
621.20/621.37	c  620s |       8 |   116786 |     5136 |    12723      0 |        5 |       12
632.00/632.16	c  631s |       8 |   117283 |     5236 |    12723      0 |        5 |       12
640.10/640.23	c  639s |       8 |   117797 |     5336 |    12723      0 |        5 |       12
649.39/649.55	c  648s |       8 |   117984 |     5436 |    12723      0 |        5 |       12
656.89/657.05	c  656s |       8 |   118701 |     5536 |    12723      0 |        5 |       12
665.08/665.29	c  664s |       8 |   119071 |     5636 |    12723      0 |        5 |       12
675.18/675.31	c  674s |       8 |   119362 |     5736 |    12723      0 |        5 |       12
683.79/683.93	c  683s |       8 |   119664 |     5836 |    12723      0 |        5 |       12
693.48/693.65	c  692s |       8 |   119986 |     5936 |    12723      0 |        5 |       12
705.98/706.16	c  705s |       8 |   120277 |     6036 |    12723      0 |        5 |       12
715.28/715.48	c  714s |       8 |   120740 |     6136 |    12723      0 |        5 |       12
723.98/724.19	c  723s |       8 |   121122 |     6236 |    12723      0 |        5 |       12
734.07/734.22	c  733s |       8 |   121292 |     6336 |    12723      0 |        5 |       12
746.57/746.73	c  745s |       8 |   121752 |     6436 |    12723      0 |        5 |       12
754.37/754.55	c  753s |       8 |   122248 |     6536 |    12723      0 |        5 |       12
763.87/764.00	c  763s |       8 |   122761 |     6636 |    12723      0 |        5 |       12
773.77/773.93	c  773s |       8 |   123291 |     6736 |    12723      0 |        5 |       12
784.07/784.25	c  783s |       8 |   123840 |     6836 |    12723      0 |        5 |       12
795.28/795.44	c  794s |       8 |   124264 |     6936 |    12723      0 |        5 |       12
807.96/808.12	c  807s |       8 |   125320 |     7036 |    12723      0 |        5 |       12
821.67/821.82	c  820s |       8 |   125928 |     7136 |    12723      0 |        5 |       12
832.26/832.42	c  831s |       8 |   126667 |     7236 |    12723      0 |        5 |       12
841.57/841.75	c  840s |       8 |   127396 |     7336 |    12723      0 |        5 |       12
855.56/855.79	c  854s |       8 |   127829 |     7436 |    12723      0 |        5 |       12
864.66/864.82	c  863s |       9 |   127987 |     7506 |    13996      0 |        5 |       12
880.36/880.54	c  879s |       9 |   137740 |     7606 |    13996      0 |        5 |       12
890.65/890.81	c  889s |       9 |   138279 |     7706 |    13996      0 |        5 |       12
900.25/900.46	c  899s |       9 |   138764 |     7806 |    13996      0 |        5 |       12
910.75/910.91	c  910s |       9 |   139161 |     7906 |    13996      0 |        5 |       12
922.24/922.48	c  921s |       9 |   139588 |     8006 |    13996      0 |        5 |       12
935.74/935.94	c  935s |       9 |   139833 |     8106 |    13996      0 |        5 |       12
951.64/951.88	c  951s |       9 |   140059 |     8206 |    13996      0 |        5 |       12
963.94/964.11	c  963s |       9 |   140975 |     8306 |    13996      0 |        5 |       12
975.14/975.32	c  974s |       9 |   141779 |     8406 |    13996      0 |        5 |       12
982.94/983.18	c  982s |       9 |   142249 |     8506 |    13996      0 |        5 |       12
992.34/992.56	c  991s |       9 |   143078 |     8606 |    13996      0 |        5 |       12
1001.83/1002.10	c 1001s |       9 |   143855 |     8706 |    13996      0 |        5 |       12
1012.23/1012.45	c 1011s |       9 |   144633 |     8806 |    13996      0 |        5 |       12
1021.03/1021.27	c 1020s |       9 |   145211 |     8906 |    13996      0 |        5 |       12
1030.83/1031.01	c 1030s |       9 |   145744 |     9006 |    13996      0 |        5 |       12
1041.32/1041.59	c 1040s |       9 |   146304 |     9106 |    13996      0 |        5 |       12
1054.92/1055.16	c 1054s |       9 |   147245 |     9206 |    13996      0 |        5 |       12
1072.92/1073.18	c 1072s |       9 |   148047 |     9306 |    13996      0 |        5 |       12
1090.11/1090.32	c 1089s |       9 |   148955 |     9406 |    13996      0 |        5 |       12
1101.81/1102.09	c 1101s |       9 |   149360 |     9506 |    13996      0 |        5 |       12
1110.22/1110.49	c 1109s |       9 |   149936 |     9606 |    13996      0 |        5 |       12
1118.71/1118.97	c 1118s |       9 |   150458 |     9706 |    13996      0 |        5 |       12
1126.81/1127.02	c 1126s |       9 |   151046 |     9806 |    13996      0 |        5 |       12
1137.32/1137.55	c 1136s |       9 |   151821 |     9906 |    13996      0 |        5 |       12
1153.20/1153.41	c 1152s |       9 |   152195 |    10006 |    13996      0 |        5 |       12
1168.60/1168.84	c 1168s |       9 |   153278 |    10106 |    13996      0 |        5 |       12
1181.00/1181.22	c 1180s |       9 |   153597 |    10206 |    13996      0 |        5 |       12
1192.00/1192.21	c 1191s |       9 |   154284 |    10306 |    13996      0 |        5 |       12
1201.00/1201.24	c 1200s |       9 |   154694 |    10406 |    13996      0 |        5 |       12
1209.09/1209.39	c 1208s |       9 |   155294 |    10506 |    13996      0 |        5 |       12
1218.89/1219.16	c 1218s |       9 |   155822 |    10606 |    13996      0 |        5 |       12
1229.19/1229.47	c 1228s |       9 |   156425 |    10706 |    13996      0 |        5 |       12
1238.79/1239.02	c 1238s |       9 |   157131 |    10806 |    13996      0 |        5 |       12
1252.79/1253.06	c 1252s |       9 |   157635 |    10906 |    13996      0 |        5 |       12
1264.18/1264.48	c 1263s |       9 |   158443 |    11006 |    13996      0 |        5 |       12
1273.79/1274.00	c 1273s |       9 |   158738 |    11106 |    13996      0 |        5 |       12
1286.18/1286.45	c 1285s |       9 |   159134 |    11206 |    13996      0 |        5 |       12
1298.48/1298.78	c 1297s |       9 |   159683 |    11306 |    15396      0 |        5 |       12
1304.18/1304.43	c 1303s |      10 |   159881 |    11361 |    15396      0 |        5 |       12
1322.97/1323.22	c 1322s |      10 |   169687 |    11461 |    15396      0 |        5 |       12
1330.68/1330.91	c 1330s |      10 |   170177 |    11561 |    15396      0 |        5 |       12
1337.98/1338.21	c 1337s |      10 |   170479 |    11661 |    15396      0 |        5 |       12
1346.28/1346.52	c 1345s |      10 |   170777 |    11761 |    15396      0 |        5 |       12
1353.57/1353.87	c 1353s |      10 |   171016 |    11861 |    15396      0 |        5 |       12
1361.96/1362.23	c 1361s |      10 |   171206 |    11961 |    15396      0 |        5 |       12
1369.27/1369.58	c 1368s |      10 |   171397 |    12061 |    15396      0 |        5 |       12
1380.27/1380.60	c 1379s |      10 |   172067 |    12161 |    15396      0 |        5 |       12
1391.66/1391.94	c 1391s |      10 |   172719 |    12261 |    15396      0 |        5 |       12
1400.36/1400.65	c 1399s |      10 |   173334 |    12361 |    15396      0 |        5 |       12
1408.56/1408.86	c 1408s |      10 |   173781 |    12461 |    15396      0 |        5 |       12
1417.56/1417.84	c 1417s |      10 |   174222 |    12561 |    15396      0 |        5 |       12
1426.75/1427.02	c 1426s |      10 |   174587 |    12661 |    15396      0 |        5 |       12
1436.55/1436.81	c 1435s |      10 |   174854 |    12761 |    15396      0 |        5 |       12
1448.55/1448.89	c 1448s |      10 |   175259 |    12861 |    15396      0 |        5 |       12
1457.36/1457.68	c 1456s |      10 |   175741 |    12961 |    15396      0 |        5 |       12
1467.64/1467.96	c 1467s |      10 |   176306 |    13061 |    15396      0 |        5 |       12
1477.55/1477.86	c 1477s |      10 |   176724 |    13161 |    15396      0 |        5 |       12
1485.04/1485.39	c 1484s |      10 |   177513 |    13261 |    15396      0 |        5 |       12
1493.54/1493.84	c 1493s |      10 |   178070 |    13361 |    15396      0 |        5 |       12
1501.54/1501.88	c 1501s |      10 |   178443 |    13461 |    15396      0 |        5 |       12
1511.44/1511.70	c 1510s |      10 |   179076 |    13561 |    15396      0 |        5 |       12
1519.44/1519.78	c 1518s |      10 |   179490 |    13661 |    15396      0 |        5 |       12
1528.85/1529.16	c 1528s |      10 |   179927 |    13761 |    15396      0 |        5 |       12
1537.34/1537.68	c 1536s |      10 |   180194 |    13861 |    15396      0 |        5 |       12
1547.54/1547.85	c 1547s |      10 |   180694 |    13961 |    15396      0 |        5 |       12
1556.13/1556.49	c 1555s |      10 |   181291 |    14061 |    15396      0 |        5 |       12
1564.03/1564.37	c 1563s |      10 |   181766 |    14161 |    15396      0 |        5 |       12
1572.43/1572.77	c 1571s |      10 |   182049 |    14261 |    15396      0 |        5 |       12
1579.62/1579.91	c 1579s |      10 |   182378 |    14361 |    15396      0 |        5 |       12
1587.13/1587.45	c 1586s |      10 |   182592 |    14461 |    15396      0 |        5 |       12
1597.72/1598.00	c 1597s |      10 |   183209 |    14561 |    15396      0 |        5 |       12
1607.63/1607.92	c 1607s |      10 |   183872 |    14661 |    15396      0 |        5 |       12
1615.92/1616.24	c 1615s |      10 |   184639 |    14761 |    15396      0 |        5 |       12
1624.42/1624.72	c 1623s |      10 |   185189 |    14861 |    15396      0 |        5 |       12
1633.02/1633.38	c 1632s |      10 |   185550 |    14961 |    15396      0 |        5 |       12
1643.52/1643.82	c 1642s |      10 |   185851 |    15061 |    15396      0 |        5 |       12
1653.31/1653.62	c 1652s |      10 |   186210 |    15161 |    15396      0 |        5 |       12
1661.92/1662.26	c 1661s |      10 |   186629 |    15261 |    15396      0 |        5 |       12
1670.12/1670.48	c 1669s |      10 |   186965 |    15361 |    15396      0 |        5 |       12
1680.62/1680.95	c 1680s |      10 |   187665 |    15461 |    15396      0 |        5 |       12
1689.61/1689.93	c 1689s |      10 |   188172 |    15561 |    15396      0 |        5 |       12
1698.91/1699.21	c 1698s |      10 |   188635 |    15661 |    15396      0 |        5 |       12
1707.80/1708.11	c 1707s |      10 |   189076 |    15761 |    15396      0 |        5 |       12
1717.30/1717.64	c 1716s |      10 |   189722 |    15861 |    15396      0 |        5 |       12
1725.61/1725.91	c 1725s |      10 |   190082 |    15961 |    15396      0 |        5 |       12
1736.90/1737.21	c 1736s |      10 |   190396 |    16061 |    15396      0 |        5 |       12
1747.61/1747.97	c 1747s |      10 |   190826 |    16161 |    15396      0 |        5 |       12
1757.50/1757.88	c 1757s |      10 |   191474 |    16261 |    15396      0 |        5 |       12
1766.30/1766.67	c 1765s |      10 |   191963 |    16361 |    15396      0 |        5 |       12
1775.69/1776.04	c 1775s |      10 |   192429 |    16461 |    15396      0 |        5 |       12
1784.39/1784.77	c 1783s |      10 |   193085 |    16561 |    15396      0 |        5 |       12
1792.99/1793.32	c 1792s |      10 |   193609 |    16661 |    15396      0 |        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-4103361-1466235660/watcher-4103361-1466235660 -o /tmp/evaluation-result-4103361-1466235660/solver-4103361-1466235660 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103361-1466235660.opb 

pid=5761
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.16 2.23 2.20 3/180 5764
/proc/meminfo: memFree=28869504/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=783940 CPUtime=0 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 2935 0 0 0 0 0 0 0 20 0 4 0 25613157 802754560 2785 33554432000 4194304 16246674 140737318148496 140737318147920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 196497 2793 442 2943 0 193391 0
[pid=5764/tid=5765] ppid=5761 vsize=801348 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 820580352 2854 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=805444 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 824774656 2871 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=810564 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25613157 830017536 2890 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100223 s]
/proc/loadavg: 2.16 2.23 2.20 3/180 5764
/proc/meminfo: memFree=28869504/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1305156 CPUtime=0.09 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 33627 0 0 0 5 4 0 0 20 0 4 0 25613157 1336479744 33415 33554432000 4194304 16246674 140737318148496 140737318147808 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 326289 33430 800 2943 0 323183 0
[pid=5764/tid=5765] ppid=5761 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1336479744 33440 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1336479744 33452 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1336479744 33464 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1305156

[startup+0.200511 s]
/proc/loadavg: 2.16 2.23 2.20 3/180 5764
/proc/meminfo: memFree=28869504/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 47430 0 0 0 13 6 0 0 20 0 4 0 25613157 1344868352 47728 33554432000 4194304 16246674 140737318148496 140737318130368 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 328337 47746 800 2943 0 325231 0
[pid=5764/tid=5765] ppid=5761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1344868352 47756 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1344868352 47769 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1344868352 47779 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1313348

[startup+0.300476 s]
/proc/loadavg: 2.16 2.23 2.20 3/180 5764
/proc/meminfo: memFree=28869504/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 54538 0 0 0 21 8 0 0 20 0 4 0 25613157 1344868352 54836 33554432000 4194304 16246674 140737318148496 140737318130368 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 328337 54836 801 2943 0 325231 0
[pid=5764/tid=5765] ppid=5761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1344868352 54836 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1344868352 54836 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1344868352 54836 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1313348

[startup+0.700403 s]
/proc/loadavg: 2.16 2.23 2.20 3/180 5764
/proc/meminfo: memFree=28869504/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1324612 CPUtime=0.68 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 117253 0 0 0 54 14 0 0 20 0 4 0 25613157 1356402688 117551 33554432000 4194304 16246674 140737318148496 140737318130368 13898404 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 331153 117551 835 2943 0 328047 0
[pid=5764/tid=5765] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117551 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117551 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117551 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1324612

[startup+1.50029 s]
/proc/loadavg: 2.16 2.23 2.20 3/183 5768
/proc/meminfo: memFree=28292792/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1324612 CPUtime=1.49 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 117549 0 0 0 134 15 0 0 20 0 4 0 25613157 1356402688 117847 33554432000 4194304 16246674 140737318148496 140737318130368 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 331153 117847 878 2943 0 328047 0
[pid=5764/tid=5765] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117847 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117847 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117847 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1324612

[startup+3.10038 s]
/proc/loadavg: 2.16 2.23 2.20 3/183 5768
/proc/meminfo: memFree=28240960/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1324612 CPUtime=3.09 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 117564 0 0 0 294 15 0 0 20 0 4 0 25613157 1356402688 117862 33554432000 4194304 16246674 140737318148496 140737318146304 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 331153 117862 893 2943 0 328047 0
[pid=5764/tid=5765] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117862 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117862 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117862 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1324612

[startup+6.30036 s]
/proc/loadavg: 2.23 2.24 2.20 4/183 5768
/proc/meminfo: memFree=27791532/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1324612 CPUtime=6.29 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 117565 0 0 0 614 15 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140737318146368 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 331153 117863 894 2943 0 328047 0
[pid=5764/tid=5765] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.21 2.24 2.20 3/183 5768
/proc/meminfo: memFree=27329904/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1324612 CPUtime=12.68 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 117565 0 0 0 1253 15 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140737318130368 4222264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 331153 117863 894 2943 0 328047 0
[pid=5764/tid=5765] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1324612

[startup+25.5005 s]
/proc/loadavg: 2.31 2.26 2.21 3/183 5768
/proc/meminfo: memFree=26819028/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1324612 CPUtime=25.49 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 117565 0 0 0 2533 16 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140737318130368 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 331153 117863 894 2943 0 328047 0
[pid=5764/tid=5765] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.47 2.30 2.22 4/183 5768
/proc/meminfo: memFree=25522020/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1324612 CPUtime=51.08 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 117565 0 0 0 5091 17 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140737318146368 6012032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 331153 117863 894 2943 0 328047 0
[pid=5764/tid=5765] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1324612

[startup+102.3 s]
/proc/loadavg: 2.32 2.28 2.22 3/183 5770
/proc/meminfo: memFree=22205068/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=1324612 CPUtime=102.28 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 117565 0 0 0 10207 21 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140737318130368 5667777 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 331153 117863 894 2943 0 328047 0
[pid=5764/tid=5765] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 1356402688 117863 33554432000 4194304 16246674 140737318148496 140071251463344 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) 1324612


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

/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2035879936 438079 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1988164

[startup+1302.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/182 5919
/proc/meminfo: memFree=27103532/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2065988 CPUtime=1302.08 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 457202 0 0 0 130011 197 0 0 20 0 4 0 25613157 2115571712 457735 33554432000 4194304 16246674 140737318148496 140737318146368 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 516497 457735 894 2943 0 513391 0
[pid=5764/tid=5765] ppid=5761 vsize=2065988 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2115571712 457735 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2065988 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2115571712 457735 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2065988 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2115571712 457735 33554432000 4194304 16246674 140737318148496 140071251463344 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) 2065988

[startup+1362.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 5921
/proc/meminfo: memFree=27004048/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2159172 CPUtime=1362.06 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 480501 0 0 0 135993 213 0 0 20 0 4 0 25613157 2210992128 481033 33554432000 4194304 16246674 140737318148496 140737318147672 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 539793 481033 896 2943 0 536687 0
[pid=5764/tid=5765] ppid=5761 vsize=2159172 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2210992128 481033 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2159172 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2210992128 481033 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2159172 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2210992128 481033 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2159172

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 5922
/proc/meminfo: memFree=26898696/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2258500 CPUtime=1422.06 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 505197 0 0 0 141980 226 0 0 20 0 4 0 25613157 2312704000 505724 33554432000 4194304 16246674 140737318148496 140737318147592 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 564625 505724 896 2943 0 561519 0
[pid=5764/tid=5765] ppid=5761 vsize=2258500 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2312704000 505724 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2258500 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2312704000 505724 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2258500 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2312704000 505724 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2258500

[startup+1482.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/183 5923
/proc/meminfo: memFree=26801552/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2355780 CPUtime=1482.05 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 529418 0 0 0 147964 241 0 0 20 0 4 0 25613157 2412318720 529934 33554432000 4194304 16246674 140737318148496 140737318147672 4224610 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 588945 529934 896 2943 0 585839 0
[pid=5764/tid=5765] ppid=5761 vsize=2355780 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2412318720 529934 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2355780 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2412318720 529934 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2355780 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2412318720 529934 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2355780

[startup+1542.31 s]
/proc/loadavg: 2.31 2.23 2.19 3/183 5924
/proc/meminfo: memFree=26697356/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2468420 CPUtime=1542.04 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 557649 0 0 0 153948 256 0 0 20 0 4 0 25613157 2527662080 558162 33554432000 4194304 16246674 140737318148496 140737318147672 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 617105 558162 896 2943 0 613999 0
[pid=5764/tid=5765] ppid=5761 vsize=2468420 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2527662080 558162 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2468420 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2527662080 558162 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2468420 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2527662080 558162 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2468420

[startup+1602.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 5925
/proc/meminfo: memFree=26569036/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2576964 CPUtime=1602.02 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 584833 0 0 0 159930 272 0 0 20 0 4 0 25613157 2638811136 585346 33554432000 4194304 16246674 140737318148496 140737318147592 4225134 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 644241 585346 896 2943 0 641135 0
[pid=5764/tid=5765] ppid=5761 vsize=2576964 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2638811136 585346 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2576964 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2638811136 585346 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2576964 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2638811136 585346 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2576964

[startup+1662.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/183 5927
/proc/meminfo: memFree=26472388/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2672196 CPUtime=1662.01 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 608776 0 0 0 165912 289 0 0 20 0 4 0 25613157 2736328704 609289 33554432000 4194304 16246674 140737318148496 140737318147592 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 668049 609289 896 2943 0 664943 0
[pid=5764/tid=5765] ppid=5761 vsize=2672196 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2736328704 609289 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2672196 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2736328704 609289 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2672196 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2736328704 609289 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2672196

[startup+1722.3 s]
/proc/loadavg: 2.30 2.24 2.19 4/183 5928
/proc/meminfo: memFree=26364132/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2780740 CPUtime=1722 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 635773 0 0 0 171894 306 0 0 20 0 4 0 25613157 2847477760 636284 33554432000 4194304 16246674 140737318148496 140737318147592 4225325 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 695185 636284 896 2943 0 692079 0
[pid=5764/tid=5765] ppid=5761 vsize=2780740 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2847477760 636284 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2780740 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2847477760 636284 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2780740 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2847477760 636284 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2780740

[startup+1782.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/184 5932
/proc/meminfo: memFree=26277760/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2865732 CPUtime=1781.99 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 657168 0 0 0 177876 323 0 0 20 0 4 0 25613157 2934509568 657673 33554432000 4194304 16246674 140737318148496 140737318147672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 716433 657673 896 2943 0 713327 0
[pid=5764/tid=5765] ppid=5761 vsize=2865732 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2934509568 657673 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2865732 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2934509568 657673 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2865732 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2934509568 657673 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2865732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.22 2.18 3/184 5932
/proc/meminfo: memFree=26240528/32872528 swapFree=17888/1798212
[pid=5764] ppid=5761 vsize=2903620 CPUtime=1800.09 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 579 0 -1 4202496 666531 0 0 0 179682 327 0 0 20 0 4 0 25613157 2973306880 667035 33554432000 4194304 16246674 140737318148496 140737318147672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 725905 667035 896 2943 0 722799 0
[pid=5764/tid=5765] ppid=5761 vsize=2903620 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25613157 2973306880 667035 33554432000 4194304 16246674 140737318148496 140071272426736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=2903620 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25613157 2973306880 667035 33554432000 4194304 16246674 140737318148496 140071261936880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=2903620 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25613157 2973306880 667035 33554432000 4194304 16246674 140737318148496 140071251463344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2903620

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.47
CPU time (s): 1800.16
CPU user time (s): 1796.83
CPU system time (s): 3.33649
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 2903620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.83
system time used= 3.33649
maximum resident set size= 2668140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 666531
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= 65
involuntary context switches= 3379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6203 second user time and 6.86796 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 09:41:00
IDJOB=4103361
IDBENCH=2339
IDSOLVER=2542
FILE ID=node123/4103361-1466235660
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71616 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-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-4103361-1466235660/watcher-4103361-1466235660 -o /tmp/evaluation-result-4103361-1466235660/solver-4103361-1466235660 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103361-1466235660.opb

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

MD5SUM BENCH= 9f773ed397fe8d5b3302fdfeba2433bb
RANDOM SEED=707820468

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28870224 kB
Buffers:          113368 kB
Cached:           168840 kB
SwapCached:         1640 kB
Active:          1282564 kB
Inactive:         179596 kB
Active(anon):    1178592 kB
Inactive(anon):     3584 kB
Active(file):     103972 kB
Inactive(file):   176012 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             38904 kB
Writeback:             0 kB
AnonPages:       2977300 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             603900 kB
SReclaimable:      47844 kB
SUnreclaim:       556056 kB
KernelStack:        1512 kB
PageTables:        10420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3121888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1787904 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= 71600 MiB
End job on node123 at 2016-06-18 10:11:01