Trace number 4079141

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

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-dwww.cudf.paranoid.opb
MD5SUM0f354c37e726e1ce5085d996eab88ba5
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark176457
Best CPU time to get the best result obtained on this benchmark33.076
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19783
Total number of constraints96459
Number of constraints which are clauses94894
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 7259
Biggest coefficient in the objective function 4301
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12735259
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4301
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12735259
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:12:04+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-4079141-1465269124.opb"]
0.00/0.01	c use --random-gen="877498492 718929630 930931721 3090477122 1277137190 48141758 3862021999 412138745 1042916751 1978434992 3998783513 2306588825 4287330322 864865282 2430124160 1451855320 1967530504 2214999039 3539026764 751726889 2282612306 1490247799 1581498930 1641862727 3935265837 3047074599 1555068229 3438554912 263758343 1566620007 628244001 3213723581 3976082797 1072936149 3509423638 2553331816 1060269599 935969594 3680516686 3507668132 1925177133 1745167009 2168284497 1532862204 307080678 3697391680 82661307 3398977952 3590634542 3578178332 4292799074 2066906624 3860691814 1461684097 1208188030 1973141811 2503656467 3284787066 419648365 3245780761 2858948747 3011825732 2703781059 2949930960 1250657895 3198852005 809144034 3506588691 3213553854 3562835287 4283704868 941551531 368207034 3550035055 726249067 1975817013 800255517 1679489561 1736522992 1456268146 796683843 1149558358 3868664104 2832829924 2192865091 3165549478 2173309078 2114431088 1483249825 2564089859 409805189 287859380 1265930532 2967866631 4275693453 3511755415 3274801513 929289832 3155275274 2965225656 2275272338 3232121856 1136045001 2326505352 3214181958 3059149261 3688466471 519962432 1216048237 4060404909 1564399634 2047491520 1477982041 428644378 169817758 3754701529 2040831170 2366753627 1439324272 3096670104 1237731629 1308686464 3292827806 160263018 1594913668 229860453 1427009074 2957818606 685612359 2961000529 1747441466 2172480442 809425689 3701326410 335793418 4260861185 1031897630 965820255 453410878 2430513088 3365048879 3239799797 3366659724 1463257621 253785196 263769460 679715579 2272237139 423376693 2643404815 2361101386 1446808704 2381948464 1016515997 1077965375 103433892 3297525787 1860492027 3407892050 217590127 2858255766 1316164497 963196908 1416776522 3216533932 3518640830 2943443169 3706126719 3868060592 3779652225 112490886 3729594122 3235175986 3938036021 1081809030 889965748 3289696725 1461991056 1262593013 3175380579 643482344 3360857586 2151652611 3995775731 620225512 2328074966 2011478036 4129878593 1380884999 3968306235 2672741619 2836419671 3644707821 953769613 2317570450 372048114 2538924614 814995251 2536995284 3482639536 905131813 3894474414 1168822070 1024016264 3375676401 3770559319 1372460535 1719009563 3053726077 805497238 1859133406 1265865161 1333505466 1114857671 1086523025 326386392 493527722 414916794 3953897725 3774590758 3082756881 261364537 1928369848 3136968316 3147331981 3572401086 3606885715 1900407171 3648240755 3523089706 3436913755 3733670968 1492330762 2652133738 248593619 1360161484 3319316813 1710685384 3855005233 683613204 2942091056 3995895055 868995318 1004703710 694559260 3410336352 2252983348 1049404965 2755611680 3234746123 3391573282 1201004320 1933875794 1764721256 3972033038 2154880262 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19783
0.69/0.72	c #constraints 96459
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.49/2.57	c  0.0s |       0 |        0 |        0 |    38687      0 |       52 |        0
2.99/3.02	c  0.8s |       1 |    69922 |      100 |    38687      0 |      198 |      851
4.59/4.62	c  2.4s |       2 |   271344 |      250 |    42556      0 |      198 |      851
8.08/8.12	c  5.9s |       2 |   680110 |      450 |    46812      0 |      198 |      851
8.18/8.25	c  6.0s |       2 |   697647 |      459 |    46812      0 |      198 |      851
8.18/8.25	c #cpu_time = 5.977s
8.18/8.25	c #wall_clock_time = 5.992s
8.18/8.25	c #decision = 697647
8.18/8.25	c #random_decision = 2028
8.18/8.25	c #conflict = 459
8.18/8.25	c #restart = 2
8.18/8.25	o 6472042
247.65/247.78	c BCD2: updating upper bound: 12735259 -> 6472041
502.81/502.95	c BCD2: 0 <= obj <= 6472041
502.81/502.95	c BCD2: #cores=0, #unrelaxed=7259, #relaxed=0, #hardened=0
502.81/502.95	c BCD2: #sat=1 #unsat=1 bias=1/2
502.81/502.95	c Solving starts ...
502.81/502.95	c ============================[ Search Statistics ]============================
502.81/502.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
502.81/502.95	c       |         |          |          |    Limit     GC | Var      | Constra 
502.81/502.95	c =============================================================================
502.81/502.95	c  0.0s |       0 |        0 |        0 |    46812      0 |      198 |      851
502.91/503.02	c  0.1s |       0 |      382 |        0 |    46812      0 |      198 |      851
502.91/503.02	c #cpu_time = 0.065s
502.91/503.02	c #wall_clock_time = 0.065s
502.91/503.02	c #decision = 382
502.91/503.02	c #random_decision = 0
502.91/503.02	c #conflict = 0
502.91/503.02	c #restart = 0
502.91/503.02	c BCD2: found a new core of size 2: cost of the new core is >=1
502.91/503.02	c lower bound updated to 1
752.88/753.05	c BCD2: 1 <= obj <= 6472041
752.88/753.05	c BCD2: #cores=1, #unrelaxed=7257, #relaxed=2, #hardened=0
752.88/753.05	c BCD2: #sat=1 #unsat=2 bias=2/3
752.88/753.05	c Solving starts ...
752.88/753.05	c ============================[ Search Statistics ]============================
752.88/753.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
752.88/753.05	c       |         |          |          |    Limit     GC | Var      | Constra 
752.88/753.05	c =============================================================================
752.88/753.06	c  0.0s |       0 |        0 |        0 |    46812      0 |      198 |      851
752.98/753.11	c  0.1s |       0 |      404 |        1 |    46812      0 |      198 |      851
752.98/753.11	c #cpu_time = 0.053s
752.98/753.11	c #wall_clock_time = 0.053s
752.98/753.11	c #decision = 404
752.98/753.11	c #random_decision = 0
752.98/753.11	c #conflict = 1
752.98/753.11	c #restart = 0
752.98/753.11	c BCD2: found a new core of size 2: cost of the new core is >=1
752.98/753.11	c lower bound updated to 2
996.54/996.78	c BCD2: 2 <= obj <= 6472041
996.54/996.78	c BCD2: #cores=2, #unrelaxed=7255, #relaxed=4, #hardened=0
996.54/996.78	c BCD2: #sat=1 #unsat=3 bias=3/4
996.54/996.78	c Solving starts ...
996.54/996.78	c ============================[ Search Statistics ]============================
996.54/996.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
996.54/996.78	c       |         |          |          |    Limit     GC | Var      | Constra 
996.54/996.78	c =============================================================================
996.54/996.78	c  0.0s |       0 |        0 |        0 |    46812      0 |      198 |      851
996.64/996.84	c  0.1s |       0 |      832 |        1 |    46812      0 |      198 |      851
996.64/996.84	c #cpu_time = 0.059s
996.64/996.84	c #wall_clock_time = 0.059s
996.64/996.84	c #decision = 832
996.64/996.84	c #random_decision = 0
996.64/996.84	c #conflict = 1
996.64/996.84	c #restart = 0
996.64/996.84	c BCD2: found a new core of size 2: cost of the new core is >=1
996.64/996.84	c lower bound updated to 3
1247.42/1247.77	c BCD2: 3 <= obj <= 6472041
1247.42/1247.77	c BCD2: #cores=3, #unrelaxed=7253, #relaxed=6, #hardened=0
1247.42/1247.77	c BCD2: #sat=1 #unsat=4 bias=4/5
1247.42/1247.77	c Solving starts ...
1247.42/1247.77	c ============================[ Search Statistics ]============================
1247.42/1247.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1247.42/1247.77	c       |         |          |          |    Limit     GC | Var      | Constra 
1247.42/1247.77	c =============================================================================
1247.42/1247.77	c  0.0s |       0 |        0 |        0 |    46812      0 |      198 |      851
1247.52/1247.83	c  0.1s |       0 |      663 |        0 |    46812      0 |      198 |      851
1247.52/1247.83	c #cpu_time = 0.052s
1247.52/1247.83	c #wall_clock_time = 0.052s
1247.52/1247.83	c #decision = 663
1247.52/1247.83	c #random_decision = 0
1247.52/1247.83	c #conflict = 0
1247.52/1247.83	c #restart = 0
1247.52/1247.83	c BCD2: found a new core of size 2: cost of the new core is >=1
1247.52/1247.83	c lower bound updated to 4
1495.05/1495.43	c BCD2: 4 <= obj <= 6472041
1495.05/1495.43	c BCD2: #cores=4, #unrelaxed=7251, #relaxed=8, #hardened=0
1495.05/1495.43	c BCD2: #sat=1 #unsat=5 bias=5/6
1495.05/1495.43	c Solving starts ...
1495.05/1495.43	c ============================[ Search Statistics ]============================
1495.05/1495.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1495.05/1495.43	c       |         |          |          |    Limit     GC | Var      | Constra 
1495.05/1495.43	c =============================================================================
1495.05/1495.43	c  0.0s |       0 |        0 |        0 |    46812      0 |      198 |      851
1495.05/1495.48	c  0.1s |       0 |      702 |        0 |    46812      0 |      198 |      851
1495.05/1495.48	c #cpu_time = 0.051s
1495.05/1495.48	c #wall_clock_time = 0.052s
1495.05/1495.48	c #decision = 702
1495.05/1495.48	c #random_decision = 0
1495.05/1495.48	c #conflict = 0
1495.05/1495.48	c #restart = 0
1495.05/1495.48	c BCD2: found a new core of size 1: cost of the new core is >=1
1495.05/1495.48	c lower bound updated to 5
1741.21/1741.65	c BCD2: 5 <= obj <= 6472041
1741.21/1741.65	c BCD2: #cores=5, #unrelaxed=7250, #relaxed=9, #hardened=0
1741.21/1741.65	c BCD2: #sat=1 #unsat=6 bias=6/7
1741.21/1741.65	c Solving starts ...
1741.21/1741.65	c ============================[ Search Statistics ]============================
1741.21/1741.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1741.21/1741.65	c       |         |          |          |    Limit     GC | Var      | Constra 
1741.21/1741.65	c =============================================================================
1741.21/1741.65	c  0.0s |       0 |        0 |        0 |    46812      0 |      198 |      851
1741.31/1741.71	c  0.1s |       0 |      703 |        0 |    46812      0 |      198 |      851
1741.31/1741.71	c #cpu_time = 0.054s
1741.31/1741.71	c #wall_clock_time = 0.054s
1741.31/1741.71	c #decision = 703
1741.31/1741.71	c #random_decision = 0
1741.31/1741.71	c #conflict = 0
1741.31/1741.71	c #restart = 0
1741.31/1741.71	c BCD2: found a new core of size 1: cost of the new core is >=1
1741.31/1741.71	c lower bound updated to 6

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

