Trace number 4118062

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-pb302055.opb
MD5SUMffb6ce3cdd46fd72cdee8230f8ae953c
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4372559
Best CPU time to get the best result obtained on this benchmark1800.56
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables600
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints20
Minimum length of a constraint20
Maximum length of a constraint30
Number of terms in the objective function 165900
Biggest coefficient in the objective function 299963
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 1823101901
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 299963
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1823101901
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)165300
Sum of products size (including duplicates)330600
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T19:03:41+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-4118062-1467219821.opb"]
0.00/0.01	c use --random-gen="4089702878 3996364106 3574397104 1470325697 1743679214 1393262003 1048963336 1683735512 2454124265 3244470578 2116371270 640372313 78216616 3773541167 3996213743 1142249270 2357173361 662887914 511077405 1987792982 2852492952 1069646120 2602768179 3426840145 753942641 3512728110 1634128156 2065723903 666095543 356379940 1594038012 1506238434 4121534037 3497806843 2734512230 1491357133 1676851492 1203340645 2911791983 1241755041 654882164 2032584800 2547228196 1388882644 2398958680 1954155426 578277148 2297478223 3539591984 80246650 2520000423 3647669779 3406006569 1016696422 2046857820 2462779835 155951591 452081953 1840985354 266341495 1964940461 483428907 711810923 4122105668 2551904649 1799201982 1419823022 3386656604 918412887 547844554 3536317024 4095825608 370024531 3599134461 2535210917 395061206 87168505 2370984376 21141816 1373260369 402205984 792198891 638357158 297911963 721041562 2178786331 1484429230 2463481140 3384829102 621257131 2671594088 260986666 1089389466 3581720796 1242522791 1661508298 3955371487 2622956725 1167700779 2448678463 1143309382 3604488719 2650099671 2854306488 237957146 4023882273 1554138900 1539357822 3922588618 3548457210 34742344 582451296 2257626969 1235435616 963281103 241991131 1176732332 4073975676 4272079247 1856101506 1521464010 2870376162 26817761 3385179609 1278602056 745501724 3264834058 2933576486 1506066537 970391305 1243022392 1775836269 1541555441 1581599017 506094915 2856577394 3958578609 566014431 1764980979 4269163804 1223604368 3755151685 1140458233 60736223 888898027 456941465 1080099985 1292637199 2091216733 2260549944 183765717 4043653728 4074359966 1456535800 3865590692 3041221715 936017553 3459729960 3496604422 2815802563 820948006 4062033374 1551324996 475523535 1912556410 2780275706 120204049 284313237 2471234581 3441645928 1023878664 138475581 1225556792 2071125293 6885373 3522194319 2717649331 4108103655 844563588 2611383261 1320520703 3775875256 2924520190 3682906339 584645368 3627194020 2882008288 719173022 3382793486 430668159 2854761026 2040285112 1286917995 294733766 2690275377 2423104138 3331984552 3606760458 2781701445 2828753666 3358484910 1248766670 2835296332 1005305001 2234197100 1988518994 1463684570 1408022200 1530183287 3721650669 2110780159 1900920510 2739407824 557641417 1783221677 1852295716 2772962372 1653279552 1618644639 3624142472 555314075 2108497012 3110587677 1059902049 3661373260 2237784526 2070276491 731449708 1411008445 2553032056 3876093154 682570802 3032914753 3366127031 145877859 1426264668 2077749992 3584100237 3637336073 3788690294 3238965940 4253287376 3146108333 1446658524 2686851535 2807962808 2554609714 3601387291 1247786698 3605033171 3267774566 2494474854 4290134836 3931186581 1996283976 615675380 255 362436" option to reproduce the execution
0.39/0.45	c #vars 600
0.39/0.45	c #constraints 50
3.49/3.50	c BCD2: Hardening is enabled.
3.49/3.50	c BCD2: BiasedSearch is enabled.
3.49/3.50	c Solving starts ...
3.49/3.50	c ============================[ Search Statistics ]============================
3.49/3.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.50	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.50	c =============================================================================
3.69/3.73	c  0.0s |       0 |        0 |        0 |   107687      0 |       15 |        0
4.39/4.44	c  0.7s |       0 |   165321 |        0 |   107687      0 |       15 |        0
4.39/4.44	c #cpu_time = 0.632s
4.39/4.44	c #wall_clock_time = 0.634s
4.39/4.44	c #decision = 165321
4.39/4.44	c #random_decision = 859
4.39/4.44	c #conflict = 0
4.39/4.44	c #restart = 0
4.39/4.45	o 8700197
317.69/317.80	c BCD2: updating upper bound: 1823101901 -> 8700196
641.35/641.55	c BCD2: 0 <= obj <= 8700196
641.35/641.56	c BCD2: #cores=0, #unrelaxed=165900, #relaxed=0, #hardened=0
641.35/641.56	c BCD2: #sat=1 #unsat=1 bias=1/2
641.35/641.58	c Solving starts ...
641.35/641.58	c ============================[ Search Statistics ]============================
641.35/641.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
641.35/641.58	c       |         |          |          |    Limit     GC | Var      | Constra 
641.35/641.58	c =============================================================================
641.35/641.58	c  0.0s |       0 |        0 |        0 |   107687      0 |       15 |        0
643.65/643.84	c  2.3s |       0 |  2803604 |       30 |   107687      0 |       15 |        0
643.65/643.84	c #cpu_time = 2.250s
643.65/643.84	c #wall_clock_time = 2.256s
643.65/643.84	c #decision = 2803604
643.65/643.84	c #random_decision = 0
643.65/643.84	c #conflict = 30
643.65/643.84	c #restart = 0
643.65/643.84	c BCD2: found a new core of size 381: cost of the new core is >=224
643.65/643.84	c lower bound updated to 224
980.08/980.36	c BCD2: 224 <= obj <= 8700196
980.08/980.36	c BCD2: #cores=1, #unrelaxed=165519, #relaxed=381, #hardened=0
980.08/980.36	c BCD2: #sat=1 #unsat=2 bias=2/3
980.28/980.58	c Solving starts ...
980.28/980.58	c ============================[ Search Statistics ]============================
980.28/980.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
980.28/980.58	c       |         |          |          |    Limit     GC | Var      | Constra 
980.28/980.58	c =============================================================================
980.28/980.58	c  0.0s |       0 |        0 |        0 |   107687      0 |       15 |        0
982.18/982.44	c  1.9s |       0 |  2327205 |       56 |   107687      0 |       15 |        0
982.18/982.44	c #cpu_time = 1.853s
982.18/982.44	c #wall_clock_time = 1.857s
982.18/982.44	c #decision = 2327205
982.18/982.44	c #random_decision = 0
982.18/982.44	c #conflict = 56
982.18/982.44	c #restart = 0
982.18/982.44	c BCD2: found a new core of size 529: cost of the new core is >=192
982.18/982.44	c lower bound updated to 416
1333.82/1334.14	c BCD2: 416 <= obj <= 8700196
1333.82/1334.14	c BCD2: #cores=2, #unrelaxed=164990, #relaxed=910, #hardened=0
1333.82/1334.14	c BCD2: #sat=1 #unsat=3 bias=3/4
1333.92/1334.21	c Solving starts ...
1333.92/1334.21	c ============================[ Search Statistics ]============================
1333.92/1334.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1333.92/1334.21	c       |         |          |          |    Limit     GC | Var      | Constra 
1333.92/1334.21	c =============================================================================
1333.92/1334.22	c  0.0s |       0 |        0 |        0 |   107687      0 |       15 |        0
1334.82/1335.14	c  0.9s |       0 |  1045472 |       22 |   118456      0 |       15 |        0
1334.82/1335.14	c #cpu_time = 0.916s
1334.82/1335.14	c #wall_clock_time = 0.918s
1334.82/1335.14	c #decision = 1045472
1334.82/1335.14	c #random_decision = 0
1334.82/1335.14	c #conflict = 22
1334.82/1335.14	c #restart = 0
1334.82/1335.14	c BCD2: found a new core of size 529: cost of the new core is >=80
1334.82/1335.14	c lower bound updated to 496
1714.24/1714.68	c BCD2: 496 <= obj <= 8700196
1714.24/1714.68	c BCD2: #cores=3, #unrelaxed=164461, #relaxed=1439, #hardened=0
1714.24/1714.68	c BCD2: #sat=1 #unsat=4 bias=4/5
1724.94/1725.35	c Solving starts ...
1724.94/1725.35	c ============================[ Search Statistics ]============================
1724.94/1725.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1724.94/1725.35	c       |         |          |          |    Limit     GC | Var      | Constra 
1724.94/1725.35	c =============================================================================
1724.94/1725.35	c  0.0s |       0 |        0 |        0 |   118456      0 |       15 |        0
1725.84/1726.29	c  0.9s |       0 |   964182 |       22 |   118456      0 |       15 |        0
1725.84/1726.29	c #cpu_time = 0.940s
1725.84/1726.29	c #wall_clock_time = 0.943s
1725.84/1726.29	c #decision = 964182
1725.84/1726.29	c #random_decision = 0
1725.84/1726.29	c #conflict = 22
1725.84/1726.29	c #restart = 0
1725.84/1726.29	c BCD2: found a new core of size 376: cost of the new core is >=36
1725.84/1726.29	c lower bound updated to 532

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

