Trace number 4106775

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.01 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_3.opb
MD5SUMd792065ec5adca4c7f7b540f15bc8ce9
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-121
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -149
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)63244
Sum of products size (including duplicates)126488
Number of different products31622
Sum of products size63244

Solver Data 

0.00/0.00	c 2016-06-18T21:21:57+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-4106775-1466277717.opb"]
0.00/0.01	c use --random-gen="2113806553 973843978 4219786479 3491677582 2419568252 4190720159 517959094 3022505572 1430130723 2705707733 4054968298 2726464655 1329810874 1562559490 160102340 2338415546 1659479999 385980710 2917633920 2618845377 2676863006 1183676361 1945645724 1139130928 2839238898 686751397 549970431 569940269 4259477894 2886079772 19596499 3156732779 3054183316 2348467953 2219700567 352164253 804041108 2364280931 3530139738 832400187 78554158 2864271604 4009326853 2147296347 4120103808 2141579534 3213366470 2463587557 1381533774 2732865693 598982277 107235656 2132616768 4162946372 2105163573 202883383 524123075 652889726 3902359997 1379154042 4152197228 1722292229 244651013 3114230371 621683253 2478220572 3231609065 355473200 1160062927 379461080 1748510916 4062258221 4132659261 3043513120 726887277 3958036838 2157897481 2092429104 3422469640 1366883979 3757258909 962609926 32686918 2484510995 1484841262 2150047233 3988598104 55409650 2713968946 1307536979 2707875747 415720139 2802559008 2886253595 2329697040 1244312163 4285795034 2715518847 2711506972 3970898986 1444742217 4054854683 1845124644 1255186102 4126640146 4226734234 1591646656 955888621 4015755240 2187291448 3066836130 3685168410 479105264 3048267648 3981139897 3591246779 2945500131 3987117331 3958026253 932676394 1891191241 4224016228 1364272326 562586110 1186110467 3021295510 4178372245 3993079481 2368209973 302830414 3295424800 454918894 3789361059 2667002718 267182553 3264683529 4199283256 3414675086 1206319186 831664790 604585734 2383425698 2350002567 808298438 3542242195 3365430230 111894122 631555336 2885985775 2079729266 3386430014 4212570717 1704109462 355697968 3350523610 1603560085 1692081236 4293948199 4287487750 1587004392 2173276656 1423560367 3554780812 61400537 4153506758 2065478942 2967706907 1472935581 4131377942 1400861482 917424421 1833487855 4161017768 3096959706 783332951 3868720440 231926850 644322376 665293865 215647324 828681730 3022971355 300084498 2788279527 130461050 2846004739 1700216096 2807043969 141117708 1471528901 4087856032 674048024 3423204348 1038063262 1493655074 1061152222 1843375401 172338789 3573903712 2192840168 2818997815 1217686386 881585334 4092326898 4204084122 4016060670 2078928819 1437834118 3516059567 1687468637 3991777300 1296744638 346223667 3909926826 2747089234 2150320198 3535620549 3753647234 1885542647 3854455880 3759739352 2084611359 3058583518 3636286816 993242285 4150913306 1708653351 1642942423 2930671749 1480321724 3582663031 1001081414 3294755473 1652525386 3848321430 349681696 3076008360 1015142253 4233943401 1636170967 3539111365 2958391578 1972778745 1035717353 3713754407 524645363 2628712764 1868665898 2069764555 1258417291 2597918018 124487090 1097874600 1469731442 6517390 3714296111 255 362436" option to reproduce the execution
0.19/0.20	c #vars 2000
0.19/0.20	c #constraints 3001
1.10/1.14	c BCD2: Hardening is enabled.
1.10/1.14	c BCD2: BiasedSearch is enabled.
1.10/1.14	c Solving starts ...
1.10/1.14	c ============================[ Search Statistics ]============================
1.10/1.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.10/1.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1.10/1.14	c =============================================================================
1.10/1.14	c  0.0s |       0 |        0 |        0 |    22748      0 |        0 |        0
1.20/1.23	c  0.1s |       0 |     1085 |        1 |    22748      0 |        0 |        0
1.20/1.23	c #cpu_time = 0.067s
1.20/1.23	c #wall_clock_time = 0.067s
1.20/1.23	c #decision = 1085
1.20/1.23	c #random_decision = 5
1.20/1.23	c #conflict = 1
1.20/1.23	c #restart = 0
1.20/1.23	o -92
1.20/1.25	c BCD2: updating upper bound: 1000 -> 907
1.20/1.25	c BCD2: 0 <= obj <= 907
1.20/1.25	c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0
1.20/1.25	c BCD2: #sat=1 #unsat=1 bias=1/2
1.20/1.25	c Solving starts ...
1.20/1.25	c ============================[ Search Statistics ]============================
1.20/1.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.25	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.25	c =============================================================================
1.20/1.25	c  0.0s |       0 |        0 |        0 |    22748      0 |        0 |        0
1.29/1.32	c  0.1s |       0 |      624 |        2 |    22748      0 |        0 |        0
1.29/1.32	c #cpu_time = 0.068s
1.29/1.32	c #wall_clock_time = 0.069s
1.29/1.32	c #decision = 624
1.29/1.32	c #random_decision = 0
1.29/1.32	c #conflict = 2
1.29/1.32	c #restart = 0
1.29/1.32	c BCD2: found a new core of size 500: cost of the new core is >=1
1.29/1.32	c lower bound updated to -999
1.29/1.32	c BCD2: 1 <= obj <= 907
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.33	c  0.0s |       0 |        0 |        0 |    22748      0 |        0 |        0
1.69/1.73	c  0.4s |       0 |      501 |        1 |    22748      0 |        0 |        0
1.69/1.73	c #cpu_time = 0.397s
1.69/1.73	c #wall_clock_time = 0.398s
1.69/1.73	c #decision = 501
1.69/1.73	c #random_decision = 0
1.69/1.73	c #conflict = 1
1.69/1.73	c #restart = 0
1.69/1.73	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.73	c lower bound updated to -998
1.69/1.73	c BCD2: 2 <= obj <= 907
1.69/1.73	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1000, #hardened=0
1.69/1.73	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 |    22748      0 |        1 |        0
1.99/2.08	c  0.4s |       1 |    15123 |      100 |    25023      0 |        1 |        1
2.49/2.53	c  0.8s |       2 |    36593 |      250 |    27526      0 |        1 |        1
3.19/3.22	c  1.5s |       3 |    62345 |      475 |    30279      0 |        1 |        1
14.69/14.76	c 13.0s |       3 |    71413 |      575 |    30279      0 |        1 |        1
25.69/25.71	c 24.0s |       3 |    78739 |      675 |    30279      0 |        1 |        1
38.59/38.64	c 36.9s |       3 |    85855 |      775 |    30279      0 |        1 |        1
43.48/43.51	c 41.8s |       4 |    88731 |      813 |    33307      0 |        1 |        1
54.09/54.19	c 52.5s |       4 |    95052 |      913 |    33307      0 |        1 |        1
63.79/63.83	c 62.1s |       4 |   101233 |     1013 |    33307      0 |        1 |        1
76.38/76.40	c 74.7s |       4 |   105481 |     1113 |    33307      0 |        1 |        1
87.27/87.32	c 85.6s |       4 |   111505 |     1213 |    33307      0 |        1 |        1
100.08/100.12	c 98.4s |       4 |   115892 |     1313 |    33307      0 |        1 |        1
100.67/100.73	c 99.0s |       5 |   116003 |     1320 |    36638      0 |        1 |        1
111.57/111.64	c  109s |       5 |   120438 |     1420 |    36638      0 |        1 |        1
129.67/129.71	c  127s |       5 |   123576 |     1520 |    36638      0 |        1 |        1
143.97/144.05	c  142s |       5 |   126967 |     1620 |    36638      0 |        1 |        1
152.57/152.69	c  150s |       5 |   131077 |     1720 |    36638      0 |        1 |        1
162.56/162.67	c  160s |       5 |   134523 |     1820 |    36638      0 |        1 |        1
178.17/178.26	c  176s |       5 |   141361 |     1920 |    36638      0 |        1 |        1
195.96/196.09	c  194s |       5 |   145078 |     2020 |    36638      0 |        1 |        1
208.85/208.99	c  207s |       6 |   146128 |     2081 |    40302      0 |        1 |        1
242.55/242.61	c  240s |       6 |   147625 |     2181 |    40302      0 |        1 |        1
269.15/269.24	c  267s |       6 |   149117 |     2281 |    40302      0 |        1 |        1
291.84/291.98	c  290s |       6 |   151132 |     2381 |    40302      0 |        1 |        1
322.45/322.56	c  320s |       6 |   151883 |     2481 |    40302      0 |        1 |        1
348.14/348.26	c  346s |       6 |   154596 |     2581 |    40302      0 |        1 |        1
372.84/372.96	c  371s |       6 |   156376 |     2681 |    40302      0 |        1 |        1
409.93/410.02	c  408s |       6 |   157167 |     2781 |    40302      0 |        1 |        1
446.92/447.05	c  445s |       6 |   158179 |     2881 |    40302      0 |        1 |        1
479.01/479.15	c  477s |       6 |   159277 |     2981 |    40302      0 |        1 |        1
507.81/507.95	c  506s |       6 |   161229 |     3081 |    40302      0 |        1 |        1
510.32/510.47	c  508s |       6 |   167390 |     3181 |    40302      0 |        1 |        1
511.21/511.32	c  509s |       7 |   172075 |     3223 |    44333      0 |        1 |        1
554.51/554.60	c  552s |       7 |   172454 |     3323 |    44333      0 |        1 |        1
593.10/593.28	c  591s |       7 |   172913 |     3423 |    44333      0 |        1 |        1
635.39/635.51	c  633s |       7 |   173011 |     3523 |    44333      0 |        1 |        1
675.30/675.44	c  673s |       7 |   173112 |     3623 |    44333      0 |        1 |        1
716.38/716.56	c  714s |       7 |   173216 |     3723 |    44333      0 |        1 |        1
757.28/757.42	c  755s |       7 |   173318 |     3823 |    44333      0 |        1 |        1
799.57/799.78	c  798s |       7 |   173417 |     3923 |    44333      0 |        1 |        1
839.66/839.86	c  838s |       7 |   173514 |     4023 |    44333      0 |        1 |        1
880.06/880.21	c  878s |       7 |   173618 |     4123 |    44333      0 |        1 |        1
922.25/922.41	c  920s |       7 |   173715 |     4223 |    44333      0 |        1 |        1
962.75/962.91	c  961s |       7 |   173815 |     4323 |    44333      0 |        1 |        1
992.94/993.18	c  991s |       7 |   177522 |     4423 |    44333      0 |        1 |        1
1007.54/1007.77	c 1006s |       7 |   182193 |     4523 |    44333      0 |        1 |        1
1050.52/1050.79	c 1049s |       7 |   182294 |     4623 |    44333      0 |        1 |        1
1091.71/1091.97	c 1090s |       7 |   182394 |     4723 |    44333      0 |        1 |        1
1133.20/1133.47	c 1131s |       7 |   182495 |     4823 |    44333      0 |        1 |        1
1173.79/1174.03	c 1172s |       7 |   182594 |     4923 |    48767      0 |        1 |        1
1178.90/1179.10	c 1177s |       8 |   182605 |     4936 |    48767      0 |        1 |        1
1214.29/1214.53	c 1212s |       8 |   182856 |     5036 |    48767      0 |        1 |        1
1252.19/1252.44	c 1250s |       8 |   182954 |     5136 |    48767      0 |        1 |        1
1288.68/1288.93	c 1287s |       8 |   183055 |     5236 |    48767      0 |        1 |        1
1318.68/1318.95	c 1317s |       8 |   184057 |     5336 |    48767      0 |        1 |        1
1341.57/1341.83	c 1340s |       8 |   188396 |     5436 |    48767      0 |        1 |        1
1381.67/1381.93	c 1380s |       8 |   188497 |     5536 |    48767      0 |        1 |        1
1418.86/1419.19	c 1417s |       8 |   188596 |     5636 |    48767      0 |        1 |        1
1457.95/1458.21	c 1456s |       8 |   188700 |     5736 |    48767      0 |        1 |        1
1495.65/1496.00	c 1494s |       8 |   188799 |     5836 |    48767      0 |        1 |        1
1532.94/1533.22	c 1531s |       8 |   188899 |     5936 |    48767      0 |        1 |        1
1551.64/1551.91	c 1550s |       8 |   194981 |     6036 |    48767      0 |        1 |        1
1558.83/1559.15	c 1557s |       8 |   203574 |     6136 |    48767      0 |        1 |        1
1602.43/1602.77	c 1601s |       8 |   203672 |     6236 |    48767      0 |        1 |        1
1639.23/1639.58	c 1637s |       8 |   203774 |     6336 |    48767      0 |        1 |        1
1678.52/1678.85	c 1677s |       8 |   203873 |     6436 |    48767      0 |        1 |        1
1716.41/1716.70	c 1714s |       8 |   203971 |     6536 |    48767      0 |        1 |        1
1752.51/1752.86	c 1751s |       8 |   204073 |     6636 |    48767      0 |        1 |        1
1781.71/1782.02	c 1780s |       8 |   206097 |     6736 |    48767      0 |        1 |        1
1786.21/1786.55	c 1784s |       8 |   216660 |     6836 |    48767      0 |        1 |        1
1789.60/1789.98	c 1788s |       8 |   222119 |     6936 |    48767      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-4106775-1466277717/watcher-4106775-1466277717 -o /tmp/evaluation-result-4106775-1466277717/solver-4106775-1466277717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106775-1466277717.opb 