pid=15762
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.28 2.29 2.27 4/179 15765
/proc/meminfo: memFree=23125844/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=816708 CPUtime=0 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 3065 0 0 0 0 0 0 0 20 0 4 0 108844356 836308992 3426 33554432000 4194304 16246674 140733274899776 140733274899200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 204945 3436 442 2943 0 201839 0
[pid=15765/tid=15766] ppid=15762 vsize=835140 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 855183360 3498 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=839236 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 859377664 3515 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=843332 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108844357 863571968 3531 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.28 2.29 2.27 4/179 15765
/proc/meminfo: memFree=23125844/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 27108 0 0 0 5 3 0 0 20 0 4 0 108844356 1332285440 27407 33554432000 4194304 16246674 140733274899776 140733274899088 8058197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 325265 27423 800 2943 0 322159 0
[pid=15765/tid=15766] ppid=15762 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1332285440 27434 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1332285440 27445 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1332285440 27456 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200591 s]
/proc/loadavg: 2.28 2.29 2.27 4/179 15765
/proc/meminfo: memFree=23125844/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 48672 0 0 0 13 6 0 0 20 0 4 0 108844356 1344868352 49482 33554432000 4194304 16246674 140733274899776 140733274881664 7889456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 328337 49482 800 2943 0 325231 0
[pid=15765/tid=15766] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 49482 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 49482 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 49482 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300538 s]
/proc/loadavg: 2.28 2.29 2.27 4/179 15765
/proc/meminfo: memFree=23125844/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 63224 0 0 0 21 8 0 0 20 0 4 0 108844356 1344868352 64034 33554432000 4194304 16246674 140733274899776 140733274881664 4206912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 328337 64034 800 2943 0 325231 0
[pid=15765/tid=15766] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 64034 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 64034 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 64034 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70041 s]
/proc/loadavg: 2.28 2.29 2.27 4/179 15765
/proc/meminfo: memFree=23125844/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 71542 0 0 0 60 9 0 0 20 0 4 0 108844356 1344868352 72352 33554432000 4194304 16246674 140733274899776 140733274881664 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 328337 72352 801 2943 0 325231 0
[pid=15765/tid=15766] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 72352 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 72352 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 72352 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.28 2.29 2.27 4/183 15769
/proc/meminfo: memFree=22673336/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 192915 0 0 0 123 26 0 0 20 0 4 0 108844356 1344868352 193725 33554432000 4194304 16246674 140733274899776 140733274881664 6777647 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 328337 193735 841 2943 0 325231 0
[pid=15765/tid=15766] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 193743 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 193749 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1344868352 193755 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 15769
/proc/meminfo: memFree=22034092/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 272162 0 0 0 272 37 0 0 20 0 4 0 108844356 1389957120 272972 33554432000 4194304 16246674 140733274899776 140733274881664 5674919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 272972 893 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 272972 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 272972 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 272972 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.26 2.28 2.27 3/183 15769
/proc/meminfo: memFree=22003492/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280030 0 0 0 591 38 0 0 20 0 4 0 108844356 1389957120 280840 33554432000 4194304 16246674 140733274899776 140733274881664 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280840 897 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280840 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280840 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280840 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.24 2.28 2.26 4/183 15769
/proc/meminfo: memFree=22003552/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280039 0 0 0 1230 39 0 0 20 0 4 0 108844356 1389957120 280849 33554432000 4194304 16246674 140733274899776 140733274881664 12654227 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280849 906 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.25 2.28 2.27 3/183 15769
/proc/meminfo: memFree=22004008/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=25.49 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280039 0 0 0 2510 39 0 0 20 0 4 0 108844356 1389957120 280849 33554432000 4194304 16246674 140733274899776 140733274897600 12371164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280849 906 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1357380

