Trace number 4079170

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.07 1800.42

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/
10orplus/normalized-konq-plugins.cudf.trendy.opb
MD5SUMbfea42ef2499745a23486e87221f4ebe
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2624366011833
Best CPU time to get the best result obtained on this benchmark90.6972
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21101
Total number of constraints100032
Number of constraints which are clauses98467
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 8586
Biggest coefficient in the objective function 79229972375
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234599911309658
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79229972375
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234599911309658
Number of bits of the biggest sum of numbers48
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T05:54:03+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-4079170-1465271642.opb"]
0.00/0.01	c use --random-gen="2682371850 366354925 1074148919 2023674677 1265556870 2167729453 3119916030 824897181 1870014258 815759012 659711396 1431034916 4151053698 4178475556 2438221444 3488754974 970904831 1437653779 3340740063 429139572 3528329671 3696864414 1571042215 3810975398 2809874138 1408400878 1941661106 4081115571 2460175894 2435076621 2127927142 2242778608 326627930 3007329151 61737897 3332980578 3739916229 3270184653 3904509950 4146277627 3458531279 835283453 383667144 2701047809 4202436869 508985184 1106147813 1123961308 3087645133 3430102772 351207030 4187836405 1686976314 2189567841 2666078547 2790111858 1969516168 1582463921 3677438034 1185520489 2347061253 1060097496 3740590728 2528328317 4029772436 576809196 722480046 2525421643 2560835250 1264314213 1917630053 1528253176 170331986 1139905855 499655042 1699904755 2685566605 2688429469 644255645 3920865750 621303538 4294960680 1478966400 1914422354 2078147896 531293881 2583376777 3639639566 2364474786 3525943904 4054622636 1953403009 3360761110 265993058 3712485129 346766575 411947078 2043069074 2950094529 2086623350 46548552 2734968589 1667185358 2691654657 1043500453 1014515944 1947872628 2626724726 265009670 3333114691 4017547438 3101581885 25686776 2101913617 2208062110 3258903832 2712385794 47176243 2536156573 2655511210 3107502138 266583588 829491984 805569857 3887146112 2921078912 3495102310 1654517787 2703356771 868403838 1997019323 3386866762 320650143 740052344 4265935810 2180790660 2475770201 233899048 4059580216 2784145047 2577234628 3586730255 1868461065 3790289851 2546997633 3606716129 1327232850 3497696036 1762290733 3214854162 199167864 2092725604 390863119 3942562379 3273757301 4067097045 1687979840 1263960248 3681761802 3204463655 33378809 1842986245 1043132716 2983610238 594252748 175976070 654150638 4197613274 2263409694 1833143701 669689015 3894474304 3748558439 1447299123 1307977363 1396499276 2587621960 111806271 2089252904 475896349 2663738013 1259105665 1744550135 79259586 2322719422 3721590165 402277157 3127584924 1803072584 1237746408 1894718609 2884882161 3403054975 2876528517 2673242100 1211400372 1971067477 691731016 1591195810 1440498260 2993890463 2336420613 2625866567 1991729220 2238500717 3565804950 437240320 4049108578 1644285245 4008423287 2350015690 2974776029 1191758490 2135601107 2553542436 2914627397 2172453789 3897095646 585622707 1565074414 3421738333 2146009069 1746061822 1174549556 2461619520 1079573307 464242945 2631118553 1062435962 2778733405 3686487293 71131307 395905296 786078959 3954961535 2370803147 2238777287 1458521716 204330571 1749802543 3438619550 865570730 1516789136 503103449 3745941311 2240545856 1659506536 3908431186 1598508501 636199653 3760452505 3549093010 2344976186 2141932234 1163701497 3870584600 255 362436" option to reproduce the execution
0.68/0.72	c #vars 21101
0.68/0.72	c #constraints 100032
2.20/2.30	c BCD2: Hardening is enabled.
2.20/2.30	c BCD2: BiasedSearch is enabled.
2.20/2.30	c Solving starts ...
2.20/2.30	c ============================[ Search Statistics ]============================
2.20/2.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.30	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.30	c =============================================================================
2.30/2.30	c  0.0s |       0 |        0 |        0 |    39935      0 |     1202 |        0
2.99/3.02	c  0.7s |       1 |    81702 |      100 |    39935      0 |     1202 |     1291
4.79/4.88	c  2.6s |       2 |   277120 |      250 |    43929      0 |     1202 |     1291
5.79/5.83	c  3.5s |       2 |   399651 |      350 |    48322      0 |     1202 |     1291
5.79/5.83	c #cpu_time = 3.506s
5.79/5.83	c #wall_clock_time = 3.515s
5.79/5.83	c #decision = 399651
5.79/5.83	c #random_decision = 1225
5.79/5.83	c #conflict = 350
5.79/5.83	c #restart = 2
5.79/5.83	o 51066862414659

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

