Trace number 4107534

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.23 1800.55

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randb54299.cudf.trendy.opb
MD5SUMa28eb4bd9bb6fe4f9f9bc58539a199f7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25345912719
Best CPU time to get the best result obtained on this benchmark2.75358
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6550
Total number of constraints27373
Number of constraints which are clauses27102
Number of constraints which are cardinality constraints (but not clauses)271
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3066
Biggest coefficient in the objective function 3616805375
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1996471855532
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 3616805375
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1996471855532
Number of bits of the biggest sum of numbers41
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-18T23:41:57+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107534-1466286117.opb"]
0.00/0.01	c use --random-gen="4191553228 3397577855 798227641 3378577284 2244177400 2178077887 1783659106 1260431391 281144448 3532933792 2254410167 1599914812 3434705912 3508880785 1013521286 3773724649 2697369827 1241565015 553663840 1184599412 2351219164 3700249939 846580987 871510610 2495552188 1566560850 2024835820 4046239913 642173225 1542316395 745749096 694587384 1013924225 2488954539 1524834915 3166480248 3930388132 1756193746 1364293843 792008213 3480965702 3109880808 1414615157 1438948049 1448699411 2009864891 2054366921 3949385644 809492663 1807276924 3363022863 3484384474 2938197347 3588727186 3550983737 449706446 4111280361 2855098074 284654822 1769596455 369113792 4156267244 3373482047 3994729462 4281462275 4070605932 1106945316 4274577526 3112759810 2679284619 4168036039 1165751658 3629406877 662980517 2052317811 1792557060 2740265550 156775525 3841350626 746840668 1980865608 392436316 3947831167 561732262 3083319423 554476644 2394604413 1561962530 1663267392 1231012940 738458952 4284632225 1358328224 3058952248 2037500063 4106664889 2370773436 2175684389 480699448 1118611295 265922841 3550498696 119647546 2547221093 2353786273 2405813354 3521361774 1915208323 1954080509 452423979 1087257019 2572905293 1945131261 2755366903 2918708097 35539277 2757688617 1399451650 2222953990 228336709 3226354693 314160591 2607274935 3406518922 1494872891 1421541433 4093224082 1667448857 3364202200 2046940008 56574664 2495993033 2531007993 2724095669 2106621990 1519005238 1960385738 2636678965 1669145166 2102021110 1639554253 1177698250 4053727271 3688042341 1083340655 2888354861 3275734233 4070196382 2747172329 1905801261 1638780864 1229732721 2841155448 961973459 2884199974 2475925248 2234467969 564583180 2049638529 1772297876 2965208322 4187529725 3980651790 686701078 2524013338 2326946493 1417630284 373535608 1057490874 493511142 141871532 1096784052 3857634049 121357983 3281608116 3601575526 716426770 3969241086 1929753002 129414055 3453948940 2626514936 1931464211 2859738960 1880688822 1803716061 1160939385 1102186563 3274568239 4096861900 1063238094 3130606156 4115647238 2929586435 3714261516 789825360 574544800 3796567412 1544514772 695370927 2122441319 944440645 2858025746 2569899458 3730337612 2884504700 889809625 1773748777 1209917272 3618010113 3992502140 4210690804 1786174213 3349186237 859309095 989214054 3224738710 3618797588 1685935206 489361284 1020108562 4286197427 803091501 1320283813 1518929753 2595644532 631177547 3754735233 15400064 3797424940 2815666322 4183992246 1553727574 1414736825 2209526665 3850194195 1222545928 2899630676 808293490 1637402977 691879265 2286584327 32458570 902384199 3566532820 2606184204 3300322627 738437433 2601324387 856031437 3390437346 443529920 1934685913 1132777614 2775146940 3060326 255 362436" option to reproduce the execution
0.18/0.21	c #vars 6550
0.18/0.21	c #constraints 27373
0.48/0.56	c BCD2: Hardening is enabled.
0.48/0.56	c BCD2: BiasedSearch is enabled.
0.48/0.56	c Solving starts ...
0.48/0.56	c ============================[ Search Statistics ]============================
0.48/0.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.56	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.56	c =============================================================================
0.48/0.56	c  0.0s |       0 |        0 |        0 |    10913      0 |      953 |        0
0.79/0.83	c  0.3s |       0 |    22925 |       74 |    10913      0 |      975 |     5084
0.79/0.83	c #cpu_time = 0.272s
0.79/0.83	c #wall_clock_time = 0.273s
0.79/0.83	c #decision = 22925
0.79/0.83	c #random_decision = 68
0.79/0.83	c #conflict = 74
0.79/0.83	c #restart = 0
0.79/0.83	o 247594480118
468.90/469.07	c BCD2: updating upper bound: 1996471855532 -> 247594480117
661.27/661.50	c BCD2: 0 <= obj <= 247594480117
661.27/661.50	c BCD2: #cores=0, #unrelaxed=3066, #relaxed=0, #hardened=0
661.27/661.50	c BCD2: #sat=1 #unsat=1 bias=1/2
661.27/661.50	c Solving starts ...
661.27/661.50	c ============================[ Search Statistics ]============================
661.27/661.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
661.27/661.50	c       |         |          |          |    Limit     GC | Var      | Constra 
661.27/661.50	c =============================================================================
661.37/661.50	c  0.0s |       0 |        0 |        0 |    10913      0 |      975 |     5084
661.37/661.52	c  0.0s |       0 |       17 |        1 |    10913      0 |      976 |     5086
661.37/661.52	c #cpu_time = 0.019s
661.37/661.52	c #wall_clock_time = 0.019s
661.37/661.52	c #decision = 17
661.37/661.52	c #random_decision = 0
661.37/661.52	c #conflict = 1
661.37/661.52	c #restart = 0
661.37/661.52	c BCD2: found a new core of size 1: cost of the new core is >=1
661.37/661.52	c lower bound updated to 1
1137.19/1137.48	c BCD2: 1 <= obj <= 247594480117
1137.19/1137.48	c BCD2: #cores=1, #unrelaxed=3065, #relaxed=1, #hardened=0
1137.19/1137.48	c BCD2: #sat=1 #unsat=2 bias=2/3
1137.19/1137.48	c Solving starts ...
1137.19/1137.48	c ============================[ Search Statistics ]============================
1137.19/1137.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1137.19/1137.48	c       |         |          |          |    Limit     GC | Var      | Constra 
1137.19/1137.48	c =============================================================================
1137.19/1137.48	c  0.0s |       0 |        0 |        0 |    10913      0 |      976 |     5086
1137.19/1137.50	c  0.0s |       0 |       19 |        1 |    10913      0 |      977 |     5089
1137.19/1137.50	c #cpu_time = 0.018s
1137.19/1137.50	c #wall_clock_time = 0.018s
1137.19/1137.50	c #decision = 19
1137.19/1137.50	c #random_decision = 0
1137.19/1137.50	c #conflict = 1
1137.19/1137.50	c #restart = 0
1137.19/1137.50	c BCD2: found a new core of size 1: cost of the new core is >=1
1137.19/1137.50	c lower bound updated to 2
1611.80/1612.17	c BCD2: 2 <= obj <= 247594480117
1611.80/1612.17	c BCD2: #cores=2, #unrelaxed=3064, #relaxed=2, #hardened=0
1611.80/1612.17	c BCD2: #sat=1 #unsat=3 bias=3/4
1611.80/1612.17	c Solving starts ...
1611.80/1612.17	c ============================[ Search Statistics ]============================
1611.80/1612.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1611.80/1612.17	c       |         |          |          |    Limit     GC | Var      | Constra 
1611.80/1612.17	c =============================================================================
1611.80/1612.17	c  0.0s |       0 |        0 |        0 |    10913      0 |      977 |     5089
1611.90/1612.20	c  0.0s |       0 |       56 |        2 |    10913      0 |     1055 |     5697
1611.90/1612.20	c #cpu_time = 0.028s
1611.90/1612.20	c #wall_clock_time = 0.028s
1611.90/1612.20	c #decision = 56
1611.90/1612.20	c #random_decision = 0
1611.90/1612.20	c #conflict = 2
1611.90/1612.20	c #restart = 0
1611.90/1612.20	c BCD2: found a new core of size 1: cost of the new core is >=1
1611.90/1612.20	c lower bound updated to 3

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

