Trace number 4079066

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? (MO) 505.51 505.605

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
MD5SUM433b539d7c7c8ff139e6ea6f7acee573
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3897566335
Best CPU time to get the best result obtained on this benchmark1800.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4026056741
Optimality of the best value was proved NO
Number of variables10894
Total number of constraints825
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)624
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint2
Maximum length of a constraint5038
Number of terms in the objective function 10894
Biggest coefficient in the objective function 1079902210
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 3040671454286
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1079902210
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3040671454286
Number of bits of the biggest sum of numbers42
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-06T20:28:27+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-4079066-1465237707.opb"]
0.00/0.01	c use --random-gen="3582600659 340610097 3336660697 3928824548 371816785 2590895863 3951477899 1004032044 4114814052 3012281937 3050452919 3902826908 3222393648 180657574 2156430569 1761130852 28127254 1127878459 667554977 3892292254 3188591063 2619311837 2747333119 442820170 4148942070 422906728 3841075640 1657334086 1797700070 860783037 2050906111 3878463817 1227441271 2539774883 3475607608 2256136454 3044382822 1758457049 2454308030 1748203565 3504501104 1723343986 3556602329 3533771941 3625353044 2856420570 1780345854 2413659898 3432964696 3107883001 2673510177 737970473 3868017652 3482424510 3353629302 824757748 3668575609 1907346583 3156792451 3103325375 3122641872 4282070694 3723283370 688340717 300842930 1391256170 3416714106 3501389754 1479851779 880187580 1729741109 3949043099 3980987654 591286710 236342269 2717655195 1768076468 643508538 336033935 1939907019 2140025152 138396097 4220485841 2816575325 668284601 169141245 3348207317 1362972790 932707852 593482069 1948615303 3524860359 813770879 1780109386 3330957097 3818840773 1924428305 990568106 2453902417 3929988664 1098348483 439764447 2912037532 502671344 1319155441 3986725235 3599827307 3822782079 850529084 4178831435 217799924 3956479735 1764136864 237613376 3420628672 1833760199 2792516944 3206870879 61358988 3966808565 2481323300 2866877170 2140966710 2401797679 582243888 1850078655 3418043177 2901513488 1915708700 134732936 4124196122 760312863 1848755649 272457763 1832114809 3650924520 2777303957 4231668531 754607306 3236203898 1706465744 2150777749 4274726889 2156710810 848715404 2914713001 3134200220 655826386 2822298601 3311878868 3610277841 2591179590 2504475180 2863152400 4118186123 654137350 3830185020 2049625804 3142721022 4080334683 2205208440 194461050 3650564440 3249142102 370496762 3524492741 390271012 3148026223 700894893 3987238427 562836923 3821457392 1861827832 1971976036 2296795326 3774733326 2210740187 2823569669 2381880458 3211045406 2516445336 2139228275 2559760076 50673620 345512760 2981556774 2175611094 3765884868 2413997178 3526892923 2253973065 3209075853 1351260412 1511484901 3069121072 3976400330 4262486996 3220032948 893646308 4124372570 3074907233 756334599 2730547017 3660523282 2003548447 1878094388 3143620667 565148041 3625113033 3641560820 1960400950 3462987687 1504193327 1556224007 3183479406 3976706672 1307297247 1036476316 2877102179 3026062318 2357265324 3791192014 2168935323 2508290457 3231198220 4150813566 979394490 3714429412 4069490532 1334378489 2020202410 2386314822 1915842888 4255442335 194825209 2176714720 4068694479 3201987875 3458360454 3766664442 847836937 542419833 3541232615 706012694 695810034 4088056838 897307425 1016057928 3069171886 795638861 1850610618 1387269271 2568338840 243484519 485005540 1458539197 255 362436" option to reproduce the execution
0.59/0.60	c #vars 10894
0.59/0.60	c #constraints 825
1.78/1.82	c BCD2: Hardening is enabled.
1.78/1.82	c BCD2: BiasedSearch is enabled.
1.78/1.82	c Solving starts ...
1.78/1.82	c ============================[ Search Statistics ]============================
1.78/1.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.78/1.82	c       |         |          |          |    Limit     GC | Var      | Constra 
1.78/1.82	c =============================================================================
1.78/1.82	c  0.0s |       0 |        0 |        0 |     3906      0 |        0 |        0
1.98/2.03	c  0.2s |       0 |      627 |        0 |     3906      0 |        0 |        0
1.98/2.03	c #cpu_time = 0.145s
1.98/2.03	c #wall_clock_time = 0.145s
1.98/2.03	c #decision = 627
1.98/2.03	c #random_decision = 3
1.98/2.03	c #conflict = 0
1.98/2.03	c #restart = 0
1.98/2.03	o 291751278799
2.39/2.45	c BCD2: updating upper bound: 3040671454286 -> 291751278798
2.69/2.74	c BCD2: 0 <= obj <= 291751278798
2.69/2.74	c BCD2: #cores=0, #unrelaxed=10894, #relaxed=0, #hardened=0
2.69/2.74	c BCD2: #sat=1 #unsat=1 bias=1/2
2.69/2.74	c Solving starts ...
2.69/2.74	c ============================[ Search Statistics ]============================
2.69/2.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.74	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.74	c =============================================================================
2.69/2.74	c  0.0s |       0 |        0 |        0 |     3906      0 |        0 |        0
2.99/3.02	c  0.3s |       0 |     9356 |        8 |     3906      0 |        0 |        0
2.99/3.02	c #cpu_time = 0.218s
2.99/3.02	c #wall_clock_time = 0.218s
2.99/3.02	c #decision = 9356
2.99/3.02	c #random_decision = 0
2.99/3.02	c #conflict = 8
2.99/3.02	c #restart = 0
2.99/3.02	c BCD2: found a new core of size 1423: cost of the new core is >=36367026
2.99/3.02	c lower bound updated to 36367026
3.19/3.29	c BCD2: 36367026 <= obj <= 291751278798
3.19/3.29	c BCD2: #cores=1, #unrelaxed=9471, #relaxed=1423, #hardened=0
3.19/3.29	c BCD2: #sat=1 #unsat=2 bias=2/3
50.08/50.18	c Solving starts ...
50.08/50.18	c ============================[ Search Statistics ]============================
50.08/50.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
50.08/50.18	c       |         |          |          |    Limit     GC | Var      | Constra 
50.08/50.18	c =============================================================================
50.08/50.18	c  0.0s |       0 |        0 |        0 |     3906      0 |        0 |        0
50.38/50.46	c  0.3s |       0 |     8910 |       20 |     3906      0 |        0 |        0
50.38/50.46	c #cpu_time = 0.226s
50.38/50.46	c #wall_clock_time = 0.226s
50.38/50.46	c #decision = 8910
50.38/50.46	c #random_decision = 0
50.38/50.46	c #conflict = 20
50.38/50.46	c #restart = 0
50.48/50.55	c BCD2: found a new core of size 1510: cost of the new core is >=38035602
50.48/50.55	c lower bound updated to 74402628
50.88/50.96	c BCD2: 74402628 <= obj <= 291751278798
50.88/50.96	c BCD2: #cores=2, #unrelaxed=7961, #relaxed=2933, #hardened=0
50.88/50.96	c BCD2: #sat=1 #unsat=3 bias=3/4
112.57/112.65	c Solving starts ...
112.57/112.65	c ============================[ Search Statistics ]============================
112.57/112.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
112.57/112.65	c       |         |          |          |    Limit     GC | Var      | Constra 
112.57/112.65	c =============================================================================
112.57/112.65	c  0.0s |       0 |        0 |        0 |     3906      0 |        0 |        0
112.77/112.83	c  0.2s |       0 |     7752 |       18 |     3906      0 |        0 |        0
112.77/112.83	c #cpu_time = 0.146s
112.77/112.83	c #wall_clock_time = 0.146s
112.77/112.83	c #decision = 7752
112.77/112.83	c #random_decision = 0
112.77/112.83	c #conflict = 18
112.77/112.83	c #restart = 0
112.77/112.84	c BCD2: found a new core of size 391: cost of the new core is >=38035602
112.77/112.84	c lower bound updated to 112438230
113.47/113.56	c BCD2: 112438230 <= obj <= 291751278798
113.47/113.56	c BCD2: #cores=3, #unrelaxed=7570, #relaxed=3324, #hardened=0
113.47/113.56	c BCD2: #sat=1 #unsat=4 bias=4/5
138.07/138.10	c Solving starts ...
138.07/138.10	c ============================[ Search Statistics ]============================
138.07/138.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
138.07/138.10	c       |         |          |          |    Limit     GC | Var      | Constra 
138.07/138.10	c =============================================================================
138.07/138.10	c  0.0s |       0 |        0 |        0 |     3906      0 |        0 |        0
138.47/138.56	c  0.5s |       0 |    11221 |       45 |     3906      0 |        0 |        0
138.47/138.56	c #cpu_time = 0.382s
138.47/138.56	c #wall_clock_time = 0.382s
138.47/138.56	c #decision = 11221
138.47/138.56	c #random_decision = 4
138.47/138.56	c #conflict = 45
138.47/138.56	c #restart = 0
138.47/138.56	o 8277799415
139.47/139.56	c BCD2: updating upper bound: 291751278798 -> 8277799414
140.17/140.22	c BCD2: 112438230 <= obj <= 8277799414
140.17/140.22	c BCD2: #cores=3, #unrelaxed=7570, #relaxed=3324, #hardened=0
140.17/140.22	c BCD2: #sat=2 #unsat=4 bias=4/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-4079066-1465237707/watcher-4079066-1465237707 -o /tmp/evaluation-result-4079066-1465237707/solver-4079066-1465237707 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079066-1465237707.opb 

