Trace number 4079179

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

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/
normalized-plasma-widgets-workspace.cudf.trendy.opb
MD5SUM326ff224195d4181cc1fe63d0e795882
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2701659046637
Best CPU time to get the best result obtained on this benchmark99.2939
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-07T06:01:04+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079179-1465272064.opb"]
0.00/0.01	c use --random-gen="3199862251 3409060399 2982308611 2034397740 2412207853 831537077 2377363327 1468032019 3542325396 4121825779 3080667602 1990969367 1671253675 2861761978 121804810 995643822 3410096566 3334486053 1681729233 2717259979 3375924277 2805303656 265788437 3321475675 1939282397 3559578290 1756108254 1869518895 2080428403 1019446326 1372575859 2941323875 1424993348 944762555 2273695270 2736765095 3503327076 3533480181 4132026507 1611032906 3838848301 653287165 3158056216 2136805276 2701830103 928779648 1186202177 1707170781 1789547452 1856378135 556551296 189681179 3970316098 3363555893 3148955651 74996814 777978250 4203472261 4231023732 4236972588 2857834845 1084957253 899228115 3815060808 2606359703 2405336229 129283407 947193969 3017828313 4275338535 2594174126 2688403210 838616379 1189049246 3684427751 3320436644 462887679 2412779665 457369470 4015199816 1030199597 1694135135 2169810835 2408798613 3477602872 260047811 2830842676 4197312862 2642467649 296907711 1676087160 1291176391 2941697970 2851648264 3782476341 1196835826 2139734323 3915683254 836173240 1186954964 319643924 2872287312 1822009289 2346735561 848214770 2961718971 867348138 2197478507 1304166224 3430267220 1488799333 3029170349 36142692 354515050 2069102715 65433208 3470961873 1414029374 483567552 3133493662 153092795 2128003768 630884419 1187449856 2745896200 885400306 2374880866 1623726574 449862814 817637526 1653609253 1046199994 3606703373 1299108056 2611984228 3616730251 2141592895 1099091575 4026203656 537730720 1189373878 244275768 132717303 1786004599 3779227554 2452624750 1060865922 3347280638 3036062147 3398962178 846319033 2991197019 1190196574 510355426 2100808081 727541770 3619885351 2045140820 3590337277 2888860062 1947272439 2816711724 3405752257 2576006602 1415537372 2860873298 2275249919 3071909037 4260003564 1498841171 2188173975 4113416900 3110900153 2255795419 2367238154 2944386632 3662384486 2170715779 51861306 3657651616 3176392281 1706818114 1856971514 3724190270 1469037663 3414278016 1395141398 3525838909 3013013566 4283304032 1541331407 2909841711 1321080767 3079121154 892717399 3398345554 3665209302 1657564258 1155859067 1925547450 4055268940 23543321 2434236362 447416062 455867994 642804993 4261807995 1887128930 417158289 4150486944 2874036718 114662598 3457325248 3741644349 2926736372 937550148 1798471193 2872742972 193495986 774923062 914434139 3967057345 1644494856 1229506381 4043616653 439957730 802898757 4027479704 4238734271 3814174697 1308714825 2503301767 687747398 3106189966 2574764722 273621400 1524702865 3809621747 1765728338 2857726487 3853886889 3045458219 3571239635 1160960462 2660761718 352656743 526525109 1383016695 746032443 2904788102 2968504566 148885256 157866186 1347359992 1534684153 1931790961 255 362436" option to reproduce the execution
0.69/0.72	c #vars 21101
0.69/0.72	c #constraints 100032
2.19/2.30	c BCD2: Hardening is enabled.
2.19/2.30	c BCD2: BiasedSearch is enabled.
2.19/2.30	c Solving starts ...
2.19/2.30	c ============================[ Search Statistics ]============================
2.19/2.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.30	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.30	c =============================================================================
2.19/2.30	c  0.0s |       0 |        0 |        0 |    39935      0 |     1202 |        0
2.89/2.98	c  0.7s |       1 |    76566 |      100 |    39935      0 |     1202 |     1291
4.69/4.75	c  2.5s |       2 |   274748 |      250 |    43929      0 |     1202 |     1291
5.59/5.67	c  3.4s |       2 |   389959 |      337 |    48322      0 |     1202 |     1291
5.59/5.67	c #cpu_time = 3.349s
5.59/5.67	c #wall_clock_time = 3.358s
5.59/5.67	c #decision = 389959
5.59/5.67	c #random_decision = 1112
5.59/5.67	c #conflict = 337
5.59/5.67	c #restart = 2
5.59/5.67	o 52333859432697

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