pid=11228
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.15 2.09 2.07 3/179 11231
/proc/meminfo: memFree=30102864/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=601532 CPUtime=0 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 2223 0 0 0 0 0 0 0 20 0 4 0 30661844 615968768 2073 33554432000 4194304 16246674 140737449569232 140737449568656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 151151 2082 441 2943 0 148045 0
[pid=11231/tid=11232] ppid=11228 vsize=618940 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 633794560 2141 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=623036 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 637988864 2158 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=628156 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30661844 643231744 2177 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.15 2.09 2.07 3/179 11231
/proc/meminfo: memFree=30102864/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 26567 0 0 0 5 4 0 0 20 0 4 0 30661844 1333334016 26356 33554432000 4194304 16246674 140737449569232 140737449568544 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 325521 26370 799 2943 0 322415 0
[pid=11231/tid=11232] ppid=11228 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1333334016 26382 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1333334016 26392 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1333334016 26404 33554432000 4194304 16246674 140737449569232 140124762393776 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.200513 s]
/proc/loadavg: 2.15 2.09 2.07 3/179 11231
/proc/meminfo: memFree=30102864/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1314372 CPUtime=0.18 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 50150 0 0 0 12 6 0 0 20 0 4 0 30661844 1345916928 50449 33554432000 4194304 16246674 140737449569232 140737449568544 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 328593 50458 799 2943 0 325487 0
[pid=11231/tid=11232] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 50463 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 50469 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 50474 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1314372

