Trace number 4106796

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_5.opb
MD5SUM0aee483b23f7a5b1d2af91be543c550b
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.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -143
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)63180
Sum of products size (including duplicates)126360
Number of different products31590
Sum of products size63180

Solver Data 

0.00/0.00	c 2016-06-18T21:30:11+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-4106796-1466278211.opb"]
0.00/0.01	c use --random-gen="4150638248 3188993038 219585734 2476782736 2199986647 117106769 787004741 2193425585 3593232516 2840867454 2625595146 2235792128 1500833206 3442543538 2624716932 1275094193 2524626587 3170487051 3373456111 1080606671 3490840654 3106970943 2943245251 1886555844 1543872436 4227879715 4243221133 609875315 431010492 3878862125 446822381 3444580307 2252871577 4041916077 25581444 567414043 2155140614 2802814701 1249211214 2885742424 561117300 3488987020 1316131414 4034240597 2784350534 2539476788 770661697 2650597056 1165297992 968563924 773904768 138642906 2470946241 1221010590 2394131537 2528017944 1604644762 804491399 597995569 2752746852 1063950060 1445428462 470182758 2328267848 689626942 1855743329 580266756 111102334 4254976452 3303045919 839814980 2735740459 3208932941 2673526283 154942706 2664586069 3779392879 2521941334 2472223434 1773728516 4170192471 1739094140 2222172955 1114710768 3466485274 2488009017 3964291849 1684627383 3869763791 1659426951 3296560927 3796468277 815142670 494623415 115620635 840335856 337911925 1245050063 4255483430 3021282634 2748894480 2629173845 2087563950 772264980 3137912841 2296263891 3161974373 2397586319 1034283810 1477529468 77245057 3549380296 3964839017 303016129 2443951267 3905937046 474913437 3270755475 1576024715 2603992682 754553227 2386788669 3761131230 4286002519 2222636761 3655484864 1613964086 1886809528 3919710938 268896126 2303300903 157391027 215560199 361682423 987177429 2289534577 623284233 3990037101 4068994316 1748208504 2652771134 3642370787 972612692 1453072219 2783822134 2715791626 634653940 3457013451 1835336565 2847286425 1982318610 2218895860 1680769875 1335113215 801354139 1620665951 903724902 2596104639 4146282683 1988250375 2155271533 2893103372 1479066120 1770476252 2784889432 2871855435 499755451 3727896657 1655325423 3553331846 1209494467 95347602 923175779 845822863 3163063505 897006366 3934928294 1959246597 2374297476 1694408771 3597280631 2737837660 3138701758 3460774247 328236958 1547427173 3360945462 79534909 2369309403 261317116 1138462190 815566243 4068835615 3122309043 1594649832 3565296426 1436332584 3485469071 764624401 3286142904 2114113838 3694555483 191657675 3771517120 1543945251 1473747298 1901123853 1965690129 2726388132 3149384278 363622793 1199579681 3158109370 1821089475 2351771949 374503002 1002743693 1018952953 2365893168 1969622078 2243046093 3148636983 3642172052 1644824790 2993640619 1460352790 3383816058 1336550367 1227275684 1392021076 3920097283 483119731 2178269737 669677353 2619792310 31569635 733855543 3507085139 6752667 3844098689 1581444777 2652945989 2677862580 2878001974 2439958600 3860911998 4143777330 1751648721 2948159388 2371942891 1137894989 3121785896 83501619 3917416756 2714748752 506399500 255 362436" option to reproduce the execution
0.09/0.19	c #vars 2000
0.09/0.19	c #constraints 3001
0.99/1.10	c BCD2: Hardening is enabled.
0.99/1.10	c BCD2: BiasedSearch is enabled.
0.99/1.10	c Solving starts ...
0.99/1.10	c ============================[ Search Statistics ]============================
0.99/1.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.10	c =============================================================================
0.99/1.10	c  0.0s |       0 |        0 |        0 |    22727      0 |        0 |        0
1.10/1.18	c  0.1s |       0 |     1077 |        0 |    22727      0 |        0 |        0
1.10/1.18	c #cpu_time = 0.064s
1.10/1.18	c #wall_clock_time = 0.064s
1.10/1.18	c #decision = 1077
1.10/1.18	c #random_decision = 1
1.10/1.18	c #conflict = 0
1.10/1.18	c #restart = 0
1.10/1.18	o -91
1.10/1.18	c BCD2: updating upper bound: 1000 -> 908
1.20/1.25	c BCD2: 0 <= obj <= 908
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 |    22727      0 |        0 |        0
1.29/1.32	c  0.1s |       0 |      510 |        2 |    22727      0 |        0 |        0
1.29/1.32	c #cpu_time = 0.062s
1.29/1.32	c #wall_clock_time = 0.062s
1.29/1.32	c #decision = 510
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 <= 908
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 |    22727      0 |        0 |        0
1.59/1.67	c  0.3s |       0 |      501 |        1 |    22727      0 |        0 |        0
1.59/1.67	c #cpu_time = 0.346s
1.59/1.67	c #wall_clock_time = 0.346s
1.59/1.67	c #decision = 501
1.59/1.67	c #random_decision = 0
1.59/1.67	c #conflict = 1
1.59/1.67	c #restart = 0
1.59/1.67	c BCD2: relaxing 500 and merging with 1 cores into a new core of size 1000: cost of the new core is >=2
1.59/1.67	c lower bound updated to -998
1.59/1.68	c BCD2: 2 <= obj <= 908
1.59/1.68	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1000, #hardened=0
1.59/1.68	c BCD2: #sat=1 #unsat=3 bias=3/4
1.59/1.68	c Solving starts ...
1.59/1.68	c ============================[ Search Statistics ]============================
1.59/1.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.68	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.68	c =============================================================================
1.59/1.68	c  0.0s |       0 |        0 |        0 |    22727      0 |        1 |        0
1.99/2.06	c  0.4s |       1 |    19191 |      100 |    25000      0 |        1 |        1
2.49/2.55	c  0.9s |       2 |    41918 |      250 |    27501      0 |        1 |        1
5.09/5.15	c  3.5s |       2 |    72421 |      450 |    27501      0 |        1 |        1
7.19/7.20	c  5.5s |       3 |    77542 |      475 |    30252      0 |        1 |        1
18.09/18.12	c 16.4s |       3 |    85267 |      575 |    30252      0 |        1 |        1
28.99/29.03	c 27.3s |       3 |    96587 |      675 |    30252      0 |        1 |        1
38.99/39.00	c 37.3s |       3 |   108116 |      775 |    30252      0 |        1 |        1
43.28/43.39	c 41.7s |       4 |   110416 |      813 |    33278      0 |        1 |        1
54.69/54.80	c 53.1s |       4 |   116774 |      913 |    33278      0 |        1 |        1
65.08/65.17	c 63.5s |       4 |   123336 |     1013 |    33278      0 |        1 |        1
75.38/75.49	c 73.8s |       4 |   127848 |     1113 |    33278      0 |        1 |        1
86.67/86.72	c 85.0s |       4 |   133738 |     1213 |    33278      0 |        1 |        1
93.68/93.73	c 92.1s |       4 |   148625 |     1313 |    33278      0 |        1 |        1
94.38/94.42	c 92.7s |       5 |   150252 |     1320 |    36606      0 |        1 |        1
102.68/102.76	c  101s |       5 |   159247 |     1420 |    36606      0 |        1 |        1
113.28/113.32	c  111s |       5 |   163739 |     1520 |    36606      0 |        1 |        1
130.98/131.01	c  129s |       5 |   170553 |     1620 |    36606      0 |        1 |        1
143.47/143.55	c  141s |       5 |   173632 |     1720 |    36606      0 |        1 |        1
161.57/161.69	c  160s |       5 |   175517 |     1820 |    36606      0 |        1 |        1
179.46/179.57	c  177s |       5 |   178100 |     1920 |    36606      0 |        1 |        1
196.26/196.39	c  194s |       5 |   181136 |     2020 |    36606      0 |        1 |        1
200.86/200.90	c  199s |       6 |   183429 |     2081 |    40267      0 |        1 |        1
216.67/216.71	c  215s |       6 |   186665 |     2181 |    40267      0 |        1 |        1
241.15/241.28	c  239s |       6 |   189323 |     2281 |    40267      0 |        1 |        1
265.85/265.91	c  264s |       6 |   190950 |     2381 |    40267      0 |        1 |        1
287.24/287.34	c  285s |       6 |   193106 |     2481 |    40267      0 |        1 |        1
316.24/316.35	c  314s |       6 |   194756 |     2581 |    40267      0 |        1 |        1
348.75/348.83	c  347s |       6 |   196559 |     2681 |    40267      0 |        1 |        1
382.93/383.09	c  381s |       6 |   196986 |     2781 |    40267      0 |        1 |        1
418.63/418.78	c  417s |       6 |   197405 |     2881 |    40267      0 |        1 |        1
438.83/438.91	c  437s |       6 |   200451 |     2981 |    40267      0 |        1 |        1
456.12/456.23	c  454s |       6 |   209380 |     3081 |    40267      0 |        1 |        1
495.42/495.54	c  493s |       6 |   211218 |     3181 |    40267      0 |        1 |        1
503.82/503.93	c  502s |       7 |   216260 |     3223 |    44294      0 |        1 |        1
534.41/534.59	c  532s |       7 |   221115 |     3323 |    44294      0 |        1 |        1
566.51/566.69	c  565s |       7 |   224307 |     3423 |    44294      0 |        1 |        1
606.39/606.55	c  604s |       7 |   225344 |     3523 |    44294      0 |        1 |        1
645.70/645.89	c  644s |       7 |   225560 |     3623 |    44294      0 |        1 |        1
686.79/686.94	c  685s |       7 |   225657 |     3723 |    44294      0 |        1 |        1
717.08/717.21	c  715s |       7 |   235776 |     3823 |    44294      0 |        1 |        1
757.08/757.25	c  755s |       7 |   235873 |     3923 |    44294      0 |        1 |        1
798.87/799.03	c  797s |       7 |   235976 |     4023 |    44294      0 |        1 |        1
840.27/840.49	c  838s |       7 |   236078 |     4123 |    44294      0 |        1 |        1
880.16/880.32	c  878s |       7 |   236179 |     4223 |    44294      0 |        1 |        1
921.45/921.68	c  919s |       7 |   236273 |     4323 |    44294      0 |        1 |        1
962.94/963.13	c  961s |       7 |   236376 |     4423 |    44294      0 |        1 |        1
989.24/989.44	c  987s |       7 |   240282 |     4523 |    44294      0 |        1 |        1
992.15/992.38	c  990s |       7 |   248614 |     4623 |    44294      0 |        1 |        1
995.24/995.40	c  993s |       7 |   258569 |     4723 |    44294      0 |        1 |        1
997.55/997.79	c  996s |       7 |   267347 |     4823 |    44294      0 |        1 |        1
1000.95/1001.19	c  999s |       7 |   275594 |     4923 |    48724      0 |        1 |        1
1001.54/1001.80	c 1000s |       8 |   275594 |     4936 |    48724      0 |        1 |        1
1037.83/1038.03	c 1036s |       8 |   277509 |     5036 |    48724      0 |        1 |        1
1078.42/1078.65	c 1076s |       8 |   277611 |     5136 |    48724      0 |        1 |        1
1119.73/1119.98	c 1118s |       8 |   277706 |     5236 |    48724      0 |        1 |        1
1159.11/1159.38	c 1157s |       8 |   277808 |     5336 |    48724      0 |        1 |        1
1200.90/1201.20	c 1199s |       8 |   277909 |     5436 |    48724      0 |        1 |        1
1237.00/1237.23	c 1235s |       8 |   278007 |     5536 |    48724      0 |        1 |        1
1244.60/1244.85	c 1243s |       8 |   300302 |     5636 |    48724      0 |        1 |        1
1247.00/1247.27	c 1245s |       8 |   309332 |     5736 |    48724      0 |        1 |        1
1280.80/1281.08	c 1279s |       8 |   310557 |     5836 |    48724      0 |        1 |        1
1328.60/1328.87	c 1327s |       8 |   310654 |     5936 |    48724      0 |        1 |        1
1372.78/1373.07	c 1371s |       8 |   310755 |     6036 |    48724      0 |        1 |        1
1417.69/1417.97	c 1416s |       8 |   310907 |     6136 |    48724      0 |        1 |        1
1462.17/1462.42	c 1460s |       8 |   311006 |     6236 |    48724      0 |        1 |        1
1503.06/1503.37	c 1501s |       8 |   311108 |     6336 |    48724      0 |        1 |        1
1543.75/1544.05	c 1542s |       8 |   311206 |     6436 |    48724      0 |        1 |        1
1553.15/1553.49	c 1551s |       8 |   331016 |     6536 |    48724      0 |        1 |        1
1602.23/1602.56	c 1600s |       8 |   331114 |     6636 |    48724      0 |        1 |        1
1656.12/1656.46	c 1654s |       8 |   331210 |     6736 |    48724      0 |        1 |        1
1711.21/1711.55	c 1709s |       8 |   331306 |     6836 |    48724      0 |        1 |        1
1766.41/1766.79	c 1765s |       8 |   331417 |     6936 |    48724      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-4106796-1466278211/watcher-4106796-1466278211 -o /tmp/evaluation-result-4106796-1466278211/solver-4106796-1466278211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24424 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106796-1466278211.opb 