pid=3102
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.23 2.26 2.20 3/179 3105
/proc/meminfo: memFree=29188676/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=515516 CPUtime=0 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 1885 0 0 0 0 0 0 0 20 0 4 0 105703772 527888384 1735 33554432000 4194304 16246674 140736365144384 140736365143808 15002730 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3105/statm: 129391 1743 441 2943 0 126285 0
[pid=3105/tid=3106] ppid=3102 vsize=531900 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 544665600 1802 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=534972 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 547811328 1814 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=534972 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105703773 547811328 1814 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 3105
/proc/meminfo: memFree=29188676/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 28251 0 0 0 5 4 0 0 20 0 4 0 105703772 1334382592 28038 33554432000 4194304 16246674 140736365144384 140736365143696 7371468 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3105/statm: 325777 28054 800 2943 0 322671 0
[pid=3105/tid=3106] ppid=3102 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 1334382592 28065 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 1334382592 28077 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 1334382592 28089 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200465 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 3105
/proc/meminfo: memFree=29188676/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 48199 0 0 0 13 6 0 0 20 0 4 0 105703772 1344868352 48497 33554432000 4194304 16246674 140736365144384 140736365143696 7440051 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3105/statm: 328337 48497 800 2943 0 325231 0
[pid=3105/tid=3106] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 48497 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 48497 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 48497 33554432000 4194304 16246674 140736365144384 139873225788592 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.300457 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 3105
/proc/meminfo: memFree=29188676/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 56747 0 0 0 21 8 0 0 20 0 4 0 105703772 1344868352 57045 33554432000 4194304 16246674 140736365144384 140736365143696 14073329 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3105/statm: 328337 57045 801 2943 0 325231 0
[pid=3105/tid=3106] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 57045 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 57045 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 57045 33554432000 4194304 16246674 140736365144384 139873225788592 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.700408 s]
/proc/loadavg: 2.23 2.26 2.20 3/179 3105
/proc/meminfo: memFree=29188676/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 67319 0 0 0 59 9 0 0 20 0 4 0 105703772 1344868352 67617 33554432000 4194304 16246674 140736365144384 140736365142272 13753026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 328337 67617 843 2943 0 325231 0
[pid=3105/tid=3106] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 67617 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 67617 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 67617 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 3109
/proc/meminfo: memFree=28918956/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 67323 0 0 0 139 9 0 0 20 0 4 0 105703772 1344868352 67621 33554432000 4194304 16246674 140736365144384 140736365143560 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 328337 67621 845 2943 0 325231 0
[pid=3105/tid=3106] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 67621 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 67621 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 1344868352 67621 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 3109
/proc/meminfo: memFree=28870596/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=1318468 CPUtime=3.09 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 146471 0 0 0 289 20 0 0 20 0 4 0 105703772 1350111232 146769 33554432000 4194304 16246674 140736365144384 140736365127384 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 329617 146769 911 2943 0 326511 0
[pid=3105/tid=3106] ppid=3102 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 1350111232 146769 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 1350111232 146769 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 1350111232 146769 33554432000 4194304 16246674 140736365144384 139873225788592 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) 1318468

