Trace number 4103453

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.12 1800.45

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
MD5SUM5f7d02bdc476f632b5dece37bf643c20
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2012160000000000
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2009088000000000
Optimality of the best value was proved NO
Number of variables24645
Total number of constraints4873
Number of constraints which are clauses4872
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint17864
Number of terms in the objective function 24645
Biggest coefficient in the objective function 2048000000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 43529216000000000
Number of bits of the sum of numbers in the objective function 56
Biggest number in a constraint 2048000000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 43529216000000000
Number of bits of the biggest sum of numbers56
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-18T10:06:19+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-4103453-1466237179.opb"]
0.00/0.01	c use --random-gen="2120524286 3339477477 1728289143 4277866521 2437332760 392340638 2307575641 2670584186 589990348 166577369 1139805142 870102607 848499126 4214300697 4144861627 3491964413 975231469 2478279288 194678681 4248433048 3710940446 1664654039 1939859919 2968248821 1942301766 3093612465 4056724737 3521436598 442514867 2130892174 512481166 3380689376 3629856035 1683810503 3905793887 1757484253 229834133 2910950439 4122729378 2277580333 3719525647 1852338599 2264850871 1567387685 3674805129 2634395857 3472572102 1226816378 4137690360 3988953402 4230859402 1179010757 59273735 3404586979 2253729531 3803023387 2472851978 3356663950 1973291542 1119708826 3727081570 699693624 1828710360 2693381614 250257150 1624801197 2583086224 3447337742 2780084964 4171792075 240195209 3919462871 306151276 2230367799 2721869636 1001162687 1483397633 3603719651 2724194843 2620035523 3198640809 1129478073 903479095 462652573 2621219247 149633629 1881305969 1363467405 1360248030 1676000568 288902704 134946866 573835119 1264119959 485726502 58905293 4288726471 2730203141 3418717370 797709433 617230441 518904978 3956731984 2799830445 422574965 1714483154 2694491414 2800350198 675319286 3795214917 689655445 674952410 4185039580 624689197 2702241350 1012354097 2954701974 117813921 4016319744 2061226309 3414406658 3311131389 3337088292 2295323826 144314390 1015439047 174801249 233989639 3435685384 860173737 1883265811 1967235468 2893614366 3625903820 257657302 2933302314 1437400529 2582631058 3712082970 1293379703 1437827241 3316930831 789671478 2553958599 1051080329 4183348831 1356281929 2955953422 3149674250 645754505 3922788549 1430607256 1526316525 4069748072 1479959382 4166412785 3594004386 2329475384 2656951579 1905494761 2724788916 4264088888 180813841 3091787648 3227064985 2798799954 3348347798 2513223305 995088135 699356603 1745990351 943988854 2519371273 1396162842 382029573 3359292210 2331254728 3710995395 2080326858 1723545938 930512211 2557734488 3684145001 2677046097 2619136510 3623464364 126704317 585187941 856858814 107260946 453056459 2943990310 3106455905 185909088 884746378 1633572756 3851323913 1329270274 3383172944 2035269211 3238242004 3882020053 2248871940 2471580903 4205671765 1120045616 3480520387 3914017533 2053807077 435099067 1556288683 3091623969 1238992226 1637113066 1979555534 1685094250 2762997078 2580173671 1236832431 948920173 144471892 964874476 1816981735 3781836546 1746550502 3036642121 2401432385 649418554 1939112344 1037321431 3350206875 2769972858 2340933774 225561873 324949857 1846747728 3529994239 3700395044 3036254034 3480954838 2743095904 3052578073 803322901 1360576390 225106710 1746774131 1847295777 3888434809 3672291351 4091134584 803332763 803212200 3196000933 1758445350 3787613434 4267640171 255 362436" option to reproduce the execution
0.29/0.39	c #vars 24645
0.29/0.39	c #constraints 4873
0.89/0.96	c BCD2: Hardening is enabled.
0.89/0.96	c BCD2: BiasedSearch is enabled.
0.89/0.96	c Solving starts ...
0.89/0.96	c ============================[ Search Statistics ]============================
0.89/0.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.96	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.96	c =============================================================================
0.89/0.97	c  0.0s |       0 |        0 |        0 |     9801      0 |       51 |        0
25.89/25.97	c 25.0s |       0 |    14444 |      100 |     9801      0 |       51 |       64
25.89/25.98	c 25.0s |       1 |    14444 |      100 |     9801      0 |       51 |       64
42.38/42.43	c 41.5s |       1 |    24954 |      200 |    10782      0 |       51 |       64
47.88/47.90	c 46.9s |       2 |    25280 |      250 |    10782      0 |       51 |       64
61.18/61.21	c 60.2s |       2 |    35910 |      350 |    11861      0 |       51 |       64
77.68/77.71	c 76.7s |       2 |    36958 |      450 |    11861      0 |       51 |       64
80.28/80.39	c 79.4s |       3 |    37291 |      475 |    11861      0 |       51 |       64
96.17/96.24	c 95.3s |       3 |    47180 |      575 |    13048      0 |       51 |       64
116.57/116.69	c  115s |       3 |    48166 |      675 |    13048      0 |       51 |       64
136.06/136.17	c  135s |       3 |    49483 |      775 |    13048      0 |       51 |       64
140.57/140.68	c  139s |       4 |    50177 |      813 |    13048      0 |       51 |       64
149.36/149.48	c  148s |       4 |    60638 |      913 |    14353      0 |       51 |       64
159.07/159.16	c  158s |       4 |    61337 |     1013 |    14353      0 |       51 |       64
169.17/169.28	c  168s |       4 |    62078 |     1113 |    14353      0 |       51 |       64
177.97/178.08	c  177s |       4 |    62769 |     1213 |    14353      0 |       51 |       64
189.56/189.65	c  188s |       4 |    63370 |     1313 |    14353      0 |       51 |       64
189.96/190.09	c  189s |       5 |    63382 |     1320 |    14353      0 |       51 |       64
200.95/201.07	c  200s |       5 |    73608 |     1420 |    15789      0 |       51 |       64
209.76/209.87	c  208s |       5 |    74381 |     1520 |    15789      0 |       51 |       64
222.55/222.67	c  221s |       5 |    75035 |     1620 |    15789      0 |       51 |       64
232.26/232.36	c  231s |       5 |    75446 |     1720 |    15789      0 |       51 |       64
240.25/240.36	c  239s |       5 |    75751 |     1820 |    15789      0 |       51 |       64
252.45/252.52	c  251s |       5 |    76190 |     1920 |    15789      0 |       51 |       64
263.35/263.44	c  262s |       5 |    76585 |     2020 |    15789      0 |       51 |       64
271.94/272.05	c  271s |       6 |    76839 |     2081 |    17368      0 |       51 |       64
283.65/283.70	c  282s |       6 |    86506 |     2181 |    17368      0 |       51 |       64
293.04/293.17	c  292s |       6 |    87044 |     2281 |    17368      0 |       51 |       64
302.25/302.32	c  301s |       6 |    87499 |     2381 |    17368      0 |       51 |       64
311.15/311.23	c  310s |       6 |    88123 |     2481 |    17368      0 |       51 |       64
318.95/319.01	c  318s |       6 |    88524 |     2581 |    17368      0 |       51 |       64
326.53/326.64	c  325s |       6 |    88998 |     2681 |    17368      0 |       51 |       64
333.53/333.64	c  332s |       6 |    89377 |     2781 |    17368      0 |       51 |       64
340.04/340.19	c  339s |       6 |    89836 |     2881 |    17368      0 |       51 |       64
351.23/351.31	c  350s |       6 |    90115 |     2981 |    17368      0 |       51 |       64
361.13/361.26	c  360s |       6 |    90731 |     3081 |    17368      0 |       51 |       64
372.84/372.94	c  371s |       6 |    91312 |     3181 |    17368      0 |       51 |       64
376.63/376.73	c  375s |       7 |    91507 |     3223 |    19105      0 |       51 |       64
388.53/388.68	c  387s |       7 |   101445 |     3323 |    19105      0 |       51 |       64
396.93/397.06	c  396s |       7 |   101833 |     3423 |    19105      0 |       51 |       64
405.93/406.02	c  405s |       7 |   102207 |     3523 |    19105      0 |       51 |       64
414.33/414.40	c  413s |       7 |   102764 |     3623 |    19105      0 |       51 |       64
422.22/422.32	c  421s |       7 |   103096 |     3723 |    19105      0 |       51 |       64
430.13/430.27	c  429s |       7 |   103454 |     3823 |    19105      0 |       51 |       64
442.82/442.99	c  442s |       7 |   104162 |     3923 |    19105      0 |       51 |       64
451.92/452.05	c  451s |       7 |   105076 |     4023 |    19105      0 |       51 |       64
461.12/461.23	c  460s |       7 |   105674 |     4123 |    19105      0 |       51 |       64
470.02/470.14	c  469s |       7 |   106090 |     4223 |    19105      0 |       51 |       64
479.02/479.16	c  478s |       7 |   106809 |     4323 |    19105      0 |       51 |       64
487.42/487.50	c  486s |       7 |   107227 |     4423 |    19105      0 |       51 |       64
499.21/499.32	c  498s |       7 |   107580 |     4523 |    19105      0 |       51 |       64
510.90/511.03	c  510s |       7 |   108189 |     4623 |    19105      0 |       51 |       64
522.41/522.53	c  521s |       7 |   108704 |     4723 |    19105      0 |       51 |       64
533.91/534.04	c  533s |       7 |   109251 |     4823 |    19105      0 |       51 |       64
545.90/546.08	c  545s |       7 |   109798 |     4923 |    21016      0 |       51 |       64
547.20/547.38	c  546s |       8 |   109830 |     4936 |    21016      0 |       51 |       64
560.09/560.28	c  559s |       8 |   119874 |     5036 |    21016      0 |       51 |       64
568.70/568.82	c  567s |       8 |   120169 |     5136 |    21016      0 |       51 |       64
577.79/577.93	c  576s |       8 |   120386 |     5236 |    21016      0 |       51 |       64
587.19/587.33	c  586s |       8 |   120681 |     5336 |    21016      0 |       51 |       64
598.59/598.78	c  597s |       8 |   121225 |     5436 |    21016      0 |       51 |       64
605.59/605.80	c  604s |       8 |   121550 |     5536 |    21016      0 |       51 |       64
612.08/612.26	c  611s |       8 |   121842 |     5636 |    21016      0 |       51 |       64
619.69/619.84	c  618s |       8 |   122211 |     5736 |    21016      0 |       51 |       64
626.99/627.17	c  626s |       8 |   122419 |     5836 |    21016      0 |       51 |       64
638.48/638.62	c  637s |       8 |   122930 |     5936 |    21016      0 |       51 |       64
648.18/648.32	c  647s |       8 |   123528 |     6036 |    21016      0 |       51 |       64
658.08/658.27	c  657s |       8 |   124180 |     6136 |    21016      0 |       51 |       64
667.47/667.61	c  666s |       8 |   124695 |     6236 |    21016      0 |       51 |       64
678.07/678.24	c  677s |       8 |   125115 |     6336 |    21016      0 |       51 |       64
687.57/687.72	c  686s |       8 |   125568 |     6436 |    21016      0 |       51 |       64
696.37/696.50	c  695s |       8 |   126029 |     6536 |    21016      0 |       51 |       64
706.56/706.70	c  705s |       8 |   126740 |     6636 |    21016      0 |       51 |       64
714.56/714.70	c  713s |       8 |   127197 |     6736 |    21016      0 |       51 |       64
722.36/722.55	c  721s |       8 |   127667 |     6836 |    21016      0 |       51 |       64
731.26/731.40	c  730s |       8 |   128198 |     6936 |    21016      0 |       51 |       64
742.95/743.14	c  742s |       8 |   128965 |     7036 |    21016      0 |       51 |       64
752.45/752.62	c  751s |       8 |   129514 |     7136 |    21016      0 |       51 |       64
762.16/762.31	c  761s |       8 |   130110 |     7236 |    21016      0 |       51 |       64
771.95/772.17	c  771s |       8 |   130733 |     7336 |    21016      0 |       51 |       64
780.85/781.07	c  780s |       8 |   131147 |     7436 |    21016      0 |       51 |       64
786.54/786.73	c  785s |       9 |   131450 |     7506 |    23118      0 |       51 |       64
805.65/805.83	c  804s |       9 |   141164 |     7606 |    23118      0 |       51 |       64
818.34/818.59	c  817s |       9 |   142007 |     7706 |    23118      0 |       51 |       64
828.14/828.36	c  827s |       9 |   142861 |     7806 |    23118      0 |       51 |       64
838.15/838.35	c  837s |       9 |   143802 |     7906 |    23118      0 |       51 |       64
849.34/849.51	c  848s |       9 |   144565 |     8006 |    23118      0 |       51 |       64
859.44/859.61	c  858s |       9 |   145248 |     8106 |    23118      0 |       51 |       64
868.54/868.76	c  867s |       9 |   145763 |     8206 |    23118      0 |       51 |       64
878.03/878.23	c  877s |       9 |   146499 |     8306 |    23118      0 |       51 |       64
887.93/888.10	c  887s |       9 |   147378 |     8406 |    23118      0 |       51 |       64
895.24/895.49	c  894s |       9 |   147750 |     8506 |    23118      0 |       51 |       64
903.03/903.25	c  902s |       9 |   147925 |     8606 |    23118      0 |       51 |       64
911.13/911.36	c  910s |       9 |   148286 |     8706 |    23118      0 |       51 |       64
921.23/921.49	c  920s |       9 |   148635 |     8806 |    23118      0 |       51 |       64
930.53/930.73	c  929s |       9 |   149148 |     8906 |    23118      0 |       51 |       64
940.82/941.05	c  940s |       9 |   149789 |     9006 |    23118      0 |       51 |       64
950.52/950.72	c  949s |       9 |   150345 |     9106 |    23118      0 |       51 |       64
960.61/960.86	c  959s |       9 |   150827 |     9206 |    23118      0 |       51 |       64
969.81/970.06	c  969s |       9 |   151287 |     9306 |    23118      0 |       51 |       64
978.61/978.87	c  977s |       9 |   151724 |     9406 |    23118      0 |       51 |       64
987.01/987.22	c  986s |       9 |   152071 |     9506 |    23118      0 |       51 |       64
1001.81/1002.09	c 1001s |       9 |   152393 |     9606 |    23118      0 |       51 |       64
1012.80/1013.09	c 1012s |       9 |   153472 |     9706 |    23118      0 |       51 |       64
1021.90/1022.11	c 1021s |       9 |   153865 |     9806 |    23118      0 |       51 |       64
1031.71/1031.93	c 1030s |       9 |   154308 |     9906 |    23118      0 |       51 |       64
1041.00/1041.27	c 1040s |       9 |   154935 |    10006 |    23118      0 |       51 |       64
1049.80/1050.09	c 1049s |       9 |   155504 |    10106 |    23118      0 |       51 |       64
1058.79/1059.08	c 1058s |       9 |   156059 |    10206 |    23118      0 |       51 |       64
1067.60/1067.85	c 1066s |       9 |   156371 |    10306 |    23118      0 |       51 |       64
1081.59/1081.82	c 1080s |       9 |   156952 |    10406 |    23118      0 |       51 |       64
1092.69/1092.94	c 1091s |       9 |   157991 |    10506 |    23118      0 |       51 |       64
1103.78/1104.05	c 1103s |       9 |   158553 |    10606 |    23118      0 |       51 |       64
1117.28/1117.54	c 1116s |       9 |   159180 |    10706 |    23118      0 |       51 |       64
1127.88/1128.18	c 1127s |       9 |   159694 |    10806 |    23118      0 |       51 |       64
1138.98/1139.29	c 1138s |       9 |   160279 |    10906 |    23118      0 |       51 |       64
1151.68/1151.99	c 1151s |       9 |   160541 |    11006 |    23118      0 |       51 |       64
1164.18/1164.46	c 1163s |       9 |   161282 |    11106 |    23118      0 |       51 |       64
1176.08/1176.35	c 1175s |       9 |   161850 |    11206 |    23118      0 |       51 |       64
1185.18/1185.42	c 1184s |       9 |   162416 |    11306 |    25430      0 |       51 |       64
1190.58/1190.83	c 1189s |      10 |   162967 |    11361 |    25430      0 |       51 |       64
1212.46/1212.77	c 1211s |      10 |   172667 |    11461 |    25430      0 |       51 |       64
1228.16/1228.43	c 1227s |      10 |   173403 |    11561 |    25430      0 |       51 |       64
1238.76/1239.09	c 1238s |      10 |   174112 |    11661 |    25430      0 |       51 |       64
1246.56/1246.87	c 1245s |      10 |   174637 |    11761 |    25430      0 |       51 |       64
1255.77/1256.05	c 1255s |      10 |   175039 |    11861 |    25430      0 |       51 |       64
1264.46/1264.70	c 1263s |      10 |   175432 |    11961 |    25430      0 |       51 |       64
1272.36/1272.67	c 1271s |      10 |   175775 |    12061 |    25430      0 |       51 |       64
1283.36/1283.69	c 1282s |      10 |   176102 |    12161 |    25430      0 |       51 |       64
1296.36/1296.69	c 1295s |      10 |   176396 |    12261 |    25430      0 |       51 |       64
1306.95/1307.24	c 1306s |      10 |   177143 |    12361 |    25430      0 |       51 |       64
1315.76/1316.07	c 1315s |      10 |   177581 |    12461 |    25430      0 |       51 |       64
1325.65/1325.98	c 1325s |      10 |   178014 |    12561 |    25430      0 |       51 |       64
1334.25/1334.58	c 1333s |      10 |   178325 |    12661 |    25430      0 |       51 |       64
1342.75/1343.08	c 1342s |      10 |   178767 |    12761 |    25430      0 |       51 |       64
1352.75/1353.06	c 1352s |      10 |   179110 |    12861 |    25430      0 |       51 |       64
1363.04/1363.38	c 1362s |      10 |   179469 |    12961 |    25430      0 |       51 |       64
1372.04/1372.32	c 1371s |      10 |   179819 |    13061 |    25430      0 |       51 |       64
1380.85/1381.17	c 1380s |      10 |   179989 |    13161 |    25430      0 |       51 |       64
1390.84/1391.14	c 1390s |      10 |   180262 |    13261 |    25430      0 |       51 |       64
1401.84/1402.17	c 1401s |      10 |   180645 |    13361 |    25430      0 |       51 |       64
1411.93/1412.25	c 1411s |      10 |   181029 |    13461 |    25430      0 |       51 |       64
1421.54/1421.89	c 1420s |      10 |   181319 |    13561 |    25430      0 |       51 |       64
1429.04/1429.32	c 1428s |      10 |   181628 |    13661 |    25430      0 |       51 |       64
1439.43/1439.74	c 1438s |      10 |   181956 |    13761 |    25430      0 |       51 |       64
1451.33/1451.67	c 1450s |      10 |   182293 |    13861 |    25430      0 |       51 |       64
1459.73/1460.07	c 1459s |      10 |   182621 |    13961 |    25430      0 |       51 |       64
1474.23/1474.59	c 1473s |      10 |   183193 |    14061 |    25430      0 |       51 |       64
1484.33/1484.67	c 1483s |      10 |   183606 |    14161 |    25430      0 |       51 |       64
1492.32/1492.69	c 1491s |      10 |   184104 |    14261 |    25430      0 |       51 |       64
1500.42/1500.76	c 1499s |      10 |   184381 |    14361 |    25430      0 |       51 |       64
1508.53/1508.86	c 1507s |      10 |   184692 |    14461 |    25430      0 |       51 |       64
1517.22/1517.57	c 1516s |      10 |   184900 |    14561 |    25430      0 |       51 |       64
1527.32/1527.66	c 1526s |      10 |   185244 |    14661 |    25430      0 |       51 |       64
1535.21/1535.56	c 1534s |      10 |   185501 |    14761 |    25430      0 |       51 |       64
1543.02/1543.38	c 1542s |      10 |   185813 |    14861 |    25430      0 |       51 |       64
1551.72/1552.10	c 1551s |      10 |   186090 |    14961 |    25430      0 |       51 |       64
1560.21/1560.57	c 1559s |      10 |   186404 |    15061 |    25430      0 |       51 |       64
1569.52/1569.89	c 1568s |      10 |   186657 |    15161 |    25430      0 |       51 |       64
1577.81/1578.10	c 1577s |      10 |   186875 |    15261 |    25430      0 |       51 |       64
1586.01/1586.39	c 1585s |      10 |   187087 |    15361 |    25430      0 |       51 |       64
1594.71/1595.02	c 1594s |      10 |   187385 |    15461 |    25430      0 |       51 |       64
1603.10/1603.48	c 1602s |      10 |   187610 |    15561 |    25430      0 |       51 |       64
1610.90/1611.25	c 1610s |      10 |   187892 |    15661 |    25430      0 |       51 |       64
1618.91/1619.27	c 1618s |      10 |   188151 |    15761 |    25430      0 |       51 |       64
1627.10/1627.49	c 1626s |      10 |   188416 |    15861 |    25430      0 |       51 |       64
1634.10/1634.46	c 1633s |      10 |   188635 |    15961 |    25430      0 |       51 |       64
1642.30/1642.60	c 1641s |      10 |   188849 |    16061 |    25430      0 |       51 |       64
1649.89/1650.27	c 1649s |      10 |   189185 |    16161 |    25430      0 |       51 |       64
1657.70/1658.02	c 1657s |      10 |   189394 |    16261 |    25430      0 |       51 |       64
1665.99/1666.36	c 1665s |      10 |   189699 |    16361 |    25430      0 |       51 |       64
1673.49/1673.80	c 1672s |      10 |   190007 |    16461 |    25430      0 |       51 |       64
1680.69/1681.06	c 1680s |      10 |   190215 |    16561 |    25430      0 |       51 |       64
1689.09/1689.47	c 1688s |      10 |   190506 |    16661 |    25430      0 |       51 |       64
1696.38/1696.76	c 1695s |      10 |   190836 |    16761 |    25430      0 |       51 |       64
1704.38/1704.73	c 1703s |      10 |   191014 |    16861 |    25430      0 |       51 |       64
1711.98/1712.34	c 1711s |      10 |   191260 |    16961 |    25430      0 |       51 |       64
1720.58/1720.97	c 1719s |      10 |   191586 |    17061 |    27974      0 |       51 |       64
1727.08/1727.40	c 1726s |      11 |   191943 |    17144 |    27974      0 |       51 |       64
1752.28/1752.63	c 1751s |      11 |   201516 |    17244 |    27974      0 |       51 |       64
1760.28/1760.64	c 1759s |      11 |   201789 |    17344 |    27974      0 |       51 |       64
1770.57/1770.99	c 1770s |      11 |   202069 |    17444 |    27974      0 |       51 |       64
1780.58/1780.99	c 1780s |      11 |   202465 |    17544 |    27974      0 |       51 |       64
1790.97/1791.35	c 1790s |      11 |   202915 |    17644 |    27974      0 |       51 |       64
1799.97/1800.38	c 1799s |      11 |   203097 |    17744 |    27974      0 |       51 |       64

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103453-1466237179/watcher-4103453-1466237179 -o /tmp/evaluation-result-4103453-1466237179/solver-4103453-1466237179 -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-4103453-1466237179.opb 

