Trace number 4080085

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.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_2.opb
MD5SUM24465d104818b01999b811ba346c3d8e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-123
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -152
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63088
Sum of products size (including duplicates)126176
Number of different products31544
Sum of products size63088

Solver Data 

0.00/0.00	c 2016-06-07T03:25: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-4080085-1465262703.opb"]
0.00/0.01	c use --random-gen="3710206136 751321624 1758808676 3771907318 3878411475 2696147352 3890731771 2413528394 4010299760 1095287037 1708019509 1606393318 3088348565 1978042500 1158885340 3972255470 4190303749 3218818857 1079658006 3860524065 2548200229 1995288179 1474918415 3115546407 2905782405 415345668 1693427449 1881067820 1642572850 272574226 1082016765 3330688072 3123966183 1668450060 999735610 2339498373 4139983550 131948887 3795016672 3375534349 61149280 565259646 2015133476 2816680990 3975700373 1101272326 4287946664 4125104703 3516963573 2903325027 489055123 619601233 3432207017 3411648800 3530910982 1357377456 1070851824 3080690380 1503346909 2122232673 4248384599 3492041053 1284748697 450526480 3243976016 2033541445 992590169 370763051 2143676484 436663342 36152874 2422825985 4222449796 81441095 1621744577 1451363546 2780161216 2729791996 3806181825 750820175 315584929 3293901337 2359416935 2931105817 123834062 3272402832 3739554047 3293375353 985655223 2695732492 3159895543 3391994883 2381448467 2590471419 3448626028 4069767030 2535632787 411442791 156751847 1001242438 1134409397 2864797552 4072918103 3084848540 1895141197 140148862 2734453106 3900262634 3725287419 864948007 1087341256 715133979 1360256934 3288619626 1441013949 4137960561 89286376 1095180428 461382299 1611109314 2554788744 311585861 3636514423 1877896864 4257887411 3601562628 3053771726 3061010110 2827313416 101687589 432171484 3689580357 4020010442 4056906665 1181828543 384121973 2057701329 3559806633 475564428 2090556264 1511503081 1676243780 2225111465 1723976332 1167507159 4163095375 620679223 2858666345 1805395549 929694952 20420121 77553467 1364119461 1412736206 3920893750 3790942424 4023172862 3552409555 2355147376 401039934 3657229300 3748560539 458417176 3017397215 4023422100 3342901666 3603964563 3849102822 2350360613 1084796798 2935546912 3591311324 4130046900 693770494 3095965593 938959859 3348571825 712389298 115042220 3767047232 578432604 3658671560 2213356813 2518655455 99306911 4041750160 659836345 2344587883 2949114482 1326155619 1692371006 3269934591 3264673859 2247637091 1938835194 586145470 2874380927 3736995845 1468020904 2601423435 800971620 2046128994 1970565813 4266207530 150707438 1253631643 856283965 4140209909 2066632840 1702921474 1461915432 197975673 274181178 3932213222 3989219891 1102379712 3990564768 2674819573 1145770877 1085699417 3295668776 2997403711 2527488158 3932081311 220735525 1765285751 2756734690 2486225770 2574363231 2084477504 1789537198 182110182 3318044279 3839965066 3525038075 1362485418 1205634183 2732325351 260629611 2461833896 2331851188 2765223125 2806877598 1535843037 2151966200 4148432476 4115871492 2945609503 2177114080 1763414521 159972478 345192070 3662118123 4138317399 227435388 3444771274 255 362436" option to reproduce the execution
0.09/0.20	c #vars 2000
0.09/0.20	c #constraints 3001
1.10/1.13	c BCD2: Hardening is enabled.
1.10/1.13	c BCD2: BiasedSearch is enabled.
1.10/1.13	c Solving starts ...
1.10/1.13	c ============================[ Search Statistics ]============================
1.10/1.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.10/1.13	c       |         |          |          |    Limit     GC | Var      | Constra 
1.10/1.13	c =============================================================================
1.10/1.13	c  0.0s |       0 |        0 |        0 |    22696      0 |        0 |        0
1.20/1.23	c  0.1s |       0 |     1321 |        1 |    22696      0 |        0 |        0
1.20/1.23	c #cpu_time = 0.070s
1.20/1.23	c #wall_clock_time = 0.070s
1.20/1.23	c #decision = 1321
1.20/1.23	c #random_decision = 2
1.20/1.23	c #conflict = 1
1.20/1.23	c #restart = 0
1.20/1.23	o -97
1.20/1.24	c BCD2: updating upper bound: 1000 -> 902
1.20/1.24	c BCD2: 0 <= obj <= 902
1.20/1.24	c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0
1.20/1.24	c BCD2: #sat=1 #unsat=1 bias=1/2
1.20/1.24	c Solving starts ...
1.20/1.24	c ============================[ Search Statistics ]============================
1.20/1.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.24	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.24	c =============================================================================
1.20/1.24	c  0.0s |       0 |        0 |        0 |    22696      0 |        0 |        0
1.29/1.31	c  0.1s |       0 |      638 |        2 |    22696      0 |        0 |        0
1.29/1.31	c #cpu_time = 0.071s
1.29/1.31	c #wall_clock_time = 0.072s
1.29/1.31	c #decision = 638
1.29/1.31	c #random_decision = 0
1.29/1.31	c #conflict = 2
1.29/1.31	c #restart = 0
1.29/1.31	c BCD2: found a new core of size 500: cost of the new core is >=1
1.29/1.31	c lower bound updated to -999
1.29/1.32	c BCD2: 1 <= obj <= 902
1.29/1.32	c BCD2: #cores=1, #unrelaxed=500, #relaxed=500, #hardened=0
1.29/1.32	c BCD2: #sat=1 #unsat=2 bias=2/3
1.29/1.32	c Solving starts ...
1.29/1.32	c ============================[ Search Statistics ]============================
1.29/1.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.32	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.32	c =============================================================================
1.29/1.32	c  0.0s |       0 |        0 |        0 |    22696      0 |        0 |        0
1.69/1.72	c  0.4s |       0 |      501 |        1 |    22696      0 |        0 |        0
1.69/1.72	c #cpu_time = 0.393s
1.69/1.72	c #wall_clock_time = 0.394s
1.69/1.72	c #decision = 501
1.69/1.72	c #random_decision = 0
1.69/1.72	c #conflict = 1
1.69/1.72	c #restart = 0
1.69/1.72	c BCD2: relaxing 500 and merging with 1 cores into a new core of size 1000: cost of the new core is >=2
1.69/1.72	c lower bound updated to -998
1.69/1.72	c BCD2: 2 <= obj <= 902
1.69/1.72	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1000, #hardened=0
1.69/1.72	c BCD2: #sat=1 #unsat=3 bias=3/4
1.69/1.73	c Solving starts ...
1.69/1.73	c ============================[ Search Statistics ]============================
1.69/1.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.69/1.73	c       |         |          |          |    Limit     GC | Var      | Constra 
1.69/1.73	c =============================================================================
1.69/1.73	c  0.0s |       0 |        0 |        0 |    22696      0 |        1 |        0
2.09/2.14	c  0.4s |       1 |    16481 |      100 |    24966      0 |        1 |        1
2.49/2.58	c  0.9s |       2 |    40779 |      250 |    27463      0 |        1 |        1
6.18/6.23	c  4.5s |       2 |    63595 |      450 |    27463      0 |        1 |        1
9.28/9.36	c  7.6s |       3 |    67291 |      475 |    30210      0 |        1 |        1
26.59/26.61	c 24.9s |       3 |    75818 |      575 |    30210      0 |        1 |        1
39.18/39.26	c 37.5s |       3 |    82267 |      675 |    30210      0 |        1 |        1
49.49/49.53	c 47.8s |       3 |    88739 |      775 |    30210      0 |        1 |        1
52.79/52.87	c 51.1s |       4 |    91435 |      813 |    33231      0 |        1 |        1
61.48/61.59	c 59.9s |       4 |   101022 |      913 |    33231      0 |        1 |        1
66.58/66.61	c 64.9s |       4 |   120475 |     1013 |    33231      0 |        1 |        1
78.98/79.06	c 77.3s |       4 |   126470 |     1113 |    33231      0 |        1 |        1
87.27/87.34	c 85.6s |       4 |   137678 |     1213 |    33231      0 |        1 |        1
97.28/97.31	c 95.6s |       4 |   145963 |     1313 |    33231      0 |        1 |        1
97.88/97.97	c 96.2s |       5 |   146286 |     1320 |    36555      0 |        1 |        1
104.37/104.41	c  102s |       5 |   151757 |     1420 |    36555      0 |        1 |        1
111.68/111.72	c  109s |       5 |   160442 |     1520 |    36555      0 |        1 |        1
122.37/122.46	c  120s |       5 |   164266 |     1620 |    36555      0 |        1 |        1
131.57/131.61	c  129s |       5 |   167623 |     1720 |    36555      0 |        1 |        1
142.27/142.39	c  140s |       5 |   171271 |     1820 |    36555      0 |        1 |        1
151.57/151.60	c  149s |       5 |   175536 |     1920 |    36555      0 |        1 |        1
158.66/158.70	c  156s |       5 |   185618 |     2020 |    36555      0 |        1 |        1
167.46/167.52	c  165s |       6 |   187785 |     2081 |    40211      0 |        1 |        1
187.96/188.08	c  186s |       6 |   190202 |     2181 |    40211      0 |        1 |        1
216.55/216.67	c  214s |       6 |   192080 |     2281 |    40211      0 |        1 |        1
248.65/248.73	c  247s |       6 |   193104 |     2381 |    40211      0 |        1 |        1
279.64/279.72	c  277s |       6 |   194072 |     2481 |    40211      0 |        1 |        1
313.65/313.71	c  311s |       6 |   194717 |     2581 |    40211      0 |        1 |        1
352.64/352.75	c  351s |       6 |   197211 |     2681 |    40211      0 |        1 |        1
383.73/383.84	c  382s |       6 |   202289 |     2781 |    40211      0 |        1 |        1
423.02/423.12	c  421s |       6 |   202817 |     2881 |    40211      0 |        1 |        1
465.22/465.32	c  463s |       6 |   203004 |     2981 |    40211      0 |        1 |        1
505.62/505.71	c  503s |       6 |   203119 |     3081 |    40211      0 |        1 |        1
524.31/524.47	c  522s |       6 |   211631 |     3181 |    40211      0 |        1 |        1
530.41/530.59	c  528s |       7 |   213182 |     3223 |    44233      0 |        1 |        1
573.50/573.70	c  571s |       7 |   213698 |     3323 |    44233      0 |        1 |        1
613.40/613.55	c  611s |       7 |   214173 |     3423 |    44233      0 |        1 |        1
653.29/653.50	c  651s |       7 |   214948 |     3523 |    44233      0 |        1 |        1
690.98/691.12	c  689s |       7 |   215159 |     3623 |    44233      0 |        1 |        1
728.88/729.07	c  727s |       7 |   216399 |     3723 |    44233      0 |        1 |        1
765.78/765.95	c  764s |       7 |   216502 |     3823 |    44233      0 |        1 |        1
807.66/807.89	c  806s |       7 |   216604 |     3923 |    44233      0 |        1 |        1
850.46/850.63	c  848s |       7 |   216699 |     4023 |    44233      0 |        1 |        1
892.75/892.98	c  891s |       7 |   216802 |     4123 |    44233      0 |        1 |        1
935.14/935.36	c  933s |       7 |   216901 |     4223 |    44233      0 |        1 |        1
976.84/977.07	c  975s |       7 |   217002 |     4323 |    44233      0 |        1 |        1
1013.33/1013.55	c 1011s |       7 |   217431 |     4423 |    44233      0 |        1 |        1
1057.23/1057.45	c 1055s |       7 |   217528 |     4523 |    44233      0 |        1 |        1
1098.83/1099.07	c 1097s |       7 |   217630 |     4623 |    44233      0 |        1 |        1
1139.72/1139.93	c 1138s |       7 |   217729 |     4723 |    44233      0 |        1 |        1
1180.11/1180.35	c 1178s |       7 |   217832 |     4823 |    44233      0 |        1 |        1
1220.91/1221.14	c 1219s |       7 |   217931 |     4923 |    48657      0 |        1 |        1
1226.20/1226.40	c 1224s |       8 |   217946 |     4936 |    48657      0 |        1 |        1
1266.59/1266.81	c 1265s |       8 |   218217 |     5036 |    48657      0 |        1 |        1
1308.79/1309.09	c 1307s |       8 |   218318 |     5136 |    48657      0 |        1 |        1
1349.28/1349.52	c 1347s |       8 |   218418 |     5236 |    48657      0 |        1 |        1
1386.98/1387.26	c 1385s |       8 |   218520 |     5336 |    48657      0 |        1 |        1
1426.77/1427.06	c 1425s |       8 |   218621 |     5436 |    48657      0 |        1 |        1
1466.36/1466.60	c 1464s |       8 |   218715 |     5536 |    48657      0 |        1 |        1
1499.95/1500.29	c 1498s |       8 |   221288 |     5636 |    48657      0 |        1 |        1
1546.24/1546.54	c 1544s |       8 |   221448 |     5736 |    48657      0 |        1 |        1
1594.73/1595.09	c 1593s |       8 |   221548 |     5836 |    48657      0 |        1 |        1
1632.23/1632.51	c 1630s |       8 |   224305 |     5936 |    48657      0 |        1 |        1
1661.92/1662.28	c 1660s |       8 |   229036 |     6036 |    48657      0 |        1 |        1
1712.41/1712.77	c 1711s |       8 |   229136 |     6136 |    48657      0 |        1 |        1
1761.10/1761.43	c 1759s |       8 |   229235 |     6236 |    48657      0 |        1 |        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-4080085-1465262703/watcher-4080085-1465262703 -o /tmp/evaluation-result-4080085-1465262703/solver-4080085-1465262703 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080085-1465262703.opb 