pid=24667
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.29 2.17 1.96 3/180 24670
/proc/meminfo: memFree=30147600/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 2870 0 0 0 0 0 0 0 20 0 4 0 29866773 786886656 3232 33554432000 4194304 16246674 140736996805728 140736996805152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 192623 3240 441 2943 0 189517 0
[pid=24670/tid=24671] ppid=24667 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 804712448 3303 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 809955328 3321 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29866773 814149632 3338 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.29 2.17 1.96 3/180 24670
/proc/meminfo: memFree=30147600/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 27564 0 0 0 5 4 0 0 20 0 4 0 29866773 1333334016 27863 33554432000 4194304 16246674 140736996805728 140736996805040 8057278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 325521 27880 799 2943 0 322415 0
[pid=24670/tid=24671] ppid=24667 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1333334016 27892 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1333334016 27901 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1333334016 27912 33554432000 4194304 16246674 140736996805728 139760280521904 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.200509 s]
/proc/loadavg: 2.29 2.17 1.96 3/180 24670
/proc/meminfo: memFree=30147600/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 43285 0 0 0 14 5 0 0 20 0 4 0 29866773 1344868352 44095 33554432000 4194304 16246674 140736996805728 140736996805040 13811582 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 328337 44095 838 2943 0 325231 0
[pid=24670/tid=24671] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 44095 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 44095 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 44095 33554432000 4194304 16246674 140736996805728 139760280521904 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.300502 s]
/proc/loadavg: 2.29 2.17 1.96 3/180 24670
/proc/meminfo: memFree=30147600/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 43467 0 0 0 24 5 0 0 20 0 4 0 29866773 1344868352 44277 33554432000 4194304 16246674 140736996805728 140736996805040 5913024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 328337 44277 838 2943 0 325231 0
[pid=24670/tid=24671] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 44277 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 44277 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 44277 33554432000 4194304 16246674 140736996805728 139760280521904 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.700431 s]
/proc/loadavg: 2.29 2.17 1.96 3/180 24670
/proc/meminfo: memFree=30147600/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 52876 0 0 0 62 7 0 0 20 0 4 0 29866773 1344868352 53686 33554432000 4194304 16246674 140736996805728 140736996805040 12480974 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 328337 53686 838 2943 0 325231 0
[pid=24670/tid=24671] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 53686 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 53686 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1344868352 53686 33554432000 4194304 16246674 140736996805728 139760280521904 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.29 2.17 1.96 3/184 24674
/proc/meminfo: memFree=29602056/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1316420 CPUtime=1.49 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 114637 0 0 0 134 15 0 0 20 0 4 0 29866773 1348014080 115447 33554432000 4194304 16246674 140736996805728 140736996787648 5754517 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 329105 115447 907 2943 0 325999 0
[pid=24670/tid=24671] ppid=24667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1348014080 115447 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1348014080 115447 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1348014080 115447 33554432000 4194304 16246674 140736996805728 139760280521904 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.27 2.16 1.96 3/184 24674
/proc/meminfo: memFree=29599944/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1316420 CPUtime=3.09 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 114646 0 0 0 294 15 0 0 20 0 4 0 29866773 1348014080 115456 33554432000 4194304 16246674 140736996805728 140736996804904 5667408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 329105 115456 916 2943 0 325999 0
[pid=24670/tid=24671] ppid=24667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1348014080 115456 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1348014080 115456 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1348014080 115456 33554432000 4194304 16246674 140736996805728 139760280521904 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) 1316420