pid=19526
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.15 2.20 2.20 2/179 19529
/proc/meminfo: memFree=29212436/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 2672 0 0 0 0 0 0 0 20 0 4 0 25766624 734457856 3032 33554432000 4194304 16246674 140733325855824 140733325855248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 179823 3042 441 2943 0 176717 0
[pid=19529/tid=19530] ppid=19526 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 752283648 3101 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 756477952 3118 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766624 760672256 3135 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.15 2.20 2.20 2/179 19529
/proc/meminfo: memFree=29212436/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 32862 0 0 0 5 4 0 0 20 0 4 0 25766624 1335431168 33161 33554432000 4194304 16246674 140733325855824 140733325855136 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 326033 33175 799 2943 0 322927 0
[pid=19529/tid=19530] ppid=19526 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1335431168 33186 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1335431168 33197 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1335431168 33208 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1304132

[startup+0.200459 s]
/proc/loadavg: 2.15 2.20 2.20 2/179 19529
/proc/meminfo: memFree=29212436/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 52550 0 0 0 13 6 0 0 20 0 4 0 25766624 1341722624 53360 33554432000 4194304 16246674 140733325855824 140733325855136 7889646 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 327569 53376 800 2943 0 324463 0
[pid=19529/tid=19530] ppid=19526 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1341722624 53387 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1341722624 53396 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1341722624 53407 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1310276