pid=20673
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.37 2.27 2.24 3/179 20676
/proc/meminfo: memFree=27905560/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=648772 CPUtime=0 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 2409 0 0 0 0 0 0 0 20 0 4 0 12010708 664342528 2259 33554432000 4194304 16246674 140736991210288 140736991209712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 162705 2268 442 2943 0 159599 0
[pid=20676/tid=20677] ppid=20673 vsize=666180 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 682168320 2327 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=670276 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 686362624 2344 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=674372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12010709 690556928 2360 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.37 2.27 2.24 3/179 20676
/proc/meminfo: memFree=27905560/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 28923 0 0 0 6 3 0 0 20 0 4 0 12010708 1332285440 28710 33554432000 4194304 16246674 140736991210288 140736991209600 7889302 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 325265 28727 800 2943 0 322159 0
[pid=20676/tid=20677] ppid=20673 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1332285440 28737 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1332285440 28749 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1332285440 28760 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200531 s]
/proc/loadavg: 2.37 2.27 2.24 3/179 20676
/proc/meminfo: memFree=27905560/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 47295 0 0 0 13 6 0 0 20 0 4 0 12010708 1345916928 47593 33554432000 4194304 16246674 140736991210288 140736991209600 14795467 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 328593 47593 800 2943 0 325487 0
[pid=20676/tid=20677] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 47593 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 47593 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 47593 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300514 s]
/proc/loadavg: 2.37 2.27 2.24 3/179 20676
/proc/meminfo: memFree=27905560/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 50632 0 0 0 22 7 0 0 20 0 4 0 12010708 1345916928 50930 33554432000 4194304 16246674 140736991210288 140736991209600 7852941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 328593 50930 800 2943 0 325487 0
[pid=20676/tid=20677] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 50930 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 50930 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 50930 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70043 s]
/proc/loadavg: 2.37 2.27 2.24 3/179 20676
/proc/meminfo: memFree=27905560/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 58581 0 0 0 62 7 0 0 20 0 4 0 12010708 1345916928 58879 33554432000 4194304 16246674 140736991210288 140736991208128 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 328593 58879 849 2943 0 325487 0
[pid=20676/tid=20677] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 58879 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 58879 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1345916928 58879 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.37 2.27 2.24 3/183 20680
/proc/meminfo: memFree=27587852/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1317444 CPUtime=1.49 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 93807 0 0 0 136 13 0 0 20 0 4 0 12010708 1349062656 94105 33554432000 4194304 16246674 140736991210288 140736991192192 5589344 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20676/statm: 329361 94105 851 2943 0 326255 0
[pid=20676/tid=20677] ppid=20673 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1349062656 94105 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1349062656 94105 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1349062656 94105 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1317444

