Trace number 4079125

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.11 1800.35

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__256.opb
MD5SUMa048c41e885d13c7000ff4a85d8352bd
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark46877
Best CPU time to get the best result obtained on this benchmark3.45347
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10258
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)42
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint256
Maximum length of a constraint2049
Number of terms in the objective function 10240
Biggest coefficient in the objective function 94409
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 446607872
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 94409
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 446607872
Number of bits of the biggest sum of numbers29
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-07T04:34:56+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-4079125-1465266895.opb"]
0.00/0.01	c use --random-gen="1878257084 1918980542 1212747030 1875623235 3383423557 3867840736 2283049254 31190616 1977340841 1817605363 4235715216 2662185688 2415610848 438100075 2096843875 4057770788 529417579 1334502277 3620632816 3663028216 1178085415 2461808114 595446508 539502793 1142017151 1934187776 2274161689 2218217876 3352740740 1545482542 2510873176 1775633821 3127657554 875059413 4088370059 2803005408 162783868 138515305 525127469 1207535248 2122882443 3374935484 1247616998 1430660412 693391201 3604013027 92549121 2617790873 3526066912 3066386521 4274733244 1221041285 779870402 1609705946 2014587869 3756182851 2701174481 4153835496 2599471586 3955466653 2596567209 552972046 3551735470 3796468691 405165992 3098824295 2245602950 854753955 638288326 2039691772 2322235137 908056038 1746213750 113027196 1694360398 24835485 2775097496 3710918778 810804575 696915053 2017081942 1509555018 265379252 4258574551 3455577688 873546454 463415966 938203183 879753260 1268993401 3355659153 3161839144 3018558367 384662908 2123895159 1345302679 2260091261 561874970 2703506520 4095889348 2301693812 2531233896 2656596907 2376150663 4214030927 1386346170 1556397222 1598678867 3152449142 1053401187 789934731 2678929663 1180539099 2371979994 2572334079 504836057 6701817 3515274211 2606752593 3218142408 2926678722 1034999367 3295372844 3056402707 2502803431 823621930 1541295524 2724244534 965992001 1684444854 3933754972 2469442208 3816413547 1223970002 1529567592 1446318512 3026199637 1473400108 2947115431 345379860 1508595349 1574151740 1095087963 3222931837 2027348186 2557736225 3036368105 486595445 1407652896 199374968 441755829 577751797 3611793633 3706747569 2910945619 3870388737 3035818881 3804839497 1776851190 3541078387 4002788021 3004496794 3417922284 752447141 2332063674 2358577622 3074434024 1437032504 340266984 3962171683 598031610 1065915048 2317596190 1694747041 232249248 3960606832 832095002 1492818184 3254518961 3207771563 1951753820 4117085146 2849770991 1310481960 1577530144 543842395 2927195309 3600908763 3855938048 3995060121 3251687487 2723459584 3791409135 4159651969 2288820838 2380301711 2413769579 2563721706 3182870526 593779460 2673598135 570042375 3093082519 283597772 1487924955 3922613390 753529045 4177900513 4284436120 156584261 953740515 1442116 2869208041 887260788 2760604902 3918600922 3850837208 954734291 404384224 1900905694 116407978 688387060 2095100081 3581518211 2184417377 1049976257 2138942815 3347476877 2766059413 422174362 1106511569 711583822 2722445604 2496952760 3888071654 1539144254 2277930255 19216793 2061320749 553564001 1925883684 1305628735 3445586381 3710584485 3077558933 2295066993 2642992882 1964057351 2272234938 292046512 4291803749 2900256701 661990765 2245553256 608507770 2445749225 255 362436" option to reproduce the execution
0.09/0.10	c #vars 10258
0.09/0.10	c #constraints 60
0.18/0.25	c BCD2: Hardening is enabled.
0.18/0.25	c BCD2: BiasedSearch is enabled.
0.18/0.25	c Solving starts ...
0.18/0.25	c ============================[ Search Statistics ]============================
0.18/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.25	c =============================================================================
0.18/0.25	c  0.0s |       0 |        0 |        0 |     3446      0 |        0 |        0
1.59/1.61	c  1.4s |       1 |      277 |      100 |     3446      0 |        0 |        0
2.88/2.90	c  2.7s |       2 |     1827 |      250 |     3791      0 |        0 |        0
4.09/4.19	c  3.9s |       2 |     5639 |      365 |     4171      0 |        0 |        0
4.09/4.19	c #cpu_time = 3.932s
4.09/4.19	c #wall_clock_time = 3.932s
4.09/4.19	c #decision = 5639
4.09/4.19	c #random_decision = 18
4.09/4.19	c #conflict = 365
4.09/4.19	c #restart = 2
4.09/4.19	o 549339
5.39/5.43	c BCD2: updating upper bound: 446607872 -> 549338
6.39/6.48	c BCD2: 0 <= obj <= 549338
6.39/6.48	c BCD2: #cores=0, #unrelaxed=10240, #relaxed=0, #hardened=0
6.39/6.48	c BCD2: #sat=1 #unsat=1 bias=1/2
6.39/6.48	c Solving starts ...
6.39/6.48	c ============================[ Search Statistics ]============================
6.39/6.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.39/6.48	c       |         |          |          |    Limit     GC | Var      | Constra 
6.39/6.48	c =============================================================================
6.39/6.49	c  0.0s |       0 |        0 |        0 |     4171      0 |        0 |        0
6.49/6.51	c  0.0s |       0 |     2557 |        0 |     4171      0 |        0 |        0
6.49/6.51	c #cpu_time = 0.021s
6.49/6.51	c #wall_clock_time = 0.021s
6.49/6.51	c #decision = 2557
6.49/6.51	c #random_decision = 0
6.49/6.51	c #conflict = 0
6.49/6.51	c #restart = 0
6.49/6.51	c BCD2: found a new core of size 512: cost of the new core is >=8301
6.49/6.51	c lower bound updated to 8301
7.49/7.54	c BCD2: 8301 <= obj <= 549338
7.49/7.54	c BCD2: #cores=1, #unrelaxed=9728, #relaxed=512, #hardened=0
7.49/7.54	c BCD2: #sat=1 #unsat=2 bias=2/3
7.49/7.55	c Solving starts ...
7.49/7.55	c ============================[ Search Statistics ]============================
7.49/7.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.49/7.55	c       |         |          |          |    Limit     GC | Var      | Constra 
7.49/7.55	c =============================================================================
7.49/7.55	c  0.0s |       0 |        0 |        0 |     4171      0 |        0 |        1
7.59/7.63	c  0.1s |       0 |     4602 |        0 |     4171      0 |        0 |        1
7.59/7.63	c #cpu_time = 0.085s
7.59/7.63	c #wall_clock_time = 0.085s
7.59/7.63	c #decision = 4602
7.59/7.63	c #random_decision = 0
7.59/7.63	c #conflict = 0
7.59/7.63	c #restart = 0
7.59/7.64	c BCD2: found a new core of size 2046: cost of the new core is >=1005
7.59/7.64	c lower bound updated to 9306
8.59/8.68	c BCD2: 9306 <= obj <= 549338
8.59/8.68	c BCD2: #cores=2, #unrelaxed=7682, #relaxed=2558, #hardened=0
8.59/8.68	c BCD2: #sat=1 #unsat=3 bias=3/4
1169.51/1169.60	c Solving starts ...
1169.51/1169.60	c ============================[ Search Statistics ]============================
1169.51/1169.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1169.51/1169.60	c       |         |          |          |    Limit     GC | Var      | Constra 
1169.51/1169.60	c =============================================================================
1169.51/1169.60	c  0.0s |       0 |        0 |        0 |     4171      0 |        0 |        1
1169.61/1169.73	c  0.1s |       1 |     9126 |      100 |     4171      0 |        0 |        1
1170.01/1170.15	c  0.5s |       2 |    18593 |      250 |     4589      0 |        0 |        1
1171.91/1172.05	c  2.5s |       3 |    26510 |      475 |     5048      0 |        0 |        1
1173.31/1173.42	c  3.8s |       4 |    35590 |      813 |     5048      0 |        0 |        1
1175.51/1175.69	c  6.1s |       4 |    50411 |     1113 |     5553      0 |        0 |        1
1178.31/1178.49	c  8.9s |       4 |    54740 |     1213 |     5553      0 |        0 |        1
1180.41/1180.59	c 11.0s |       4 |    55446 |     1313 |     5553      0 |        0 |        1
1180.61/1180.77	c 11.2s |       5 |    55446 |     1320 |     5553      0 |        0 |        1
1182.81/1182.96	c 13.4s |       5 |    65456 |     1620 |     5553      0 |        0 |        1
1185.61/1185.75	c 16.2s |       5 |    66491 |     1820 |     6109      0 |        0 |        1
1187.80/1187.92	c 18.3s |       5 |    67895 |     1920 |     6109      0 |        0 |        1
1190.22/1190.37	c 20.8s |       5 |    68127 |     2020 |     6109      0 |        0 |        1
1191.11/1191.25	c 21.7s |       6 |    76203 |     2081 |     6109      0 |        0 |        1
1193.21/1193.34	c 23.7s |       6 |    88280 |     2381 |     6109      0 |        0 |        1
1196.60/1196.78	c 27.2s |       6 |   115313 |     2481 |     6109      0 |        0 |        1
1204.30/1204.48	c 34.9s |       6 |   132239 |     2581 |     6109      0 |        0 |        1
1220.01/1220.11	c 50.5s |       6 |   135844 |     2681 |     6109      0 |        0 |        1
1231.20/1231.39	c 61.8s |       6 |   143096 |     2781 |     6109      0 |        0 |        1
1237.91/1238.02	c 68.4s |       6 |   143962 |     2881 |     6720      0 |        0 |        1
1240.81/1240.96	c 71.4s |       6 |   145031 |     3081 |     6720      0 |        0 |        1
1243.30/1243.41	c 73.8s |       7 |   147303 |     3223 |     6720      0 |        0 |        1
1245.30/1245.49	c 75.9s |       7 |   155236 |     3423 |     6720      0 |        0 |        1
1253.30/1253.41	c 83.8s |       7 |   174710 |     3623 |     6720      0 |        0 |        1
1282.09/1282.23	c  112s |       7 |   179469 |     3723 |     6720      0 |        0 |        1
1308.49/1308.60	c  138s |       7 |   181717 |     3823 |     6720      0 |        0 |        1
1313.30/1313.46	c  143s |       7 |   181962 |     3923 |     6720      0 |        0 |        1
1316.60/1316.73	c  147s |       7 |   183848 |     4023 |     6720      0 |        0 |        1
1322.10/1322.21	c  152s |       7 |   185684 |     4223 |     6720      0 |        0 |        1
1326.38/1326.58	c  156s |       7 |   186150 |     4323 |     6720      0 |        0 |        1
1330.89/1331.04	c  161s |       7 |   187099 |     4523 |     6720      0 |        0 |        1
1333.58/1333.72	c  164s |       7 |   188601 |     4623 |     7393      0 |        0 |        1
1336.19/1336.30	c  166s |       7 |   189197 |     4723 |     7393      0 |        0 |        1
1340.68/1340.90	c  171s |       7 |   192063 |     4823 |     7393      0 |        0 |        1
1342.99/1343.12	c  173s |       7 |   192330 |     4923 |     7393      0 |        0 |        1
1343.18/1343.38	c  173s |       8 |   192799 |     4936 |     7393      0 |        0 |        1
1346.89/1347.03	c  177s |       8 |   201828 |     5036 |     7393      0 |        0 |        1
1349.70/1349.82	c  180s |       8 |   207091 |     5136 |     7393      0 |        0 |        1
1353.59/1353.75	c  184s |       8 |   208677 |     5236 |     7393      0 |        0 |        1
1358.39/1358.60	c  188s |       8 |   209026 |     5336 |     7393      0 |        0 |        1
1362.08/1362.28	c  192s |       8 |   210702 |     5436 |     7393      0 |        0 |        1
1375.39/1375.58	c  205s |       8 |   213532 |     5536 |     7393      0 |        0 |        1
1398.28/1398.44	c  228s |       8 |   215524 |     5636 |     7393      0 |        0 |        1
1418.78/1418.99	c  249s |       8 |   215677 |     5736 |     7393      0 |        0 |        1
1429.97/1430.12	c  260s |       8 |   216672 |     5836 |     7393      0 |        0 |        1
1443.37/1443.60	c  273s |       8 |   217006 |     5936 |     7393      0 |        0 |        1
1446.27/1446.40	c  276s |       8 |   217753 |     6036 |     7393      0 |        0 |        1
1453.37/1453.59	c  283s |       8 |   218044 |     6136 |     7393      0 |        0 |        1
1459.96/1460.18	c  290s |       8 |   218976 |     6236 |     7393      0 |        0 |        1
1467.86/1468.09	c  298s |       8 |   219557 |     6336 |     7393      0 |        0 |        1
1470.57/1470.79	c  301s |       8 |   220190 |     6436 |     7393      0 |        0 |        1
1475.86/1476.04	c  306s |       8 |   220480 |     6536 |     7393      0 |        0 |        1
1482.17/1482.30	c  312s |       8 |   221041 |     6636 |     7393      0 |        0 |        1
1485.66/1485.89	c  316s |       8 |   221465 |     6736 |     7393      0 |        0 |        1
1491.47/1491.67	c  322s |       8 |   221933 |     6836 |     7393      0 |        0 |        1
1495.56/1495.72	c  326s |       8 |   227686 |     6936 |     7393      0 |        0 |        1
1499.96/1500.15	c  330s |       8 |   227955 |     7036 |     7393      0 |        0 |        1
1506.56/1506.80	c  337s |       8 |   229193 |     7136 |     8133      0 |        0 |        1
1511.37/1511.56	c  341s |       8 |   229440 |     7236 |     8133      0 |        0 |        1
1515.86/1516.05	c  346s |       8 |   229606 |     7336 |     8133      0 |        0 |        1
1525.46/1525.70	c  356s |       8 |   230019 |     7436 |     8133      0 |        0 |        1
1579.15/1579.33	c  409s |       9 |   230019 |     7506 |     8133      0 |        0 |        1
1581.65/1581.89	c  412s |       9 |   237879 |     7606 |     8133      0 |        0 |        1
1593.05/1593.21	c  423s |       9 |   238711 |     7906 |     8133      0 |        0 |        1
1598.74/1598.99	c  429s |       9 |   239157 |     8006 |     8133      0 |        0 |        1
1601.25/1601.45	c  431s |       9 |   239561 |     8106 |     8133      0 |        0 |        1
1612.75/1612.98	c  443s |       9 |   243977 |     8306 |     8133      0 |        0 |        1
1629.34/1629.54	c  459s |       9 |   244474 |     8406 |     8133      0 |        0 |        1
1644.94/1645.18	c  475s |       9 |   249749 |     8506 |     8133      0 |        0 |        1
1670.14/1670.37	c  500s |       9 |   250418 |     8606 |     8133      0 |        0 |        1
1680.64/1680.89	c  511s |       9 |   250760 |     8706 |     8133      0 |        0 |        1
1699.24/1699.43	c  529s |       9 |   251658 |     8806 |     8133      0 |        0 |        1
1715.33/1715.58	c  545s |       9 |   252239 |     8906 |     8133      0 |        0 |        1
1720.93/1721.19	c  551s |       9 |   252401 |     9006 |     8133      0 |        0 |        1
1726.72/1726.98	c  557s |       9 |   252621 |     9106 |     8133      0 |        0 |        1
1734.23/1734.49	c  564s |       9 |   252843 |     9206 |     8133      0 |        0 |        1
1739.13/1739.35	c  569s |       9 |   253040 |     9306 |     8133      0 |        0 |        1
1743.12/1743.32	c  573s |       9 |   254008 |     9406 |     8133      0 |        0 |        1
1746.92/1747.19	c  577s |       9 |   254693 |     9506 |     8133      0 |        0 |        1
1749.02/1749.23	c  579s |       9 |   256512 |     9606 |     8133      0 |        0 |        1
1759.72/1759.98	c  590s |       9 |   257125 |     9706 |     8133      0 |        0 |        1
1778.91/1779.12	c  609s |       9 |   259820 |     9806 |     8133      0 |        0 |        1
1796.41/1796.67	c  627s |       9 |   260242 |     9906 |     8133      0 |        0 |        1

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

