Trace number 4079820

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.04 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
MD5SUM7937d419688402745c19e3544f97b6e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables99789
Total number of constraints388956
Number of constraints which are clauses388925
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint3140
Number of terms in the objective function 3140
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3178
Number of bits of the biggest sum of numbers12
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-07T00:22:48+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-4079820-1465251767.opb"]
0.00/0.01	c use --random-gen="914395294 4237761752 4171010331 1848625629 953448076 2490293390 2150837719 946691730 276786199 976069110 71616223 999108491 713041310 1122461015 4124785808 3501426479 3365131963 1744685979 3393117339 3576505421 4141669842 2022446370 2260448590 850305927 1345922778 2011166383 204119618 776715934 973522048 210846895 1507985499 1654982504 2172725103 1268225475 4254941205 928830037 364285882 396527982 3532019470 1018123814 534381450 1947760676 552902827 2077571336 467460498 846765696 503628451 4135243117 2623986079 4179466568 3940316745 2254478925 518603163 3918360227 212201328 1637731565 2897057966 3182321328 2087385438 3203374018 3550561153 2438372852 1426957997 2698655798 4153423954 1472806865 3953650653 1213808659 4017909585 3129061563 160702161 2809018304 229735099 1043175994 1263736948 4128946312 3248817559 1364498734 920196034 1051024705 460047721 1034606657 3010132349 1384243332 1313989251 3800759443 4172369472 4142898256 3205040108 3830746460 1229401966 50371725 1804683445 230317115 4219914642 4222971749 988805520 2178022328 2793079495 2309056945 3283257863 3163832463 4123124360 933364302 1249513670 1432330331 2532192277 767514360 2258204799 3900444605 4083176306 3970917087 1799839567 4087192448 2604984350 1949005117 2440422448 1274970779 125692240 1621296384 138293981 2952225804 337569791 3263504561 2523481611 234908136 4204202062 263256003 2396350148 3537590021 1125494150 3742868155 3155984839 1631813596 117981214 4282955943 2147510718 293988281 3330367980 2184653859 1754229895 2172377662 1379801429 965770471 1438573999 29978680 824040514 2762792434 1665792353 1314733079 3451451490 211117688 2186660586 3165501364 1032571229 1344073521 4158159242 3828268228 1663100909 3772177540 1692196249 1216168819 294555710 3904891471 268381872 755566888 720818371 3065740847 2529587616 1214429208 4195711077 1677797676 3170539230 3401153798 245769101 1002933165 691984416 3858643892 1730976178 1970239508 1709548213 4211274428 3468212455 1196947285 2461854689 1945199535 2890385272 447302273 3202394683 1118718038 851442742 486662679 976348280 1460039260 918460892 2644418220 306288405 3611357555 2845521845 1598419652 2437534252 174097362 516883368 1047704521 60957394 3046947077 3850173242 2199447084 2769520266 1128863469 2006500260 1326588460 3361570244 1601563580 2219998888 656121864 3325830882 3220876913 2208111578 983326978 4010393005 1494308661 525005445 1689153345 3201982393 2804646300 589237610 2942862054 1135907234 6988235 3522440524 30872608 885297969 2079043976 1357597996 2268440375 715370529 899905611 3486775679 2377009050 3877153125 1632306379 2233181133 4112781776 46632884 601386674 452540589 266314871 1410692117 454340233 3279594872 3817207015 797154406 1955164806 3293471867 3606021825 255 362436" option to reproduce the execution
2.08/2.14	c #vars 99789
2.08/2.14	c #constraints 388956
7.80/7.83	c BCD2: Hardening is enabled.
7.80/7.83	c BCD2: BiasedSearch is enabled.
7.80/7.83	c Solving starts ...
7.80/7.83	c ============================[ Search Statistics ]============================
7.80/7.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.80/7.83	c       |         |          |          |    Limit     GC | Var      | Constra 
7.80/7.83	c =============================================================================
7.89/7.91	c  0.0s |       0 |        0 |        0 |   162913      0 |        5 |        0
23.99/24.09	c 16.2s |       0 |    50254 |      100 |   162913      0 |        5 |        0
24.09/24.12	c 16.2s |       1 |    50254 |      100 |   162913      0 |        5 |        0
45.20/45.27	c 37.4s |       1 |   134179 |      200 |   179205      0 |        5 |        0
52.79/52.86	c 44.9s |       2 |   154344 |      250 |   179205      0 |        5 |        0
64.29/64.36	c 56.5s |       2 |   167015 |      350 |   197126      0 |        5 |        0
75.28/75.38	c 67.5s |       2 |   176061 |      450 |   197126      0 |        5 |        0
78.09/78.19	c 70.3s |       3 |   178082 |      475 |   197126      0 |        5 |        0
83.48/83.51	c 75.6s |       3 |   186362 |      575 |   216839      0 |        5 |        0
89.78/89.81	c 81.9s |       3 |   188744 |      675 |   216839      0 |        5 |        0
107.18/107.27	c 99.4s |       3 |   217656 |      775 |   216839      0 |        5 |        0
117.38/117.46	c  109s |       4 |   233631 |      813 |   216839      0 |        5 |        0
143.77/143.81	c  135s |       4 |   280805 |      913 |   238523      0 |        5 |        0
156.57/156.61	c  148s |       4 |   346408 |     1013 |   238523      0 |        5 |        0
171.87/171.98	c  164s |       4 |   402400 |     1113 |   238523      0 |        5 |        0
194.77/194.89	c  186s |       4 |   442892 |     1213 |   238523      0 |        5 |        0
211.56/211.69	c  203s |       4 |   486555 |     1313 |   238523      0 |        5 |        0
212.86/212.91	c  204s |       5 |   489245 |     1320 |   238523      0 |        5 |        0
232.86/232.95	c  225s |       5 |   523021 |     1420 |   262376      0 |        5 |        0
253.36/253.47	c  245s |       5 |   553596 |     1520 |   262376      0 |        5 |        0
275.25/275.33	c  267s |       5 |   580850 |     1620 |   262376      0 |        5 |        0
297.85/297.91	c  290s |       5 |   603396 |     1720 |   262376      0 |        5 |        0
311.35/311.43	c  303s |       5 |   632565 |     1820 |   262376      0 |        5 |        0
320.84/320.92	c  313s |       5 |   658732 |     1920 |   262376      0 |        5 |        0
338.14/338.21	c  330s |       5 |   674146 |     2020 |   262376      0 |        5 |        0
347.14/347.27	c  339s |       6 |   682815 |     2081 |   288614      0 |        5 |        0
363.04/363.20	c  355s |       6 |   693840 |     2181 |   288614      0 |        5 |        0
379.93/380.09	c  372s |       6 |   701392 |     2281 |   288614      0 |        5 |        0
395.32/395.44	c  387s |       6 |   706142 |     2381 |   288614      0 |        5 |        0
407.03/407.12	c  399s |       6 |   707801 |     2481 |   288614      0 |        5 |        0
423.02/423.15	c  415s |       6 |   746117 |     2581 |   288614      0 |        5 |        0
433.32/433.46	c  425s |       6 |   747492 |     2681 |   288614      0 |        5 |        0
453.01/453.13	c  445s |       6 |   777396 |     2781 |   288614      0 |        5 |        0
476.91/477.09	c  469s |       6 |   818722 |     2881 |   288614      0 |        5 |        0
499.90/500.09	c  492s |       6 |   860296 |     2981 |   288614      0 |        5 |        0
511.70/511.88	c  503s |       6 |   921219 |     3081 |   288614      0 |        5 |        0
534.79/534.90	c  526s |       6 |   960778 |     3181 |   288614      0 |        5 |        0
540.49/540.61	c  532s |       7 |   982094 |     3223 |   317476      0 |        5 |        0
555.58/555.79	c  547s |       7 |  1033143 |     3323 |   317476      0 |        5 |        0
572.68/572.89	c  564s |       7 |  1074716 |     3423 |   317476      0 |        5 |        0
593.77/593.98	c  586s |       7 |  1103827 |     3523 |   317476      0 |        5 |        0
614.27/614.42	c  606s |       7 |  1130607 |     3623 |   317476      0 |        5 |        0
634.95/635.11	c  627s |       7 |  1155897 |     3723 |   317476      0 |        5 |        0
654.35/654.56	c  646s |       7 |  1177400 |     3823 |   317476      0 |        5 |        0
663.33/663.55	c  655s |       7 |  1209620 |     3923 |   317476      0 |        5 |        0
673.43/673.62	c  665s |       7 |  1233763 |     4023 |   317476      0 |        5 |        0
684.82/685.03	c  677s |       7 |  1251647 |     4123 |   317476      0 |        5 |        0
700.53/700.75	c  692s |       7 |  1263683 |     4223 |   317476      0 |        5 |        0
713.21/713.45	c  705s |       7 |  1274035 |     4323 |   317476      0 |        5 |        0
722.61/722.88	c  714s |       7 |  1281637 |     4423 |   317476      0 |        5 |        0
730.70/730.95	c  723s |       7 |  1286401 |     4523 |   317476      0 |        5 |        0
741.80/742.00	c  734s |       7 |  1295412 |     4623 |   317476      0 |        5 |        0
765.99/766.22	c  758s |       7 |  1331685 |     4723 |   317476      0 |        5 |        0
791.29/791.57	c  783s |       7 |  1377223 |     4823 |   317476      0 |        5 |        0
814.48/814.70	c  806s |       7 |  1418547 |     4923 |   349224      0 |        5 |        0
817.38/817.69	c  809s |       8 |  1424046 |     4936 |   349224      0 |        5 |        0
842.08/842.31	c  834s |       8 |  1462819 |     5036 |   349224      0 |        5 |        0
865.37/865.66	c  857s |       8 |  1497176 |     5136 |   349224      0 |        5 |        0
880.98/881.29	c  873s |       8 |  1542290 |     5236 |   349224      0 |        5 |        0
895.36/895.63	c  887s |       8 |  1589298 |     5336 |   349224      0 |        5 |        0
917.56/917.86	c  909s |       8 |  1620733 |     5436 |   349224      0 |        5 |        0
939.76/940.10	c  932s |       8 |  1651567 |     5536 |   349224      0 |        5 |        0
961.45/961.71	c  953s |       8 |  1679010 |     5636 |   349224      0 |        5 |        0
982.85/983.17	c  975s |       8 |  1704874 |     5736 |   349224      0 |        5 |        0
1003.15/1003.45	c  995s |       8 |  1728980 |     5836 |   349224      0 |        5 |        0
1021.75/1022.04	c 1014s |       8 |  1749459 |     5936 |   349224      0 |        5 |        0
1040.54/1040.80	c 1032s |       8 |  1766870 |     6036 |   349224      0 |        5 |        0
1057.84/1058.15	c 1050s |       8 |  1784236 |     6136 |   349224      0 |        5 |        0
1072.34/1072.68	c 1064s |       8 |  1802772 |     6236 |   349224      0 |        5 |        0
1089.84/1090.17	c 1082s |       8 |  1814650 |     6336 |   349224      0 |        5 |        0
1106.63/1106.95	c 1099s |       8 |  1824434 |     6436 |   349224      0 |        5 |        0
1122.63/1122.90	c 1114s |       8 |  1832100 |     6536 |   349224      0 |        5 |        0
1132.93/1133.29	c 1125s |       8 |  1840125 |     6636 |   349224      0 |        5 |        0
1142.32/1142.66	c 1134s |       8 |  1842930 |     6736 |   349224      0 |        5 |        0
1152.02/1152.32	c 1144s |       8 |  1845178 |     6836 |   349224      0 |        5 |        0
1172.52/1172.80	c 1164s |       8 |  1894328 |     6936 |   349224      0 |        5 |        0
1197.12/1197.40	c 1189s |       8 |  1966869 |     7036 |   349224      0 |        5 |        0
1221.41/1221.79	c 1213s |       8 |  2024707 |     7136 |   349224      0 |        5 |        0
1245.31/1245.68	c 1237s |       8 |  2061696 |     7236 |   349224      0 |        5 |        0
1269.91/1270.22	c 1262s |       8 |  2094937 |     7336 |   349224      0 |        5 |        0
1292.31/1292.67	c 1284s |       8 |  2127086 |     7436 |   349224      0 |        5 |        0
1305.70/1306.04	c 1298s |       9 |  2149187 |     7506 |   384147      0 |        5 |        0
1324.80/1325.10	c 1317s |       9 |  2186896 |     7606 |   384147      0 |        5 |        0
1342.49/1342.86	c 1334s |       9 |  2222055 |     7706 |   384147      0 |        5 |        0
1364.99/1365.32	c 1357s |       9 |  2247694 |     7806 |   384147      0 |        5 |        0
1385.89/1386.25	c 1378s |       9 |  2270549 |     7906 |   384147      0 |        5 |        0
1406.98/1407.35	c 1399s |       9 |  2291666 |     8006 |   384147      0 |        5 |        0
1426.49/1426.87	c 1418s |       9 |  2312802 |     8106 |   384147      0 |        5 |        0
1448.08/1448.40	c 1440s |       9 |  2329468 |     8206 |   384147      0 |        5 |        0
1468.37/1468.78	c 1460s |       9 |  2343480 |     8306 |   384147      0 |        5 |        0
1483.17/1483.50	c 1475s |       9 |  2361195 |     8406 |   384147      0 |        5 |        0
1500.97/1501.38	c 1493s |       9 |  2371084 |     8506 |   384147      0 |        5 |        0
1518.66/1519.01	c 1511s |       9 |  2380351 |     8606 |   384147      0 |        5 |        0
1529.06/1529.49	c 1521s |       9 |  2391363 |     8706 |   384147      0 |        5 |        0
1537.76/1538.13	c 1530s |       9 |  2397522 |     8806 |   384147      0 |        5 |        0
1544.96/1545.33	c 1537s |       9 |  2404059 |     8906 |   384147      0 |        5 |        0
1555.06/1555.45	c 1547s |       9 |  2415334 |     9006 |   384147      0 |        5 |        0
1563.86/1564.23	c 1556s |       9 |  2424233 |     9106 |   384147      0 |        5 |        0
1573.15/1573.50	c 1565s |       9 |  2430150 |     9206 |   384147      0 |        5 |        0
1580.46/1580.89	c 1572s |       9 |  2434812 |     9306 |   384147      0 |        5 |        0
1588.06/1588.47	c 1580s |       9 |  2437659 |     9406 |   384147      0 |        5 |        0
1595.45/1595.89	c 1587s |       9 |  2441884 |     9506 |   384147      0 |        5 |        0
1601.75/1602.14	c 1594s |       9 |  2456213 |     9606 |   384147      0 |        5 |        0
1613.05/1613.47	c 1605s |       9 |  2463403 |     9706 |   384147      0 |        5 |        0
1618.25/1618.68	c 1610s |       9 |  2468939 |     9806 |   384147      0 |        5 |        0
1628.75/1629.15	c 1621s |       9 |  2471245 |     9906 |   384147      0 |        5 |        0
1653.94/1654.35	c 1646s |       9 |  2514090 |    10006 |   384147      0 |        5 |        0
1680.64/1681.02	c 1673s |       9 |  2554166 |    10106 |   384147      0 |        5 |        0
1706.63/1707.00	c 1699s |       9 |  2592812 |    10206 |   384147      0 |        5 |        0
1732.14/1732.55	c 1724s |       9 |  2628691 |    10306 |   384147      0 |        5 |        0
1747.94/1748.37	c 1740s |       9 |  2678488 |    10406 |   384147      0 |        5 |        0
1772.53/1772.90	c 1764s |       9 |  2711975 |    10506 |   384147      0 |        5 |        0
1794.84/1795.23	c 1787s |       9 |  2742976 |    10606 |   384147      0 |        5 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079820-1465251767/watcher-4079820-1465251767 -o /tmp/evaluation-result-4079820-1465251767/solver-4079820-1465251767 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079820-1465251767.opb 