[startup+6.30036 s]
/proc/loadavg: 2.29 2.28 2.21 4/183 3109
/proc/meminfo: memFree=27985004/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=1440324 CPUtime=6.28 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 300782 0 0 0 589 39 0 0 20 0 4 0 105703772 1474891776 301080 33554432000 4194304 16246674 140736365144384 140736365143696 12414092 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 360081 301080 911 2943 0 356975 0
[pid=3105/tid=3106] ppid=3102 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 1474891776 301080 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 1474891776 301080 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 1474891776 301080 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1440324

[startup+12.7004 s]
/proc/loadavg: 2.35 2.29 2.21 3/183 3109
/proc/meminfo: memFree=27725240/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=1855044 CPUtime=12.68 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 404462 0 0 0 1215 53 0 0 20 0 4 0 105703772 1899565056 404760 33554432000 4194304 16246674 140736365144384 140736365143696 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 463761 404760 911 2943 0 460655 0
[pid=3105/tid=3106] ppid=3102 vsize=1855044 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 1899565056 404760 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=1855044 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 1899565056 404760 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=1855044 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 1899565056 404760 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1855044

[startup+25.5005 s]
/proc/loadavg: 2.27 2.27 2.20 3/183 3109
/proc/meminfo: memFree=26224184/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=3199556 CPUtime=25.48 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 740590 0 0 0 2446 102 0 0 20 0 4 0 105703772 3276345344 740888 33554432000 4194304 16246674 140736365144384 140736365143696 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 799889 740888 911 2943 0 796783 0
[pid=3105/tid=3106] ppid=3102 vsize=3199556 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 3276345344 740888 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=3199556 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 3276345344 740888 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=3199556 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 3276345344 740888 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3199556

