Trace number 4103989

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.34 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-dano3mip.opb
MD5SUM97b175564b36442f64835a62ac7058b3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399966
Total number of constraints3226
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints3178
Minimum length of a constraint21
Maximum length of a constraint15900
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 67108864000
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 569083166190
Number of bits of the biggest sum of numbers40
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:51:03+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-4103989-1466239861.opb"]
0.00/0.01	c use --random-gen="3927716640 2821567308 1298162803 1293993213 4049265125 3877197410 2469401674 1172940810 1606828457 1579446348 1750984589 1406225893 705134250 2166372966 1608344760 3670439033 3391428282 2024583830 1876061012 1017349152 3480779026 2978636045 3915031277 1280670193 49344903 2056548167 3552078449 1272121193 3111411542 1121882432 3490616887 2691674983 2616185048 333493927 4291247037 931080501 2157010657 1345759888 827170596 880762307 808534126 547697772 1465450110 1530417481 3174653675 3255965256 3798518810 3027440960 2867068684 2225592596 2854316881 3658537623 2521040892 3935412490 1335432689 1709918608 1433280592 2900057863 2303310651 2387710318 1146379992 3131142519 2060143199 2152989205 1852047045 3099490282 2527988021 1260842484 26413261 2952791750 796697900 300878991 1792135991 4248233510 3710099435 2208375614 3782012373 1852777564 2016784728 543114357 2184791708 3312567395 1087548338 3015617625 180461700 138189960 425244256 1236383270 4066308846 147330360 3295088859 1004826976 1159366969 1881956199 3877532269 3158990972 3700164153 2112400724 1141483212 577097824 2035420308 3989084424 1336905233 3725543822 3888876761 2883782193 2216594338 4245070830 2174629258 1600785774 1548266784 854802591 1108234784 153633068 3726168153 2593901034 3697285725 2293144361 680059804 998344069 3195756088 2420102022 1241872865 885706254 3603281469 1990612761 780108612 1279684774 3713317657 323179489 2139908246 3125635301 4082970769 1775518569 3888028408 483906527 1262902481 3050467251 1685419472 3146902094 3207417041 3406431543 2805686773 3322370027 3999979769 1247199861 3618036739 2819525345 3181390309 799531745 2850284821 2636320707 142786199 2955606371 4134504318 2456236250 563052039 4254195488 3856462411 1451354595 2105277321 273322423 2752770526 966308711 3379005421 262415587 2287566574 1545120158 604335791 2593184095 1087775799 971053015 233217249 1559276788 924278166 3609410976 2910710334 1494805942 628958333 1941552140 1799290805 37277276 3593790512 3229388718 164016056 685432915 900123005 2081336339 605263805 2959015936 573400496 4213926998 1644855261 3997361685 166207881 2314214378 835942232 2048903160 2160907209 505135240 311904534 3434789729 3066141834 1854865871 3248317851 3844249449 208618647 3216510125 1345085289 3676554348 4056613718 138494115 3498997949 1010701444 2895443141 667580253 3272867117 2630755739 1420588119 742639208 3214728931 419835021 3701633934 991166563 1432659263 4284502107 88719888 2635171013 762740315 4026984019 1916479373 2842103945 3173126415 4030771261 1775977741 2809850773 1826363408 903969452 629419844 1817238505 400410250 2473427091 1788446514 3211272083 1912608866 690457664 2853519971 552536310 361457416 2724265321 1807775346 883893763 3191097775 3183107702 1225080200 142128228 255 362436" option to reproduce the execution
3.99/4.06	c #vars 399966
3.99/4.06	c #constraints 3226
1076.40/1076.61	c BCD2: Hardening is enabled.
1076.40/1076.61	c BCD2: BiasedSearch is enabled.
1076.40/1076.61	c Solving starts ...
1076.40/1076.61	c ============================[ Search Statistics ]============================
1076.40/1076.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1076.40/1076.61	c       |         |          |          |    Limit     GC | Var      | Constra 
1076.40/1076.61	c =============================================================================
1076.40/1076.61	c  0.0s |       0 |        0 |        0 |   134805      0 |   132644 |        0
1089.90/1090.19	c 13.6s |       0 |     2449 |      100 |   134805      0 |   132644 |        0
1090.10/1090.31	c 13.7s |       1 |     2449 |      100 |   134805      0 |   132644 |        0
1096.20/1096.42	c 19.8s |       1 |     2608 |      200 |   148286      0 |   132644 |        0
1098.40/1098.62	c 22.0s |       2 |     2758 |      250 |   148286      0 |   132644 |        0
1105.50/1105.70	c 29.1s |       2 |     2950 |      350 |   163115      0 |   132644 |        0
1112.01/1112.26	c 35.6s |       2 |     3056 |      450 |   163115      0 |   132644 |        0
1113.20/1113.41	c 36.8s |       3 |     3095 |      475 |   163115      0 |   132644 |        0
1119.71/1119.97	c 43.4s |       3 |     3264 |      575 |   179427      0 |   132644 |        0
1126.30/1126.52	c 49.9s |       3 |     3385 |      675 |   179427      0 |   132644 |        0
1132.00/1132.29	c 55.7s |       3 |     3510 |      775 |   179427      0 |   132644 |        0
1134.19/1134.46	c 57.9s |       4 |     3551 |      813 |   179427      0 |   132644 |        0
1140.10/1140.39	c 63.8s |       4 |     3721 |      913 |   197370      0 |   132644 |        0
1145.79/1146.05	c 69.4s |       4 |     3851 |     1013 |   197370      0 |   132644 |        0
1151.00/1151.28	c 74.7s |       4 |     3987 |     1113 |   197370      0 |   132644 |        0
1157.79/1158.03	c 81.4s |       4 |     4104 |     1213 |   197370      0 |   132644 |        0
1164.59/1164.86	c 88.3s |       4 |     4239 |     1313 |   197370      0 |   132644 |        0
1164.99/1165.28	c 88.7s |       5 |     4246 |     1320 |   197370      0 |   132644 |        0
1172.79/1173.08	c 96.5s |       5 |     4433 |     1420 |   217108      0 |   132644 |        0
1179.99/1180.29	c  103s |       5 |     4544 |     1520 |   217108      0 |   132644 |        0
1187.48/1187.72	c  111s |       5 |     4687 |     1620 |   217108      0 |   132644 |        0
1195.49/1195.74	c  119s |       5 |     4819 |     1720 |   217108      0 |   132644 |        0
1203.79/1204.06	c  127s |       5 |     4947 |     1820 |   217108      0 |   132644 |        0
1212.18/1212.42	c  135s |       5 |     5056 |     1920 |   217108      0 |   132644 |        0
1220.48/1220.72	c  144s |       5 |     5201 |     2020 |   217108      0 |   132644 |        0
1226.08/1226.31	c  149s |       6 |     5292 |     2081 |   238819      0 |   132644 |        0
1234.58/1234.83	c  158s |       6 |     5476 |     2181 |   238819      0 |   132644 |        0
1242.48/1242.70	c  166s |       6 |     5605 |     2281 |   238819      0 |   132644 |        0
1251.08/1251.36	c  174s |       6 |     5726 |     2381 |   238819      0 |   132644 |        0
1260.38/1260.63	c  184s |       6 |     5850 |     2481 |   238819      0 |   132644 |        0
1269.28/1269.56	c  192s |       6 |     5997 |     2581 |   238819      0 |   132644 |        0
1278.87/1279.10	c  202s |       6 |     6119 |     2681 |   238819      0 |   132644 |        0
1289.37/1289.66	c  213s |       6 |     6231 |     2781 |   238819      0 |   132644 |        0
1300.27/1300.55	c  223s |       6 |     6353 |     2881 |   238819      0 |   132644 |        0
1310.67/1310.97	c  234s |       6 |     6451 |     2981 |   238819      0 |   132644 |        0
1320.56/1320.84	c  244s |       6 |     6570 |     3081 |   238819      0 |   132644 |        0
1328.86/1329.15	c  252s |       6 |     6678 |     3181 |   238819      0 |   132644 |        0
1332.97/1333.26	c  256s |       7 |     6723 |     3223 |   262701      0 |   132644 |        0
1341.16/1341.44	c  264s |       7 |     6897 |     3323 |   262701      0 |   132644 |        0
1348.76/1349.03	c  272s |       7 |     7011 |     3423 |   262701      0 |   132644 |        0
1357.06/1357.30	c  280s |       7 |     7143 |     3523 |   262701      0 |   132644 |        0
1365.76/1366.01	c  289s |       7 |     7265 |     3623 |   262701      0 |   132644 |        0
1372.76/1373.07	c  296s |       7 |     7422 |     3723 |   262701      0 |   132644 |        0
1379.56/1379.82	c  303s |       7 |     7557 |     3823 |   262701      0 |   132644 |        0
1386.96/1387.23	c  310s |       7 |     7691 |     3923 |   262701      0 |   132644 |        0
1394.16/1394.47	c  317s |       7 |     7833 |     4023 |   262701      0 |   132644 |        0
1401.16/1401.43	c  324s |       7 |     7955 |     4123 |   262701      0 |   132644 |        0
1408.35/1408.62	c  332s |       7 |     8093 |     4223 |   262701      0 |   132644 |        0
1415.15/1415.40	c  338s |       7 |     8221 |     4323 |   262701      0 |   132644 |        0
1421.25/1421.56	c  344s |       7 |     8339 |     4423 |   262701      0 |   132644 |        0
1428.05/1428.33	c  351s |       7 |     8460 |     4523 |   262701      0 |   132644 |        0
1434.95/1435.25	c  358s |       7 |     8592 |     4623 |   262701      0 |   132644 |        0
1442.05/1442.33	c  365s |       7 |     8714 |     4723 |   262701      0 |   132644 |        0
1449.55/1449.83	c  373s |       7 |     8835 |     4823 |   262701      0 |   132644 |        0
1455.94/1456.20	c  379s |       7 |     8959 |     4923 |   288972      0 |   132644 |        0
1457.14/1457.50	c  380s |       8 |     8977 |     4936 |   288972      0 |   132644 |        0
1465.94/1466.28	c  389s |       8 |     9149 |     5036 |   288972      0 |   132644 |        0
1473.44/1473.78	c  397s |       8 |     9262 |     5136 |   288972      0 |   132644 |        0
1480.45/1480.76	c  404s |       8 |     9424 |     5236 |   288972      0 |   132644 |        0
1486.94/1487.22	c  410s |       8 |     9548 |     5336 |   288972      0 |   132644 |        0
1494.14/1494.44	c  417s |       8 |     9681 |     5436 |   288972      0 |   132644 |        0
1501.13/1501.45	c  424s |       8 |     9800 |     5536 |   288972      0 |   132644 |        0
1508.53/1508.86	c  432s |       8 |     9923 |     5636 |   288972      0 |   132644 |        0
1515.83/1516.15	c  439s |       8 |    10050 |     5736 |   288972      0 |   132644 |        0
1523.14/1523.42	c  446s |       8 |    10184 |     5836 |   288972      0 |   132644 |        0
1531.74/1532.03	c  455s |       8 |    10320 |     5936 |   288972      0 |   132644 |        0
1539.24/1539.52	c  462s |       8 |    10474 |     6036 |   288972      0 |   132644 |        0
1546.54/1546.87	c  470s |       8 |    10592 |     6136 |   288972      0 |   132644 |        0
1554.93/1555.29	c  478s |       8 |    10727 |     6236 |   288972      0 |   132644 |        0
1563.43/1563.78	c  487s |       8 |    10876 |     6336 |   288972      0 |   132644 |        0
1571.43/1571.71	c  495s |       8 |    11001 |     6436 |   288972      0 |   132644 |        0
1579.03/1579.32	c  502s |       8 |    11139 |     6536 |   288972      0 |   132644 |        0
1586.73/1587.05	c  510s |       8 |    11290 |     6636 |   288972      0 |   132644 |        0
1594.23/1594.56	c  517s |       8 |    11444 |     6736 |   288972      0 |   132644 |        0
1602.33/1602.63	c  526s |       8 |    11573 |     6836 |   288972      0 |   132644 |        0
1610.03/1610.32	c  533s |       8 |    11713 |     6936 |   288972      0 |   132644 |        0
1617.52/1617.85	c  541s |       8 |    11853 |     7036 |   288972      0 |   132644 |        0
1625.53/1625.81	c  549s |       8 |    12009 |     7136 |   288972      0 |   132644 |        0
1634.33/1634.66	c  558s |       8 |    12142 |     7236 |   288972      0 |   132644 |        0
1642.13/1642.46	c  565s |       8 |    12279 |     7336 |   288972      0 |   132644 |        0
1649.73/1650.10	c  573s |       8 |    12426 |     7436 |   288972      0 |   132644 |        0
1654.72/1655.01	c  578s |       9 |    12527 |     7506 |   317870      0 |   132644 |        0
1663.32/1663.69	c  587s |       9 |    12709 |     7606 |   317870      0 |   132644 |        0
1671.62/1671.97	c  595s |       9 |    12840 |     7706 |   317870      0 |   132644 |        0
1679.62/1679.98	c  603s |       9 |    12966 |     7806 |   317870      0 |   132644 |        0
1688.11/1688.46	c  611s |       9 |    13086 |     7906 |   317870      0 |   132644 |        0
1696.41/1696.73	c  620s |       9 |    13216 |     8006 |   317870      0 |   132644 |        0
1705.11/1705.45	c  628s |       9 |    13345 |     8106 |   317870      0 |   132644 |        0
1715.51/1715.88	c  639s |       9 |    13480 |     8206 |   317870      0 |   132644 |        0
1724.51/1724.89	c  648s |       9 |    13627 |     8306 |   317870      0 |   132644 |        0
1732.50/1732.87	c  656s |       9 |    13752 |     8406 |   317870      0 |   132644 |        0
1742.00/1742.38	c  665s |       9 |    13852 |     8506 |   317870      0 |   132644 |        0
1749.90/1750.24	c  673s |       9 |    13981 |     8606 |   317870      0 |   132644 |        0
1757.69/1758.02	c  681s |       9 |    14117 |     8706 |   317870      0 |   132644 |        0
1766.49/1766.81	c  690s |       9 |    14229 |     8806 |   317870      0 |   132644 |        0
1775.70/1776.09	c  699s |       9 |    14354 |     8906 |   317870      0 |   132644 |        0
1783.80/1784.12	c  707s |       9 |    14494 |     9006 |   317870      0 |   132644 |        0
1792.19/1792.54	c  715s |       9 |    14612 |     9106 |   317870      0 |   132644 |        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-4103989-1466239861/watcher-4103989-1466239861 -o /tmp/evaluation-result-4103989-1466239861/solver-4103989-1466239861 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103989-1466239861.opb 