pid=3593
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.11 1.20 1.45 3/174 3596
/proc/meminfo: memFree=30289152/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 2857 0 0 0 0 0 0 0 20 0 4 0 108203468 782692352 3218 33554432000 4194304 16246674 140737027912368 140737027911792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 191599 3228 441 2943 0 188493 0
[pid=3596/tid=3597] ppid=3593 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 800518144 3286 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 804712448 3303 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108203468 808906752 3321 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100067 s]
/proc/loadavg: 1.11 1.20 1.45 3/174 3596
/proc/meminfo: memFree=30289152/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 27495 0 0 0 6 3 0 0 20 0 4 0 108203468 1333334016 27794 33554432000 4194304 16246674 140737027912368 140737027911680 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 325521 27808 799 2943 0 322415 0
[pid=3596/tid=3597] ppid=3593 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1333334016 27819 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1333334016 27831 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1333334016 27842 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200472 s]
/proc/loadavg: 1.11 1.20 1.45 3/174 3596
/proc/meminfo: memFree=30289152/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 45192 0 0 0 13 6 0 0 20 0 4 0 108203468 1344868352 46001 33554432000 4194304 16246674 140737027912368 140737027911680 7276384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 328337 46001 829 2943 0 325231 0
[pid=3596/tid=3597] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 46003 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 46005 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 46008 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300457 s]
/proc/loadavg: 1.11 1.20 1.45 3/174 3596
/proc/meminfo: memFree=30289152/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 45286 0 0 0 23 6 0 0 20 0 4 0 108203468 1344868352 46095 33554432000 4194304 16246674 140737027912368 140737027911680 5876184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 328337 46095 837 2943 0 325231 0
[pid=3596/tid=3597] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 46095 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 46095 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 46095 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700395 s]
/proc/loadavg: 1.11 1.20 1.45 3/174 3596
/proc/meminfo: memFree=30289152/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 53159 0 0 0 61 8 0 0 20 0 4 0 108203468 1344868352 53968 33554432000 4194304 16246674 140737027912368 140737027911680 6193476 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 328337 53968 837 2943 0 325231 0
[pid=3596/tid=3597] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 53968 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 53968 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1344868352 53968 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 1.11 1.20 1.45 3/183 3609
/proc/meminfo: memFree=29251528/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1316420 CPUtime=1.49 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 115575 0 0 0 133 16 0 0 20 0 4 0 108203468 1348014080 116384 33554432000 4194304 16246674 140737027912368 140737027910272 6021142 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 329105 116384 907 2943 0 325999 0
[pid=3596/tid=3597] ppid=3593 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1348014080 116384 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1348014080 116384 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1348014080 116384 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10034 s]
/proc/loadavg: 1.18 1.22 1.45 3/183 3609
/proc/meminfo: memFree=28777616/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1316420 CPUtime=3.09 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 115584 0 0 0 293 16 0 0 20 0 4 0 108203468 1348014080 116393 33554432000 4194304 16246674 140737027912368 140737027894272 13820864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 329105 116393 916 2943 0 325999 0
[pid=3596/tid=3597] ppid=3593 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1348014080 116393 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1348014080 116393 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1348014080 116393 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