[startup+3.1004 s]
/proc/loadavg: 2.34 2.26 2.24 3/183 20680
/proc/meminfo: memFree=27339232/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1370692 CPUtime=3.08 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 209711 0 0 0 279 29 0 0 20 0 4 0 12010708 1403588608 210009 33554432000 4194304 16246674 140736991210288 140736991192192 5515656 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20676/statm: 342673 210009 851 2943 0 339567 0
[pid=20676/tid=20677] ppid=20673 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1403588608 210009 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1403588608 210009 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1403588608 210009 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1370692

[startup+6.30044 s]
/proc/loadavg: 2.34 2.26 2.24 3/183 20680
/proc/meminfo: memFree=26748752/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1393220 CPUtime=6.28 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 288990 0 0 0 588 40 0 0 20 0 4 0 12010708 1426657280 289288 33554432000 4194304 16246674 140736991210288 140736991192192 12429241 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20676/statm: 348305 289288 895 2943 0 345199 0
[pid=20676/tid=20677] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1393220

[startup+12.7004 s]
/proc/loadavg: 2.29 2.25 2.23 3/183 20680
/proc/meminfo: memFree=26748968/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1393220 CPUtime=12.68 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 288990 0 0 0 1228 40 0 0 20 0 4 0 12010708 1426657280 289288 33554432000 4194304 16246674 140736991210288 140736991192192 4220480 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20676/statm: 348305 289288 895 2943 0 345199 0
[pid=20676/tid=20677] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1393220