pid=29331
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.24 2.21 2.19 3/179 29334
/proc/meminfo: memFree=29603888/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=616892 CPUtime=0 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 2285 0 0 0 0 0 0 0 20 0 4 0 29818287 631697408 2646 33554432000 4194304 16246674 140737254896304 140737254895728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 154735 2654 441 2943 0 151629 0
[pid=29334/tid=29335] ppid=29331 vsize=634300 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 649523200 2712 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=638396 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 653717504 2730 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=642492 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 657911808 2745 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.24 2.21 2.19 3/179 29334
/proc/meminfo: memFree=29603888/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 27764 0 0 0 5 4 0 0 20 0 4 0 29818287 1333334016 28064 33554432000 4194304 16246674 140737254896304 140737254895616 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 325521 28082 801 2943 0 322415 0
[pid=29334/tid=29335] ppid=29331 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1333334016 28092 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1333334016 28104 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1333334016 28116 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200521 s]
/proc/loadavg: 2.24 2.21 2.19 3/179 29334
/proc/meminfo: memFree=29603888/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 48682 0 0 0 12 7 0 0 20 0 4 0 29818287 1344868352 49492 33554432000 4194304 16246674 140737254896304 140737254895616 7440748 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 328337 49492 801 2943 0 325231 0
[pid=29334/tid=29335] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 49492 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 49492 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 49492 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30053 s]
/proc/loadavg: 2.24 2.21 2.19 3/179 29334
/proc/meminfo: memFree=29603888/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 48901 0 0 0 22 7 0 0 20 0 4 0 29818287 1344868352 49711 33554432000 4194304 16246674 140737254896304 140737254895616 5875851 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 328337 49711 839 2943 0 325231 0
[pid=29334/tid=29335] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 49711 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 49711 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 49711 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700437 s]
/proc/loadavg: 2.24 2.21 2.19 3/179 29334
/proc/meminfo: memFree=29603888/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 53478 0 0 0 61 8 0 0 20 0 4 0 29818287 1344868352 54288 33554432000 4194304 16246674 140737254896304 140737254895616 12481264 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 328337 54288 841 2943 0 325231 0
[pid=29334/tid=29335] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 54288 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 54288 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1344868352 54288 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 2.24 2.21 2.19 3/183 29338
/proc/meminfo: memFree=29137976/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1316420 CPUtime=1.49 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 116126 0 0 0 132 17 0 0 20 0 4 0 29818287 1348014080 116936 33554432000 4194304 16246674 140737254896304 140737254878208 13954494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 329105 116936 911 2943 0 325999 0
[pid=29334/tid=29335] ppid=29331 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1348014080 116936 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1348014080 116936 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1348014080 116936 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10043 s]
/proc/loadavg: 2.22 2.21 2.19 3/183 29338
/proc/meminfo: memFree=29135232/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1317444 CPUtime=3.09 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 116610 0 0 0 292 17 0 0 20 0 4 0 29818287 1349062656 117420 33554432000 4194304 16246674 140737254896304 140737254878208 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 329361 117420 920 2943 0 326255 0
[pid=29334/tid=29335] ppid=29331 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1349062656 117420 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1349062656 117420 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1349062656 117420 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1317444