pid=15969
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.24 2.25 2.26 4/179 15972
/proc/meminfo: memFree=27831912/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=731716 CPUtime=0 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 2732 0 0 0 0 0 0 0 20 0 4 0 109096219 749277184 3092 33554432000 4194304 16246674 140736311978464 140736311977888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 183441 3101 442 2943 0 180335 0
[pid=15972/tid=15973] ppid=15969 vsize=749124 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 767102976 3162 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=754244 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 772345856 3181 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=758340 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 776540160 3196 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.24 2.25 2.26 4/179 15972
/proc/meminfo: memFree=27831912/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 30751 0 0 0 5 4 0 0 20 0 4 0 109096219 1334382592 31050 33554432000 4194304 16246674 140736311978464 140736311977776 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 325777 31066 800 2943 0 322671 0
[pid=15972/tid=15973] ppid=15969 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1334382592 31076 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1334382592 31088 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1334382592 31099 33554432000 4194304 16246674 140736311978464 140298931924144 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) 1303108

[startup+0.200627 s]
/proc/loadavg: 2.24 2.25 2.26 4/179 15972
/proc/meminfo: memFree=27831912/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 51616 0 0 0 12 6 0 0 20 0 4 0 109096219 1344868352 52425 33554432000 4194304 16246674 140736311978464 140736311977776 7374731 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 328337 52425 800 2943 0 325231 0
[pid=15972/tid=15973] ppid=15969 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1344868352 52425 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1344868352 52425 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1344868352 52425 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300507 s]
/proc/loadavg: 2.24 2.25 2.26 4/179 15972
/proc/meminfo: memFree=27831912/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 63866 0 0 0 21 8 0 0 20 0 4 0 109096219 1344868352 64675 33554432000 4194304 16246674 140736311978464 140736311977776 4220577 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 328337 64675 801 2943 0 325231 0
[pid=15972/tid=15973] ppid=15969 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1344868352 64675 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1344868352 64675 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1344868352 64675 33554432000 4194304 16246674 140736311978464 140298931924144 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) 1313348

[startup+0.700435 s]
/proc/loadavg: 2.24 2.25 2.26 4/179 15972
/proc/meminfo: memFree=27831912/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1319492 CPUtime=0.68 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 75571 0 0 0 58 10 0 0 20 0 4 0 109096219 1351159808 77402 33554432000 4194304 16246674 140736311978464 140736311961456 4206649 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 329873 77402 802 2943 0 326767 0
[pid=15972/tid=15973] ppid=15969 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1351159808 77402 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1351159808 77402 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1351159808 77402 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1319492

[startup+1.50041 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 15976
/proc/meminfo: memFree=27373016/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 192450 0 0 0 122 27 0 0 20 0 4 0 109096219 1351159808 194282 33554432000 4194304 16246674 140736311978464 140736311960384 6155670 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 329873 194292 841 2943 0 326767 0
[pid=15972/tid=15973] ppid=15969 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1351159808 194298 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1351159808 194302 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1351159808 194308 33554432000 4194304 16246674 140736311978464 140298931924144 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) 1319492