[startup+25.5005 s]
/proc/loadavg: 2.32 2.26 2.24 3/183 20680
/proc/meminfo: memFree=26697760/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1393220 CPUtime=25.47 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 288990 0 0 0 2507 40 0 0 20 0 4 0 12010708 1426657280 289288 33554432000 4194304 16246674 140736991210288 140736991192192 12652957 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20676/statm: 348305 289288 895 2943 0 345199 0
[pid=20676/tid=20677] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1393220

[startup+51.1005 s]
/proc/loadavg: 2.36 2.27 2.24 3/183 20680
/proc/meminfo: memFree=26697844/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1393220 CPUtime=51.05 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 288990 0 0 0 5065 40 0 0 20 0 4 0 12010708 1426657280 289288 33554432000 4194304 16246674 140736991210288 140736991192192 12429241 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20676/statm: 348305 289288 895 2943 0 345199 0
[pid=20676/tid=20677] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1426657280 289288 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1393220

[startup+102.301 s]
/proc/loadavg: 2.20 2.24 2.23 3/183 20681
/proc/meminfo: memFree=26533588/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1417796 CPUtime=102.24 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 295134 0 0 0 10183 41 0 0 20 0 4 0 12010708 1451823104 295432 33554432000 4194304 16246674 140736991210288 140736991192192 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20676/statm: 354449 295432 895 2943 0 351343 0
[pid=20676/tid=20677] ppid=20673 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1451823104 295432 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12010709 1451823104 295432 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1417796 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1451823104 295432 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1417796


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

/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1836650496 389664 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1793604

[startup+1302.3 s]
/proc/loadavg: 2.32 2.29 2.25 4/183 20759
/proc/meminfo: memFree=26902248/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1793604 CPUtime=1302.02 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389118 0 0 0 130144 58 0 0 20 0 4 0 12010708 1836650496 389664 33554432000 4194304 16246674 140736991210288 140736991208128 4220986 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448401 389664 919 2943 0 445295 0
[pid=20676/tid=20677] ppid=20673 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1836650496 389664 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12010709 1836650496 389664 33554432000 4194304 16246674 140736991210288 139779302726672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1793604 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1836650496 389664 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1793604

[startup+1362.3 s]
/proc/loadavg: 2.32 2.30 2.25 3/183 20760
/proc/meminfo: memFree=26900660/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1794628 CPUtime=1362.01 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389378 0 0 0 136142 59 0 0 20 0 4 0 12010708 1837699072 389920 33554432000 4194304 16246674 140736991210288 140736991192192 12429784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448657 389920 919 2943 0 445551 0
[pid=20676/tid=20677] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1794628

[startup+1422.3 s]
/proc/loadavg: 2.32 2.30 2.26 3/183 20762
/proc/meminfo: memFree=26900948/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1794628 CPUtime=1422.01 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389380 0 0 0 142142 59 0 0 20 0 4 0 12010708 1837699072 389920 33554432000 4194304 16246674 140736991210288 140736991208192 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448657 389920 919 2943 0 445551 0
[pid=20676/tid=20677] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1794628

[startup+1482.3 s]
/proc/loadavg: 2.29 2.29 2.26 4/183 20763
/proc/meminfo: memFree=26900732/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1794628 CPUtime=1481.99 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389383 0 0 0 148140 59 0 0 20 0 4 0 12010708 1837699072 389920 33554432000 4194304 16246674 140736991210288 140736991208128 12413997 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448657 389920 919 2943 0 445551 0
[pid=20676/tid=20677] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1794628

[startup+1542.31 s]
/proc/loadavg: 2.30 2.29 2.26 3/183 20764
/proc/meminfo: memFree=26900528/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1794628 CPUtime=1541.98 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389387 0 0 0 154138 60 0 0 20 0 4 0 12010708 1837699072 389920 33554432000 4194304 16246674 140736991210288 140736991208128 4220490 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448657 389920 919 2943 0 445551 0
[pid=20676/tid=20677] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1794628 CPUtime=0.01 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779302726672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1794628

[startup+1602.3 s]
/proc/loadavg: 2.20 2.27 2.25 3/184 20768
/proc/meminfo: memFree=26900404/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1794628 CPUtime=1601.96 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389387 0 0 0 160136 60 0 0 20 0 4 0 12010708 1837699072 389920 33554432000 4194304 16246674 140736991210288 140736991208128 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448657 389920 919 2943 0 445551 0
[pid=20676/tid=20677] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1794628 CPUtime=0.01 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779302726672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1794628