[startup+0.300479 s]
/proc/loadavg: 2.15 2.09 2.07 3/179 11231
/proc/meminfo: memFree=30102864/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 50217 0 0 0 22 6 0 0 20 0 4 0 30661844 1345916928 50516 33554432000 4194304 16246674 140737449569232 140737449551104 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 328593 50516 836 2943 0 325487 0
[pid=11231/tid=11232] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 50516 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 50516 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 50516 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700405 s]
/proc/loadavg: 2.15 2.09 2.07 3/179 11231
/proc/meminfo: memFree=30102864/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 117429 0 0 0 52 17 0 0 20 0 4 0 30661844 1345916928 117728 33554432000 4194304 16246674 140737449569232 140737449551104 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 328593 117730 885 2943 0 325487 0
[pid=11231/tid=11232] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 117731 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 117735 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1345916928 117740 33554432000 4194304 16246674 140737449569232 140124762393776 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) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.15 2.09 2.07 3/183 11235
/proc/meminfo: memFree=29551488/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1322564 CPUtime=1.49 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 250402 0 0 0 115 34 0 0 20 0 4 0 30661844 1354305536 250701 33554432000 4194304 16246674 140737449569232 140737449551104 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 330641 250717 894 2943 0 327535 0
[pid=11231/tid=11232] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 250726 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 250736 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 250746 33554432000 4194304 16246674 140737449569232 140124762393776 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) 1322564

[startup+3.10041 s]
/proc/loadavg: 2.15 2.09 2.07 3/183 11235
/proc/meminfo: memFree=29017792/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1322564 CPUtime=3.09 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 271322 0 0 0 272 37 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140737449551104 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 330641 271621 894 2943 0 327535 0
[pid=11231/tid=11232] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124762393776 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) 1322564

[startup+6.30042 s]
/proc/loadavg: 2.13 2.09 2.07 3/183 11235
/proc/meminfo: memFree=29017704/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1322564 CPUtime=6.29 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 271322 0 0 0 592 37 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140737449551104 12656044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 330641 271621 894 2943 0 327535 0
[pid=11231/tid=11232] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124762393776 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) 1322564

[startup+12.7004 s]
/proc/loadavg: 2.12 2.09 2.07 3/183 11235
/proc/meminfo: memFree=29017428/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1322564 CPUtime=12.69 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 271322 0 0 0 1232 37 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140737449551104 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 330641 271621 894 2943 0 327535 0
[pid=11231/tid=11232] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1354305536 271621 33554432000 4194304 16246674 140737449569232 140124762393776 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) 1322564

[startup+25.5005 s]
/proc/loadavg: 2.10 2.08 2.07 3/183 11235
/proc/meminfo: memFree=28957224/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1382980 CPUtime=25.48 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 286427 0 0 0 2509 39 0 0 20 0 4 0 30661844 1416171520 286726 33554432000 4194304 16246674 140737449569232 140737449567040 12449372 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 345745 286726 894 2943 0 342639 0
[pid=11231/tid=11232] ppid=11228 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1416171520 286726 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1416171520 286726 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1416171520 286726 33554432000 4194304 16246674 140737449569232 140124762393776 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) 1382980