[startup+3.10044 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 15977
/proc/meminfo: memFree=26729144/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 273565 0 0 0 270 39 0 0 20 0 4 0 109096219 1370034176 275907 33554432000 4194304 16246674 140736311978464 140736311960384 5672257 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 334481 275907 890 2943 0 331375 0
[pid=15972/tid=15973] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1370034176 275907 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275907 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275907 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30044 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 15977
/proc/meminfo: memFree=26686784/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1337924 CPUtime=6.29 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 273639 0 0 0 590 39 0 0 20 0 4 0 109096219 1370034176 275981 33554432000 4194304 16246674 140736311978464 140736311960384 12449372 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 334481 275981 904 2943 0 331375 0
[pid=15972/tid=15973] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1370034176 275981 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275981 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275981 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1337924

[startup+12.7003 s]
/proc/loadavg: 2.18 2.24 2.25 3/183 15977
/proc/meminfo: memFree=26686900/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1337924 CPUtime=12.69 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 273639 0 0 0 1230 39 0 0 20 0 4 0 109096219 1370034176 275981 33554432000 4194304 16246674 140736311978464 140736311960384 12413857 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 334481 275981 904 2943 0 331375 0
[pid=15972/tid=15973] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1370034176 275981 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275981 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275981 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.24 2.25 2.26 3/183 15977
/proc/meminfo: memFree=26646056/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1337924 CPUtime=25.49 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 273639 0 0 0 2510 39 0 0 20 0 4 0 109096219 1370034176 275981 33554432000 4194304 16246674 140736311978464 140736311960384 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 334481 275981 904 2943 0 331375 0
[pid=15972/tid=15973] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1370034176 275981 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275981 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275981 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.15 2.23 2.25 4/183 15977
/proc/meminfo: memFree=26411412/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1337924 CPUtime=51.08 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 273639 0 0 0 5069 39 0 0 20 0 4 0 109096219 1370034176 275981 33554432000 4194304 16246674 140736311978464 140736311960384 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 334481 275981 904 2943 0 331375 0
[pid=15972/tid=15973] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1370034176 275981 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275981 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275981 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.3 s]
/proc/loadavg: 2.15 2.21 2.24 4/183 15978
/proc/meminfo: memFree=27121676/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1337924 CPUtime=102.28 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 273640 0 0 0 10189 39 0 0 20 0 4 0 109096219 1370034176 275982 33554432000 4194304 16246674 140736311978464 140736311960384 12429200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 334481 275982 904 2943 0 331375 0
[pid=15972/tid=15973] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1370034176 275982 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275982 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1370034176 275982 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924


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

/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1476988928 302350 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1442372