pid=10647
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.10 2.30 2.85 3/180 10650
/proc/meminfo: memFree=30085612/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 2921 0 0 0 0 0 0 0 20 0 4 0 109140002 798420992 2771 33554432000 4194304 16246674 140736116527360 140736116526784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 195695 2780 441 2943 0 192589 0
[pid=10650/tid=10651] ppid=10647 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 816246784 2839 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 821489664 2859 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109140003 825683968 2875 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100188 s]
/proc/loadavg: 2.10 2.30 2.85 3/180 10650
/proc/meminfo: memFree=30085612/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 31220 0 0 0 5 4 0 0 20 0 4 0 109140002 1334382592 31008 33554432000 4194304 16246674 140736116527360 140736116526672 7382994 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 325777 31025 799 2943 0 322671 0
[pid=10650/tid=10651] ppid=10647 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1334382592 31035 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1334382592 31047 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1334382592 31059 33554432000 4194304 16246674 140736116527360 140718982024368 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.20055 s]
/proc/loadavg: 2.10 2.30 2.85 3/180 10650
/proc/meminfo: memFree=30085612/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 51616 0 0 0 12 7 0 0 20 0 4 0 109140002 1344868352 51915 33554432000 4194304 16246674 140736116527360 140736116526672 7371200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 328337 51915 799 2943 0 325231 0
[pid=10650/tid=10651] ppid=10647 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1344868352 51915 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1344868352 51915 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1344868352 51915 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300517 s]
/proc/loadavg: 2.10 2.30 2.85 3/180 10650
/proc/meminfo: memFree=30085612/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 63866 0 0 0 21 8 0 0 20 0 4 0 109140002 1344868352 64165 33554432000 4194304 16246674 140736116527360 140736116526672 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 328337 64165 800 2943 0 325231 0
[pid=10650/tid=10651] ppid=10647 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1344868352 64165 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1344868352 64165 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1344868352 64165 33554432000 4194304 16246674 140736116527360 140718982024368 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.10 2.30 2.85 3/180 10650
/proc/meminfo: memFree=30085612/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1319492 CPUtime=0.69 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 75571 0 0 0 59 10 0 0 20 0 4 0 109140002 1351159808 76892 33554432000 4194304 16246674 140736116527360 140736116510352 4225315 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 329873 76892 801 2943 0 326767 0
[pid=10650/tid=10651] ppid=10647 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1351159808 76892 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1351159808 76892 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1351159808 76892 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1319492

[startup+1.50042 s]
/proc/loadavg: 2.10 2.30 2.85 3/184 10654
/proc/meminfo: memFree=29195528/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 192870 0 0 0 124 25 0 0 20 0 4 0 109140002 1351159808 194192 33554432000 4194304 16246674 140736116527360 140736116510352 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 329873 194202 840 2943 0 326767 0
[pid=10650/tid=10651] ppid=10647 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1351159808 194208 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1351159808 194214 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1351159808 194219 33554432000 4194304 16246674 140736116527360 140718982024368 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.10043 s]
/proc/loadavg: 2.10 2.30 2.85 3/184 10654
/proc/meminfo: memFree=27961804/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 273567 0 0 0 271 38 0 0 20 0 4 0 109140002 1370034176 275399 33554432000 4194304 16246674 140736116527360 140736116509248 5823242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 334481 275399 889 2943 0 331375 0
[pid=10650/tid=10651] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275399 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275399 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275399 33554432000 4194304 16246674 140736116527360 140718982024368 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.30043 s]
/proc/loadavg: 2.09 2.29 2.84 3/184 10654
/proc/meminfo: memFree=27958968/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1337924 CPUtime=6.29 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 273640 0 0 0 591 38 0 0 20 0 4 0 109140002 1370034176 275472 33554432000 4194304 16246674 140736116527360 140736116509248 12449395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 334481 275472 903 2943 0 331375 0
[pid=10650/tid=10651] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140718982024368 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.7004 s]
/proc/loadavg: 2.08 2.29 2.84 3/184 10654
/proc/meminfo: memFree=27959156/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1337924 CPUtime=12.68 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 273640 0 0 0 1230 38 0 0 20 0 4 0 109140002 1370034176 275472 33554432000 4194304 16246674 140736116527360 140736116509248 12654207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 334481 275472 903 2943 0 331375 0
[pid=10650/tid=10651] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.06 2.27 2.83 3/184 10655
/proc/meminfo: memFree=27960216/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1337924 CPUtime=25.49 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 273640 0 0 0 2510 39 0 0 20 0 4 0 109140002 1370034176 275472 33554432000 4194304 16246674 140736116527360 140736116509248 12429087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 334481 275472 903 2943 0 331375 0
[pid=10650/tid=10651] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140718982024368 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.18 2.28 2.81 4/184 10655
/proc/meminfo: memFree=27960312/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1337924 CPUtime=51.09 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 273640 0 0 0 5070 39 0 0 20 0 4 0 109140002 1370034176 275472 33554432000 4194304 16246674 140736116527360 140736116509248 12417472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 334481 275472 903 2943 0 331375 0
[pid=10650/tid=10651] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275472 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1337924