[startup+51.1006 s]
/proc/loadavg: 2.23 2.27 2.26 3/183 15769
/proc/meminfo: memFree=22003840/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=51.09 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280039 0 0 0 5070 39 0 0 20 0 4 0 108844356 1389957120 280849 33554432000 4194304 16246674 140733274899776 140733274881664 12413993 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280849 906 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1357380

[startup+102.301 s]
/proc/loadavg: 2.38 2.30 2.28 4/183 15771
/proc/meminfo: memFree=21879160/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=102.29 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280039 0 0 0 10190 39 0 0 20 0 4 0 108844356 1389957120 280849 33554432000 4194304 16246674 140733274899776 140733274881664 12371230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280849 906 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280849 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1357380


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

/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.23 2.21 2.23 3/183 15848
/proc/meminfo: memFree=28151828/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1302.01 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280198 0 0 0 130160 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.30 2.23 2.24 3/183 15850
/proc/meminfo: memFree=28151560/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1361.99 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280223 0 0 0 136158 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.27 2.23 2.24 3/183 15851
/proc/meminfo: memFree=28151824/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1421.96 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280252 0 0 0 142155 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 13950236 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.18 2.22 2.23 3/183 15852
/proc/meminfo: memFree=28150816/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1481.95 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280252 0 0 0 148154 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274897600 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.29 2.25 2.24 3/183 15853
/proc/meminfo: memFree=28150848/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1541.95 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280252 0 0 0 154154 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 12371164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.53 2.31 2.26 4/183 15854
/proc/meminfo: memFree=28150756/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1601.93 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280252 0 0 0 160152 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 12654376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.25 2.27 2.25 3/183 15856
/proc/meminfo: memFree=28151276/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1661.92 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280252 0 0 0 166151 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 4220507 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.25 2.26 2.25 3/184 15860
/proc/meminfo: memFree=28150480/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1721.91 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280252 0 0 0 172150 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.39 2.30 2.26 3/183 15861
/proc/meminfo: memFree=28150868/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1781.9 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280252 0 0 0 178149 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 12413960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.28 2.28 2.25 3/183 15862
/proc/meminfo: memFree=28150508/32872528 swapFree=17452/1581112
[pid=15765] ppid=15762 vsize=1357380 CPUtime=1800 cores=0,2,4,6
/proc/15765/stat : 15765 (toysat) R 15762 15765 13546 0 -1 4202496 280252 0 0 0 179959 41 0 0 20 0 4 0 108844356 1389957120 280866 33554432000 4194304 16246674 140733274899776 140733274881664 12429829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 339345 280866 922 2943 0 336239 0
[pid=15765/tid=15766] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15766/stat : 15766 (toysat) S 15762 15765 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972432604400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15765/tid=15767] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15767/stat : 15767 (toysat) S 15762 15765 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972422114544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15765/tid=15768] ppid=15762 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15765/task/15768/stat : 15768 (toysat) S 15762 15765 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108844357 1389957120 280866 33554432000 4194304 16246674 140733274899776 139972411641008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 15765 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.02
CPU user time (s): 1799.6
CPU system time (s): 0.418936
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.418936
maximum resident set size= 1123464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280252
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= 254
involuntary context switches= 1946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5542 second user time and 16.3115 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 05:12:04
IDJOB=4079141
IDBENCH=72197
IDSOLVER=2542
FILE ID=node139/4079141-1465269124
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-dwww.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-4079141-1465269124/watcher-4079141-1465269124 -o /tmp/evaluation-result-4079141-1465269124/solver-4079141-1465269124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079141-1465269124.opb

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

MD5SUM BENCH= 0f354c37e726e1ce5085d996eab88ba5
RANDOM SEED=2043424093

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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.868
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:        23126224 kB
Buffers:           56972 kB
Cached:            96468 kB
SwapCached:          948 kB
Active:          7340404 kB
Inactive:          78780 kB
Active(anon):    7265016 kB
Inactive(anon):     3236 kB
Active(file):      75388 kB
Inactive(file):    75544 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099808 kB
Dirty:             19844 kB
Writeback:             0 kB
AnonPages:       8848584 kB
Mapped:            10960 kB
Shmem:                 0 kB
Slab:             598020 kB
SReclaimable:      41784 kB
SUnreclaim:       556236 kB
KernelStack:        1520 kB
PageTables:        21768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    8991564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2725888 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= 71692 MiB
End job on node139 at 2016-06-07 05:42:05