[startup+0.300472 s]
/proc/loadavg: 2.15 2.20 2.20 2/179 19529
/proc/meminfo: memFree=29212436/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 55924 0 0 0 22 7 0 0 20 0 4 0 25766624 1343819776 56733 33554432000 4194304 16246674 140733325855824 140733325855136 7889477 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 328081 56733 800 2943 0 324975 0
[pid=19529/tid=19530] ppid=19526 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1343819776 56733 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1343819776 56733 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1343819776 56733 33554432000 4194304 16246674 140733325855824 139756346268848 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.70038 s]
/proc/loadavg: 2.15 2.20 2.20 2/179 19529
/proc/meminfo: memFree=29212436/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 112431 0 0 0 53 16 0 0 20 0 4 0 25766624 1343819776 113241 33554432000 4194304 16246674 140733325855824 140733325837696 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 328081 113251 834 2943 0 324975 0
[pid=19529/tid=19530] ppid=19526 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1343819776 113257 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1343819776 113265 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1343819776 113273 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1312324

[startup+1.50038 s]
/proc/loadavg: 2.14 2.20 2.19 3/183 19533
/proc/meminfo: memFree=28714168/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1319492 CPUtime=1.49 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 124175 0 0 0 131 18 0 0 20 0 4 0 25766624 1351159808 124984 33554432000 4194304 16246674 140733325855824 140733325837696 5667033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 329873 124984 879 2943 0 326767 0
[pid=19529/tid=19530] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 124984 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 124984 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 124984 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1319492

