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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb
MD5SUMbc46e72682d969c09e6f4028df473a45
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 201342
Optimality of the best value was proved NO
Number of terms in the objective function 73885
Biggest coefficient in the objective function 4066
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 172074995
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 4066
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 172074995
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1191.77
Number of variables73885
Total number of constraints74436
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)74436
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint612

Trace number 10106

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-23 16:41:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8806 boxname=wulflinc1 idbench=602 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb
IDLAUNCH: 8806
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        872752 kB
Buffers:         13116 kB
Cached:         130840 kB
SwapCached:          0 kB
Active:          87628 kB
Inactive:        59212 kB
HighTotal:      131008 kB
HighFree:         3780 kB
LowTotal:       903652 kB
LowFree:        868972 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:             9416 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:01:54 (client local time) WITH STATUS 0 IN 1207.43 SECONDS
stats: 8806 7 1207.43 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21727259 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 373 2 364 364 0 9 0
[pid=9854] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb

[startup+10.0017 s]
Raw data (loadavg): 1.00 0.95 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 1475 0 0 0 991 6 0 0 25 0 1 0 21727259 5963776 1152 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 1456 1152 364 364 0 1092 0
[pid=9854] vsize: 5824
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 5824

[startup+20.0025 s]
Raw data (loadavg): 1.00 0.95 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 2805 0 0 0 1987 10 0 0 25 0 1 0 21727259 10178560 2114 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 2485 2114 364 364 0 2121 0
[pid=9854] vsize: 9940
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 9940

[startup+30.0033 s]
Raw data (loadavg): 1.00 0.95 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 4259 0 0 0 2982 14 0 0 25 0 1 0 21727259 15360000 2822 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 3750 2822 364 364 0 3386 0
[pid=9854] vsize: 15000
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 15000

[startup+40.0041 s]
Raw data (loadavg): 1.00 0.95 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 4539 0 0 0 3981 15 0 0 25 0 1 0 21727259 16035840 3097 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 3915 3097 364 364 0 3551 0
[pid=9854] vsize: 15660
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 15660