pid=4919
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.20 2.22 2.18 3/179 4922
/proc/meminfo: memFree=29155840/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=793020 CPUtime=0 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 2969 0 0 0 0 0 0 0 20 0 4 0 107109843 812052480 2818 33554432000 4194304 16246674 140737358220416 140737358219840 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 198767 2829 441 2943 0 195661 0
[pid=4922/tid=4923] ppid=4919 vsize=810428 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 829878272 2890 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=815548 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 835121152 2907 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=819644 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107109844 839315456 2926 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 4922
/proc/meminfo: memFree=29155840/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 26528 0 0 0 5 4 0 0 20 0 4 0 107109843 1332285440 26316 33554432000 4194304 16246674 140737358220416 140737358219728 7377409 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 325265 26332 799 2943 0 322159 0
[pid=4922/tid=4923] ppid=4919 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1332285440 26343 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1332285440 26353 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1332285440 26364 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200468 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 4922
/proc/meminfo: memFree=29155840/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 48030 0 0 0 12 7 0 0 20 0 4 0 107109843 1344868352 48328 33554432000 4194304 16246674 140737358220416 140737358219728 7371200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 328337 48328 800 2943 0 325231 0
[pid=4922/tid=4923] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 48328 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 48328 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 48328 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300462 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 4922
/proc/meminfo: memFree=29155840/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 59313 0 0 0 20 9 0 0 20 0 4 0 107109843 1344868352 59611 33554432000 4194304 16246674 140737358220416 140737358202304 7393541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 328337 59611 800 2943 0 325231 0
[pid=4922/tid=4923] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 59611 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 59611 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 59611 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700405 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 4922
/proc/meminfo: memFree=29155840/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 69702 0 0 0 58 11 0 0 20 0 4 0 107109843 1344868352 70000 33554432000 4194304 16246674 140737358220416 140737358202304 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 328337 70019 800 2943 0 325231 0
[pid=4922/tid=4923] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 70030 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 70042 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 70052 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 4926
/proc/meminfo: memFree=28847076/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 83938 0 0 0 137 12 0 0 20 0 4 0 107109843 1344868352 84236 33554432000 4194304 16246674 140737358220416 140737358203408 7376354 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 328337 84236 801 2943 0 325231 0
[pid=4922/tid=4923] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 84236 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 84236 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1344868352 84236 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 4926
/proc/meminfo: memFree=28751596/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=3.09 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 207129 0 0 0 277 32 0 0 20 0 4 0 107109843 1377374208 207427 33554432000 4194304 16246674 140737358220416 140737358219728 5889452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 207435 837 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 207440 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 207445 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 207451 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1345092