[startup+3.10036 s]
/proc/loadavg: 2.14 2.20 2.19 3/183 19533
/proc/meminfo: memFree=28713300/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1319492 CPUtime=3.09 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 124192 0 0 0 291 18 0 0 20 0 4 0 25766624 1351159808 125001 33554432000 4194304 16246674 140733325855824 140733325853696 4222192 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 329873 125001 894 2943 0 326767 0
[pid=19529/tid=19530] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125001 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125001 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125001 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1319492

[startup+6.30041 s]
/proc/loadavg: 2.21 2.21 2.20 4/183 19533
/proc/meminfo: memFree=28713664/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1319492 CPUtime=6.29 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 124195 0 0 0 611 18 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 140733325853632 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 329873 125004 896 2943 0 326767 0
[pid=19529/tid=19530] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1319492

[startup+12.7003 s]
/proc/loadavg: 2.19 2.20 2.20 3/183 19533
/proc/meminfo: memFree=28713448/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1319492 CPUtime=12.69 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 124195 0 0 0 1251 18 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 140733325853632 4225128 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 329873 125004 896 2943 0 326767 0
[pid=19529/tid=19530] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1319492

[startup+25.5005 s]
/proc/loadavg: 2.22 2.21 2.20 3/183 19533
/proc/meminfo: memFree=28714036/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1319492 CPUtime=25.49 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 124195 0 0 0 2530 19 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 140733325855000 4206600 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 329873 125004 896 2943 0 326767 0
[pid=19529/tid=19530] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.29 2.22 2.20 4/183 19534
/proc/meminfo: memFree=28714008/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1319492 CPUtime=51.08 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 124195 0 0 0 5087 21 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 140733325855000 4210002 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 329873 125004 896 2943 0 326767 0
[pid=19529/tid=19530] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1319492