[startup+6.30041 s]
/proc/loadavg: 1.18 1.22 1.45 3/183 3609
/proc/meminfo: memFree=28740068/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1329732 CPUtime=6.28 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 118912 0 0 0 612 16 0 0 20 0 4 0 108203468 1361645568 119721 33554432000 4194304 16246674 140737027912368 140737027910208 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332433 119721 916 2943 0 329327 0
[pid=3596/tid=3597] ppid=3593 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1361645568 119721 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1361645568 119721 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1361645568 119721 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1329732

[startup+12.7004 s]
/proc/loadavg: 1.30 1.24 1.45 3/184 3610
/proc/meminfo: memFree=28736408/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=12.69 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119424 0 0 0 1252 17 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 140737027910208 4221138 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 120233 916 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1331780

[startup+25.5005 s]
/proc/loadavg: 1.41 1.27 1.46 3/184 3610
/proc/meminfo: memFree=28735836/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=25.49 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119424 0 0 0 2532 17 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 140737027910272 4206591 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 120233 916 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1331780

[startup+51.1005 s]
/proc/loadavg: 1.80 1.37 1.49 4/184 3610
/proc/meminfo: memFree=28735844/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=51.08 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119424 0 0 0 5090 18 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 140737027894272 13899096 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 120233 916 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1331780