pid=8500
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.17 2.20 2.18 3/179 8503
/proc/meminfo: memFree=26391568/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=660924 CPUtime=0 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 2455 0 0 0 0 0 0 0 20 0 4 0 108622612 676786176 3326 33554432000 4194304 16246674 140734075354544 140734075353968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 165743 3334 441 2943 0 162637 0
[pid=8503/tid=8504] ppid=8500 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 694611968 3394 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=682428 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 698806272 3410 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 703000576 3426 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.17 2.20 2.18 3/179 8503
/proc/meminfo: memFree=26391568/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 30515 0 0 0 4 5 0 0 20 0 4 0 108622612 1334382592 31325 33554432000 4194304 16246674 140734075354544 140734075353856 7889646 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 325777 31340 800 2943 0 322671 0
[pid=8503/tid=8504] ppid=8500 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1334382592 31352 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1334382592 31364 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1334382592 31375 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200558 s]
/proc/loadavg: 2.17 2.20 2.18 3/179 8503
/proc/meminfo: memFree=26391568/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1312324 CPUtime=0.18 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 38719 0 0 0 13 5 0 0 20 0 4 0 108622612 1343819776 39528 33554432000 4194304 16246674 140734075354544 140734075353856 4220894 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 328081 39528 838 2943 0 324975 0
[pid=8503/tid=8504] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 39528 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 39528 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 39528 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300539 s]
/proc/loadavg: 2.17 2.20 2.18 3/179 8503
/proc/meminfo: memFree=26391568/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 42057 0 0 0 23 6 0 0 20 0 4 0 108622612 1343819776 42866 33554432000 4194304 16246674 140734075354544 140734075353856 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 328081 42866 885 2943 0 324975 0
[pid=8503/tid=8504] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 42866 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 42866 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 42866 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700369 s]
/proc/loadavg: 2.17 2.20 2.18 3/179 8503
/proc/meminfo: memFree=26391568/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 48262 0 0 0 62 7 0 0 20 0 4 0 108622612 1343819776 49071 33554432000 4194304 16246674 140734075354544 140734075336448 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 328081 49071 885 2943 0 324975 0
[pid=8503/tid=8504] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 49071 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 49071 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 49071 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 8507
/proc/meminfo: memFree=26196604/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 48317 0 0 0 142 7 0 0 20 0 4 0 108622612 1343819776 49126 33554432000 4194304 16246674 140734075354544 140734075336448 5711318 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 328081 49126 888 2943 0 324975 0
[pid=8503/tid=8504] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 49126 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 49126 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 49126 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10041 s]
/proc/loadavg: 2.16 2.20 2.18 4/183 8507
/proc/meminfo: memFree=26195488/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1312324 CPUtime=3.08 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 64843 0 0 0 299 9 0 0 20 0 4 0 108622612 1343819776 65653 33554432000 4194304 16246674 140734075354544 140734075336448 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 328081 65660 891 2943 0 324975 0
[pid=8503/tid=8504] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 65664 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 65667 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 65673 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 8507
/proc/meminfo: memFree=25311956/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 269280 0 0 0 591 38 0 0 20 0 4 0 108622612 1343819776 270089 33554432000 4194304 16246674 140734075354544 140734075336448 12652957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 328081 270089 902 2943 0 324975 0
[pid=8503/tid=8504] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 270089 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 270089 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1343819776 270089 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 8507
/proc/meminfo: memFree=25311904/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1351236 CPUtime=12.68 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 278811 0 0 0 1229 39 0 0 20 0 4 0 108622612 1383665664 279620 33554432000 4194304 16246674 140734075354544 140734075336448 13943668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 337809 279620 918 2943 0 334703 0
[pid=8503/tid=8504] ppid=8500 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1383665664 279620 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1383665664 279620 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1383665664 279620 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1351236