[startup+6.30044 s]
/proc/loadavg: 2.27 2.16 1.96 3/184 24674
/proc/meminfo: memFree=29585464/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1330756 CPUtime=6.29 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 118230 0 0 0 613 16 0 0 20 0 4 0 29866773 1362694144 119040 33554432000 4194304 16246674 140736996805728 140736996803584 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332689 119040 916 2943 0 329583 0
[pid=24670/tid=24671] ppid=24667 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1362694144 119040 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1362694144 119040 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1362694144 119040 33554432000 4194304 16246674 140736996805728 139760280521904 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) 1330756

[startup+12.7005 s]
/proc/loadavg: 2.22 2.16 1.96 3/184 24674
/proc/meminfo: memFree=29582984/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=12.69 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 118486 0 0 0 1253 16 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 140736996787648 4220871 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 119296 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1331780

[startup+25.5005 s]
/proc/loadavg: 2.19 2.15 1.96 4/184 24674
/proc/meminfo: memFree=29580440/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=25.49 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 118486 0 0 0 2532 17 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 140736996804904 6021672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 119296 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760280521904 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) 1331780

[startup+51.1005 s]
/proc/loadavg: 2.24 2.17 1.97 3/183 24675
/proc/meminfo: memFree=29579956/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=51.08 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 118486 0 0 0 5091 17 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 140736996804824 4225113 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 119296 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1331780