[startup+102.301 s]
/proc/loadavg: 2.06 1.52 1.53 3/184 3611
/proc/meminfo: memFree=28735312/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=102.28 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119424 0 0 0 10208 20 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 140737027894272 13896488 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 120233 916 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 120233 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 249102 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.28 2.26 2.03 3/184 3641
/proc/meminfo: memFree=28129172/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1302.09 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119426 0 0 0 130146 63 0 0 20 0 4 0 108203468 1363742720 273294 33554432000 4194304 16246674 140737027912368 140737027911544 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 273294 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 273294 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 273294 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 273294 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.24 2.26 2.04 3/184 3642
/proc/meminfo: memFree=28107436/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1362.08 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119426 0 0 0 136143 65 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027910208 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.16 2.23 2.04 3/184 3643
/proc/meminfo: memFree=28106624/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1422.07 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119433 0 0 0 142140 67 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027894272 4208682 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.74 2.36 2.10 3/189 3815
/proc/meminfo: memFree=28017544/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1482.06 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119443 0 0 0 148136 70 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027910208 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.54 2.39 2.12 3/184 3852
/proc/meminfo: memFree=27999852/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1542.05 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119456 0 0 0 154133 72 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027910208 4222032 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.41 2.38 2.13 3/183 3853
/proc/meminfo: memFree=27999756/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1602.02 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119471 0 0 0 160128 74 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027894272 4225325 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.32 2.36 2.14 3/183 3854
/proc/meminfo: memFree=27998748/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1662.01 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119471 0 0 0 166126 75 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027910272 5707776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.37 2.36 2.15 3/183 3855
/proc/meminfo: memFree=27998548/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1722 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119471 0 0 0 172123 77 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027911464 4222192 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.33 2.35 2.16 3/183 3856
/proc/meminfo: memFree=27992600/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1782 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119471 0 0 0 178121 79 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027910208 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.31 2.35 2.16 3/183 3856
/proc/meminfo: memFree=27992960/32872528 swapFree=17892/1720544
[pid=3596] ppid=3593 vsize=1331780 CPUtime=1800.09 cores=0,2,4,6
/proc/3596/stat : 3596 (toysat) R 3593 3596 3556 0 -1 4202496 119471 0 0 0 179930 79 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 140737027911464 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3596/statm: 332945 274464 918 2943 0 329839 0
[pid=3596/tid=3597] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847276670192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847266180336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108203468 1363742720 274464 33554432000 4194304 16246674 140737027912368 139847255706800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1331780

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.31
CPU system time (s): 0.796878
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.796878
maximum resident set size= 1097856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119471
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= 60
involuntary context switches= 1977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6233 second user time and 7.41487 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 03:25:03
IDJOB=4080085
IDBENCH=48269
IDSOLVER=2542
FILE ID=node117/4080085-1465262703
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080085-1465262703/watcher-4080085-1465262703 -o /tmp/evaluation-result-4080085-1465262703/solver-4080085-1465262703 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080085-1465262703.opb

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

MD5SUM BENCH= 24465d104818b01999b811ba346c3d8e
RANDOM SEED=744975286

node117.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.088
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.17
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.088
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.088
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.088
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.56
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.088
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.54
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.088
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.088
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.53
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.088
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:        30290060 kB
Buffers:           24424 kB
Cached:            79248 kB
SwapCached:        55384 kB
Active:            61356 kB
Inactive:          99124 kB
Active(anon):       4152 kB
Inactive(anon):    54708 kB
Active(file):      57204 kB
Inactive(file):    44416 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045036 kB
Dirty:             33396 kB
Writeback:             0 kB
AnonPages:       1722460 kB
Mapped:             6868 kB
Shmem:                 0 kB
Slab:             567780 kB
SReclaimable:      12204 kB
SUnreclaim:       555576 kB
KernelStack:        1368 kB
PageTables:         7308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1705984 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= 71708 MiB
End job on node117 at 2016-06-07 03:55:04