[startup+51.1004 s]
/proc/loadavg: 2.24 2.27 2.20 4/183 3109
/proc/meminfo: memFree=26234200/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=3189316 CPUtime=51.08 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 808175 0 0 0 4993 115 0 0 20 0 4 0 105703772 3265859584 738329 33554432000 4194304 16246674 140736365144384 140736365127376 6955475 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 797329 738329 912 2943 0 794223 0
[pid=3105/tid=3106] ppid=3102 vsize=3189316 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 3265859584 738329 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=3189316 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 3265859584 738329 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=3189316 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 3265859584 738329 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3189316

[startup+102.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/184 3113
/proc/meminfo: memFree=26380940/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=3041860 CPUtime=102.28 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 905455 0 0 0 10097 131 0 0 20 0 4 0 105703772 3114864640 701465 33554432000 4194304 16246674 140736365144384 140736365143480 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 760465 701465 912 2943 0 757359 0
[pid=3105/tid=3106] ppid=3102 vsize=3041860 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 3114864640 701465 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=3041860 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 3114864640 701465 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=3041860 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 3114864640 701465 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3041860

[startup+162.3 s]
/proc/loadavg: 2.21 2.25 2.20 4/183 3114
/proc/meminfo: memFree=26142264/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=3337796 CPUtime=162.26 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 1388276 0 0 0 16020 206 0 0 20 0 4 0 105703772 3417903104 775454 33554432000 4194304 16246674 140736365144384 140736365143560 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 834449 775454 915 2943 0 831343 0
[pid=3105/tid=3106] ppid=3102 vsize=3337796 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 3417903104 775454 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=3337796 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 3417903104 775454 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=3337796 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 3417903104 775454 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3337796

[startup+222.307 s]
/proc/loadavg: 2.25 2.25 2.20 3/183 3115
/proc/meminfo: memFree=19702836/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=9706052 CPUtime=222.26 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 2980341 0 0 0 21809 417 0 0 20 0 4 0 105703772 9938997248 2367775 33554432000 4194304 16246674 140736365144384 140736365142208 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 2426513 2367775 915 2943 0 2423407 0
[pid=3105/tid=3106] ppid=3102 vsize=9706052 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 9938997248 2367775 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=9706052 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 9938997248 2367775 33554432000 4194304 16246674 140736365144384 139873236261904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=9706052 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 9938997248 2367775 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 9706052

[startup+282.3 s]
/proc/loadavg: 2.33 2.26 2.20 3/182 3116
/proc/meminfo: memFree=17061780/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=12341828 CPUtime=282.24 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 3639290 0 0 0 27717 507 0 0 20 0 4 0 105703772 12638031872 3026724 33554432000 4194304 16246674 140736365144384 140736365143480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 3085457 3026724 919 2943 0 3082351 0
[pid=3105/tid=3106] ppid=3102 vsize=12341828 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 12638031872 3026724 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=12341828 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 12638031872 3026724 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=12341828 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 12638031872 3026724 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12341828

[startup+342.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 3118
/proc/meminfo: memFree=16529836/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=12872260 CPUtime=342.23 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 3724377 0 0 0 33700 523 0 0 20 0 4 0 105703772 13181194240 3159332 33554432000 4194304 16246674 140736365144384 140736365142336 4226232 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 3218065 3159332 919 2943 0 3214959 0
[pid=3105/tid=3106] ppid=3102 vsize=12872260 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 13181194240 3159332 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=12872260 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 13181194240 3159332 33554432000 4194304 16246674 140736365144384 139873236261904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=12872260 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 13181194240 3159332 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 12872260

[startup+402.3 s]
/proc/loadavg: 2.16 2.22 2.19 3/183 3119
/proc/meminfo: memFree=13873008/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=15525444 CPUtime=402.22 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 4329668 0 0 0 39609 613 0 0 20 0 4 0 105703772 15898054656 3822366 33554432000 4194304 16246674 140736365144384 140736365142336 4226254 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 3881361 3822366 919 2943 0 3878255 0
[pid=3105/tid=3106] ppid=3102 vsize=15525444 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 15898054656 3822366 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=15525444 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 15898054656 3822366 33554432000 4194304 16246674 140736365144384 139873236261904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=15525444 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 15898054656 3822366 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15525444

[startup+462.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/183 3120
/proc/meminfo: memFree=13864608/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=15525444 CPUtime=462.22 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 4329932 0 0 0 45606 616 0 0 20 0 4 0 105703772 15898054656 3822629 33554432000 4194304 16246674 140736365144384 140736365142208 14003409 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 3881361 3822629 919 2943 0 3878255 0
[pid=3105/tid=3106] ppid=3102 vsize=15525444 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 15898054656 3822629 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=15525444 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 15898054656 3822629 33554432000 4194304 16246674 140736365144384 139873236261904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=15525444 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 15898054656 3822629 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 15525444



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+504.8 s]
/proc/loadavg: 2.30 2.24 2.19 4/183 3121
/proc/meminfo: memFree=13864664/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=15911492 CPUtime=504.7 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) R 3102 3105 1166 0 -1 4202496 4426278 0 0 0 49837 633 0 0 20 0 4 0 105703772 16293367808 3918975 33554432000 4194304 16246674 140736365144384 140736365142208 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 3977873 3918985 919 2943 0 3974767 0
[pid=3105/tid=3106] ppid=3102 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3106/stat : 3106 (toysat) S 3102 3105 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105703773 16293367808 3918992 33554432000 4194304 16246674 140736365144384 139873246751984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) S 3102 3105 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105703773 16293367808 3918999 33554432000 4194304 16246674 140736365144384 139873236262128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3105/tid=3108] ppid=3102 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/3105/task/3108/stat : 3108 (toysat) S 3102 3105 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105703773 16293367808 3919005 33554432000 4194304 16246674 140736365144384 139873225788592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 504.7
Current children cumulated vsize (KiB) 15911492

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