[startup+102.301 s]
/proc/loadavg: 2.19 2.17 1.98 3/183 24676
/proc/meminfo: memFree=29575960/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=102.28 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 118486 0 0 0 10209 19 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 140736996804824 4226108 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 119296 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 119296 33554432000 4194304 16246674 140736996805728 139760280521904 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/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 236712 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.17 2.14 2.07 3/183 24708
/proc/meminfo: memFree=28997940/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1362.08 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124171 0 0 0 136138 70 0 0 20 0 4 0 29866773 1363742720 260904 33554432000 4194304 16246674 140736996805728 140736996804824 4220536 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 260904 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 260904 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 260904 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 260904 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.21 2.14 2.08 4/183 24709
/proc/meminfo: memFree=28945224/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1422.08 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124171 0 0 0 142135 73 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996803520 13902244 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.13 2.13 2.08 3/183 24710
/proc/meminfo: memFree=28945024/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1482.06 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124171 0 0 0 148130 76 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996787648 4206688 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.05 2.11 2.07 3/183 24711
/proc/meminfo: memFree=28945316/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1542.06 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124176 0 0 0 154128 78 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996804824 4225128 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.07 2.10 2.07 3/183 24713
/proc/meminfo: memFree=28944876/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1602.03 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124194 0 0 0 160122 81 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996804824 13874759 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.15 2.11 2.08 3/183 24714
/proc/meminfo: memFree=28945116/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1662.01 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124211 0 0 0 166117 84 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996804824 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.05 2.09 2.07 3/183 24715
/proc/meminfo: memFree=28945800/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1722 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124213 0 0 0 172114 86 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996804824 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/183 24716
/proc/meminfo: memFree=28944568/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1782 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124213 0 0 0 178111 89 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996787648 4220807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 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.03 2.08 2.07 3/184 24768
/proc/meminfo: memFree=29990768/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1800 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124213 0 0 0 179910 90 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996804824 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 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 24670 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/184 24768
/proc/meminfo: memFree=29990768/32872528 swapFree=534252/566956
[pid=24670] ppid=24667 vsize=1331780 CPUtime=1800 cores=1,3,5,7
/proc/24670/stat : 24670 (toysat) R 24667 24670 24407 0 -1 4202496 124213 0 0 0 179910 90 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 140736996804824 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24670/statm: 332945 274008 916 2943 0 329839 0
[pid=24670/tid=24671] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24671/stat : 24671 (toysat) S 24667 24670 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760301485296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24670/tid=24672] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24672/stat : 24672 (toysat) S 24667 24670 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760290995440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24670/tid=24673] ppid=24667 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24670/task/24673/stat : 24673 (toysat) S 24667 24670 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866773 1363742720 274008 33554432000 4194304 16246674 140736996805728 139760280521904 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.11
CPU system time (s): 0.899863
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 0.899863
maximum resident set size= 1096032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124213
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= 57
involuntary context switches= 1971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6474 second user time and 11.2973 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 21:30:11
IDJOB=4106796
IDBENCH=48263
IDSOLVER=2542
FILE ID=node138/4106796-1466278211
RUNJOBID= node138-1466276409-24424
PBS_JOBID= 19918262
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 0aee483b23f7a5b1d2af91be543c550b
RANDOM SEED=145434187

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.395
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.395
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.54
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30147864 kB
Buffers:          148288 kB
Cached:           280300 kB
SwapCached:         1060 kB
Active:          1117756 kB
Inactive:         296848 kB
Active(anon):     986680 kB
Inactive(anon):     1696 kB
Active(file):     131076 kB
Inactive(file):   295152 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             33908 kB
Writeback:             0 kB
AnonPages:       1552648 kB
Mapped:            10532 kB
Shmem:                 0 kB
Slab:             609208 kB
SReclaimable:      52256 kB
SUnreclaim:       556952 kB
KernelStack:        1456 kB
PageTables:         7128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1697760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node138 at 2016-06-18 22:00:12