[startup+51.1005 s]
/proc/loadavg: 2.13 2.09 2.08 3/183 11235
/proc/meminfo: memFree=28705708/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=1659460 CPUtime=51.07 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 355547 0 0 0 5058 49 0 0 20 0 4 0 30661844 1699287040 355846 33554432000 4194304 16246674 140737449569232 140737449568544 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 414865 355846 894 2943 0 411759 0
[pid=11231/tid=11232] ppid=11228 vsize=1659460 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 1699287040 355846 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=1659460 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 1699287040 355846 33554432000 4194304 16246674 140737449569232 140124772867088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=1659460 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 1699287040 355846 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1659460

[startup+102.3 s]
/proc/loadavg: 2.12 2.09 2.08 3/183 11237
/proc/meminfo: memFree=27997556/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=2340420 CPUtime=102.27 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 589019 0 0 0 10144 83 0 0 20 0 4 0 30661844 2396590080 526086 33554432000 4194304 16246674 140737449569232 140737449567040 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 585105 526086 894 2943 0 581999 0
[pid=11231/tid=11232] ppid=11228 vsize=2340420 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 2396590080 526086 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=2340420 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30661844 2396590080 526086 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=2340420 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 2396590080 526086 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2340420


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

/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 2845380608 635933 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=2778692 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 2845380608 635933 33554432000 4194304 16246674 140737449569232 140124772867088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=2778692 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 2845380608 635933 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2778692

[startup+1362.3 s]
/proc/loadavg: 1.99 2.04 2.07 3/183 11302
/proc/meminfo: memFree=26934256/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=3399236 CPUtime=1362.05 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 3202294 0 0 0 135647 558 0 0 20 0 4 0 30661844 3480817664 791069 33554432000 4194304 16246674 140737449569232 140737449568408 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 849809 791069 913 2943 0 846703 0
[pid=11231/tid=11232] ppid=11228 vsize=3399236 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 3480817664 791069 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=3399236 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 3480817664 791069 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=3399236 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 3480817664 791069 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 3399236

[startup+1422.3 s]
/proc/loadavg: 1.99 2.03 2.06 3/183 11352
/proc/meminfo: memFree=26649496/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=3715652 CPUtime=1422.05 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 3281405 0 0 0 141630 575 0 0 20 0 4 0 30661844 3804827648 870173 33554432000 4194304 16246674 140737449569232 140737449568328 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 928913 870173 913 2943 0 925807 0
[pid=11231/tid=11232] ppid=11228 vsize=3715652 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 3804827648 870173 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=3715652 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 3804827648 870173 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=3715652 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 3804827648 870173 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 3715652

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/183 11353
/proc/meminfo: memFree=26416600/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=3942980 CPUtime=1482.02 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 3342077 0 0 0 147613 589 0 0 20 0 4 0 30661844 4037611520 927005 33554432000 4194304 16246674 140737449569232 140737449567040 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 985745 927005 913 2943 0 982639 0
[pid=11231/tid=11232] ppid=11228 vsize=3942980 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 4037611520 927005 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=3942980 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 4037611520 927005 33554432000 4194304 16246674 140737449569232 140124772867088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=3942980 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 4037611520 927005 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3942980

