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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb
MD5SUMd1d488615de0d5a5bcf2a298507e66b1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 212205129
Optimality of the best value was proved NO
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 72966962
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1241.31
Number of variables2134
Total number of constraints1617
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1290
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint51

Trace number 10452

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-23 18:05:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9153 boxname=wulflinc11 idbench=949 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d1d488615de0d5a5bcf2a298507e66b1  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-fiber.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-fiber.opb
IDLAUNCH: 9153
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        904264 kB
Buffers:          9756 kB
Cached:          95644 kB
SwapCached:          0 kB
Active:          56276 kB
Inactive:        58700 kB
HighTotal:      131008 kB
HighFree:        33068 kB
LowTotal:       903652 kB
LowFree:        871196 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9880 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:25:57 (client local time) WITH STATUS 0 IN 1210.04 SECONDS
stats: 9153 7 1210.04 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 5209/301506	Time: 185.994/86400
c Decision: 5209/301506	Time: 196.445/86400
c Decision: 5214/301506	Time: 216.889/86400
c Decision: 5214/301506	Time: 229.334/86400
c Decision: 5214/301506	Time: 234.723/86400
c Decision: 5214/301506	Time: 245.131/86400
c Decision: 5214/301506	Time: 252.776/86400
c Decision: 5215/301506	Time: 264.185/86400
c Decision: 5224/301506	Time: 282.635/86400
c Decision: 5226/301506	Time: 295.552/86400
c Decision: 5232/301506	Time: 309.12/86400
c Decision: 5234/301506	Time: 321.561/86400
c Decision: 5234/301506	Time: 327.517/86400
c Decision: 5237/301506	Time: 340.582/86400
c Decision: 5237/301506	Time: 348.783/86400
c Decision: 5237/301506	Time: 358.892/86400
c Decision: 5237/301506	Time: 368.942/86400
c Decision: 5237/301506	Time: 378.315/86400
c Decision: 5237/301506	Time: 388.055/86400
c Decision: 5243/301506	Time: 401.187/86400
c Decision: 5243/301506	Time: 412.037/86400
c Decision: 5243/301506	Time: 417.731/86400
c Decision: 5246/301506	Time: 431.581/86400
c Decision: 5249/301506	Time: 450.258/86400
c Decision: 5249/301506	Time: 464.219/86400
c Decision: 5253/301506	Time: 479.63/86400
c Decision: 5253/301506	Time: 491.536/86400
c Decision: 5253/301506	Time: 501.668/86400
c Decision: 5253/301506	Time: 515.529/86400
c Decision: 5253/301506	Time: 523.906/86400
c Decision: 5253/301506	Time: 532.501/86400
c Decision: 5255/301506	Time: 552.567/86400
c Decision: 5269/301506	Time: 565.732/86400
c Decision: 5271/301506	Time: 579.542/86400
c Decision: 5274/301506	Time: 596.91/86400
c Decision: 5277/301506	Time: 613.949/86400
c Decision: 5279/301506	Time: 626.2/86400
c Decision: 5279/301506	Time: 638.969/86400
c Decision: 5279/301506	Time: 653.591/86400
c Decision: 5283/301506	Time: 664.312/86400
c Decision: 5283/301506	Time: 672.269/86400
c Decision: 5283/301506	Time: 686.391/86400
c Decision: 5285/301506	Time: 700.865/86400
c Decision: 5285/301506	Time: 709.891/86400
c Decision: 5285/301506	Time: 722.322/86400
c Decision: 5285/301506	Time: 734.452/86400
c Decision: 5285/301506	Time: 745.46/86400
c Decision: 5287/301506	Time: 760.874/86400
c Decision: 5287/301506	Time: 770.977/86400
c Decision: 5287/301506	Time: 781.057/86400
c Decision: 5287/301506	Time: 787.797/86400
c Decision: 5287/301506	Time: 799.458/86400
c Decision: 5287/301506	Time: 804.102/86400
c Decision: 5290/301506	Time: 819.915/86400
c Decision: 5290/301506	Time: 829.199/86400
c Decision: 5290/301506	Time: 842.638/86400
c Decision: 5290/301506	Time: 853.753/86400
c Decision: 5290/301506	Time: 866.719/86400
c Decision: 5290/301506	Time: 878.054/86400
c Decision: 5290/301506	Time: 892.234/86400
c Decision: 5290/301506	Time: 904.976/86400
c Decision: 5290/301506	Time: 912.12/86400
c Decision: 5290/301506	Time: 926.635/86400
c Decision: 5290/301506	Time: 939.164/86400
c Decision: 5290/301506	Time: 950.4/86400
c Decision: 5290/301506	Time: 963.334/86400
c Decision: 5290/301506	Time: 973.387/86400
c Decision: 5290/301506	Time: 984.33/86400
c Decision: 5290/301506	Time: 997.061/86400
c Decision: 5290/301506	Time: 1008.67/86400
c Decision: 5290/301506	Time: 1017.39/86400
c Decision: 5290/301506	Time: 1032.5/86400
c Decision: 5290/301506	Time: 1043.41/86400
c Decision: 5290/301506	Time: 1055.73/86400
c Decision: 5290/301506	Time: 1067.24/86400
c Decision: 5290/301506	Time: 1078.08/86400
c Decision: 5290/301506	Time: 1089.95/86400
c Decision: 5291/301506	Time: 1104.84/86400
c Decision: 5291/301506	Time: 1113.81/86400
c Decision: 5291/301506	Time: 1123.06/86400
c Decision: 5291/301506	Time: 1136.24/86400
c Decision: 5291/301506	Time: 1145.93/86400
c Decision: 5291/301506	Time: 1155.67/86400
c Decision: 5291/301506	Time: 1167.76/86400
c Decision: 5291/301506	Time: 1176.04/86400
c Decision: 5291/301506	Time: 1185.26/86400s UNKNOWN

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22211839 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 373 2 364 364 0 9 0
[pid=11394] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-fiber.opb