[startup+1662.3 s]
/proc/loadavg: 2.16 2.25 2.25 4/183 20769
/proc/meminfo: memFree=26900168/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1794628 CPUtime=1661.96 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389387 0 0 0 166135 61 0 0 20 0 4 0 12010708 1837699072 389920 33554432000 4194304 16246674 140736991210288 140736991209600 4225320 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448657 389920 919 2943 0 445551 0
[pid=20676/tid=20677] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1794628 CPUtime=0.01 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1837699072 389920 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1794628

[startup+1722.3 s]
/proc/loadavg: 2.38 2.28 2.26 3/183 20771
/proc/meminfo: memFree=26898760/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1795652 CPUtime=1721.94 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389643 0 0 0 172133 61 0 0 20 0 4 0 12010708 1838747648 390176 33554432000 4194304 16246674 140736991210288 140736991192192 12654409 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448913 390176 919 2943 0 445807 0
[pid=20676/tid=20677] ppid=20673 vsize=1795652 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1795652 CPUtime=0.01 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1795652 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1795652

[startup+1782.3 s]
/proc/loadavg: 2.19 2.24 2.24 3/183 20772
/proc/meminfo: memFree=26897760/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1795652 CPUtime=1781.93 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389643 0 0 0 178132 61 0 0 20 0 4 0 12010708 1838747648 390176 33554432000 4194304 16246674 140736991210288 140736991192192 6955123 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448913 390176 919 2943 0 445807 0
[pid=20676/tid=20677] ppid=20673 vsize=1795652 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1795652 CPUtime=0.01 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1795652 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1795652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.24 2.24 4/183 20773
/proc/meminfo: memFree=26898492/32872528 swapFree=1394328/1580332
[pid=20676] ppid=20673 vsize=1795652 CPUtime=1800.03 cores=1,3,5,7
/proc/20676/stat : 20676 (toysat) R 20673 20676 19119 0 -1 4202496 389643 0 0 0 179942 61 0 0 20 0 4 0 12010708 1838747648 390176 33554432000 4194304 16246674 140736991210288 140736991192192 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20676/statm: 448913 390176 919 2943 0 445807 0
[pid=20676/tid=20677] ppid=20673 vsize=1795652 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20677/stat : 20677 (toysat) S 20673 20676 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779313216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20676/tid=20678] ppid=20673 vsize=1795652 CPUtime=0.01 cores=1,3,5,7
/proc/20676/task/20678/stat : 20678 (toysat) S 20673 20676 19119 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779302726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20676/tid=20679] ppid=20673 vsize=1795652 CPUtime=0 cores=1,3,5,7
/proc/20676/task/20679/stat : 20679 (toysat) S 20673 20676 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12010709 1838747648 390176 33554432000 4194304 16246674 140736991210288 139779292253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1795652

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 20676 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.06
CPU user time (s): 1799.44
CPU system time (s): 0.618905
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 1795652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.618905
maximum resident set size= 1560704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389643
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= 1527
involuntary context switches= 2001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83596 second user time and 9.78451 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-29 19:03:41
IDJOB=4118062
IDBENCH=111441
IDSOLVER=2542
FILE ID=node139/4118062-1467219821
RUNJOBID= node139-1467208982-19136
PBS_JOBID= 19997572
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-pb302055.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118062-1467219821/watcher-4118062-1467219821 -o /tmp/evaluation-result-4118062-1467219821/solver-4118062-1467219821 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118062-1467219821.opb

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

MD5SUM BENCH= ffb6ce3cdd46fd72cdee8230f8ae953c
RANDOM SEED=302532169

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		: 2667.092
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.18
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.092
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.092
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.092
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		: 2667.092
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.56
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.092
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		: 2667.092
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.48
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.092
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:        27905940 kB
Buffers:          107888 kB
Cached:           842432 kB
SwapCached:         3080 kB
Active:          2421396 kB
Inactive:         227124 kB
Active(anon):    1696964 kB
Inactive(anon):     3176 kB
Active(file):     724432 kB
Inactive(file):   223948 kB
Unevictable:     1580332 kB
Mlocked:         1394328 kB
SwapTotal:      67108856 kB
SwapFree:       67097568 kB
Dirty:             19088 kB
Writeback:            24 kB
AnonPages:       3277752 kB
Mapped:            11448 kB
Shmem:                 0 kB
Slab:             600312 kB
SReclaimable:      44396 kB
SUnreclaim:       555916 kB
KernelStack:        1464 kB
PageTables:        10208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3420396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    714752 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 node139 at 2016-06-29 19:33:42