[startup+102.301 s]
/proc/loadavg: 2.13 2.25 2.77 3/183 10656
/proc/meminfo: memFree=27959472/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1337924 CPUtime=102.29 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 273641 0 0 0 10190 39 0 0 20 0 4 0 109140002 1370034176 275473 33554432000 4194304 16246674 140736116527360 140736116509248 6955548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 334481 275473 903 2943 0 331375 0
[pid=10650/tid=10651] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275473 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275473 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1370034176 275473 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1337924


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

/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1504251904 308497 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1468996

[startup+1302.3 s]
/proc/loadavg: 2.25 2.26 2.38 3/183 10686
/proc/meminfo: memFree=27678020/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1513028 CPUtime=1302.06 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 317453 0 0 0 130158 48 0 0 20 0 4 0 109140002 1549340672 319505 33554432000 4194304 16246674 140736116527360 140736116526536 4220501 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 378257 319505 903 2943 0 375151 0
[pid=10650/tid=10651] ppid=10647 vsize=1513028 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1549340672 319505 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1513028 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1549340672 319505 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1513028 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1549340672 319505 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1513028

[startup+1362.3 s]
/proc/loadavg: 2.36 2.29 2.37 4/182 10687
/proc/meminfo: memFree=27617012/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1527364 CPUtime=1362.05 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 321042 0 0 0 136156 49 0 0 20 0 4 0 109140002 1564020736 323091 33554432000 4194304 16246674 140736116527360 140736116526672 13949808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 381841 323091 904 2943 0 378735 0
[pid=10650/tid=10651] ppid=10647 vsize=1527364 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1564020736 323091 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1527364 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1564020736 323091 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1527364 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1564020736 323091 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1527364

[startup+1422.3 s]
/proc/loadavg: 2.17 2.25 2.35 3/183 10689
/proc/meminfo: memFree=27583612/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1535556 CPUtime=1422.04 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 323093 0 0 0 142154 50 0 0 20 0 4 0 109140002 1572409344 325139 33554432000 4194304 16246674 140736116527360 140736116509248 4206979 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 383889 325139 904 2943 0 380783 0
[pid=10650/tid=10651] ppid=10647 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1572409344 325139 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1572409344 325139 33554432000 4194304 16246674 140736116527360 140718992497680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1572409344 325139 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1535556

[startup+1482.3 s]
/proc/loadavg: 2.17 2.23 2.34 3/183 10690
/proc/meminfo: memFree=27569016/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1535556 CPUtime=1482.02 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 323093 0 0 0 148152 50 0 0 20 0 4 0 109140002 1572409344 325139 33554432000 4194304 16246674 140736116527360 140736116525248 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 383889 325139 904 2943 0 380783 0
[pid=10650/tid=10651] ppid=10647 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1572409344 325139 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109140003 1572409344 325139 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1572409344 325139 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1535556

[startup+1542.31 s]
/proc/loadavg: 2.16 2.22 2.33 3/183 10691
/proc/meminfo: memFree=27530448/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1563204 CPUtime=1542.02 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 330009 0 0 0 154150 52 0 0 20 0 4 0 109140002 1600720896 332051 33554432000 4194304 16246674 140736116527360 140736116525184 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 390801 332051 904 2943 0 387695 0
[pid=10650/tid=10651] ppid=10647 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1600720896 332051 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1563204 CPUtime=0.01 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 109140003 1600720896 332051 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1600720896 332051 33554432000 4194304 16246674 140736116527360 140718982024368 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) 1563204

[startup+1602.3 s]
/proc/loadavg: 2.19 2.22 2.32 3/183 10693
/proc/meminfo: memFree=27530332/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1563204 CPUtime=1602.01 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 330009 0 0 0 160149 52 0 0 20 0 4 0 109140002 1600720896 332051 33554432000 4194304 16246674 140736116527360 140736116525184 4220965 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 390801 332051 904 2943 0 387695 0
[pid=10650/tid=10651] ppid=10647 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1600720896 332051 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1563204 CPUtime=0.01 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 109140003 1600720896 332051 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1600720896 332051 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1563204