[startup+6.30044 s]
/proc/loadavg: 2.22 2.21 2.19 3/183 29338
/proc/meminfo: memFree=29123664/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1329732 CPUtime=6.29 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 119682 0 0 0 612 17 0 0 20 0 4 0 29818287 1361645568 120492 33554432000 4194304 16246674 140737254896304 140737254895400 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332433 120492 920 2943 0 329327 0
[pid=29334/tid=29335] ppid=29331 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1361645568 120492 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1361645568 120492 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1361645568 120492 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1329732

[startup+12.7004 s]
/proc/loadavg: 2.18 2.20 2.19 3/183 29338
/proc/meminfo: memFree=29105732/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1330756 CPUtime=12.68 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 119938 0 0 0 1251 17 0 0 20 0 4 0 29818287 1362694144 120748 33554432000 4194304 16246674 140737254896304 140737254895480 12478180 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332689 120748 920 2943 0 329583 0
[pid=29334/tid=29335] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1330756

[startup+25.5005 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 29338
/proc/meminfo: memFree=29089772/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1330756 CPUtime=25.49 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 119938 0 0 0 2531 18 0 0 20 0 4 0 29818287 1362694144 120748 33554432000 4194304 16246674 140737254896304 140737254894208 4220507 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332689 120748 920 2943 0 329583 0
[pid=29334/tid=29335] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1330756

[startup+51.1005 s]
/proc/loadavg: 2.23 2.21 2.19 3/183 29338
/proc/meminfo: memFree=29041392/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1330756 CPUtime=51.09 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 119938 0 0 0 5090 19 0 0 20 0 4 0 29818287 1362694144 120748 33554432000 4194304 16246674 140737254896304 140737254894144 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332689 120748 920 2943 0 329583 0
[pid=29334/tid=29335] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1362694144 120748 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1330756

[startup+102.301 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 29339
/proc/meminfo: memFree=28959340/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=102.28 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120194 0 0 0 10207 21 0 0 20 0 4 0 29818287 1363742720 121004 33554432000 4194304 16246674 140737254896304 140737254894208 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 121004 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 121004 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 121004 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 121004 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.31 2.28 2.20 3/183 29419
/proc/meminfo: memFree=28284068/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1362.07 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 136129 78 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254895400 4220982 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.36 2.29 2.21 3/183 29420
/proc/meminfo: memFree=28283784/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1422.06 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 142125 81 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254894144 4220536 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.37 2.30 2.22 4/183 29422
/proc/meminfo: memFree=28283916/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1482.05 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 148121 84 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254895400 4220490 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.31 2.30 2.22 3/183 29423
/proc/meminfo: memFree=28283552/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1542.05 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 154117 88 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254878208 12478365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.24 2.28 2.21 3/182 29424
/proc/meminfo: memFree=28284684/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1602.02 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 160112 90 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254878208 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.27 2.27 2.21 4/183 29426
/proc/meminfo: memFree=28283560/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1662.02 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 166109 93 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254894208 4206701 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.17 2.24 2.20 4/184 29429
/proc/meminfo: memFree=28276696/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1722.01 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 172105 96 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254894144 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.18 2.22 2.19 3/183 29432
/proc/meminfo: memFree=28276144/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1782 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 178101 99 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254895400 13949817 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.20 2.22 2.19 4/183 29432
/proc/meminfo: memFree=28276520/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1800 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 179900 100 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254878208 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 29334 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.20 2.22 2.19 4/183 29432
/proc/meminfo: memFree=28276520/32872528 swapFree=1191052/1305516
[pid=29334] ppid=29331 vsize=1331780 CPUtime=1800 cores=1,3,5,7
/proc/29334/stat : 29334 (toysat) R 29331 29334 26736 0 -1 4202496 120232 0 0 0 179900 100 0 0 20 0 4 0 29818287 1363742720 274720 33554432000 4194304 16246674 140737254896304 140737254878208 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29334/statm: 332945 274720 920 2943 0 329839 0
[pid=29334/tid=29335] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29335/stat : 29335 (toysat) S 29331 29334 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371502804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29334/tid=29336] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29336/stat : 29336 (toysat) S 29331 29334 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371492314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29334/tid=29337] ppid=29331 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/29334/task/29337/stat : 29337 (toysat) S 29331 29334 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29818288 1363742720 274720 33554432000 4194304 16246674 140737254896304 140371409497264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1331780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.01
CPU system time (s): 1.00085
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.00085
maximum resident set size= 1098880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120232
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= 53
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5131 second user time and 15.4347 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 21:21:57
IDJOB=4106775
IDBENCH=48249
IDSOLVER=2542
FILE ID=node127/4106775-1466277717
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= d792065ec5adca4c7f7b540f15bc8ce9
RANDOM SEED=1983901277

node127.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.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.56
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.769
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		: 2666.769
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.769
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.769
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.56
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.769
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:        29604152 kB
Buffers:           99124 kB
Cached:           264624 kB
SwapCached:          516 kB
Active:           953360 kB
Inactive:         268988 kB
Active(anon):     858636 kB
Inactive(anon):     2184 kB
Active(file):      94724 kB
Inactive(file):   266804 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       2163640 kB
Mapped:            10792 kB
Shmem:                 0 kB
Slab:             604852 kB
SReclaimable:      48812 kB
SUnreclaim:       556040 kB
KernelStack:        1480 kB
PageTables:         8732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2548048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    501760 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= 71704 MiB
End job on node127 at 2016-06-18 21:51:57