pid=16514
running on 4 cores: 1,3,5,7

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.10 2.12 2.09 3/179 16517
/proc/meminfo: memFree=24843632/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=728644 CPUtime=0 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 2721 0 0 0 0 0 0 0 20 0 4 0 26036690 746131456 3592 33554432000 4194304 16246674 140737191009744 140737191009168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 182929 3602 442 2943 0 179823 0
[pid=16517/tid=16518] ppid=16514 vsize=747076 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 765005824 3663 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=751172 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26036690 769200128 3680 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=755268 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 773394432 3696 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 16517
/proc/meminfo: memFree=24843632/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 30125 0 0 0 5 4 0 0 20 0 4 0 26036690 1335431168 30935 33554432000 4194304 16246674 140737191009744 140737191009056 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 326033 30950 801 2943 0 322927 0
[pid=16517/tid=16518] ppid=16514 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1335431168 30961 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26036690 1335431168 30972 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1335431168 30983 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200628 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 16517
/proc/meminfo: memFree=24843632/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 44012 0 0 0 13 6 0 0 20 0 4 0 26036690 1342771200 45332 33554432000 4194304 16246674 140737191009744 140737191009056 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 327825 45332 802 2943 0 324719 0
[pid=16517/tid=16518] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 45332 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 45332 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 45332 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300502 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 16517
/proc/meminfo: memFree=24843632/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 44049 0 0 0 23 6 0 0 20 0 4 0 26036690 1342771200 45369 33554432000 4194304 16246674 140737191009744 140737191009056 7361304 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 327825 45369 802 2943 0 324719 0
[pid=16517/tid=16518] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 45369 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 45369 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 45369 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700429 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 16517
/proc/meminfo: memFree=24843632/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1311300 CPUtime=0.69 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 52183 0 0 0 61 8 0 0 20 0 4 0 26036690 1342771200 53503 33554432000 4194304 16246674 140737191009744 140737191009056 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 327825 53503 803 2943 0 324719 0
[pid=16517/tid=16518] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 53503 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 53503 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1342771200 53503 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50039 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 16521
/proc/meminfo: memFree=24582240/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1317444 CPUtime=1.49 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 91817 0 0 0 135 14 0 0 20 0 4 0 26036690 1349062656 93137 33554432000 4194304 16246674 140737191009744 140737191007552 4206568 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 329361 93137 803 2943 0 326255 0
[pid=16517/tid=16518] ppid=16514 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1349062656 93137 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26036690 1349062656 93137 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1349062656 93137 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1317444