[startup+1662.3 s]
/proc/loadavg: 2.18 2.22 2.31 3/183 10694
/proc/meminfo: memFree=27515944/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1568324 CPUtime=1661.99 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 331289 0 0 0 166147 52 0 0 20 0 4 0 109140002 1605963776 333331 33554432000 4194304 16246674 140736116527360 140736116526672 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 392081 333331 904 2943 0 388975 0
[pid=10650/tid=10651] ppid=10647 vsize=1568324 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1605963776 333331 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1568324 CPUtime=0.01 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 109140003 1605963776 333331 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1568324 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1605963776 333331 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1568324

[startup+1722.3 s]
/proc/loadavg: 2.21 2.21 2.30 3/183 10695
/proc/meminfo: memFree=27486560/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1575492 CPUtime=1721.98 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 333081 0 0 0 172146 52 0 0 20 0 4 0 109140002 1613303808 335123 33554432000 4194304 16246674 140736116527360 140736116526672 12371432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 393873 335123 904 2943 0 390767 0
[pid=10650/tid=10651] ppid=10647 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1575492 CPUtime=0.01 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1575492

[startup+1782.3 s]
/proc/loadavg: 2.20 2.20 2.29 4/184 10699
/proc/meminfo: memFree=27476256/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1575492 CPUtime=1781.98 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 333081 0 0 0 178145 53 0 0 20 0 4 0 109140002 1613303808 335123 33554432000 4194304 16246674 140736116527360 140736116526672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 393873 335123 904 2943 0 390767 0
[pid=10650/tid=10651] ppid=10647 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1575492 CPUtime=0.01 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1575492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.28 2.22 2.29 3/183 10699
/proc/meminfo: memFree=27476388/32872528 swapFree=16080/1655368
[pid=10650] ppid=10647 vsize=1575492 CPUtime=1800.07 cores=1,3,5,7
/proc/10650/stat : 10650 (toysat) R 10647 10650 3593 0 -1 4202496 333081 0 0 0 179954 53 0 0 20 0 4 0 109140002 1613303808 335123 33554432000 4194304 16246674 140736116527360 140736116526672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10650/statm: 393873 335123 904 2943 0 390767 0
[pid=10650/tid=10651] ppid=10647 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10651/stat : 10651 (toysat) S 10647 10650 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140719002987760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10650/tid=10652] ppid=10647 vsize=1575492 CPUtime=0.01 cores=1,3,5,7
/proc/10650/task/10652/stat : 10652 (toysat) S 10647 10650 3593 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140718992497904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10650/tid=10653] ppid=10647 vsize=1575492 CPUtime=0 cores=1,3,5,7
/proc/10650/task/10653/stat : 10653 (toysat) S 10647 10650 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109140003 1613303808 335123 33554432000 4194304 16246674 140736116527360 140718982024368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1575492

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.55
CPU system time (s): 0.535918
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 1575492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.535918
maximum resident set size= 1340492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333081
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= 1875
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48932 second user time and 6.97994 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 06:01:04
IDJOB=4079179
IDBENCH=72472
IDSOLVER=2542
FILE ID=node122/4079179-1465272064
RUNJOBID= node122-1465272064-10618
PBS_JOBID= 19843267
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-plasma-widgets-workspace.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-4079179-1465272064/watcher-4079179-1465272064 -o /tmp/evaluation-result-4079179-1465272064/solver-4079179-1465272064 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465272064-10618 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079179-1465272064.opb

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

MD5SUM BENCH= 326ff224195d4181cc1fe63d0e795882
RANDOM SEED=286563598

node122.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.898
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.79
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.898
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.898
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.54
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.898
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.898
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.898
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.898
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.898
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:        30114304 kB
Buffers:          125524 kB
Cached:           187808 kB
SwapCached:          860 kB
Active:           171700 kB
Inactive:         193216 kB
Active(anon):      51592 kB
Inactive(anon):     1632 kB
Active(file):     120108 kB
Inactive(file):   191584 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:             39624 kB
Writeback:             0 kB
AnonPages:       1703604 kB
Mapped:             9316 kB
Shmem:                 0 kB
Slab:             601680 kB
SReclaimable:      45440 kB
SUnreclaim:       556240 kB
KernelStack:        1400 kB
PageTables:         9060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2785264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 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 node122 at 2016-06-07 06:31:05