[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.06 3/183 11354
/proc/meminfo: memFree=26242480/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=4131396 CPUtime=1542.03 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 3509097 0 0 0 153583 620 0 0 20 0 4 0 30661844 4230549504 973962 33554432000 4194304 16246674 140737449569232 140737449567040 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 1032849 973970 913 2943 0 1029743 0
[pid=11231/tid=11232] ppid=11228 vsize=4131396 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 4230549504 973976 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=4131396 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 4230549504 973981 33554432000 4194304 16246674 140737449569232 140124772867088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=4131396 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 4230549504 973985 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 4131396

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 11356
/proc/meminfo: memFree=25508308/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=4844100 CPUtime=1602.01 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 3890174 0 0 0 159517 684 0 0 20 0 4 0 30661844 4960358400 1152286 33554432000 4194304 16246674 140737449569232 140737449568328 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 1211025 1152286 913 2943 0 1207919 0
[pid=11231/tid=11232] ppid=11228 vsize=4844100 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 4960358400 1152286 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=4844100 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 4960358400 1152286 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=4844100 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 4960358400 1152286 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 4844100

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/183 11357
/proc/meminfo: memFree=28308332/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=2038340 CPUtime=1661.99 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 3890175 0 0 0 165499 700 0 0 20 0 4 0 30661844 2087260160 450846 33554432000 4194304 16246674 140737449569232 140737449567040 4225100 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 509585 450846 913 2943 0 506479 0
[pid=11231/tid=11232] ppid=11228 vsize=2038340 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 2087260160 450846 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=2038340 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 2087260160 450846 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=2038340 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 2087260160 450846 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 2038340

[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.05 4/184 11361
/proc/meminfo: memFree=25527688/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=2375236 CPUtime=1721.98 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 4009215 0 0 0 171479 719 0 0 20 0 4 0 30661844 2432241664 535070 33554432000 4194304 16246674 140737449569232 140737449568328 4225222 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 593809 535070 913 2943 0 590703 0
[pid=11231/tid=11232] ppid=11228 vsize=2375236 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 2432241664 535070 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=2375236 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 2432241664 535070 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=2375236 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 2432241664 535070 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 2375236

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/183 11362
/proc/meminfo: memFree=22435532/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=2980420 CPUtime=1781.97 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 4160511 0 0 0 177454 743 0 0 20 0 4 0 30661844 3051950080 686366 33554432000 4194304 16246674 140737449569232 140737449568408 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 745105 686366 913 2943 0 741999 0
[pid=11231/tid=11232] ppid=11228 vsize=2980420 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 3051950080 686366 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=2980420 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 3051950080 686366 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=2980420 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 3051950080 686366 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 2980420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.04 2.05 4/183 11362
/proc/meminfo: memFree=22138288/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=3083844 CPUtime=1800.07 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) R 11228 11231 10280 0 -1 4202496 4186367 0 0 0 179259 748 0 0 20 0 4 0 30661844 3157856256 712222 33554432000 4194304 16246674 140737449569232 140737449568544 13950236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 770961 712222 913 2943 0 767855 0
[pid=11231/tid=11232] ppid=11228 vsize=3083844 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) S 11228 11231 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30661844 3157856256 712222 33554432000 4194304 16246674 140737449569232 140124783357168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11231/tid=11233] ppid=11228 vsize=3083844 CPUtime=0.01 cores=0,2,4,6
/proc/11231/task/11233/stat : 11233 (toysat) S 11228 11231 10280 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30661844 3157856256 712222 33554432000 4194304 16246674 140737449569232 140124772867312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11231/tid=11234] ppid=11228 vsize=3083844 CPUtime=0 cores=0,2,4,6
/proc/11231/task/11234/stat : 11234 (toysat) S 11228 11231 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30661844 3157856256 712222 33554432000 4194304 16246674 140737449569232 140124762393776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3083844

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

[startup+1800.5 s]
/proc/loadavg: 2.03 2.04 2.05 4/183 11362
/proc/meminfo: memFree=22138288/32872528 swapFree=526336/559040
[pid=11231] ppid=11228 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/11231/stat : 11231 (toysat) Z 11228 11231 10280 0 -1 4203532 4186367 0 0 0 179260 758 0 0 20 0 2 0 30661844 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11231/statm: 0 0 0 0 0 0 0
[pid=11231/tid=11232] ppid=11228 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/11231/task/11232/stat : 11232 (toysat) R 11228 11231 10280 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 30661844 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.23
CPU user time (s): 1792.61
CPU system time (s): 7.62684
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 4844100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.61
system time used= 7.62684
maximum resident set size= 4609144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4186367
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= 2122
involuntary context switches= 2036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28304 second user time and 9.78651 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 23:41:57
IDJOB=4107534
IDBENCH=72291
IDSOLVER=2542
FILE ID=node106/4107534-1466286117
RUNJOBID= node106-1466277111-10296
PBS_JOBID= 19918270
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randb54299.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107534-1466286117/watcher-4107534-1466286117 -o /tmp/evaluation-result-4107534-1466286117/solver-4107534-1466286117 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107534-1466286117.opb

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

MD5SUM BENCH= a28eb4bd9bb6fe4f9f9bc58539a199f7
RANDOM SEED=1857923971

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30103516 kB
Buffers:          111064 kB
Cached:           226708 kB
SwapCached:         1736 kB
Active:          1233624 kB
Inactive:         229612 kB
Active(anon):    1124512 kB
Inactive(anon):     3048 kB
Active(file):     109112 kB
Inactive(file):   226564 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             17088 kB
Writeback:             0 kB
AnonPages:       1789660 kB
Mapped:            10876 kB
Shmem:                 0 kB
Slab:             613404 kB
SReclaimable:      57280 kB
SUnreclaim:       556124 kB
KernelStack:        1520 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1826696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71668 MiB
End job on node106 at 2016-06-19 00:11:58