[startup+3.10043 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 16521
/proc/meminfo: memFree=24452952/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1342020 CPUtime=3.09 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 138624 0 0 0 288 21 0 0 20 0 4 0 26036690 1374228480 146076 33554432000 4194304 16246674 140737191009744 140737191007552 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 335505 146076 803 2943 0 332399 0
[pid=16517/tid=16518] ppid=16514 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1374228480 146076 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26036690 1374228480 146076 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1374228480 146076 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1342020

[startup+6.30044 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 16521
/proc/meminfo: memFree=23804584/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1497668 CPUtime=6.29 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 248909 0 0 0 594 35 0 0 20 0 4 0 26036690 1533612032 268625 33554432000 4194304 16246674 140737191009744 140737190991616 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 374417 268625 843 2943 0 371311 0
[pid=16517/tid=16518] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 268625 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 268625 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 268625 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1497668

[startup+12.7004 s]
/proc/loadavg: 2.16 2.13 2.09 3/182 16521
/proc/meminfo: memFree=23770012/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1497668 CPUtime=12.69 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 248909 0 0 0 1234 35 0 0 20 0 4 0 26036690 1533612032 268625 33554432000 4194304 16246674 140737191009744 140737190991616 12449296 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 374417 268625 843 2943 0 371311 0
[pid=16517/tid=16518] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 268625 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 268625 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 268625 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1497668

[startup+25.5005 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 16522
/proc/meminfo: memFree=23746700/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=1497668 CPUtime=25.49 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 254979 0 0 0 2512 37 0 0 20 0 4 0 26036690 1533612032 274695 33554432000 4194304 16246674 140737191009744 140737190991616 4206942 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 374417 274695 843 2943 0 371311 0
[pid=16517/tid=16518] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 274695 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 274695 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 1533612032 274695 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1497668

[startup+51.1005 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 16522
/proc/meminfo: memFree=22097988/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=2975300 CPUtime=51.08 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 666059 0 0 0 5016 92 0 0 20 0 4 0 26036690 3046707200 685775 33554432000 4194304 16246674 140737191009744 140737191008920 4221116 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 743825 685775 843 2943 0 740719 0
[pid=16517/tid=16518] ppid=16514 vsize=2975300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 3046707200 685775 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=2975300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 3046707200 685775 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=2975300 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 3046707200 685775 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2975300

[startup+102.301 s]
/proc/loadavg: 2.22 2.14 2.10 3/183 16523
/proc/meminfo: memFree=22044612/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=3028548 CPUtime=102.27 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 679371 0 0 0 10129 98 0 0 20 0 4 0 26036690 3101233152 699087 33554432000 4194304 16246674 140737191009744 140737191007552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 757137 699087 843 2943 0 754031 0
[pid=16517/tid=16518] ppid=16514 vsize=3028548 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 3101233152 699087 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=3028548 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 3101233152 699087 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=3028548 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 3101233152 699087 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3028548


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

/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 5620961280 1314313 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=5489220 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 5620961280 1314313 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=5489220 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 5620961280 1314313 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 5489220

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 16577
/proc/meminfo: memFree=19576872/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=5489220 CPUtime=1362.06 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313349 0 0 0 135416 790 0 0 20 0 4 0 26036690 5620961280 1314313 33554432000 4194304 16246674 140737191009744 140737191008920 13774488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1372305 1314313 896 2943 0 1369199 0
[pid=16517/tid=16518] ppid=16514 vsize=5489220 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 5620961280 1314313 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=5489220 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 5620961280 1314313 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=5489220 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 5620961280 1314313 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 5489220

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 16578
/proc/meminfo: memFree=20637460/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=4430404 CPUtime=1422.06 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313353 0 0 0 141410 796 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140737190991616 5600808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1107601 1049613 900 2943 0 1104495 0
[pid=16517/tid=16518] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 4430404

[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 16579
/proc/meminfo: memFree=20637240/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=4430404 CPUtime=1482.04 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313353 0 0 0 147408 796 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140737190991616 5712628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1107601 1049613 900 2943 0 1104495 0
[pid=16517/tid=16518] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 4430404

[startup+1542.31 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 16580
/proc/meminfo: memFree=20636892/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=4430404 CPUtime=1542.04 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313353 0 0 0 153407 797 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140737190991616 5599994 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1107601 1049613 900 2943 0 1104495 0
[pid=16517/tid=16518] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 4430404

[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/183 16582
/proc/meminfo: memFree=20636920/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=4430404 CPUtime=1602.03 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313353 0 0 0 159406 797 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140737190991616 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1107601 1049613 900 2943 0 1104495 0
[pid=16517/tid=16518] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 4430404

[startup+1662.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/183 16583
/proc/meminfo: memFree=20636824/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=4430404 CPUtime=1662.02 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313353 0 0 0 165405 797 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140737190991616 5600800 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1107601 1049613 900 2943 0 1104495 0
[pid=16517/tid=16518] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 4430404

[startup+1722.3 s]
/proc/loadavg: 1.77 1.99 1.98 2/173 16615
/proc/meminfo: memFree=27340072/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=4430404 CPUtime=1722 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313353 0 0 0 171402 798 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140737191008920 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1107601 1049613 900 2943 0 1104495 0
[pid=16517/tid=16518] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 4430404

[startup+1782.3 s]
/proc/loadavg: 1.28 1.81 1.92 2/174 16619
/proc/meminfo: memFree=27339724/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=4430404 CPUtime=1782 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313359 0 0 0 177397 803 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140737191008920 5711697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1107601 1049613 900 2943 0 1104495 0
[pid=16517/tid=16518] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 4430404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.22 1.77 1.90 2/173 16619
/proc/meminfo: memFree=27339700/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=4430404 CPUtime=1800.09 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 11324 0 -1 4202496 4313364 0 0 0 179205 804 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140737191008920 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 1107601 1049613 900 2943 0 1104495 0
[pid=16517/tid=16518] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208834063600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208823573744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=4430404 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26036690 4536733696 1049613 33554432000 4194304 16246674 140737191009744 140208737610928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4430404

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

[startup+1800.6 s]
/proc/loadavg: 1.22 1.77 1.90 2/173 16619
/proc/meminfo: memFree=27339700/32872528 swapFree=249320/249320
[pid=16517] ppid=16514 vsize=0 CPUtime=1800.28 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) Z 16514 16517 11324 0 -1 4203532 4313364 0 0 0 179205 823 0 0 20 0 2 0 26036690 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 0 0 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=0 CPUtime=0.19 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) R 16514 16517 11324 0 -1 4203588 9 0 0 0 0 19 0 0 20 0 2 0 26036690 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.34
CPU user time (s): 1792.07
CPU system time (s): 8.26874
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 7309892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.07
system time used= 8.26874
maximum resident set size= 7077708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4313364
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= 839
involuntary context switches= 1966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3201 second user time and 14.6888 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 10:51:03
IDJOB=4103989
IDBENCH=2525
IDSOLVER=2542
FILE ID=node103/4103989-1466239861
RUNJOBID= node103-1466206104-11341
PBS_JOBID= 19918169
Free space on /tmp= 71400 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103989-1466239861/watcher-4103989-1466239861 -o /tmp/evaluation-result-4103989-1466239861/solver-4103989-1466239861 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103989-1466239861.opb

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

MD5SUM BENCH= 97b175564b36442f64835a62ac7058b3
RANDOM SEED=294294737

node103.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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:        24844012 kB
Buffers:          131140 kB
Cached:           516056 kB
SwapCached:         2188 kB
Active:          6785872 kB
Inactive:         234812 kB
Active(anon):    6372100 kB
Inactive(anon):     3672 kB
Active(file):     413772 kB
Inactive(file):   231140 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             47736 kB
Writeback:             0 kB
AnonPages:       6623956 kB
Mapped:            10844 kB
Shmem:                 0 kB
Slab:             613424 kB
SReclaimable:      57140 kB
SUnreclaim:       556284 kB
KernelStack:        1464 kB
PageTables:        17924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6764156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71688 MiB
End job on node103 at 2016-06-18 11:21:03