[startup+6.30036 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 4926
/proc/meminfo: memFree=28046496/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=6.29 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 276898 0 0 0 587 42 0 0 20 0 4 0 107109843 1377374208 277196 33554432000 4194304 16246674 140737358220416 140737358202304 5740736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277196 837 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277196 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277196 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277196 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1345092

[startup+12.7004 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 4926
/proc/meminfo: memFree=28046736/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=12.69 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 276950 0 0 0 1227 42 0 0 20 0 4 0 107109843 1377374208 277248 33554432000 4194304 16246674 140737358220416 140737358202304 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277248 888 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1345092

[startup+25.5005 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 4926
/proc/meminfo: memFree=28047004/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=25.49 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 276950 0 0 0 2507 42 0 0 20 0 4 0 107109843 1377374208 277248 33554432000 4194304 16246674 140737358220416 140737358202304 5672056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277248 888 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1345092

[startup+51.1005 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 4926
/proc/meminfo: memFree=28046516/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=51.09 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 276950 0 0 0 5067 42 0 0 20 0 4 0 107109843 1377374208 277248 33554432000 4194304 16246674 140737358220416 140737358202304 5673488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277248 888 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1345092

[startup+102.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/183 4927
/proc/meminfo: memFree=28046720/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=102.29 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 276950 0 0 0 10187 42 0 0 20 0 4 0 107109843 1377374208 277248 33554432000 4194304 16246674 140737358220416 140737358202304 12483583 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277248 888 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277248 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1345092


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

/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1345092

[startup+1302.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 5007
/proc/meminfo: memFree=28056692/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1302 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277124 0 0 0 130158 42 0 0 20 0 4 0 107109843 1377374208 277504 33554432000 4194304 16246674 140737358220416 140737358202304 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277504 888 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1345092

[startup+1362.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 5008
/proc/meminfo: memFree=28055900/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1361.99 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277124 0 0 0 136157 42 0 0 20 0 4 0 107109843 1377374208 277504 33554432000 4194304 16246674 140737358220416 140737358202304 12483572 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277504 888 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1345092

[startup+1422.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 5009
/proc/meminfo: memFree=28055996/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1421.99 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277124 0 0 0 142157 42 0 0 20 0 4 0 107109843 1377374208 277504 33554432000 4194304 16246674 140737358220416 140737358202304 6021276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277504 888 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1345092

[startup+1482.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 5011
/proc/meminfo: memFree=28056308/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1481.97 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277124 0 0 0 148155 42 0 0 20 0 4 0 107109843 1377374208 277504 33554432000 4194304 16246674 140737358220416 140737358218240 5827690 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277504 888 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277504 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1345092

[startup+1542.31 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 5012
/proc/meminfo: memFree=28056044/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1541.97 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277127 0 0 0 154155 42 0 0 20 0 4 0 107109843 1377374208 277507 33554432000 4194304 16246674 140737358220416 140737358202304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277507 891 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1345092

[startup+1602.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/183 5013
/proc/meminfo: memFree=28056136/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1601.95 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277127 0 0 0 160153 42 0 0 20 0 4 0 107109843 1377374208 277507 33554432000 4194304 16246674 140737358220416 140737358202304 12483464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277507 891 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1345092

[startup+1662.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/184 5017
/proc/meminfo: memFree=28055584/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1661.94 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277127 0 0 0 166152 42 0 0 20 0 4 0 107109843 1377374208 277507 33554432000 4194304 16246674 140737358220416 140737358202304 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277507 891 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1345092

[startup+1722.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 5018
/proc/meminfo: memFree=28056604/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1721.93 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277127 0 0 0 172151 42 0 0 20 0 4 0 107109843 1377374208 277507 33554432000 4194304 16246674 140737358220416 140737358202304 12483512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277507 891 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1345092

[startup+1782.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 5020
/proc/meminfo: memFree=28056356/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1781.93 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277127 0 0 0 178150 43 0 0 20 0 4 0 107109843 1377374208 277507 33554432000 4194304 16246674 140737358220416 140737358202304 12483674 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277507 891 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1345092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.21 2.18 4/183 5020
/proc/meminfo: memFree=28056112/32872528 swapFree=16384/1696552
[pid=4922] ppid=4919 vsize=1345092 CPUtime=1800.03 cores=0,2,4,6
/proc/4922/stat : 4922 (toysat) R 4919 4922 1166 0 -1 4202496 277127 0 0 0 179960 43 0 0 20 0 4 0 107109843 1377374208 277507 33554432000 4194304 16246674 140737358220416 140737358202304 12483664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 336273 277507 891 2943 0 333167 0
[pid=4922/tid=4923] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4923/stat : 4923 (toysat) S 4919 4922 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938736614640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4922/tid=4924] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4924/stat : 4924 (toysat) S 4919 4922 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938726124784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4922/tid=4925] ppid=4919 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/4922/task/4925/stat : 4925 (toysat) S 4919 4922 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107109844 1377374208 277507 33554432000 4194304 16246674 140737358220416 139938715651248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1345092

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 4922 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.41
CPU time (s): 1800.04
CPU user time (s): 1799.61
CPU system time (s): 0.429934
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 1345092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.429934
maximum resident set size= 1110028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277127
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= 195
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64329 second user time and 6.81896 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 00:22:48
IDJOB=4079820
IDBENCH=25013
IDSOLVER=2542
FILE ID=node125/4079820-1465251767
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079820-1465251767/watcher-4079820-1465251767 -o /tmp/evaluation-result-4079820-1465251767/solver-4079820-1465251767 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079820-1465251767.opb

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

MD5SUM BENCH= 7937d419688402745c19e3544f97b6e8
RANDOM SEED=228775959

node125.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.456
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	: 5332.91
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.456
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.56
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.456
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.456
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.456
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.456
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.55
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.456
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.456
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:        29155368 kB
Buffers:           57928 kB
Cached:           146880 kB
SwapCached:         2016 kB
Active:          1220948 kB
Inactive:          93276 kB
Active(anon):    1110620 kB
Inactive(anon):     1380 kB
Active(file):     110328 kB
Inactive(file):    91896 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             28008 kB
Writeback:             0 kB
AnonPages:       2805080 kB
Mapped:            10504 kB
Shmem:                 0 kB
Slab:             569584 kB
SReclaimable:      13648 kB
SUnreclaim:       555936 kB
KernelStack:        1496 kB
PageTables:         9448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2950044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2336768 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= 71700 MiB
End job on node125 at 2016-06-07 00:52:48