[startup+10.0023 s]
Raw data (loadavg): 0.92 0.95 0.90 2/55 11394
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 28462 0 0 0 930 66 0 0 25 0 1 0 22211839 79835136 17293 4294967295 134512640 135987407 3221224560 3221212256 134639908 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 19491 17293 364 364 0 19127 0
[pid=11394] vsize: 77964
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 77964

[startup+20.004 s]
Raw data (loadavg): 0.93 0.95 0.91 1/55 11394
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 48100 0 0 0 1859 117 0 0 25 0 1 0 22211839 144498688 25276 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 35278 25276 364 364 0 34914 0
[pid=11394] vsize: 141112
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 141112

[startup+30.0048 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 11394
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 48487 0 0 0 2816 133 0 0 25 0 1 0 22211839 146259968 25663 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 35708 25663 364 364 0 35344 0
[pid=11394] vsize: 142832
Current children cumulated CPU time (s) 29.49
Current children cumulated vsize (Kb) 142832

[startup+40.0046 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 48691 0 0 0 3784 143 0 0 25 0 1 0 22211839 147193856 25867 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 35936 25867 364 364 0 35572 0
[pid=11394] vsize: 143744
Current children cumulated CPU time (s) 39.27
Current children cumulated vsize (Kb) 143744

[startup+50.0054 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 48873 0 0 0 4755 153 0 0 25 0 1 0 22211839 148013056 26049 4294967295 134512640 135987407 3221224560 3221223388 134812454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36136 26049 364 364 0 35772 0
[pid=11394] vsize: 144544
Current children cumulated CPU time (s) 49.08
Current children cumulated vsize (Kb) 144544

[startup+60.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49164 0 0 0 5732 163 0 0 25 0 1 0 22211839 149286912 26340 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36447 26340 364 364 0 36083 0
[pid=11394] vsize: 145788
Current children cumulated CPU time (s) 58.95
Current children cumulated vsize (Kb) 145788

[startup+70.0059 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49295 0 0 0 6706 172 0 0 25 0 1 0 22211839 149762048 26471 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36563 26471 364 364 0 36199 0
[pid=11394] vsize: 146252
Current children cumulated CPU time (s) 68.78
Current children cumulated vsize (Kb) 146252

[startup+80.0067 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49358 0 0 0 7685 180 0 0 25 0 1 0 22211839 149762048 26534 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36563 26534 364 364 0 36199 0
[pid=11394] vsize: 146252
Current children cumulated CPU time (s) 78.65
Current children cumulated vsize (Kb) 146252

[startup+90.0065 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49515 0 0 0 8658 189 0 0 25 0 1 0 22211839 150548480 26691 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36755 26691 364 364 0 36391 0
[pid=11394] vsize: 147020
Current children cumulated CPU time (s) 88.47
Current children cumulated vsize (Kb) 147020

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49628 0 0 0 9628 199 0 0 25 0 1 0 22211839 151023616 26804 4294967295 134512640 135987407 3221224560 3221223248 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36871 26804 364 364 0 36507 0
[pid=11394] vsize: 147484
Current children cumulated CPU time (s) 98.27
Current children cumulated vsize (Kb) 147484

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49643 0 0 0 10601 208 0 0 25 0 1 0 22211839 151023616 26819 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36871 26819 364 364 0 36507 0
[pid=11394] vsize: 147484
Current children cumulated CPU time (s) 108.09
Current children cumulated vsize (Kb) 147484

[startup+120.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49686 0 0 0 11569 218 0 0 25 0 1 0 22211839 151310336 26862 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36941 26862 364 364 0 36577 0
[pid=11394] vsize: 147764
Current children cumulated CPU time (s) 117.87
Current children cumulated vsize (Kb) 147764

[startup+130.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49745 0 0 0 12543 226 0 0 25 0 1 0 22211839 151506944 26921 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 36989 26921 364 364 0 36625 0
[pid=11394] vsize: 147956
Current children cumulated CPU time (s) 127.69
Current children cumulated vsize (Kb) 147956

[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49787 0 0 0 13521 233 0 0 25 0 1 0 22211839 151654400 26963 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37025 26963 364 364 0 36661 0
[pid=11394] vsize: 148100
Current children cumulated CPU time (s) 137.54
Current children cumulated vsize (Kb) 148100

[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49858 0 0 0 14498 241 0 0 25 0 1 0 22211839 151973888 27034 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37103 27034 364 364 0 36739 0
[pid=11394] vsize: 148412
Current children cumulated CPU time (s) 147.39
Current children cumulated vsize (Kb) 148412

[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 49876 0 0 0 15473 249 0 0 25 0 1 0 22211839 152137728 27052 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37143 27052 364 364 0 36779 0
[pid=11394] vsize: 148572
Current children cumulated CPU time (s) 157.22
Current children cumulated vsize (Kb) 148572

[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 49939 0 0 0 16446 259 0 0 25 0 1 0 22211839 152285184 27115 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37179 27115 364 364 0 36815 0
[pid=11394] vsize: 148716
Current children cumulated CPU time (s) 167.05
Current children cumulated vsize (Kb) 148716

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 50031 0 0 0 17419 269 0 0 25 0 1 0 22211839 152776704 27207 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37299 27207 364 364 0 36935 0
[pid=11394] vsize: 149196
Current children cumulated CPU time (s) 176.88
Current children cumulated vsize (Kb) 149196

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 50055 0 0 0 18392 278 0 0 25 0 1 0 22211839 152776704 27231 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37299 27231 364 364 0 36935 0
[pid=11394] vsize: 149196
Current children cumulated CPU time (s) 186.7
Current children cumulated vsize (Kb) 149196

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 50123 0 0 0 19359 290 0 0 25 0 1 0 22211839 153137152 27299 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37387 27299 364 364 0 37023 0
[pid=11394] vsize: 149548
Current children cumulated CPU time (s) 196.49
Current children cumulated vsize (Kb) 149548

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 50852 0 0 0 20340 297 0 0 25 0 1 0 22211839 153726976 27439 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37531 27439 364 364 0 37167 0
[pid=11394] vsize: 150124
Current children cumulated CPU time (s) 206.37
Current children cumulated vsize (Kb) 150124

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 51445 0 0 0 21311 307 0 0 25 0 1 0 22211839 153726976 27443 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37531 27443 364 364 0 37167 0
[pid=11394] vsize: 150124
Current children cumulated CPU time (s) 216.18
Current children cumulated vsize (Kb) 150124

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 51471 0 0 0 22286 315 0 0 25 0 1 0 22211839 153726976 27469 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37531 27469 364 364 0 37167 0
[pid=11394] vsize: 150124
Current children cumulated CPU time (s) 226.01
Current children cumulated vsize (Kb) 150124

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 52103 0 0 0 23268 323 0 0 25 0 1 0 22211839 153923584 27512 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37579 27512 364 364 0 37215 0
[pid=11394] vsize: 150316
Current children cumulated CPU time (s) 235.91
Current children cumulated vsize (Kb) 150316

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 52804 0 0 0 24246 331 0 0 25 0 1 0 22211839 154316800 27624 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37675 27624 364 364 0 37311 0
[pid=11394] vsize: 150700
Current children cumulated CPU time (s) 245.77
Current children cumulated vsize (Kb) 150700

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 53422 0 0 0 25216 343 0 0 25 0 1 0 22211839 154513408 27653 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37723 27653 364 364 0 37359 0
[pid=11394] vsize: 150892
Current children cumulated CPU time (s) 255.59
Current children cumulated vsize (Kb) 150892

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 54663 0 0 0 26198 351 0 0 25 0 1 0 22211839 157122560 28305 4294967295 134512640 135987407 3221224560 3221222952 134827509 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 38360 28305 364 364 0 37996 0
[pid=11394] vsize: 153440
Current children cumulated CPU time (s) 265.49
Current children cumulated vsize (Kb) 153440

[startup+280.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 54753 0 0 0 27170 360 0 0 25 0 1 0 22211839 155238400 27806 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 37900 27806 364 364 0 37536 0
[pid=11394] vsize: 151600
Current children cumulated CPU time (s) 275.3
Current children cumulated vsize (Kb) 151600

[startup+290.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 55353 0 0 0 28140 371 0 0 25 0 1 0 22211839 155238400 27817 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 37900 27817 364 364 0 37536 0
[pid=11394] vsize: 151600
Current children cumulated CPU time (s) 285.11
Current children cumulated vsize (Kb) 151600

[startup+300.016 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 55467 0 0 0 29116 380 0 0 25 0 1 0 22211839 155766784 27931 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 38029 27931 364 364 0 37665 0
[pid=11394] vsize: 152116
Current children cumulated CPU time (s) 294.96
Current children cumulated vsize (Kb) 152116

[startup+310.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 56111 0 0 0 30087 390 0 0 25 0 1 0 22211839 155901952 27986 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 38062 27986 364 364 0 37698 0
[pid=11394] vsize: 152248
Current children cumulated CPU time (s) 304.77
Current children cumulated vsize (Kb) 152248

[startup+320.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 56754 0 0 0 31060 399 0 0 25 0 1 0 22211839 156098560 28040 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 38110 28040 364 364 0 37746 0
[pid=11394] vsize: 152440
Current children cumulated CPU time (s) 314.59
Current children cumulated vsize (Kb) 152440

[startup+330.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 57376 0 0 0 32037 407 0 0 25 0 1 0 22211839 156295168 28073 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 38158 28073 364 364 0 37794 0
[pid=11394] vsize: 152632
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (Kb) 152632

[startup+340.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 57976 0 0 0 33009 418 0 0 25 0 1 0 22211839 175484928 28673 4294967295 134512640 135987407 3221224560 3221222944 134828930 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42843 28673 364 364 0 42479 0
[pid=11394] vsize: 171372
Current children cumulated CPU time (s) 334.27
Current children cumulated vsize (Kb) 171372

[startup+350.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 58604 0 0 0 33989 427 0 0 25 0 1 0 22211839 173268992 28123 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 42302 28123 364 364 0 41938 0
[pid=11394] vsize: 169208
Current children cumulated CPU time (s) 344.16
Current children cumulated vsize (Kb) 169208

[startup+360.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 59217 0 0 0 34958 438 0 0 25 0 1 0 22211839 173268992 28147 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42302 28147 364 364 0 41938 0
[pid=11394] vsize: 169208
Current children cumulated CPU time (s) 353.96
Current children cumulated vsize (Kb) 169208

[startup+370.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 59835 0 0 0 35935 446 0 0 25 0 1 0 22211839 173268992 28176 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42302 28176 364 364 0 41938 0
[pid=11394] vsize: 169208
Current children cumulated CPU time (s) 363.81
Current children cumulated vsize (Kb) 169208

[startup+380.019 s]
Raw data (loadavg): 1.01 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 60470 0 0 0 36915 455 0 0 25 0 1 0 22211839 173404160 28222 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42335 28222 364 364 0 41971 0
[pid=11394] vsize: 169340
Current children cumulated CPU time (s) 373.7
Current children cumulated vsize (Kb) 169340

[startup+390.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 61083 0 0 0 37887 466 0 0 25 0 1 0 22211839 173600768 28246 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42383 28246 364 364 0 42019 0
[pid=11394] vsize: 169532
Current children cumulated CPU time (s) 383.53
Current children cumulated vsize (Kb) 169532

[startup+400.021 s]
Raw data (loadavg): 1.01 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 61683 0 0 0 38862 475 0 0 25 0 1 0 22211839 173600768 28257 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42383 28257 364 364 0 42019 0
[pid=11394] vsize: 169532
Current children cumulated CPU time (s) 393.37
Current children cumulated vsize (Kb) 169532

[startup+410.021 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 62347 0 0 0 39839 484 0 0 25 0 1 0 22211839 173932544 28332 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42464 28332 364 364 0 42100 0
[pid=11394] vsize: 169856
Current children cumulated CPU time (s) 403.23
Current children cumulated vsize (Kb) 169856

[startup+420.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 62405 0 0 0 40818 490 0 0 25 0 1 0 22211839 173932544 28390 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42464 28390 364 364 0 42100 0
[pid=11394] vsize: 169856
Current children cumulated CPU time (s) 413.08
Current children cumulated vsize (Kb) 169856

[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 63093 0 0 0 41798 497 0 0 25 0 1 0 22211839 174460928 28489 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42593 28489 364 364 0 42229 0
[pid=11394] vsize: 170372
Current children cumulated CPU time (s) 422.95
Current children cumulated vsize (Kb) 170372

[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 64283 0 0 0 42782 505 0 0 25 0 1 0 22211839 174460928 28501 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42593 28501 364 364 0 42229 0
[pid=11394] vsize: 170372
Current children cumulated CPU time (s) 432.87
Current children cumulated vsize (Kb) 170372

[startup+450.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 64328 0 0 0 43757 514 0 0 25 0 1 0 22211839 174657536 28546 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42641 28546 364 364 0 42277 0
[pid=11394] vsize: 170564
Current children cumulated CPU time (s) 442.71
Current children cumulated vsize (Kb) 170564

[startup+460.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 65016 0 0 0 44736 522 0 0 25 0 1 0 22211839 174936064 28645 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42709 28645 364 364 0 42345 0
[pid=11394] vsize: 170836
Current children cumulated CPU time (s) 452.58
Current children cumulated vsize (Kb) 170836

[startup+470.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 65152 0 0 0 45715 529 0 0 25 0 1 0 22211839 175517696 28781 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42851 28781 364 364 0 42487 0
[pid=11394] vsize: 171404
Current children cumulated CPU time (s) 462.44
Current children cumulated vsize (Kb) 171404

[startup+480.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 65750 0 0 0 46685 541 0 0 25 0 1 0 22211839 175517696 28790 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42851 28790 364 364 0 42487 0
[pid=11394] vsize: 171404
Current children cumulated CPU time (s) 472.26
Current children cumulated vsize (Kb) 171404

[startup+490.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 66358 0 0 0 47660 551 0 0 25 0 1 0 22211839 175681536 28809 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42891 28809 364 364 0 42527 0
[pid=11394] vsize: 171564
Current children cumulated CPU time (s) 482.11
Current children cumulated vsize (Kb) 171564

[startup+500.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 66975 0 0 0 48639 559 0 0 25 0 1 0 22211839 175681536 28837 4294967295 134512640 135987407 3221224560 3221223292 135499893 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 42891 28837 364 364 0 42527 0
[pid=11394] vsize: 171564
Current children cumulated CPU time (s) 491.98
Current children cumulated vsize (Kb) 171564

[startup+510.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 66978 0 0 0 49613 568 0 0 25 0 1 0 22211839 175681536 28840 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42891 28840 364 364 0 42527 0
[pid=11394] vsize: 171564
Current children cumulated CPU time (s) 501.81
Current children cumulated vsize (Kb) 171564

[startup+520.026 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 67578 0 0 0 50591 576 0 0 25 0 1 0 22211839 175681536 28851 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42891 28851 364 364 0 42527 0
[pid=11394] vsize: 171564
Current children cumulated CPU time (s) 511.67
Current children cumulated vsize (Kb) 171564

[startup+530.027 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 68219 0 0 0 51568 585 0 0 25 0 1 0 22211839 175878144 28903 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42939 28903 364 364 0 42575 0
[pid=11394] vsize: 171756
Current children cumulated CPU time (s) 521.53
Current children cumulated vsize (Kb) 171756

[startup+540.028 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 68240 0 0 0 52540 595 0 0 25 0 1 0 22211839 176074752 28924 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42987 28924 364 364 0 42623 0
[pid=11394] vsize: 171948
Current children cumulated CPU time (s) 531.35
Current children cumulated vsize (Kb) 171948

[startup+550.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 68285 0 0 0 53513 604 0 0 25 0 1 0 22211839 176074752 28969 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 42987 28969 364 364 0 42623 0
[pid=11394] vsize: 171948
Current children cumulated CPU time (s) 541.17
Current children cumulated vsize (Kb) 171948

[startup+560.03 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 68899 0 0 0 54490 613 0 0 25 0 1 0 22211839 176238592 28994 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43027 28994 364 364 0 42663 0
[pid=11394] vsize: 172108
Current children cumulated CPU time (s) 551.03
Current children cumulated vsize (Kb) 172108

[startup+570.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 68951 0 0 0 55460 623 0 0 25 0 1 0 22211839 176525312 29046 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43097 29046 364 364 0 42733 0
[pid=11394] vsize: 172388
Current children cumulated CPU time (s) 560.83
Current children cumulated vsize (Kb) 172388

[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 69564 0 0 0 56439 630 0 0 25 0 1 0 22211839 176525312 29070 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43097 29070 364 364 0 42733 0
[pid=11394] vsize: 172388
Current children cumulated CPU time (s) 570.69
Current children cumulated vsize (Kb) 172388

[startup+590.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 70187 0 0 0 57416 638 0 0 25 0 1 0 22211839 176672768 29104 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43133 29104 364 364 0 42769 0
[pid=11394] vsize: 172532
Current children cumulated CPU time (s) 580.54
Current children cumulated vsize (Kb) 172532

[startup+600.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 70237 0 0 0 58387 649 0 0 25 0 1 0 22211839 176869376 29154 4294967295 134512640 135987407 3221224560 3221223248 134812063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43181 29154 364 364 0 42817 0
[pid=11394] vsize: 172724
Current children cumulated CPU time (s) 590.36
Current children cumulated vsize (Kb) 172724

[startup+610.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 70834 0 0 0 59353 660 0 0 25 0 1 0 22211839 176869376 29162 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43181 29162 364 364 0 42817 0
[pid=11394] vsize: 172724
Current children cumulated CPU time (s) 600.13
Current children cumulated vsize (Kb) 172724

[startup+620.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 71513 0 0 0 60321 672 0 0 25 0 1 0 22211839 179609600 29841 4294967295 134512640 135987407 3221224560 3221222936 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43850 29841 364 364 0 43486 0
[pid=11394] vsize: 175400
Current children cumulated CPU time (s) 609.93
Current children cumulated vsize (Kb) 175400

[startup+630.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 71597 0 0 0 61292 682 0 0 25 0 1 0 22211839 177393664 29336 4294967295 134512640 135987407 3221224560 3221223248 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43309 29336 364 364 0 42945 0
[pid=11394] vsize: 173236
Current children cumulated CPU time (s) 619.74
Current children cumulated vsize (Kb) 173236

[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 72204 0 0 0 62268 691 0 0 25 0 1 0 22211839 177590272 29354 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43357 29354 364 364 0 42993 0
[pid=11394] vsize: 173428
Current children cumulated CPU time (s) 629.59
Current children cumulated vsize (Kb) 173428

[startup+650.034 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 72800 0 0 0 63242 701 0 0 25 0 1 0 22211839 177590272 29361 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43357 29361 364 364 0 42993 0
[pid=11394] vsize: 173428
Current children cumulated CPU time (s) 639.43
Current children cumulated vsize (Kb) 173428

[startup+660.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 72813 0 0 0 64207 713 0 0 25 0 1 0 22211839 177590272 29374 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43357 29374 364 364 0 42993 0
[pid=11394] vsize: 173428
Current children cumulated CPU time (s) 649.2
Current children cumulated vsize (Kb) 173428

[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 73411 0 0 0 65178 723 0 0 25 0 1 0 22211839 177590272 29383 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43357 29383 364 364 0 42993 0
[pid=11394] vsize: 173428
Current children cumulated CPU time (s) 659.01
Current children cumulated vsize (Kb) 173428

[startup+680.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 74013 0 0 0 66154 731 0 0 25 0 1 0 22211839 177590272 29396 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43357 29396 364 364 0 42993 0
[pid=11394] vsize: 173428
Current children cumulated CPU time (s) 668.85
Current children cumulated vsize (Kb) 173428

[startup+690.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 74656 0 0 0 67132 740 0 0 25 0 1 0 22211839 177590272 29450 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43357 29450 364 364 0 42993 0
[pid=11394] vsize: 173428
Current children cumulated CPU time (s) 678.72
Current children cumulated vsize (Kb) 173428

[startup+700.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 75266 0 0 0 68113 749 0 0 25 0 1 0 22211839 177590272 29471 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43357 29471 364 364 0 42993 0
[pid=11394] vsize: 173428
Current children cumulated CPU time (s) 688.62
Current children cumulated vsize (Kb) 173428

[startup+710.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 75291 0 0 0 69083 758 0 0 25 0 1 0 22211839 177725440 29496 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43390 29496 364 364 0 43026 0
[pid=11394] vsize: 173560
Current children cumulated CPU time (s) 698.41
Current children cumulated vsize (Kb) 173560

[startup+720.035 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 75896 0 0 0 70053 769 0 0 25 0 1 0 22211839 177872896 29512 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43426 29512 364 364 0 43062 0
[pid=11394] vsize: 173704
Current children cumulated CPU time (s) 708.22
Current children cumulated vsize (Kb) 173704

[startup+730.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 76507 0 0 0 71026 780 0 0 25 0 1 0 22211839 177872896 29534 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43426 29534 364 364 0 43062 0
[pid=11394] vsize: 173704
Current children cumulated CPU time (s) 718.06
Current children cumulated vsize (Kb) 173704

[startup+740.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 77112 0 0 0 71998 791 0 0 25 0 1 0 22211839 177872896 29550 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43426 29550 364 364 0 43062 0
[pid=11394] vsize: 173704
Current children cumulated CPU time (s) 727.89
Current children cumulated vsize (Kb) 173704

[startup+750.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 77763 0 0 0 72966 803 0 0 25 0 1 0 22211839 178241536 29612 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43516 29612 364 364 0 43152 0
[pid=11394] vsize: 174064
Current children cumulated CPU time (s) 737.69
Current children cumulated vsize (Kb) 174064

[startup+760.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 78374 0 0 0 73943 811 0 0 25 0 1 0 22211839 178241536 29634 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43516 29634 364 364 0 43152 0
[pid=11394] vsize: 174064
Current children cumulated CPU time (s) 747.54
Current children cumulated vsize (Kb) 174064

[startup+770.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 78394 0 0 0 74911 822 0 0 25 0 1 0 22211839 178241536 29654 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43516 29654 364 364 0 43152 0
[pid=11394] vsize: 174064
Current children cumulated CPU time (s) 757.33
Current children cumulated vsize (Kb) 174064

[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 78994 0 0 0 75882 835 0 0 25 0 1 0 22211839 178241536 29665 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43516 29665 364 364 0 43152 0
[pid=11394] vsize: 174064
Current children cumulated CPU time (s) 767.17
Current children cumulated vsize (Kb) 174064

[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 79596 0 0 0 76849 847 0 0 25 0 1 0 22211839 178241536 29678 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43516 29678 364 364 0 43152 0
[pid=11394] vsize: 174064
Current children cumulated CPU time (s) 776.96
Current children cumulated vsize (Kb) 174064

[startup+800.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 80205 0 0 0 77817 860 0 0 25 0 1 0 22211839 178438144 29698 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43564 29698 364 364 0 43200 0
[pid=11394] vsize: 174256
Current children cumulated CPU time (s) 786.77
Current children cumulated vsize (Kb) 174256

[startup+810.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 80816 0 0 0 78786 873 0 0 25 0 1 0 22211839 178438144 29720 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43564 29720 364 364 0 43200 0
[pid=11394] vsize: 174256
Current children cumulated CPU time (s) 796.59
Current children cumulated vsize (Kb) 174256

[startup+820.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 81429 0 0 0 79760 883 0 0 25 0 1 0 22211839 178438144 29744 4294967295 134512640 135987407 3221224560 3221223392 134787343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43564 29744 364 364 0 43200 0
[pid=11394] vsize: 174256
Current children cumulated CPU time (s) 806.43
Current children cumulated vsize (Kb) 174256

[startup+830.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 82034 0 0 0 80733 892 0 0 25 0 1 0 22211839 178438144 29760 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43564 29760 364 364 0 43200 0
[pid=11394] vsize: 174256
Current children cumulated CPU time (s) 816.25
Current children cumulated vsize (Kb) 174256

[startup+840.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 82644 0 0 0 81704 903 0 0 25 0 1 0 22211839 178569216 29781 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43596 29781 364 364 0 43232 0
[pid=11394] vsize: 174384
Current children cumulated CPU time (s) 826.07
Current children cumulated vsize (Kb) 174384

[startup+850.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 83260 0 0 0 82672 917 0 0 25 0 1 0 22211839 178569216 29808 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43596 29808 364 364 0 43232 0
[pid=11394] vsize: 174384
Current children cumulated CPU time (s) 835.89
Current children cumulated vsize (Kb) 174384

[startup+860.042 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 83871 0 0 0 83646 926 0 0 25 0 1 0 22211839 178569216 29830 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43596 29830 364 364 0 43232 0
[pid=11394] vsize: 174384
Current children cumulated CPU time (s) 845.72
Current children cumulated vsize (Kb) 174384

[startup+870.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 84491 0 0 0 84621 936 0 0 25 0 1 0 22211839 178700288 29861 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43628 29861 364 364 0 43264 0
[pid=11394] vsize: 174512
Current children cumulated CPU time (s) 855.57
Current children cumulated vsize (Kb) 174512

[startup+880.043 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 84498 0 0 0 85591 946 0 0 25 0 1 0 22211839 178700288 29868 4294967295 134512640 135987407 3221224560 3221223328 134812414 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43628 29868 364 364 0 43264 0
[pid=11394] vsize: 174512
Current children cumulated CPU time (s) 865.37
Current children cumulated vsize (Kb) 174512

[startup+890.043 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 85101 0 0 0 86566 955 0 0 25 0 1 0 22211839 178700288 29882 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43628 29882 364 364 0 43264 0
[pid=11394] vsize: 174512
Current children cumulated CPU time (s) 875.21
Current children cumulated vsize (Kb) 174512

[startup+900.043 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 85709 0 0 0 87538 965 0 0 25 0 1 0 22211839 178831360 29901 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43660 29901 364 364 0 43296 0
[pid=11394] vsize: 174640
Current children cumulated CPU time (s) 885.03
Current children cumulated vsize (Kb) 174640

[startup+910.044 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 86316 0 0 0 88514 974 0 0 25 0 1 0 22211839 178831360 29919 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43660 29919 364 364 0 43296 0
[pid=11394] vsize: 174640
Current children cumulated CPU time (s) 894.88
Current children cumulated vsize (Kb) 174640

[startup+920.044 s]
Raw data (loadavg): 1.11 1.02 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 86930 0 0 0 89484 985 0 0 25 0 1 0 22211839 181243904 30533 4294967295 134512640 135987407 3221224560 3221222976 134827691 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 44249 30533 364 364 0 43885 0
[pid=11394] vsize: 176996
Current children cumulated CPU time (s) 904.69
Current children cumulated vsize (Kb) 176996

[startup+930.045 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 87002 0 0 0 90456 994 0 0 25 0 1 0 22211839 179367936 30016 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43791 30016 364 364 0 43427 0
[pid=11394] vsize: 175164
Current children cumulated CPU time (s) 914.5
Current children cumulated vsize (Kb) 175164

[startup+940.044 s]
Raw data (loadavg): 1.08 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 87604 0 0 0 91435 1004 0 0 25 0 1 0 22211839 179367936 30029 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43791 30029 364 364 0 43427 0
[pid=11394] vsize: 175164
Current children cumulated CPU time (s) 924.39
Current children cumulated vsize (Kb) 175164

[startup+950.045 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 88202 0 0 0 92409 1014 0 0 25 0 1 0 22211839 179367936 30038 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43791 30038 364 364 0 43427 0
[pid=11394] vsize: 175164
Current children cumulated CPU time (s) 934.23
Current children cumulated vsize (Kb) 175164

[startup+960.046 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 88823 0 0 0 93381 1025 0 0 25 0 1 0 22211839 179507200 30070 4294967295 134512640 135987407 3221224560 3221223328 134812414 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43825 30070 364 364 0 43461 0
[pid=11394] vsize: 175300
Current children cumulated CPU time (s) 944.06
Current children cumulated vsize (Kb) 175300

[startup+970.046 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 89424 0 0 0 94356 1033 0 0 25 0 1 0 22211839 179507200 30082 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43825 30082 364 364 0 43461 0
[pid=11394] vsize: 175300
Current children cumulated CPU time (s) 953.89
Current children cumulated vsize (Kb) 175300

[startup+980.047 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 90022 0 0 0 95325 1045 0 0 25 0 1 0 22211839 179507200 30091 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43825 30091 364 364 0 43461 0
[pid=11394] vsize: 175300
Current children cumulated CPU time (s) 963.7
Current children cumulated vsize (Kb) 175300

[startup+990.046 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 90043 0 0 0 96297 1054 0 0 25 0 1 0 22211839 179507200 30112 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43825 30112 364 364 0 43461 0
[pid=11394] vsize: 175300
Current children cumulated CPU time (s) 973.51
Current children cumulated vsize (Kb) 175300

[startup+1000.05 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 90636 0 0 0 97271 1064 0 0 25 0 1 0 22211839 179507200 30116 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43825 30116 364 364 0 43461 0
[pid=11394] vsize: 175300
Current children cumulated CPU time (s) 983.35
Current children cumulated vsize (Kb) 175300

[startup+1010.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 91239 0 0 0 98246 1074 0 0 25 0 1 0 22211839 179507200 30130 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43825 30130 364 364 0 43461 0
[pid=11394] vsize: 175300
Current children cumulated CPU time (s) 993.2
Current children cumulated vsize (Kb) 175300

[startup+1020.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 91847 0 0 0 99217 1084 0 0 25 0 1 0 22211839 179703808 30149 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43873 30149 364 364 0 43509 0
[pid=11394] vsize: 175492
Current children cumulated CPU time (s) 1003.01
Current children cumulated vsize (Kb) 175492

[startup+1030.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 92449 0 0 0 100189 1094 0 0 25 0 1 0 22211839 179703808 30162 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43873 30162 364 364 0 43509 0
[pid=11394] vsize: 175492
Current children cumulated CPU time (s) 1012.83
Current children cumulated vsize (Kb) 175492

[startup+1040.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 93048 0 0 0 101163 1104 0 0 25 0 1 0 22211839 179703808 30172 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43873 30172 364 364 0 43509 0
[pid=11394] vsize: 175492
Current children cumulated CPU time (s) 1022.67
Current children cumulated vsize (Kb) 175492

[startup+1050.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 93663 0 0 0 102148 1109 0 0 25 0 1 0 22211839 179703808 30198 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43873 30198 364 364 0 43509 0
[pid=11394] vsize: 175492
Current children cumulated CPU time (s) 1032.57
Current children cumulated vsize (Kb) 175492

[startup+1060.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 93674 0 0 0 103121 1119 0 0 25 0 1 0 22211839 179703808 30209 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43873 30209 364 364 0 43509 0
[pid=11394] vsize: 175492
Current children cumulated CPU time (s) 1042.4
Current children cumulated vsize (Kb) 175492

[startup+1070.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 94295 0 0 0 104094 1129 0 0 25 0 1 0 22211839 179847168 30241 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43908 30241 364 364 0 43544 0
[pid=11394] vsize: 175632
Current children cumulated CPU time (s) 1052.23
Current children cumulated vsize (Kb) 175632

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 94895 0 0 0 105066 1140 0 0 25 0 1 0 22211839 179847168 30252 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43908 30252 364 364 0 43544 0
[pid=11394] vsize: 175632
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (Kb) 175632

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 95513 0 0 0 106037 1151 0 0 25 0 1 0 22211839 180011008 30281 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43948 30281 364 364 0 43584 0
[pid=11394] vsize: 175792
Current children cumulated CPU time (s) 1071.88
Current children cumulated vsize (Kb) 175792

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 96114 0 0 0 107009 1162 0 0 25 0 1 0 22211839 180011008 30293 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43948 30293 364 364 0 43584 0
[pid=11394] vsize: 175792
Current children cumulated CPU time (s) 1081.71
Current children cumulated vsize (Kb) 175792

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 96720 0 0 0 107993 1170 0 0 25 0 1 0 22211839 180011008 30310 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43948 30310 364 364 0 43584 0
[pid=11394] vsize: 175792
Current children cumulated CPU time (s) 1091.63
Current children cumulated vsize (Kb) 175792

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 96733 0 0 0 108962 1181 0 0 25 0 1 0 22211839 180011008 30323 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43948 30323 364 364 0 43584 0
[pid=11394] vsize: 175792
Current children cumulated CPU time (s) 1101.43
Current children cumulated vsize (Kb) 175792

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 97331 0 0 0 109936 1189 0 0 25 0 1 0 22211839 180011008 30332 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43948 30332 364 364 0 43584 0
[pid=11394] vsize: 175792
Current children cumulated CPU time (s) 1111.25
Current children cumulated vsize (Kb) 175792

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) T 11393 11394 4060 0 -1 0 97970 0 0 0 110902 1200 0 0 25 0 1 0 22211839 180207616 30382 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43996 30382 364 364 0 43632 0
[pid=11394] vsize: 175984
Current children cumulated CPU time (s) 1121.02
Current children cumulated vsize (Kb) 175984

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 98575 0 0 0 111879 1208 0 0 25 0 1 0 22211839 180207616 30398 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 43996 30398 364 364 0 43632 0
[pid=11394] vsize: 175984
Current children cumulated CPU time (s) 1130.87
Current children cumulated vsize (Kb) 175984

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 99186 0 0 0 112850 1220 0 0 25 0 1 0 22211839 180207616 30420 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 43996 30420 364 364 0 43632 0
[pid=11394] vsize: 175984
Current children cumulated CPU time (s) 1140.7
Current children cumulated vsize (Kb) 175984

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 99788 0 0 0 113828 1229 0 0 25 0 1 0 22211839 180350976 30433 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 44031 30433 364 364 0 43667 0
[pid=11394] vsize: 176124
Current children cumulated CPU time (s) 1150.57
Current children cumulated vsize (Kb) 176124

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 100396 0 0 0 114793 1242 0 0 25 0 1 0 22211839 180350976 30452 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 44031 30452 364 364 0 43667 0
[pid=11394] vsize: 176124
Current children cumulated CPU time (s) 1160.35
Current children cumulated vsize (Kb) 176124

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 101010 0 0 0 115766 1252 0 0 25 0 1 0 22211839 180350976 30477 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 44031 30477 364 364 0 43667 0
[pid=11394] vsize: 176124
Current children cumulated CPU time (s) 1170.18
Current children cumulated vsize (Kb) 176124

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 101026 0 0 0 116737 1262 0 0 25 0 1 0 22211839 180350976 30493 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11394/statm): 44031 30493 364 364 0 43667 0
[pid=11394] vsize: 176124
Current children cumulated CPU time (s) 1179.99
Current children cumulated vsize (Kb) 176124

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 102230 0 0 0 117714 1272 0 0 25 0 1 0 22211839 180350976 30519 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 44031 30519 364 364 0 43667 0
[pid=11394] vsize: 176124
Current children cumulated CPU time (s) 1189.86
Current children cumulated vsize (Kb) 176124

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 102842 0 0 0 118698 1277 0 0 25 0 1 0 22211839 180482048 30542 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 44063 30542 364 364 0 43699 0
[pid=11394] vsize: 176252
Current children cumulated CPU time (s) 1199.75
Current children cumulated vsize (Kb) 176252

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 102859 0 0 0 119668 1287 0 0 25 0 1 0 22211839 180482048 30559 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 44063 30559 364 364 0 43699 0
[pid=11394] vsize: 176252
Current children cumulated CPU time (s) 1209.55
Current children cumulated vsize (Kb) 176252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11396
Raw data (/proc/11394/stat): 11394 (pb2sat) R 11393 11394 4060 0 -1 0 102859 0 0 0 119668 1287 0 0 25 0 1 0 22211839 180482048 30559 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11394/statm): 44063 30559 364 364 0 43699 0
[pid=11394] vsize: 176252
Current children cumulated CPU time (s) 1209.55
Current children cumulated vsize (Kb) 176252

Sending SIGTERM to -11394
Sleeping 2 seconds
One traced child (pid=11394) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1230.55
CPU time (s): 1210.04
CPU user time (s): 1197.1
CPU system time (s): 12.938
CPU usage (%): 98.3338
Max. virtual memory (cumulated for all children) (Kb): 176996

Verifier Data

ERROR: no interpretation found !