[startup+50.0049 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 4806 0 0 0 4980 16 0 0 25 0 1 0 21727259 16711680 3360 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 4080 3360 364 364 0 3716 0
[pid=9854] vsize: 16320
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 16320

[startup+60.0047 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5045 0 0 0 5979 17 0 0 25 0 1 0 21727259 17252352 3595 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 4212 3595 364 364 0 3848 0
[pid=9854] vsize: 16848
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 16848

[startup+70.0055 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5263 0 0 0 6979 17 0 0 25 0 1 0 21727259 17793024 3809 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 4344 3809 364 364 0 3980 0
[pid=9854] vsize: 17376
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 17376

[startup+80.0063 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5467 0 0 0 7978 18 0 0 25 0 1 0 21727259 18333696 4010 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 4476 4010 364 364 0 4112 0
[pid=9854] vsize: 17904
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 17904

[startup+90.007 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5657 0 0 0 8977 19 0 0 25 0 1 0 21727259 18874368 4197 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 4608 4197 364 364 0 4244 0
[pid=9854] vsize: 18432
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 18432

[startup+100.007 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5833 0 0 0 9977 19 0 0 25 0 1 0 21727259 19279872 4370 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 4707 4370 364 364 0 4343 0
[pid=9854] vsize: 18828
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 18828

[startup+110.008 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 6000 0 0 0 10977 20 0 0 25 0 1 0 21727259 19685376 4534 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 4806 4534 364 364 0 4442 0
[pid=9854] vsize: 19224
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 19224

[startup+120.008 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 8305 0 0 0 11970 25 0 0 25 0 1 0 21727259 28696576 5362 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 7006 5362 364 364 0 6642 0
[pid=9854] vsize: 28024
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 28024

[startup+130.008 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 8389 0 0 0 12970 26 0 0 25 0 1 0 21727259 28696576 5443 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 7006 5443 364 364 0 6642 0
[pid=9854] vsize: 28024
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 28024

[startup+140.009 s]
Raw data (loadavg): 1.00 0.96 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 8516 0 0 0 13970 26 0 0 25 0 1 0 21727259 29102080 5568 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 7105 5568 364 364 0 6741 0
[pid=9854] vsize: 28420
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 28420

[startup+150.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 12327 0 0 0 14958 35 0 0 25 0 1 0 21727259 39563264 8620 4294967295 134512640 135987407 3221224560 3221221904 134612903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 9659 8620 364 364 0 9295 0
[pid=9854] vsize: 38636
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 38636

[startup+160.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 36561 0 0 0 15906 86 0 0 25 0 1 0 21727259 140009472 24670 4294967295 134512640 135987407 3221224560 3221220848 134856568 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 34182 24670 364 364 0 33818 0
[pid=9854] vsize: 136728
Current children cumulated CPU time (s) 159.92
Current children cumulated vsize (Kb) 136728

[startup+170.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 53302 0 0 0 16861 130 0 0 25 0 1 0 21727259 170172416 30459 4294967295 134512640 135987407 3221224560 3221062736 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 41546 30459 364 364 0 41182 0
[pid=9854] vsize: 166184
Current children cumulated CPU time (s) 169.91
Current children cumulated vsize (Kb) 166184

[startup+180.011 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 77910 0 0 0 17803 185 0 0 25 0 1 0 21727259 236982272 45189 4294967295 134512640 135987407 3221224560 3221141620 135477870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 57857 45189 364 364 0 57493 0
[pid=9854] vsize: 231428
Current children cumulated CPU time (s) 179.88
Current children cumulated vsize (Kb) 231428

[startup+190.012 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 101204 0 0 0 18747 241 0 0 25 0 1 0 21727259 302014464 56053 4294967295 134512640 135987407 3221224560 3221223120 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 73734 56053 364 364 0 73370 0
[pid=9854] vsize: 294936
Current children cumulated CPU time (s) 189.88
Current children cumulated vsize (Kb) 294936

[startup+200.013 s]
Raw data (loadavg): 1.00 0.97 0.94 1/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4704 0 -1 0 104928 0 0 0 19723 255 0 0 25 0 1 0 21727259 312168448 57878 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9854/statm): 76213 57878 364 364 0 75849 0
[pid=9854] vsize: 304852
Current children cumulated CPU time (s) 199.78
Current children cumulated vsize (Kb) 304852

[startup+210.014 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 105870 0 0 0 20700 263 0 0 25 0 1 0 21727259 316465152 58820 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 77262 58820 364 364 0 76898 0
[pid=9854] vsize: 309048
Current children cumulated CPU time (s) 209.63
Current children cumulated vsize (Kb) 309048

[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 106928 0 0 0 21681 270 0 0 25 0 1 0 21727259 321789952 59878 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 78562 59878 364 364 0 78198 0
[pid=9854] vsize: 314248
Current children cumulated CPU time (s) 219.51
Current children cumulated vsize (Kb) 314248

[startup+230.015 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 107685 0 0 0 22656 279 0 0 25 0 1 0 21727259 325722112 60635 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 79522 60635 364 364 0 79158 0
[pid=9854] vsize: 318088
Current children cumulated CPU time (s) 229.35
Current children cumulated vsize (Kb) 318088

[startup+240.016 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 107932 0 0 0 23635 287 0 0 25 0 1 0 21727259 327262208 60882 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 79898 60882 364 364 0 79534 0
[pid=9854] vsize: 319592
Current children cumulated CPU time (s) 239.22
Current children cumulated vsize (Kb) 319592

[startup+250.017 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 108536 0 0 0 24612 295 0 0 25 0 1 0 21727259 330113024 61486 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 80594 61486 364 364 0 80230 0
[pid=9854] vsize: 322376
Current children cumulated CPU time (s) 249.07
Current children cumulated vsize (Kb) 322376

[startup+260.017 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 109837 0 0 0 25586 305 0 0 25 0 1 0 21727259 336146432 62787 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 82067 62787 364 364 0 81703 0
[pid=9854] vsize: 328268
Current children cumulated CPU time (s) 258.91
Current children cumulated vsize (Kb) 328268

[startup+270.019 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 110293 0 0 0 26563 313 0 0 25 0 1 0 21727259 338382848 63243 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 82613 63243 364 364 0 82249 0
[pid=9854] vsize: 330452
Current children cumulated CPU time (s) 268.76
Current children cumulated vsize (Kb) 330452

[startup+280.019 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 110552 0 0 0 27542 322 0 0 25 0 1 0 21727259 339595264 63502 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 82909 63502 364 364 0 82545 0
[pid=9854] vsize: 331636
Current children cumulated CPU time (s) 278.64
Current children cumulated vsize (Kb) 331636

[startup+290.02 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 110989 0 0 0 28521 329 0 0 25 0 1 0 21727259 341958656 63939 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 83486 63939 364 364 0 83122 0
[pid=9854] vsize: 333944
Current children cumulated CPU time (s) 288.5
Current children cumulated vsize (Kb) 333944

[startup+300.021 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 111596 0 0 0 29498 338 0 0 25 0 1 0 21727259 344981504 64546 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 84224 64546 364 364 0 83860 0
[pid=9854] vsize: 336896
Current children cumulated CPU time (s) 298.36
Current children cumulated vsize (Kb) 336896

[startup+310.02 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 112257 0 0 0 30471 349 0 0 25 0 1 0 21727259 348413952 65207 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 85062 65207 364 364 0 84698 0
[pid=9854] vsize: 340248
Current children cumulated CPU time (s) 308.2
Current children cumulated vsize (Kb) 340248

[startup+320.021 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 112383 0 0 0 31446 356 0 0 25 0 1 0 21727259 348741632 65333 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 85142 65333 364 364 0 84778 0
[pid=9854] vsize: 340568
Current children cumulated CPU time (s) 318.02
Current children cumulated vsize (Kb) 340568

[startup+330.022 s]
Raw data (loadavg): 1.00 0.97 0.94 1/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4704 0 -1 0 112735 0 0 0 32422 365 0 0 25 0 1 0 21727259 350183424 65685 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9854/statm): 85494 65685 364 364 0 85130 0
[pid=9854] vsize: 341976
Current children cumulated CPU time (s) 327.87
Current children cumulated vsize (Kb) 341976

[startup+340.022 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113048 0 0 0 33406 371 0 0 25 0 1 0 21727259 351428608 65998 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 85798 65998 364 364 0 85434 0
[pid=9854] vsize: 343192
Current children cumulated CPU time (s) 337.77
Current children cumulated vsize (Kb) 343192

[startup+350.023 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113228 0 0 0 34386 378 0 0 25 0 1 0 21727259 352411648 66178 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 86038 66178 364 364 0 85674 0
[pid=9854] vsize: 344152
Current children cumulated CPU time (s) 347.64
Current children cumulated vsize (Kb) 344152

[startup+360.023 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113297 0 0 0 35372 384 0 0 25 0 1 0 21727259 352804864 66247 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 86134 66247 364 364 0 85770 0
[pid=9854] vsize: 344536
Current children cumulated CPU time (s) 357.56
Current children cumulated vsize (Kb) 344536

[startup+370.024 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113359 0 0 0 36358 389 0 0 25 0 1 0 21727259 353198080 66309 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 86230 66309 364 364 0 85866 0
[pid=9854] vsize: 344920
Current children cumulated CPU time (s) 367.47
Current children cumulated vsize (Kb) 344920

[startup+380.024 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113617 0 0 0 37329 399 0 0 20 0 1 0 21727259 354279424 66567 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 86494 66567 364 364 0 86130 0
[pid=9854] vsize: 345976
Current children cumulated CPU time (s) 377.28
Current children cumulated vsize (Kb) 345976

[startup+390.025 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113710 0 0 0 38313 405 0 0 25 0 1 0 21727259 354672640 66660 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 86590 66660 364 364 0 86226 0
[pid=9854] vsize: 346360
Current children cumulated CPU time (s) 387.18
Current children cumulated vsize (Kb) 346360

[startup+400.024 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113747 0 0 0 39296 411 0 0 25 0 1 0 21727259 354869248 66697 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 86638 66697 364 364 0 86274 0
[pid=9854] vsize: 346552
Current children cumulated CPU time (s) 397.07
Current children cumulated vsize (Kb) 346552

[startup+410.025 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113873 0 0 0 40263 421 0 0 25 0 1 0 21727259 355397632 66823 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 86767 66823 364 364 0 86403 0
[pid=9854] vsize: 347068
Current children cumulated CPU time (s) 406.84
Current children cumulated vsize (Kb) 347068

[startup+420.026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113946 0 0 0 41251 426 0 0 25 0 1 0 21727259 355790848 66896 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 86863 66896 364 364 0 86499 0
[pid=9854] vsize: 347452
Current children cumulated CPU time (s) 416.77
Current children cumulated vsize (Kb) 347452

[startup+430.026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113984 0 0 0 42235 432 0 0 25 0 1 0 21727259 389541888 66934 4294967295 134512640 135987407 3221224560 3221223248 134811722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 95103 66934 364 364 0 94739 0
[pid=9854] vsize: 380412
Current children cumulated CPU time (s) 426.67
Current children cumulated vsize (Kb) 380412

[startup+440.026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114036 0 0 0 43208 442 0 0 25 0 1 0 21727259 389738496 66986 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 95151 66986 364 364 0 94787 0
[pid=9854] vsize: 380604
Current children cumulated CPU time (s) 436.5
Current children cumulated vsize (Kb) 380604

[startup+450.026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114079 0 0 0 44190 448 0 0 25 0 1 0 21727259 389935104 67029 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 95199 67029 364 364 0 94835 0
[pid=9854] vsize: 380796
Current children cumulated CPU time (s) 446.38
Current children cumulated vsize (Kb) 380796

[startup+460.026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114210 0 0 0 45170 455 0 0 25 0 1 0 21727259 390524928 67160 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 95343 67160 364 364 0 94979 0
[pid=9854] vsize: 381372
Current children cumulated CPU time (s) 456.25
Current children cumulated vsize (Kb) 381372

[startup+470.027 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114243 0 0 0 46146 463 0 0 25 0 1 0 21727259 390721536 67193 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 95391 67193 364 364 0 95027 0
[pid=9854] vsize: 381564
Current children cumulated CPU time (s) 466.09
Current children cumulated vsize (Kb) 381564

[startup+480.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114307 0 0 0 47123 470 0 0 25 0 1 0 21727259 390918144 67257 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 95439 67257 364 364 0 95075 0
[pid=9854] vsize: 381756
Current children cumulated CPU time (s) 475.93
Current children cumulated vsize (Kb) 381756

[startup+490.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114382 0 0 0 48098 478 0 0 25 0 1 0 21727259 391311360 67332 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 95535 67332 364 364 0 95171 0
[pid=9854] vsize: 382140
Current children cumulated CPU time (s) 485.76
Current children cumulated vsize (Kb) 382140

[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114452 0 0 0 49080 484 0 0 25 0 1 0 21727259 391704576 67402 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 95631 67402 364 364 0 95267 0
[pid=9854] vsize: 382524
Current children cumulated CPU time (s) 495.64
Current children cumulated vsize (Kb) 382524

[startup+510.029 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114471 0 0 0 50074 486 0 0 25 0 1 0 21727259 391704576 67421 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 95631 67421 364 364 0 95267 0
[pid=9854] vsize: 382524
Current children cumulated CPU time (s) 505.6
Current children cumulated vsize (Kb) 382524

[startup+520.03 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114751 0 0 0 51046 496 0 0 25 0 1 0 21727259 392957952 67701 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 95937 67701 364 364 0 95573 0
[pid=9854] vsize: 383748
Current children cumulated CPU time (s) 515.42
Current children cumulated vsize (Kb) 383748

[startup+530.03 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114831 0 0 0 52032 501 0 0 25 0 1 0 21727259 393351168 67781 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 96033 67781 364 364 0 95669 0
[pid=9854] vsize: 384132
Current children cumulated CPU time (s) 525.33
Current children cumulated vsize (Kb) 384132

[startup+540.03 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114946 0 0 0 53005 509 0 0 25 0 1 0 21727259 393940992 67896 4294967295 134512640 135987407 3221224560 3221223096 135499869 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 96177 67896 364 364 0 95813 0
[pid=9854] vsize: 384708
Current children cumulated CPU time (s) 535.14
Current children cumulated vsize (Kb) 384708

[startup+550.03 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115038 0 0 0 53979 519 0 0 25 0 1 0 21727259 394469376 67988 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 96306 67988 364 364 0 95942 0
[pid=9854] vsize: 385224
Current children cumulated CPU time (s) 544.98
Current children cumulated vsize (Kb) 385224

[startup+560.03 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115084 0 0 0 54961 526 0 0 25 0 1 0 21727259 394665984 68034 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 96354 68034 364 364 0 95990 0
[pid=9854] vsize: 385416
Current children cumulated CPU time (s) 554.87
Current children cumulated vsize (Kb) 385416

[startup+570.031 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115109 0 0 0 55941 532 0 0 25 0 1 0 21727259 394665984 68059 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 96354 68059 364 364 0 95990 0
[pid=9854] vsize: 385416
Current children cumulated CPU time (s) 564.73
Current children cumulated vsize (Kb) 385416

[startup+580.032 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115291 0 0 0 56918 540 0 0 25 0 1 0 21727259 395640832 68241 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 96592 68241 364 364 0 96228 0
[pid=9854] vsize: 386368
Current children cumulated CPU time (s) 574.58
Current children cumulated vsize (Kb) 386368

[startup+590.032 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115327 0 0 0 57892 548 0 0 25 0 1 0 21727259 395837440 68277 4294967295 134512640 135987407 3221224560 3221223136 135486726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 96640 68277 364 364 0 96276 0
[pid=9854] vsize: 386560
Current children cumulated CPU time (s) 584.4
Current children cumulated vsize (Kb) 386560

[startup+600.032 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115338 0 0 0 58881 552 0 0 25 0 1 0 21727259 395837440 68288 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 96640 68288 364 364 0 96276 0
[pid=9854] vsize: 386560
Current children cumulated CPU time (s) 594.33
Current children cumulated vsize (Kb) 386560

[startup+610.032 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115411 0 0 0 59862 558 0 0 25 0 1 0 21727259 396230656 68361 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 96736 68361 364 364 0 96372 0
[pid=9854] vsize: 386944
Current children cumulated CPU time (s) 604.2
Current children cumulated vsize (Kb) 386944

[startup+620.033 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115463 0 0 0 60841 564 0 0 25 0 1 0 21727259 396427264 68413 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 96784 68413 364 364 0 96420 0
[pid=9854] vsize: 387136
Current children cumulated CPU time (s) 614.05
Current children cumulated vsize (Kb) 387136

[startup+630.034 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115498 0 0 0 61820 570 0 0 25 0 1 0 21727259 396427264 68448 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 96784 68448 364 364 0 96420 0
[pid=9854] vsize: 387136
Current children cumulated CPU time (s) 623.9
Current children cumulated vsize (Kb) 387136

[startup+640.033 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115579 0 0 0 62795 577 0 0 25 0 1 0 21727259 397017088 68529 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 96928 68529 364 364 0 96564 0
[pid=9854] vsize: 387712
Current children cumulated CPU time (s) 633.72
Current children cumulated vsize (Kb) 387712

[startup+650.034 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115708 0 0 0 63777 583 0 0 25 0 1 0 21727259 397606912 68658 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 97072 68658 364 364 0 96708 0
[pid=9854] vsize: 388288
Current children cumulated CPU time (s) 643.6
Current children cumulated vsize (Kb) 388288

[startup+660.035 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115751 0 0 0 64755 588 0 0 24 0 1 0 21727259 397803520 68701 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 97120 68701 364 364 0 96756 0
[pid=9854] vsize: 388480
Current children cumulated CPU time (s) 653.43
Current children cumulated vsize (Kb) 388480

[startup+670.036 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115768 0 0 0 65732 596 0 0 25 0 1 0 21727259 397803520 68718 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 97120 68718 364 364 0 96756 0
[pid=9854] vsize: 388480
Current children cumulated CPU time (s) 663.28
Current children cumulated vsize (Kb) 388480

[startup+680.036 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115828 0 0 0 66712 603 0 0 25 0 1 0 21727259 398196736 68778 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 97216 68778 364 364 0 96852 0
[pid=9854] vsize: 388864
Current children cumulated CPU time (s) 673.15
Current children cumulated vsize (Kb) 388864

[startup+690.036 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115862 0 0 0 67692 609 0 0 25 0 1 0 21727259 398393344 68812 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 97264 68812 364 364 0 96900 0
[pid=9854] vsize: 389056
Current children cumulated CPU time (s) 683.01
Current children cumulated vsize (Kb) 389056

[startup+700.037 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115903 0 0 0 68671 616 0 0 25 0 1 0 21727259 398589952 68853 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 97312 68853 364 364 0 96948 0
[pid=9854] vsize: 389248
Current children cumulated CPU time (s) 692.87
Current children cumulated vsize (Kb) 389248

[startup+710.037 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115966 0 0 0 69655 622 0 0 25 0 1 0 21727259 398786560 68916 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 97360 68916 364 364 0 96996 0
[pid=9854] vsize: 389440
Current children cumulated CPU time (s) 702.77
Current children cumulated vsize (Kb) 389440

[startup+720.038 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115976 0 0 0 70644 625 0 0 25 0 1 0 21727259 398786560 68926 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 97360 68926 364 364 0 96996 0
[pid=9854] vsize: 389440
Current children cumulated CPU time (s) 712.69
Current children cumulated vsize (Kb) 389440

[startup+730.038 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115985 0 0 0 71621 633 0 0 25 0 1 0 21727259 398786560 68935 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 97360 68935 364 364 0 96996 0
[pid=9854] vsize: 389440
Current children cumulated CPU time (s) 722.54
Current children cumulated vsize (Kb) 389440

[startup+740.037 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116125 0 0 0 72603 638 0 0 25 0 1 0 21727259 399654912 69075 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 97572 69075 364 364 0 97208 0
[pid=9854] vsize: 390288
Current children cumulated CPU time (s) 732.41
Current children cumulated vsize (Kb) 390288

[startup+750.038 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116374 0 0 0 73576 647 0 0 25 0 1 0 21727259 400949248 69324 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 97888 69324 364 364 0 97524 0
[pid=9854] vsize: 391552
Current children cumulated CPU time (s) 742.23
Current children cumulated vsize (Kb) 391552

[startup+760.039 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116461 0 0 0 74548 658 0 0 25 0 1 0 21727259 401342464 69411 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 97984 69411 364 364 0 97620 0
[pid=9854] vsize: 391936
Current children cumulated CPU time (s) 752.06
Current children cumulated vsize (Kb) 391936

[startup+770.04 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116525 0 0 0 75530 663 0 0 25 0 1 0 21727259 401539072 69475 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 98032 69475 364 364 0 97668 0
[pid=9854] vsize: 392128
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (Kb) 392128

[startup+780.04 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116601 0 0 0 76508 669 0 0 25 0 1 0 21727259 401932288 69551 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 98128 69551 364 364 0 97764 0
[pid=9854] vsize: 392512
Current children cumulated CPU time (s) 771.77
Current children cumulated vsize (Kb) 392512

[startup+790.04 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116639 0 0 0 77485 677 0 0 25 0 1 0 21727259 402128896 69589 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98176 69589 364 364 0 97812 0
[pid=9854] vsize: 392704
Current children cumulated CPU time (s) 781.62
Current children cumulated vsize (Kb) 392704

[startup+800.041 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116708 0 0 0 78454 686 0 0 25 0 1 0 21727259 402522112 69658 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98272 69658 364 364 0 97908 0
[pid=9854] vsize: 393088
Current children cumulated CPU time (s) 791.4
Current children cumulated vsize (Kb) 393088

[startup+810.042 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116759 0 0 0 79430 695 0 0 25 0 1 0 21727259 402718720 69709 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98320 69709 364 364 0 97956 0
[pid=9854] vsize: 393280
Current children cumulated CPU time (s) 801.25
Current children cumulated vsize (Kb) 393280

[startup+820.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116903 0 0 0 80407 701 0 0 25 0 1 0 21727259 403456000 69853 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98500 69853 364 364 0 98136 0
[pid=9854] vsize: 394000
Current children cumulated CPU time (s) 811.08
Current children cumulated vsize (Kb) 394000

[startup+830.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116931 0 0 0 81383 709 0 0 25 0 1 0 21727259 403652608 69881 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 98548 69881 364 364 0 98184 0
[pid=9854] vsize: 394192
Current children cumulated CPU time (s) 820.92
Current children cumulated vsize (Kb) 394192

[startup+840.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116940 0 0 0 82375 712 0 0 25 0 1 0 21727259 403652608 69890 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 98548 69890 364 364 0 98184 0
[pid=9854] vsize: 394192
Current children cumulated CPU time (s) 830.87
Current children cumulated vsize (Kb) 394192

[startup+850.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116950 0 0 0 83360 717 0 0 25 0 1 0 21727259 403652608 69900 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98548 69900 364 364 0 98184 0
[pid=9854] vsize: 394192
Current children cumulated CPU time (s) 840.77
Current children cumulated vsize (Kb) 394192

[startup+860.044 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117004 0 0 0 84332 726 0 0 25 0 1 0 21727259 403849216 69954 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 98596 69954 364 364 0 98232 0
[pid=9854] vsize: 394384
Current children cumulated CPU time (s) 850.58
Current children cumulated vsize (Kb) 394384

[startup+870.045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117053 0 0 0 85313 732 0 0 25 0 1 0 21727259 404242432 70003 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98692 70003 364 364 0 98328 0
[pid=9854] vsize: 394768
Current children cumulated CPU time (s) 860.45
Current children cumulated vsize (Kb) 394768

[startup+880.044 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117083 0 0 0 86295 737 0 0 25 0 1 0 21727259 404242432 70033 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98692 70033 364 364 0 98328 0
[pid=9854] vsize: 394768
Current children cumulated CPU time (s) 870.32
Current children cumulated vsize (Kb) 394768

[startup+890.044 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117127 0 0 0 87275 742 0 0 25 0 1 0 21727259 404439040 70077 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98740 70077 364 364 0 98376 0
[pid=9854] vsize: 394960
Current children cumulated CPU time (s) 880.17
Current children cumulated vsize (Kb) 394960

[startup+900.045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117167 0 0 0 88257 747 0 0 25 0 1 0 21727259 404602880 70117 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98780 70117 364 364 0 98416 0
[pid=9854] vsize: 395120
Current children cumulated CPU time (s) 890.04
Current children cumulated vsize (Kb) 395120

[startup+910.045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117176 0 0 0 89247 751 0 0 25 0 1 0 21727259 404602880 70126 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98780 70126 364 364 0 98416 0
[pid=9854] vsize: 395120
Current children cumulated CPU time (s) 899.98
Current children cumulated vsize (Kb) 395120

[startup+920.046 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117332 0 0 0 90225 759 0 0 25 0 1 0 21727259 405454848 70282 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98988 70282 364 364 0 98624 0
[pid=9854] vsize: 395952
Current children cumulated CPU time (s) 909.84
Current children cumulated vsize (Kb) 395952

[startup+930.046 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117353 0 0 0 91206 765 0 0 25 0 1 0 21727259 405454848 70303 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 98988 70303 364 364 0 98624 0
[pid=9854] vsize: 395952
Current children cumulated CPU time (s) 919.71
Current children cumulated vsize (Kb) 395952

[startup+940.046 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117371 0 0 0 92182 773 0 0 25 0 1 0 21727259 405651456 70321 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99036 70321 364 364 0 98672 0
[pid=9854] vsize: 396144
Current children cumulated CPU time (s) 929.55
Current children cumulated vsize (Kb) 396144

[startup+950.047 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117393 0 0 0 93165 779 0 0 25 0 1 0 21727259 405651456 70343 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99036 70343 364 364 0 98672 0
[pid=9854] vsize: 396144
Current children cumulated CPU time (s) 939.44
Current children cumulated vsize (Kb) 396144

[startup+960.048 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117405 0 0 0 94151 784 0 0 25 0 1 0 21727259 405651456 70355 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99036 70355 364 364 0 98672 0
[pid=9854] vsize: 396144
Current children cumulated CPU time (s) 949.35
Current children cumulated vsize (Kb) 396144

[startup+970.048 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117412 0 0 0 95147 786 0 0 25 0 1 0 21727259 405651456 70362 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99036 70362 364 364 0 98672 0
[pid=9854] vsize: 396144
Current children cumulated CPU time (s) 959.33
Current children cumulated vsize (Kb) 396144

[startup+980.048 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117489 0 0 0 96124 793 0 0 25 0 1 0 21727259 406044672 70439 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99132 70439 364 364 0 98768 0
[pid=9854] vsize: 396528
Current children cumulated CPU time (s) 969.17
Current children cumulated vsize (Kb) 396528

[startup+990.048 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117500 0 0 0 97102 801 0 0 25 0 1 0 21727259 406044672 70450 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99132 70450 364 364 0 98768 0
[pid=9854] vsize: 396528
Current children cumulated CPU time (s) 979.03
Current children cumulated vsize (Kb) 396528

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117511 0 0 0 98079 809 0 0 24 0 1 0 21727259 406044672 70461 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99132 70461 364 364 0 98768 0
[pid=9854] vsize: 396528
Current children cumulated CPU time (s) 988.88
Current children cumulated vsize (Kb) 396528

[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117561 0 0 0 99057 816 0 0 25 0 1 0 21727259 406241280 70511 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99180 70511 364 364 0 98816 0
[pid=9854] vsize: 396720
Current children cumulated CPU time (s) 998.73
Current children cumulated vsize (Kb) 396720

[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117627 0 0 0 100038 823 0 0 25 0 1 0 21727259 406634496 70577 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99276 70577 364 364 0 98912 0
[pid=9854] vsize: 397104
Current children cumulated CPU time (s) 1008.61
Current children cumulated vsize (Kb) 397104

[startup+1030.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117676 0 0 0 101020 829 0 0 25 0 1 0 21727259 406831104 70626 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99324 70626 364 364 0 98960 0
[pid=9854] vsize: 397296
Current children cumulated CPU time (s) 1018.49
Current children cumulated vsize (Kb) 397296

[startup+1040.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117779 0 0 0 101997 836 0 0 25 0 1 0 21727259 407420928 70729 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99468 70729 364 364 0 99104 0
[pid=9854] vsize: 397872
Current children cumulated CPU time (s) 1028.33
Current children cumulated vsize (Kb) 397872

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.94 1/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4704 0 -1 0 117973 0 0 0 102978 843 0 0 25 0 1 0 21727259 408420352 70923 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99712 70923 364 364 0 99348 0
[pid=9854] vsize: 398848
Current children cumulated CPU time (s) 1038.21
Current children cumulated vsize (Kb) 398848

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118007 0 0 0 103965 848 0 0 25 0 1 0 21727259 408616960 70957 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99760 70957 364 364 0 99396 0
[pid=9854] vsize: 399040
Current children cumulated CPU time (s) 1048.13
Current children cumulated vsize (Kb) 399040

[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.94 1/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4704 0 -1 0 118014 0 0 0 104950 852 0 0 25 0 1 0 21727259 408616960 70964 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99760 70964 364 364 0 99396 0
[pid=9854] vsize: 399040
Current children cumulated CPU time (s) 1058.02
Current children cumulated vsize (Kb) 399040

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118059 0 0 0 105926 860 0 0 25 0 1 0 21727259 408813568 71009 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99808 71009 364 364 0 99444 0
[pid=9854] vsize: 399232
Current children cumulated CPU time (s) 1067.86
Current children cumulated vsize (Kb) 399232

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118071 0 0 0 106910 866 0 0 25 0 1 0 21727259 408813568 71021 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99808 71021 364 364 0 99444 0
[pid=9854] vsize: 399232
Current children cumulated CPU time (s) 1077.76
Current children cumulated vsize (Kb) 399232

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118099 0 0 0 107887 874 0 0 25 0 1 0 21727259 408813568 71049 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99808 71049 364 364 0 99444 0
[pid=9854] vsize: 399232
Current children cumulated CPU time (s) 1087.61
Current children cumulated vsize (Kb) 399232

[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9854
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118122 0 0 0 108874 878 0 0 25 0 1 0 21727259 409010176 71072 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99856 71072 364 364 0 99492 0
[pid=9854] vsize: 399424
Current children cumulated CPU time (s) 1097.52
Current children cumulated vsize (Kb) 399424

[startup+1120.05 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 9909
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118141 0 0 0 109851 885 0 0 25 0 1 0 21727259 409010176 71091 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99856 71091 364 364 0 99492 0
[pid=9854] vsize: 399424
Current children cumulated CPU time (s) 1107.36
Current children cumulated vsize (Kb) 399424

[startup+1130.05 s]
Raw data (loadavg): 1.14 1.00 0.95 2/55 9909
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118161 0 0 0 110827 893 0 0 25 0 1 0 21727259 409010176 71111 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99856 71111 364 364 0 99492 0
[pid=9854] vsize: 399424
Current children cumulated CPU time (s) 1117.2
Current children cumulated vsize (Kb) 399424

[startup+1140.05 s]
Raw data (loadavg): 1.12 1.00 0.95 2/55 9909
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118179 0 0 0 111797 903 0 0 25 0 1 0 21727259 409206784 71129 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99904 71129 364 364 0 99540 0
[pid=9854] vsize: 399616
Current children cumulated CPU time (s) 1127
Current children cumulated vsize (Kb) 399616

[startup+1150.05 s]
Raw data (loadavg): 1.10 1.00 0.95 2/55 9909
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118216 0 0 0 112771 911 0 0 25 0 1 0 21727259 409403392 71166 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99952 71166 364 364 0 99588 0
[pid=9854] vsize: 399808
Current children cumulated CPU time (s) 1136.82
Current children cumulated vsize (Kb) 399808

[startup+1160.05 s]
Raw data (loadavg): 1.08 1.00 0.95 2/55 9909
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118229 0 0 0 113764 914 0 0 25 0 1 0 21727259 409403392 71179 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99952 71179 364 364 0 99588 0
[pid=9854] vsize: 399808
Current children cumulated CPU time (s) 1146.78
Current children cumulated vsize (Kb) 399808

[startup+1170.05 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 9911
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118253 0 0 0 114737 923 0 0 25 0 1 0 21727259 409403392 71203 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 99952 71203 364 364 0 99588 0
[pid=9854] vsize: 399808
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (Kb) 399808

[startup+1180.06 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 9913
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118261 0 0 0 115732 926 0 0 25 0 1 0 21727259 409403392 71211 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 99952 71211 364 364 0 99588 0
[pid=9854] vsize: 399808
Current children cumulated CPU time (s) 1166.58
Current children cumulated vsize (Kb) 399808

[startup+1190.05 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 9915
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118344 0 0 0 116712 932 0 0 25 0 1 0 21727259 409796608 71294 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 100048 71294 364 364 0 99684 0
[pid=9854] vsize: 400192
Current children cumulated CPU time (s) 1176.44
Current children cumulated vsize (Kb) 400192

[startup+1200.06 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 9915
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118352 0 0 0 117694 938 0 0 25 0 1 0 21727259 409796608 71302 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 100048 71302 364 364 0 99684 0
[pid=9854] vsize: 400192
Current children cumulated CPU time (s) 1186.32
Current children cumulated vsize (Kb) 400192

[startup+1210.06 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 9915
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118366 0 0 0 118686 941 0 0 25 0 1 0 21727259 409796608 71316 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9854/statm): 100048 71316 364 364 0 99684 0
[pid=9854] vsize: 400192
Current children cumulated CPU time (s) 1196.27
Current children cumulated vsize (Kb) 400192

[startup+1220.06 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 9915
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118424 0 0 0 119671 946 0 0 25 0 1 0 21727259 410189824 71374 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 100144 71374 364 364 0 99780 0
[pid=9854] vsize: 400576
Current children cumulated CPU time (s) 1206.17
Current children cumulated vsize (Kb) 400576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 9915
Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118424 0 0 0 119671 946 0 0 25 0 1 0 21727259 410189824 71374 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9854/statm): 100144 71374 364 364 0 99780 0
[pid=9854] vsize: 400576
Current children cumulated CPU time (s) 1206.17
Current children cumulated vsize (Kb) 400576

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

Child status: 0
Real time (s): 1221.3
CPU time (s): 1207.43
CPU user time (s): 1197.82
CPU system time (s): 9.60854
CPU usage (%): 98.8638
Max. virtual memory (cumulated for all children) (Kb): 400576

Verifier Data

ERROR: no interpretation found !