[startup+505.2 s]
/proc/loadavg: 2.30 2.24 2.19 4/181 3121
/proc/meminfo: memFree=15805124/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=0 CPUtime=505.1 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) Z 3102 3105 1166 0 -1 4203532 4426943 0 0 0 49837 673 0 0 20 0 2 0 105703772 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 0 0 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) R 3102 3105 1166 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 105703773 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 505.1
Current children cumulated vsize (KiB) 0

[startup+505.6 s]
/proc/loadavg: 2.30 2.24 2.19 4/181 3121
/proc/meminfo: memFree=15805124/32872528 swapFree=16384/1696552
[pid=3105] ppid=3102 vsize=0 CPUtime=505.5 cores=0,2,4,6
/proc/3105/stat : 3105 (toysat) Z 3102 3105 1166 0 -1 4203532 4426943 0 0 0 49837 713 0 0 20 0 2 0 105703772 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3105/statm: 0 0 0 0 0 0 0
[pid=3105/tid=3107] ppid=3102 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/3105/task/3107/stat : 3107 (toysat) R 3102 3105 1166 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 105703773 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 505.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 505.605
CPU time (s): 505.51
CPU user time (s): 498.376
CPU system time (s): 7.13392
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 15911492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 498.376
system time used= 7.13392
maximum resident set size= 15678560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4426943
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= 253
involuntary context switches= 524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24081 second user time and 1.9817 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 20:28:27
IDJOB=4079066
IDBENCH=2365
IDSOLVER=2542
FILE ID=node125/4079066-1465237707
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079066-1465237707/watcher-4079066-1465237707 -o /tmp/evaluation-result-4079066-1465237707/solver-4079066-1465237707 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079066-1465237707.opb

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

MD5SUM BENCH= 433b539d7c7c8ff139e6ea6f7acee573
RANDOM SEED=1975465757

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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.456
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.456
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.456
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:        29189040 kB
Buffers:           35028 kB
Cached:           127036 kB
SwapCached:         2016 kB
Active:          1220400 kB
Inactive:          58860 kB
Active(anon):    1118192 kB
Inactive(anon):     1380 kB
Active(file):     102208 kB
Inactive(file):    57480 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             19420 kB
Writeback:             0 kB
AnonPages:       2814748 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             568212 kB
SReclaimable:      12136 kB
SUnreclaim:       556076 kB
KernelStack:        1472 kB
PageTables:         9248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2959492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2512896 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= 71704 MiB
End job on node125 at 2016-06-06 20:36:53