Trace number 4079142

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.04 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-epiphany-browser.cudf.paranoid.opb
MD5SUM20eed2ae0bf016ff6600b2382281391d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark244977
Best CPU time to get the best result obtained on this benchmark41.0038
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T05:13:00+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-4079142-1465269180.opb"]
0.00/0.01	c use --random-gen="4163381757 2899217372 3118805480 807132303 3915511439 254698625 470302826 3258552091 297684124 343595858 3211097573 3531328672 124990404 3929505801 3941780031 3298413030 4108906708 3116061499 572423437 3678830313 2092007916 1609500987 1923493794 2041050997 3082943832 1080531658 311641533 3207791085 3449050188 160726750 3264921532 27931707 969704358 2271356954 68056623 2835848276 1742586098 503318652 3002030102 320512903 491882765 184806109 1103259248 2829024058 3279276885 4284015370 3213820728 2062180367 1431463944 3359438126 3395538261 1260352490 2891089103 1611527317 393470126 2966087206 4253603329 326406576 2164950524 2524673369 3111533133 964409142 2679832628 4018769195 970142278 3310579673 2631400033 2695230992 324533812 1700181026 2972131775 2304687397 1489599284 999318242 1584254415 1858030854 857838261 360620487 2012238180 4038101807 191288105 3404196595 2240852237 2082506815 847695247 1012611529 2729706695 389749628 271114250 1732572214 224824264 2520456006 2391687220 2637215454 1621772449 2134394399 3500360130 2973237456 3549885833 173363793 609632740 950675933 2478128308 2423633329 746256985 2815876038 1635860019 826018761 2402718972 1912044759 1583540921 1131191962 1045447091 438203662 1019390650 2362487787 2566963018 3288629446 4110339466 2584421942 2364152979 4113262835 1630497155 4263095798 22989043 889822136 1731093684 3868955851 3241073136 1485423538 3598280340 259449620 1926563724 3292697638 1105409924 551510243 2148461991 3840664804 817899755 440529047 240365370 877650849 1778043281 312205596 520440001 3598360246 1619516869 2753239487 3271262015 3811739679 2752202027 3310723238 3012838254 2195701768 3979021757 1375840843 2999121658 4119251672 3904776320 1770695632 1044106877 3743385465 2871674542 1455380824 1660525548 3963906099 3808386833 2203252776 2459637180 2551597200 1058588779 1224073971 3652747636 714603605 385410936 1137389972 3165820448 3553608573 1694558643 386600917 287473080 1621903224 1818962946 2233405731 661319863 663517349 3818737973 3606175185 1483278337 4199469636 63710994 2794551502 1072375454 3446031623 479033622 2840415694 840608410 2973714198 2898041221 1593996625 216040838 2619734916 870971840 514560844 728793692 2844932346 1326160555 3651218329 2672790805 1605072900 2895512583 2138445833 371947271 2010040739 3114433347 1638711945 887377843 2268937562 4177352186 3413916262 4177871505 1906278074 1666458076 1550649153 723523060 1342264450 1720937458 3966288102 3449750328 4230024137 1271559086 713376136 339542642 527253538 1112252484 1888901379 510553197 3803498112 2076632211 1740321949 440346723 2590082076 1106857952 2158911681 854087592 4117815349 3113603104 719729302 231606882 1475517113 2902620793 3229709370 369318745 2779693532 1779988615 2775374898 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19768
0.69/0.72	c #constraints 96403
2.20/2.24	c BCD2: Hardening is enabled.
2.20/2.24	c BCD2: BiasedSearch is enabled.
2.20/2.24	c Solving starts ...
2.20/2.24	c ============================[ Search Statistics ]============================
2.20/2.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.24	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.24	c =============================================================================
2.20/2.24	c  0.0s |       0 |        0 |        0 |    38664      0 |       52 |        0
2.69/2.80	c  0.6s |       1 |    88507 |      100 |    38664      0 |       52 |      141
4.79/4.86	c  2.6s |       2 |   326176 |      250 |    42531      0 |       52 |      141
7.39/7.48	c  5.2s |       2 |   634848 |      404 |    46785      0 |       52 |      141
7.39/7.48	c #cpu_time = 5.227s
7.39/7.48	c #wall_clock_time = 5.227s
7.39/7.48	c #decision = 634848
7.39/7.48	c #random_decision = 1829
7.39/7.48	c #conflict = 404
7.39/7.48	c #restart = 2
7.39/7.48	o 6969931
177.37/177.40	c BCD2: updating upper bound: 12717493 -> 6969930
346.45/346.54	c BCD2: 0 <= obj <= 6969930
346.45/346.54	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
346.45/346.54	c BCD2: #sat=1 #unsat=1 bias=1/2
346.45/346.54	c Solving starts ...
346.45/346.54	c ============================[ Search Statistics ]============================
346.45/346.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
346.45/346.54	c       |         |          |          |    Limit     GC | Var      | Constra 
346.45/346.54	c =============================================================================
346.45/346.54	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
346.55/346.64	c  0.1s |       0 |       35 |        1 |    46785      0 |       53 |      145
346.55/346.64	c #cpu_time = 0.100s
346.55/346.64	c #wall_clock_time = 0.100s
346.55/346.64	c #decision = 35
346.55/346.64	c #random_decision = 0
346.55/346.64	c #conflict = 1
346.55/346.64	c #restart = 0
346.55/346.64	c BCD2: found a new core of size 1: cost of the new core is >=1
346.55/346.64	c lower bound updated to 1
517.71/517.85	c BCD2: 1 <= obj <= 6969930
517.71/517.85	c BCD2: #cores=1, #unrelaxed=7252, #relaxed=1, #hardened=0
517.71/517.85	c BCD2: #sat=1 #unsat=2 bias=2/3
517.71/517.85	c Solving starts ...
517.71/517.85	c ============================[ Search Statistics ]============================
517.71/517.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
517.71/517.85	c       |         |          |          |    Limit     GC | Var      | Constra 
517.71/517.85	c =============================================================================
517.71/517.86	c  0.0s |       0 |        0 |        0 |    46785      0 |       53 |      145
517.81/517.95	c  0.1s |       0 |       37 |        1 |    46785      0 |       54 |      149
517.81/517.95	c #cpu_time = 0.098s
517.81/517.95	c #wall_clock_time = 0.098s
517.81/517.95	c #decision = 37
517.81/517.95	c #random_decision = 0
517.81/517.95	c #conflict = 1
517.81/517.95	c #restart = 0
517.81/517.95	c BCD2: found a new core of size 1: cost of the new core is >=1
517.81/517.95	c lower bound updated to 2
687.09/687.28	c BCD2: 2 <= obj <= 6969930
687.09/687.28	c BCD2: #cores=2, #unrelaxed=7251, #relaxed=2, #hardened=0
687.09/687.28	c BCD2: #sat=1 #unsat=3 bias=3/4
687.09/687.28	c Solving starts ...
687.09/687.28	c ============================[ Search Statistics ]============================
687.09/687.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
687.09/687.28	c       |         |          |          |    Limit     GC | Var      | Constra 
687.09/687.28	c =============================================================================
687.09/687.28	c  0.0s |       0 |        0 |        0 |    46785      0 |       54 |      149
687.19/687.33	c  0.1s |       0 |      382 |        0 |    46785      0 |       54 |      149
687.19/687.33	c #cpu_time = 0.051s
687.19/687.33	c #wall_clock_time = 0.051s
687.19/687.33	c #decision = 382
687.19/687.33	c #random_decision = 0
687.19/687.33	c #conflict = 0
687.19/687.33	c #restart = 0
687.19/687.33	c BCD2: found a new core of size 2: cost of the new core is >=1
687.19/687.33	c lower bound updated to 3
856.15/856.37	c BCD2: 3 <= obj <= 6969930
856.15/856.37	c BCD2: #cores=3, #unrelaxed=7249, #relaxed=4, #hardened=0
856.15/856.37	c BCD2: #sat=1 #unsat=4 bias=4/5
856.15/856.37	c Solving starts ...
856.15/856.37	c ============================[ Search Statistics ]============================
856.15/856.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
856.15/856.37	c       |         |          |          |    Limit     GC | Var      | Constra 
856.15/856.37	c =============================================================================
856.15/856.37	c  0.0s |       0 |        0 |        0 |    46785      0 |       54 |      149
856.25/856.48	c  0.1s |       0 |      789 |        1 |    46785      0 |       72 |      254
856.25/856.48	c #cpu_time = 0.107s
856.25/856.48	c #wall_clock_time = 0.107s
856.25/856.48	c #decision = 789
856.25/856.48	c #random_decision = 0
856.25/856.48	c #conflict = 1
856.25/856.48	c #restart = 0
856.25/856.48	c BCD2: found a new core of size 1: cost of the new core is >=1
856.25/856.48	c lower bound updated to 4
1058.02/1058.27	c BCD2: 4 <= obj <= 6969930
1058.02/1058.27	c BCD2: #cores=4, #unrelaxed=7248, #relaxed=5, #hardened=0
1058.02/1058.27	c BCD2: #sat=1 #unsat=5 bias=5/6
1058.02/1058.27	c Solving starts ...
1058.02/1058.27	c ============================[ Search Statistics ]============================
1058.02/1058.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1058.02/1058.27	c       |         |          |          |    Limit     GC | Var      | Constra 
1058.02/1058.27	c =============================================================================
1058.02/1058.27	c  0.0s |       0 |        0 |        0 |    46785      0 |       72 |      254
1058.12/1058.33	c  0.1s |       0 |      610 |        0 |    46785      0 |       72 |      254
1058.12/1058.33	c #cpu_time = 0.057s
1058.12/1058.33	c #wall_clock_time = 0.057s
1058.12/1058.33	c #decision = 610
1058.12/1058.33	c #random_decision = 0
1058.12/1058.33	c #conflict = 0
1058.12/1058.33	c #restart = 0
1058.12/1058.33	c BCD2: found a new core of size 1: cost of the new core is >=1
1058.12/1058.33	c lower bound updated to 5
1263.43/1263.73	c BCD2: 5 <= obj <= 6969930
1263.43/1263.73	c BCD2: #cores=5, #unrelaxed=7247, #relaxed=6, #hardened=0
1263.43/1263.73	c BCD2: #sat=1 #unsat=6 bias=6/7
1263.43/1263.73	c Solving starts ...
1263.43/1263.73	c ============================[ Search Statistics ]============================
1263.43/1263.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1263.43/1263.73	c       |         |          |          |    Limit     GC | Var      | Constra 
1263.43/1263.73	c =============================================================================
1263.43/1263.73	c  0.0s |       0 |        0 |        0 |    46785      0 |       72 |      254
1263.53/1263.80	c  0.1s |       0 |      760 |        0 |    46785      0 |       72 |      254
1263.53/1263.80	c #cpu_time = 0.066s
1263.53/1263.80	c #wall_clock_time = 0.066s
1263.53/1263.80	c #decision = 760
1263.53/1263.80	c #random_decision = 0
1263.53/1263.80	c #conflict = 0
1263.53/1263.80	c #restart = 0
1263.53/1263.80	c BCD2: found a new core of size 2: cost of the new core is >=1
1263.53/1263.80	c lower bound updated to 6
1480.16/1480.56	c BCD2: 6 <= obj <= 6969930
1480.16/1480.56	c BCD2: #cores=6, #unrelaxed=7245, #relaxed=8, #hardened=0
1480.16/1480.56	c BCD2: #sat=1 #unsat=7 bias=7/8
1480.16/1480.56	c Solving starts ...
1480.16/1480.56	c ============================[ Search Statistics ]============================
1480.16/1480.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1480.16/1480.56	c       |         |          |          |    Limit     GC | Var      | Constra 
1480.16/1480.56	c =============================================================================
1480.16/1480.56	c  0.0s |       0 |        0 |        0 |    46785      0 |       72 |      254
1480.27/1480.63	c  0.1s |       0 |      792 |        0 |    46785      0 |       72 |      254
1480.27/1480.63	c #cpu_time = 0.072s
1480.27/1480.63	c #wall_clock_time = 0.072s
1480.27/1480.63	c #decision = 792
1480.27/1480.63	c #random_decision = 0
1480.27/1480.63	c #conflict = 0
1480.27/1480.63	c #restart = 0
1480.27/1480.63	c BCD2: found a new core of size 2: cost of the new core is >=1
1480.27/1480.63	c lower bound updated to 7
1711.44/1711.89	c BCD2: 7 <= obj <= 6969930
1711.44/1711.89	c BCD2: #cores=7, #unrelaxed=7243, #relaxed=10, #hardened=0
1711.44/1711.89	c BCD2: #sat=1 #unsat=8 bias=8/9
1711.44/1711.89	c Solving starts ...
1711.44/1711.89	c ============================[ Search Statistics ]============================
1711.44/1711.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1711.44/1711.89	c       |         |          |          |    Limit     GC | Var      | Constra 
1711.44/1711.89	c =============================================================================
1711.44/1711.89	c  0.0s |       0 |        0 |        0 |    46785      0 |       72 |      254
1711.54/1711.96	c  0.1s |       0 |      839 |        0 |    46785      0 |       72 |      254
1711.54/1711.96	c #cpu_time = 0.071s
1711.54/1711.96	c #wall_clock_time = 0.071s
1711.54/1711.96	c #decision = 839
1711.54/1711.96	c #random_decision = 0
1711.54/1711.96	c #conflict = 0
1711.54/1711.96	c #restart = 0
1711.54/1711.96	c BCD2: found a new core of size 2: cost of the new core is >=1
1711.54/1711.96	c lower bound updated to 8

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

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.07 2.03 2/178 28687
/proc/meminfo: memFree=30361172/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=651708 CPUtime=0 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 2414 0 0 0 0 0 0 0 20 0 4 0 108851278 667348992 3287 33554432000 4194304 16246674 140733462693808 140733462693232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 163439 3298 441 2943 0 160333 0
[pid=28687/tid=28688] ppid=28684 vsize=669116 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 685174784 3356 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=673212 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 689369088 3374 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108851278 693563392 3390 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.14 2.07 2.03 2/178 28687
/proc/meminfo: memFree=30361172/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 28623 0 0 0 5 4 0 0 20 0 4 0 108851278 1333334016 29433 33554432000 4194304 16246674 140733462693808 140733462693120 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 325521 29448 800 2943 0 322415 0
[pid=28687/tid=28688] ppid=28684 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1333334016 29459 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1333334016 29470 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1333334016 29481 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200523 s]
/proc/loadavg: 2.14 2.07 2.03 2/178 28687
/proc/meminfo: memFree=30361172/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 48574 0 0 0 13 6 0 0 20 0 4 0 108851278 1344868352 49895 33554432000 4194304 16246674 140733462693808 140733462693120 7853055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 328337 49895 800 2943 0 325231 0
[pid=28687/tid=28688] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 49895 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 49895 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 49895 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300487 s]
/proc/loadavg: 2.14 2.07 2.03 2/178 28687
/proc/meminfo: memFree=30361172/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 63289 0 0 0 21 8 0 0 20 0 4 0 108851278 1344868352 64610 33554432000 4194304 16246674 140733462693808 140733462693120 13927320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 328337 64610 800 2943 0 325231 0
[pid=28687/tid=28688] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 64610 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 64610 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 64610 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700417 s]
/proc/loadavg: 2.14 2.07 2.03 2/178 28687
/proc/meminfo: memFree=30361172/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 73132 0 0 0 59 10 0 0 20 0 4 0 108851278 1344868352 74453 33554432000 4194304 16246674 140733462693808 140733462693120 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 328337 74453 800 2943 0 325231 0
[pid=28687/tid=28688] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 74453 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 74453 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 74453 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.14 2.07 2.03 3/182 28691
/proc/meminfo: memFree=29905860/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 192993 0 0 0 121 28 0 0 20 0 4 0 108851278 1344868352 194315 33554432000 4194304 16246674 140733462693808 140733462675712 6975774 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 328337 194325 838 2943 0 325231 0
[pid=28687/tid=28688] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 194331 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 194338 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1344868352 194344 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.14 2.07 2.03 3/182 28691
/proc/meminfo: memFree=29270212/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 277404 0 0 0 268 41 0 0 20 0 4 0 108851278 1389957120 278725 33554432000 4194304 16246674 140733462693808 140733462675712 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 278727 889 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 278732 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 278737 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 278741 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30041 s]
/proc/loadavg: 2.13 2.07 2.03 3/183 28692
/proc/meminfo: memFree=29237468/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280026 0 0 0 588 41 0 0 20 0 4 0 108851278 1389957120 281347 33554432000 4194304 16246674 140733462693808 140733462675712 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281347 896 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281347 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281347 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281347 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.12 2.07 2.03 3/183 28692
/proc/meminfo: memFree=29238312/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280034 0 0 0 1228 41 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140733462675712 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281355 904 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.09 2.06 2.03 3/183 28692
/proc/meminfo: memFree=29239064/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=25.48 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280034 0 0 0 2507 41 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140733462675712 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281355 904 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.13 2.07 2.03 3/183 28692
/proc/meminfo: memFree=29239292/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280034 0 0 0 5067 41 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140733462675712 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281355 904 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.301 s]
/proc/loadavg: 2.06 2.06 2.03 3/183 28693
/proc/meminfo: memFree=29238700/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280034 0 0 0 10187 41 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140733462675712 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281355 904 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281355 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 28723
/proc/meminfo: memFree=29235220/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1302.02 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280192 0 0 0 130158 44 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462675712 12429882 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 28724
/proc/meminfo: memFree=29234736/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1361.99 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280221 0 0 0 136155 44 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462675712 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 28725
/proc/meminfo: memFree=29236096/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1421.98 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280232 0 0 0 142154 44 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462675712 12371328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 28726
/proc/meminfo: memFree=29235596/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1481.96 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280232 0 0 0 148152 44 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462675712 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 28728
/proc/meminfo: memFree=29235960/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1541.97 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280232 0 0 0 154152 45 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462675712 12655183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 28729
/proc/meminfo: memFree=29235968/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1601.95 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280232 0 0 0 160150 45 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462675712 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 28733
/proc/meminfo: memFree=29235496/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1661.94 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280232 0 0 0 166149 45 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462691648 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 1.44 1.86 1.95 2/173 28764
/proc/meminfo: memFree=30343356/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1721.93 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280232 0 0 0 172148 45 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462675712 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 1.16 1.70 1.88 2/173 28765
/proc/meminfo: memFree=30343652/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1781.92 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280232 0 0 0 178147 45 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462675712 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.12 1.67 1.87 2/173 28766
/proc/meminfo: memFree=30343640/32872528 swapFree=11320/319964
[pid=28687] ppid=28684 vsize=1357380 CPUtime=1800.02 cores=0,2,4,6
/proc/28687/stat : 28687 (toysat) R 28684 28687 20210 0 -1 4202496 280232 0 0 0 179957 45 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140733462691648 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28687/statm: 339345 281375 920 2943 0 336239 0
[pid=28687/tid=28688] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (toysat) S 28684 28687 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250567388400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28687/tid=28689] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (toysat) S 28684 28687 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250479308016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28687/tid=28690] ppid=28684 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (toysat) S 28684 28687 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108851278 1389957120 281375 33554432000 4194304 16246674 140733462693808 140250468834480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1357380

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.58
CPU system time (s): 0.45393
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.45393
maximum resident set size= 1125500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280232
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= 200
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5763 second user time and 6.95494 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-07 05:13:00
IDJOB=4079142
IDBENCH=72199
IDSOLVER=2542
FILE ID=node128/4079142-1465269180
RUNJOBID= node128-1465264781-27959
PBS_JOBID= 19843253
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-epiphany-browser.cudf.paranoid.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079142-1465269180/watcher-4079142-1465269180 -o /tmp/evaluation-result-4079142-1465269180/solver-4079142-1465269180 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27959 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079142-1465269180.opb

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

MD5SUM BENCH= 20eed2ae0bf016ff6600b2382281391d
RANDOM SEED=1645012020

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        30361552 kB
Buffers:          109652 kB
Cached:           252756 kB
SwapCached:         1668 kB
Active:          1222732 kB
Inactive:         228724 kB
Active(anon):    1090728 kB
Inactive(anon):      588 kB
Active(file):     132004 kB
Inactive(file):   228136 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098516 kB
Dirty:             19740 kB
Writeback:             0 kB
AnonPages:       1408596 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             603248 kB
SReclaimable:      46620 kB
SUnreclaim:       556628 kB
KernelStack:        1456 kB
PageTables:         6948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1552956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 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= 71728 MiB
End job on node128 at 2016-06-07 05:43:01