[startup+25.5006 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 8507
/proc/meminfo: memFree=25273348/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1351236 CPUtime=25.49 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 279024 0 0 0 2509 40 0 0 20 0 4 0 108622612 1383665664 279833 33554432000 4194304 16246674 140734075354544 140734075352448 12654460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 337809 279833 918 2943 0 334703 0
[pid=8503/tid=8504] ppid=8500 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1383665664 279833 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1383665664 279833 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1383665664 279833 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1351236

[startup+51.1005 s]
/proc/loadavg: 2.13 2.18 2.17 4/183 8507
/proc/meminfo: memFree=25272108/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1358404 CPUtime=51.08 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 280645 0 0 0 5068 40 0 0 20 0 4 0 108622612 1391005696 281455 33554432000 4194304 16246674 140734075354544 140734075336448 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8503/statm: 339601 281461 918 2943 0 336495 0
[pid=8503/tid=8504] ppid=8500 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1391005696 281465 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1391005696 281469 33554432000 4194304 16246674 140734075354544 140399005899792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1391005696 281472 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1358404

[startup+102.301 s]
/proc/loadavg: 2.09 2.16 2.17 3/183 8509
/proc/meminfo: memFree=24663356/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=1560132 CPUtime=102.31 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 331248 0 0 0 10180 51 0 0 20 0 4 0 108622612 1597575168 332057 33554432000 4194304 16246674 140734075354544 140734075353856 6958924 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 390033 332057 918 2943 0 386927 0
[pid=8503/tid=8504] ppid=8500 vsize=1560132 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 1597575168 332057 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=1560132 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 1597575168 332057 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=1560132 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 1597575168 332057 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1560132


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

[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.18
Current children cumulated vsize (KiB) 3115588

[startup+1422.3 s]
/proc/loadavg: 2.24 2.18 2.17 4/183 8541
/proc/meminfo: memFree=22758964/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=3115588 CPUtime=1422.18 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 4922874 0 0 0 141318 900 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140734075353720 5545784 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 778897 720931 923 2943 0 775791 0
[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.18
Current children cumulated vsize (KiB) 3115588

[startup+1482.3 s]
/proc/loadavg: 2.30 2.21 2.18 3/183 8542
/proc/meminfo: memFree=22759244/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=3115588 CPUtime=1482.17 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 4922874 0 0 0 147309 908 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140734075353720 5822604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 778897 720931 923 2943 0 775791 0
[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 3115588

[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.18 3/184 8546
/proc/meminfo: memFree=22729056/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=3115588 CPUtime=1542.16 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 4922874 0 0 0 153301 915 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140734075336448 5546098 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 778897 720931 923 2943 0 775791 0
[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 3115588

[startup+1602.3 s]
/proc/loadavg: 2.17 2.18 2.17 4/184 8571
/proc/meminfo: memFree=22712844/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=3115588 CPUtime=1602.15 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 4922874 0 0 0 159293 922 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140734075353720 12415754 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 778897 720931 923 2943 0 775791 0
[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 3115588

[startup+1662.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 8572
/proc/meminfo: memFree=22709940/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=3115588 CPUtime=1662.13 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 4922874 0 0 0 165282 931 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140734075353720 12483332 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 778897 720931 923 2943 0 775791 0
[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 3115588

[startup+1722.3 s]
/proc/loadavg: 2.11 2.15 2.17 4/183 8622
/proc/meminfo: memFree=26057084/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=3115588 CPUtime=1722.13 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 4922875 0 0 0 171273 940 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140734075353720 5722960 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 778897 720931 923 2943 0 775791 0
[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 3115588

[startup+1782.3 s]
/proc/loadavg: 2.22 2.17 2.17 4/183 8623
/proc/meminfo: memFree=26057196/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=3115588 CPUtime=1782.11 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 4922889 0 0 0 177263 948 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140734075353720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 778897 720931 923 2943 0 775791 0
[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 3115588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.2 s]
/proc/loadavg: 2.24 2.18 2.17 3/183 8623
/proc/meminfo: memFree=26056904/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=3115588 CPUtime=1800.01 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) R 8500 8503 5723 0 -1 4202496 4922889 0 0 0 179051 950 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140734075353720 12875598 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 778897 720931 923 2943 0 775791 0
[pid=8503/tid=8504] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8504/stat : 8504 (toysat) S 8500 8503 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399016389872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) S 8500 8503 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140399005900016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8503/tid=8506] ppid=8500 vsize=3115588 CPUtime=0 cores=1,3,5,7
/proc/8503/task/8506/stat : 8506 (toysat) S 8500 8503 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108622612 3190362112 720931 33554432000 4194304 16246674 140734075354544 140398924131504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3115588

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

[startup+1800.3 s]
/proc/loadavg: 2.24 2.18 2.17 3/183 8623
/proc/meminfo: memFree=26056904/32872528 swapFree=16384/1696552
[pid=8503] ppid=8500 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/8503/stat : 8503 (toysat) Z 8500 8503 5723 0 -1 4203532 4922889 0 0 0 179051 960 0 0 20 0 2 0 108622612 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8503/statm: 0 0 0 0 0 0 0
[pid=8503/tid=8505] ppid=8500 vsize=0 CPUtime=0.1 cores=1,3,5,7
/proc/8503/task/8505/stat : 8505 (toysat) R 8500 8503 5723 0 -1 4203588 8 0 0 0 0 10 0 0 20 0 2 0 108622612 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8503 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=497802
#  childrusage.ru_stime.tv_sec=9
#  childrusage.ru_stime.tv_usec=542549
# CPU time returned by wait4() is 1800.04
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.35
CPU time (s): 1800.11
CPU user time (s): 1790.51
CPU system time (s): 9.6
CPU usage (%): 99.9864
Max. virtual memory (cumulated for all children) (KiB): 11744836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.5
system time used= 9.54255
maximum resident set size= 11512956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4922889
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= 1275
involuntary context switches= 2929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.15761 second user time and 19.0211 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 04:34:55
IDJOB=4079125
IDBENCH=71888
IDSOLVER=2542
FILE ID=node125/4079125-1465266895
RUNJOBID= node125-1465259688-5740
PBS_JOBID= 19843289
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__256.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079125-1465266895/watcher-4079125-1465266895 -o /tmp/evaluation-result-4079125-1465266895/solver-4079125-1465266895 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079125-1465266895.opb

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

MD5SUM BENCH= a048c41e885d13c7000ff4a85d8352bd
RANDOM SEED=1929387124

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:        26392112 kB
Buffers:          126444 kB
Cached:           297828 kB
SwapCached:         1984 kB
Active:          3768276 kB
Inactive:         260548 kB
Active(anon):    3605352 kB
Inactive(anon):     1436 kB
Active(file):     162924 kB
Inactive(file):   259112 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             16752 kB
Writeback:             0 kB
AnonPages:       5300012 kB
Mapped:            10704 kB
Shmem:                 0 kB
Slab:             614120 kB
SReclaimable:      57852 kB
SUnreclaim:       556268 kB
KernelStack:        1472 kB
PageTables:        14088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5446288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1734656 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= 71712 MiB
End job on node125 at 2016-06-07 05:04:56