[startup+1302.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 16864
/proc/meminfo: memFree=27985620/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1526340 CPUtime=1302.08 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 320748 0 0 0 130161 47 0 0 20 0 4 0 109096219 1562972160 323342 33554432000 4194304 16246674 140736311978464 140736311977776 12429113 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15972/statm: 381585 323342 904 2943 0 378479 0
[pid=15972/tid=15973] ppid=15969 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1562972160 323342 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1562972160 323342 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1562972160 323342 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1526340

[startup+1362.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/183 16865
/proc/meminfo: memFree=27970028/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1541700 CPUtime=1362.06 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 324589 0 0 0 136158 48 0 0 20 0 4 0 109096219 1578700800 327182 33554432000 4194304 16246674 140736311978464 140736311976320 4206568 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 385425 327182 904 2943 0 382319 0
[pid=15972/tid=15973] ppid=15969 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1578700800 327182 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1578700800 327182 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1578700800 327182 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1541700

[startup+1422.3 s]
/proc/loadavg: 2.31 2.21 2.19 3/183 16866
/proc/meminfo: memFree=27970180/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1541700 CPUtime=1422.06 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 324592 0 0 0 142157 49 0 0 20 0 4 0 109096219 1578700800 327182 33554432000 4194304 16246674 140736311978464 140736311960384 13879865 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 385425 327182 904 2943 0 382319 0
[pid=15972/tid=15973] ppid=15969 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1578700800 327182 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1578700800 327182 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1541700 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1578700800 327182 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1541700

[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.18 4/183 16867
/proc/meminfo: memFree=27966000/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1545796 CPUtime=1482.04 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 325617 0 0 0 148154 50 0 0 20 0 4 0 109096219 1582895104 328206 33554432000 4194304 16246674 140736311978464 140736311977776 12429021 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15972/statm: 386449 328206 904 2943 0 383343 0
[pid=15972/tid=15973] ppid=15969 vsize=1545796 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1582895104 328206 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1545796 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1582895104 328206 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1545796 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1582895104 328206 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1545796

[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.18 3/183 16869
/proc/meminfo: memFree=27958472/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1552964 CPUtime=1542.02 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 327413 0 0 0 154152 50 0 0 20 0 4 0 109096219 1590235136 329998 33554432000 4194304 16246674 140736311978464 140736311976256 13885029 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15972/statm: 388241 329998 904 2943 0 385135 0
[pid=15972/tid=15973] ppid=15969 vsize=1552964 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1590235136 329998 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1552964 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1590235136 329998 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1552964 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1590235136 329998 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1552964

[startup+1602.3 s]
/proc/loadavg: 2.16 2.17 2.18 3/184 16873
/proc/meminfo: memFree=27946632/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1565252 CPUtime=1601.99 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 330487 0 0 0 160148 51 0 0 20 0 4 0 109096219 1602818048 333070 33554432000 4194304 16246674 140736311978464 140736311960384 4221027 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 391313 333070 904 2943 0 388207 0
[pid=15972/tid=15973] ppid=15969 vsize=1565252 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1602818048 333070 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1565252 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096220 1602818048 333070 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1565252 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1602818048 333070 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1565252

[startup+1662.3 s]
/proc/loadavg: 2.12 2.15 2.17 3/183 16874
/proc/meminfo: memFree=27941952/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1569348 CPUtime=1661.98 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 331513 0 0 0 166147 51 0 0 20 0 4 0 109096219 1607012352 334094 33554432000 4194304 16246674 140736311978464 140736311960384 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 392337 334094 904 2943 0 389231 0
[pid=15972/tid=15973] ppid=15969 vsize=1569348 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1607012352 334094 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1569348 CPUtime=0.01 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109096220 1607012352 334094 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1569348 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1607012352 334094 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1569348

[startup+1722.3 s]
/proc/loadavg: 2.26 2.18 2.18 3/183 16875
/proc/meminfo: memFree=27940388/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1571396 CPUtime=1721.96 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 332031 0 0 0 172144 52 0 0 20 0 4 0 109096219 1609109504 334606 33554432000 4194304 16246674 140736311978464 140736311977776 4221116 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15972/statm: 392849 334606 904 2943 0 389743 0
[pid=15972/tid=15973] ppid=15969 vsize=1571396 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1609109504 334606 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1571396 CPUtime=0.01 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109096220 1609109504 334606 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1571396 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1609109504 334606 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1571396

[startup+1782.3 s]
/proc/loadavg: 2.38 2.23 2.19 3/183 16876
/proc/meminfo: memFree=27925776/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1585732 CPUtime=1781.93 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 335615 0 0 0 178141 52 0 0 20 0 4 0 109096219 1623789568 338190 33554432000 4194304 16246674 140736311978464 140736311960384 12655088 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15972/statm: 396433 338190 904 2943 0 393327 0
[pid=15972/tid=15973] ppid=15969 vsize=1585732 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1623789568 338190 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1585732 CPUtime=0.01 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109096220 1623789568 338190 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1585732 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1623789568 338190 33554432000 4194304 16246674 140736311978464 140298931924144 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) 1585732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.21 2.19 4/183 16877
/proc/meminfo: memFree=27925872/32872528 swapFree=17452/1581112
[pid=15972] ppid=15969 vsize=1585732 CPUtime=1800.04 cores=1,3,5,7
/proc/15972/stat : 15972 (toysat) R 15969 15972 13546 0 -1 4202496 335615 0 0 0 179951 53 0 0 20 0 4 0 109096219 1623789568 338190 33554432000 4194304 16246674 140736311978464 140736311960384 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15972/statm: 396433 338190 904 2943 0 393327 0
[pid=15972/tid=15973] ppid=15969 vsize=1585732 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15973/stat : 15973 (toysat) S 15969 15972 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109096219 1623789568 338190 33554432000 4194304 16246674 140736311978464 140299027328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15972/tid=15974] ppid=15969 vsize=1585732 CPUtime=0.01 cores=1,3,5,7
/proc/15972/task/15974/stat : 15974 (toysat) S 15969 15972 13546 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 109096220 1623789568 338190 33554432000 4194304 16246674 140736311978464 140299016838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=15972/tid=15975] ppid=15969 vsize=1585732 CPUtime=0 cores=1,3,5,7
/proc/15972/task/15975/stat : 15975 (toysat) S 15969 15972 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096220 1623789568 338190 33554432000 4194304 16246674 140736311978464 140298931924144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1585732

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 15972 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.42
CPU time (s): 1800.07
CPU user time (s): 1799.52
CPU system time (s): 0.549916
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 1585732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.549916
maximum resident set size= 1352760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335615
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= 1996
involuntary context switches= 3157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.41757 second user time and 11.8362 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 05:54:03
IDJOB=4079170
IDBENCH=72414
IDSOLVER=2542
FILE ID=node139/4079170-1465271642
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-konq-plugins.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079170-1465271642/watcher-4079170-1465271642 -o /tmp/evaluation-result-4079170-1465271642/solver-4079170-1465271642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079170-1465271642.opb

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

MD5SUM BENCH= bfea42ef2499745a23486e87221f4ebe
RANDOM SEED=1030461296

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27832564 kB
Buffers:           58260 kB
Cached:            98512 kB
SwapCached:          948 kB
Active:          2640288 kB
Inactive:          81396 kB
Active(anon):    2563928 kB
Inactive(anon):     3236 kB
Active(file):      76360 kB
Inactive(file):    78160 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099808 kB
Dirty:             19816 kB
Writeback:             0 kB
AnonPages:       4145608 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             598040 kB
SReclaimable:      41920 kB
SUnreclaim:       556120 kB
KernelStack:        1456 kB
PageTables:        12276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4286284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1851392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node139 at 2016-06-07 06:24:03