[startup+102.3 s]
/proc/loadavg: 2.31 2.24 2.20 3/183 19535
/proc/meminfo: memFree=28714028/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 124195 0 0 0 10203 25 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 140733325853632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 329873 125004 896 2943 0 326767 0
[pid=19529/tid=19530] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 1351159808 125004 33554432000 4194304 16246674 140733325855824 139756346268848 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) 1319492


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

/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 2201554944 479242 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 2149956

[startup+1302.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 19615
/proc/meminfo: memFree=22250368/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=2258500 CPUtime=1302.05 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 500142 0 0 0 129996 209 0 0 20 0 4 0 25766624 2312704000 506265 33554432000 4194304 16246674 140733325855824 140733325855000 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 564625 506265 900 2943 0 561519 0
[pid=19529/tid=19530] ppid=19526 vsize=2258500 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 2312704000 506265 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=2258500 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 2312704000 506265 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=2258500 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 2312704000 506265 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2258500

[startup+1362.3 s]
/proc/loadavg: 2.27 2.26 2.20 4/183 19616
/proc/meminfo: memFree=22139544/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=2345540 CPUtime=1362.04 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 522000 0 0 0 135980 224 0 0 20 0 4 0 25766624 2401832960 528120 33554432000 4194304 16246674 140733325855824 140733325853632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 586385 528120 900 2943 0 583279 0
[pid=19529/tid=19530] ppid=19526 vsize=2345540 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 2401832960 528120 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=2345540 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 2401832960 528120 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=2345540 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 2401832960 528120 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2345540

[startup+1422.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/184 19620
/proc/meminfo: memFree=22048572/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=2434628 CPUtime=1422.04 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 544292 0 0 0 141962 242 0 0 20 0 4 0 25766624 2493059072 550410 33554432000 4194304 16246674 140733325855824 140733325854920 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 608657 550410 900 2943 0 605551 0
[pid=19529/tid=19530] ppid=19526 vsize=2434628 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 2493059072 550410 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=2434628 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 2493059072 550410 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=2434628 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 2493059072 550410 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2434628

[startup+1482.3 s]
/proc/loadavg: 2.39 2.28 2.21 3/184 19621
/proc/meminfo: memFree=20257360/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=2528836 CPUtime=1482.03 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 567845 0 0 0 147947 256 0 0 20 0 4 0 25766624 2589528064 573962 33554432000 4194304 16246674 140733325855824 140733325854920 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 632209 573962 900 2943 0 629103 0
[pid=19529/tid=19530] ppid=19526 vsize=2528836 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 2589528064 573962 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=2528836 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 2589528064 573962 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=2528836 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 2589528064 573962 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2528836

[startup+1542.31 s]
/proc/loadavg: 2.39 2.29 2.21 3/183 19622
/proc/meminfo: memFree=16639072/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=2635332 CPUtime=1542.03 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 594297 0 0 0 153929 274 0 0 20 0 4 0 25766624 2698579968 600414 33554432000 4194304 16246674 140733325855824 140733325854920 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 658833 600414 900 2943 0 655727 0
[pid=19529/tid=19530] ppid=19526 vsize=2635332 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 2698579968 600414 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=2635332 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 2698579968 600414 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=2635332 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 2698579968 600414 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2635332

[startup+1602.3 s]
/proc/loadavg: 2.40 2.30 2.22 3/183 19624
/proc/meminfo: memFree=15916984/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=2742852 CPUtime=1602 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 621353 0 0 0 159910 290 0 0 20 0 4 0 25766624 2808680448 627466 33554432000 4194304 16246674 140733325855824 140733325854920 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 685713 627466 900 2943 0 682607 0
[pid=19529/tid=19530] ppid=19526 vsize=2742852 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 2808680448 627466 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=2742852 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 2808680448 627466 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=2742852 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 2808680448 627466 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 2742852

[startup+1662.3 s]
/proc/loadavg: 2.36 2.30 2.22 3/183 19625
/proc/meminfo: memFree=15690360/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=2861636 CPUtime=1661.99 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 650986 0 0 0 165893 306 0 0 20 0 4 0 25766624 2930315264 657097 33554432000 4194304 16246674 140733325855824 140733325855000 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 715409 657097 900 2943 0 712303 0
[pid=19529/tid=19530] ppid=19526 vsize=2861636 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 2930315264 657097 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=2861636 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 2930315264 657097 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=2861636 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 2930315264 657097 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 2861636

[startup+1722.3 s]
/proc/loadavg: 2.35 2.31 2.22 3/183 19626
/proc/meminfo: memFree=16141640/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=2975300 CPUtime=1721.98 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 679468 0 0 0 171877 321 0 0 20 0 4 0 25766624 3046707200 685578 33554432000 4194304 16246674 140733325855824 140733325854920 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 743825 685578 900 2943 0 740719 0
[pid=19529/tid=19530] ppid=19526 vsize=2975300 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 3046707200 685578 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=2975300 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 3046707200 685578 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=2975300 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 3046707200 685578 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 2975300

[startup+1782.3 s]
/proc/loadavg: 2.18 2.26 2.21 3/183 19627
/proc/meminfo: memFree=15490568/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=3052100 CPUtime=1781.97 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 698571 0 0 0 177858 339 0 0 20 0 4 0 25766624 3125350400 704681 33554432000 4194304 16246674 140733325855824 140733325855000 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 763025 704681 900 2943 0 759919 0
[pid=19529/tid=19530] ppid=19526 vsize=3052100 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 3125350400 704681 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=3052100 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 3125350400 704681 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=3052100 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 3125350400 704681 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3052100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.25 2.21 3/183 19627
/proc/meminfo: memFree=15453836/32872528 swapFree=1431120/1543540
[pid=19529] ppid=19526 vsize=3088964 CPUtime=1800.07 cores=0,2,4,6
/proc/19529/stat : 19529 (toysat) R 19526 19529 15180 0 -1 4202496 707804 0 0 0 179662 345 0 0 20 0 4 0 25766624 3163099136 713913 33554432000 4194304 16246674 140733325855824 140733325854920 14628944 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19529/statm: 772241 713913 900 2943 0 769135 0
[pid=19529/tid=19530] ppid=19526 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19530/stat : 19530 (toysat) S 19526 19529 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25766624 3163099136 713913 33554432000 4194304 16246674 140733325855824 139756435385584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19529/tid=19531] ppid=19526 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19531/stat : 19531 (toysat) S 19526 19529 15180 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25766624 3163099136 713913 33554432000 4194304 16246674 140733325855824 139756356742384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19529/tid=19532] ppid=19526 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/19529/task/19532/stat : 19532 (toysat) S 19526 19529 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25766624 3163099136 713913 33554432000 4194304 16246674 140733325855824 139756346268848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3088964

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 19529 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.45
CPU time (s): 1800.12
CPU user time (s): 1796.63
CPU system time (s): 3.49747
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 3088964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.63
system time used= 3.49747
maximum resident set size= 2855652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 707804
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= 104
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.89626 second user time and 7.36688 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 10:06:19
IDJOB=4103453
IDBENCH=2364
IDSOLVER=2542
FILE ID=node116/4103453-1466237179
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-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103453-1466237179/watcher-4103453-1466237179 -o /tmp/evaluation-result-4103453-1466237179/solver-4103453-1466237179 -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-4103453-1466237179.opb

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

MD5SUM BENCH= 5f7d02bdc476f632b5dece37bf643c20
RANDOM SEED=1158972019

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:        29213352 kB
Buffers:          116708 kB
Cached:           138964 kB
SwapCached:         2060 kB
Active:          1215340 kB
Inactive:         158084 kB
Active(anon):    1115920 kB
Inactive(anon):     4060 kB
Active(file):      99420 kB
Inactive(file):   154024 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             18720 kB
Writeback:             0 kB
AnonPages:       2661680 kB
Mapped:            10752 kB
Shmem:                 0 kB
Slab:             604740 kB
SReclaimable:      48760 kB
SUnreclaim:       555980 kB
KernelStack:        1480 kB
PageTables:         9404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2804308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    571392 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= 71692 MiB
End job on node116 at 2016-06-18 10:36:20