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-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 benchmark1189.2
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 10485

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 18:18:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9190 boxname=wulflinc27 idbench=986 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-t1717.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-t1717.opb
IDLAUNCH: 9190
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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	: 3
cpu MHz		: 451.039
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        918220 kB
Buffers:         12476 kB
Cached:          86464 kB
SwapCached:          0 kB
Active:          56060 kB
Inactive:        45752 kB
HighTotal:      131008 kB
HighFree:        40152 kB
LowTotal:       903652 kB
LowFree:        878068 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8956 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:38:40 (client local time) WITH STATUS 0 IN 1207.52 SECONDS
stats: 9190 7 1207.52 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/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22251264 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 373 2 364 364 0 9 0
[pid=11133] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-t1717.opb

[startup+10.002 s]
Raw data (loadavg): 0.87 0.94 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 1448 0 0 0 991 6 0 0 25 0 1 0 22251264 5963776 1125 4294967295 134512640 135987407 3221224560 3221221960 135270413 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 1456 1125 364 364 0 1092 0
[pid=11133] vsize: 5824
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 5824

[startup+20.0029 s]
Raw data (loadavg): 0.89 0.94 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 2766 0 0 0 1988 9 0 0 25 0 1 0 22251264 10043392 2076 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 2452 2076 364 364 0 2088 0
[pid=11133] vsize: 9808
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 9808

[startup+30.0037 s]
Raw data (loadavg): 0.90 0.94 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 4215 0 0 0 2984 12 0 0 25 0 1 0 22251264 15224832 2779 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 3717 2779 364 364 0 3353 0
[pid=11133] vsize: 14868
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 14868

[startup+40.0045 s]
Raw data (loadavg): 0.92 0.94 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 4493 0 0 0 3984 12 0 0 25 0 1 0 22251264 15900672 3052 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 3882 3052 364 364 0 3518 0
[pid=11133] vsize: 15528
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 15528

[startup+50.0044 s]
Raw data (loadavg): 0.93 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 4762 0 0 0 4983 13 0 0 25 0 1 0 22251264 16576512 3316 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 4047 3316 364 364 0 3683 0
[pid=11133] vsize: 16188
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 16188

[startup+60.0052 s]
Raw data (loadavg): 0.94 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 5001 0 0 0 5982 14 0 0 25 0 1 0 22251264 17117184 3551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 4179 3551 364 364 0 3815 0
[pid=11133] vsize: 16716
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 16716

[startup+70.005 s]
Raw data (loadavg): 0.95 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 5213 0 0 0 6981 15 0 0 25 0 1 0 22251264 17657856 3760 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 4311 3760 364 364 0 3947 0
[pid=11133] vsize: 17244
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 17244

[startup+80.0058 s]
Raw data (loadavg): 0.96 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 5411 0 0 0 7980 16 0 0 25 0 1 0 22251264 18198528 3955 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 4443 3955 364 364 0 4079 0
[pid=11133] vsize: 17772
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 17772

[startup+90.0057 s]
Raw data (loadavg): 0.96 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 5596 0 0 0 8980 16 0 0 25 0 1 0 22251264 18739200 4137 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 4575 4137 364 364 0 4211 0
[pid=11133] vsize: 18300
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 18300

[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 5774 0 0 0 9980 16 0 0 25 0 1 0 22251264 19144704 4312 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 4674 4312 364 364 0 4310 0
[pid=11133] vsize: 18696
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 18696

[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 5944 0 0 0 10979 17 0 0 25 0 1 0 22251264 19550208 4479 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 4773 4479 364 364 0 4409 0
[pid=11133] vsize: 19092
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 19092

[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 8285 0 0 0 11972 23 0 0 25 0 1 0 22251264 28696576 5342 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 7006 5342 364 364 0 6642 0
[pid=11133] vsize: 28024
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 28024

[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 8344 0 0 0 12972 23 0 0 25 0 1 0 22251264 28696576 5399 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 7006 5399 364 364 0 6642 0
[pid=11133] vsize: 28024
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 28024

[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 8476 0 0 0 13972 24 0 0 25 0 1 0 22251264 28966912 5528 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 7072 5528 364 364 0 6708 0
[pid=11133] vsize: 28288
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 28288

[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 9290 0 0 0 14968 27 0 0 25 0 1 0 22251264 32075776 6341 4294967295 134512640 135987407 3221224560 3221221952 134616364 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 7831 6341 364 364 0 7467 0
[pid=11133] vsize: 31324
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 31324

[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 24538 0 0 0 15927 65 0 0 25 0 1 0 22251264 72433664 15985 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 17684 15985 364 364 0 17320 0
[pid=11133] vsize: 70736
Current children cumulated CPU time (s) 159.92
Current children cumulated vsize (Kb) 70736

[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 46340 0 0 0 16876 114 0 0 25 0 1 0 22251264 177483776 29695 4294967295 134512640 135987407 3221224560 3221111840 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 43331 29695 364 364 0 42967 0
[pid=11133] vsize: 173324
Current children cumulated CPU time (s) 169.9
Current children cumulated vsize (Kb) 173324

[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 71370 0 0 0 17819 168 0 0 25 0 1 0 22251264 264728576 48020 4294967295 134512640 135987407 3221224560 3221167424 134856409 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 64631 48020 364 364 0 64267 0
[pid=11133] vsize: 258524
Current children cumulated CPU time (s) 179.87
Current children cumulated vsize (Kb) 258524

[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 95937 0 0 0 18761 225 0 0 25 0 1 0 22251264 289341440 50827 4294967295 134512640 135987407 3221224560 3221180384 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 70640 50827 364 364 0 70276 0
[pid=11133] vsize: 282560
Current children cumulated CPU time (s) 189.86
Current children cumulated vsize (Kb) 282560

[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 104468 0 0 0 19732 246 0 0 25 0 1 0 22251264 309825536 57418 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 75641 57418 364 364 0 75277 0
[pid=11133] vsize: 302564
Current children cumulated CPU time (s) 199.78
Current children cumulated vsize (Kb) 302564

[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) T 11132 11133 4005 0 -1 0 105518 0 0 0 20713 255 0 0 25 0 1 0 22251264 315002880 58468 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11133/statm): 76905 58468 364 364 0 76541 0
[pid=11133] vsize: 307620
Current children cumulated CPU time (s) 209.68
Current children cumulated vsize (Kb) 307620

[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 106630 0 0 0 21689 265 0 0 25 0 1 0 22251264 320282624 59580 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 78194 59580 364 364 0 77830 0
[pid=11133] vsize: 312776
Current children cumulated CPU time (s) 219.54
Current children cumulated vsize (Kb) 312776

[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 107488 0 0 0 22668 273 0 0 25 0 1 0 22251264 324608000 60438 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 79250 60438 364 364 0 78886 0
[pid=11133] vsize: 317000
Current children cumulated CPU time (s) 229.41
Current children cumulated vsize (Kb) 317000

[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 107824 0 0 0 23643 281 0 0 25 0 1 0 22251264 326475776 60774 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 79706 60774 364 364 0 79342 0
[pid=11133] vsize: 318824
Current children cumulated CPU time (s) 239.24
Current children cumulated vsize (Kb) 318824

[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 108244 0 0 0 24622 288 0 0 25 0 1 0 22251264 328589312 61194 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 80222 61194 364 364 0 79858 0
[pid=11133] vsize: 320888
Current children cumulated CPU time (s) 249.1
Current children cumulated vsize (Kb) 320888

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 109502 0 0 0 25595 298 0 0 25 0 1 0 22251264 334733312 62452 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 81722 62452 364 364 0 81358 0
[pid=11133] vsize: 326888
Current children cumulated CPU time (s) 258.93
Current children cumulated vsize (Kb) 326888

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 110140 0 0 0 26572 307 0 0 25 0 1 0 22251264 337727488 63090 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 82453 63090 364 364 0 82089 0
[pid=11133] vsize: 329812
Current children cumulated CPU time (s) 268.79
Current children cumulated vsize (Kb) 329812

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 110518 0 0 0 27551 313 0 0 25 0 1 0 22251264 339431424 63468 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 82869 63468 364 364 0 82505 0
[pid=11133] vsize: 331476
Current children cumulated CPU time (s) 278.64
Current children cumulated vsize (Kb) 331476

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 110919 0 0 0 28531 322 0 0 25 0 1 0 22251264 341434368 63869 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 83358 63869 364 364 0 82994 0
[pid=11133] vsize: 333432
Current children cumulated CPU time (s) 288.53
Current children cumulated vsize (Kb) 333432

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 111247 0 0 0 29509 329 0 0 25 0 1 0 22251264 343252992 64197 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 83802 64197 364 364 0 83438 0
[pid=11133] vsize: 335208
Current children cumulated CPU time (s) 298.38
Current children cumulated vsize (Kb) 335208

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 111882 0 0 0 30482 338 0 0 25 0 1 0 22251264 346439680 64832 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 84580 64832 364 364 0 84216 0
[pid=11133] vsize: 338320
Current children cumulated CPU time (s) 308.2
Current children cumulated vsize (Kb) 338320

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 112327 0 0 0 31455 349 0 0 25 0 1 0 22251264 348561408 65277 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 85098 65277 364 364 0 84734 0
[pid=11133] vsize: 340392
Current children cumulated CPU time (s) 318.04
Current children cumulated vsize (Kb) 340392

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 112553 0 0 0 32435 355 0 0 25 0 1 0 22251264 349396992 65503 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 85302 65503 364 364 0 84938 0
[pid=11133] vsize: 341208
Current children cumulated CPU time (s) 327.9
Current children cumulated vsize (Kb) 341208

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113045 0 0 0 33408 365 0 0 24 0 1 0 22251264 351428608 65995 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 85798 65995 364 364 0 85434 0
[pid=11133] vsize: 343192
Current children cumulated CPU time (s) 337.73
Current children cumulated vsize (Kb) 343192

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113214 0 0 0 34386 372 0 0 25 0 1 0 22251264 352411648 66164 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 86038 66164 364 364 0 85674 0
[pid=11133] vsize: 344152
Current children cumulated CPU time (s) 347.58
Current children cumulated vsize (Kb) 344152

[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113238 0 0 0 35375 377 0 0 25 0 1 0 22251264 352411648 66188 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 86038 66188 364 364 0 85674 0
[pid=11133] vsize: 344152
Current children cumulated CPU time (s) 357.52
Current children cumulated vsize (Kb) 344152

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113355 0 0 0 36356 382 0 0 25 0 1 0 22251264 353198080 66305 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 86230 66305 364 364 0 85866 0
[pid=11133] vsize: 344920
Current children cumulated CPU time (s) 367.38
Current children cumulated vsize (Kb) 344920

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113458 0 0 0 37338 389 0 0 25 0 1 0 22251264 353591296 66408 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 86326 66408 364 364 0 85962 0
[pid=11133] vsize: 345304
Current children cumulated CPU time (s) 377.27
Current children cumulated vsize (Kb) 345304

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113706 0 0 0 38317 395 0 0 25 0 1 0 22251264 354672640 66656 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 86590 66656 364 364 0 86226 0
[pid=11133] vsize: 346360
Current children cumulated CPU time (s) 387.12
Current children cumulated vsize (Kb) 346360

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113716 0 0 0 39305 399 0 0 25 0 1 0 22251264 354672640 66666 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 86590 66666 364 364 0 86226 0
[pid=11133] vsize: 346360
Current children cumulated CPU time (s) 397.04
Current children cumulated vsize (Kb) 346360

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113805 0 0 0 40274 410 0 0 25 0 1 0 22251264 355065856 66755 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 86686 66755 364 364 0 86322 0
[pid=11133] vsize: 346744
Current children cumulated CPU time (s) 406.84
Current children cumulated vsize (Kb) 346744

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113942 0 0 0 41251 417 0 0 25 0 1 0 22251264 355790848 66892 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 86863 66892 364 364 0 86499 0
[pid=11133] vsize: 347452
Current children cumulated CPU time (s) 416.68
Current children cumulated vsize (Kb) 347452

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 113953 0 0 0 42239 421 0 0 24 0 1 0 22251264 389345280 66903 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95055 66903 364 364 0 94691 0
[pid=11133] vsize: 380220
Current children cumulated CPU time (s) 426.6
Current children cumulated vsize (Kb) 380220

[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114012 0 0 0 43218 427 0 0 25 0 1 0 22251264 389541888 66962 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95103 66962 364 364 0 94739 0
[pid=11133] vsize: 380412
Current children cumulated CPU time (s) 436.45
Current children cumulated vsize (Kb) 380412

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114076 0 0 0 44190 437 0 0 25 0 1 0 22251264 389935104 67026 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 95199 67026 364 364 0 94835 0
[pid=11133] vsize: 380796
Current children cumulated CPU time (s) 446.27
Current children cumulated vsize (Kb) 380796

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114170 0 0 0 45174 442 0 0 22 0 1 0 22251264 390328320 67120 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95295 67120 364 364 0 94931 0
[pid=11133] vsize: 381180
Current children cumulated CPU time (s) 456.16
Current children cumulated vsize (Kb) 381180

[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114240 0 0 0 46153 449 0 0 25 0 1 0 22251264 390721536 67190 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95391 67190 364 364 0 95027 0
[pid=11133] vsize: 381564
Current children cumulated CPU time (s) 466.02
Current children cumulated vsize (Kb) 381564

[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114304 0 0 0 47127 459 0 0 25 0 1 0 22251264 390918144 67254 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95439 67254 364 364 0 95075 0
[pid=11133] vsize: 381756
Current children cumulated CPU time (s) 475.86
Current children cumulated vsize (Kb) 381756

[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114336 0 0 0 48107 466 0 0 25 0 1 0 22251264 391114752 67286 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95487 67286 364 364 0 95123 0
[pid=11133] vsize: 381948
Current children cumulated CPU time (s) 485.73
Current children cumulated vsize (Kb) 381948

[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114447 0 0 0 49083 474 0 0 25 0 1 0 22251264 391704576 67397 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 95631 67397 364 364 0 95267 0
[pid=11133] vsize: 382524
Current children cumulated CPU time (s) 495.57
Current children cumulated vsize (Kb) 382524

[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114458 0 0 0 50073 478 0 0 25 0 1 0 22251264 391704576 67408 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95631 67408 364 364 0 95267 0
[pid=11133] vsize: 382524
Current children cumulated CPU time (s) 505.51
Current children cumulated vsize (Kb) 382524

[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114690 0 0 0 51050 486 0 0 25 0 1 0 22251264 392761344 67640 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95889 67640 364 364 0 95525 0
[pid=11133] vsize: 383556
Current children cumulated CPU time (s) 515.36
Current children cumulated vsize (Kb) 383556

[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114795 0 0 0 52034 490 0 0 25 0 1 0 22251264 393154560 67745 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 95985 67745 364 364 0 95621 0
[pid=11133] vsize: 383940
Current children cumulated CPU time (s) 525.24
Current children cumulated vsize (Kb) 383940

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 114893 0 0 0 53011 499 0 0 25 0 1 0 22251264 393744384 67843 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 96129 67843 364 364 0 95765 0
[pid=11133] vsize: 384516
Current children cumulated CPU time (s) 535.1
Current children cumulated vsize (Kb) 384516

[startup+550.024 s]
Raw data (loadavg): 1.07 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115024 0 0 0 53986 508 0 0 25 0 1 0 22251264 394469376 67974 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 96306 67974 364 364 0 95942 0
[pid=11133] vsize: 385224
Current children cumulated CPU time (s) 544.94
Current children cumulated vsize (Kb) 385224

[startup+560.024 s]
Raw data (loadavg): 1.06 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115044 0 0 0 54969 514 0 0 25 0 1 0 22251264 394469376 67994 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 96306 67994 364 364 0 95942 0
[pid=11133] vsize: 385224
Current children cumulated CPU time (s) 554.83
Current children cumulated vsize (Kb) 385224

[startup+570.025 s]
Raw data (loadavg): 1.05 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115107 0 0 0 55945 521 0 0 25 0 1 0 22251264 394665984 68057 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 96354 68057 364 364 0 95990 0
[pid=11133] vsize: 385416
Current children cumulated CPU time (s) 564.66
Current children cumulated vsize (Kb) 385416

[startup+580.026 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115124 0 0 0 56928 526 0 0 25 0 1 0 22251264 394862592 68074 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 96402 68074 364 364 0 96038 0
[pid=11133] vsize: 385608
Current children cumulated CPU time (s) 574.54
Current children cumulated vsize (Kb) 385608

[startup+590.027 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115319 0 0 0 57900 535 0 0 25 0 1 0 22251264 395837440 68269 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 96640 68269 364 364 0 96276 0
[pid=11133] vsize: 386560
Current children cumulated CPU time (s) 584.35
Current children cumulated vsize (Kb) 386560

[startup+600.028 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115333 0 0 0 58888 540 0 0 25 0 1 0 22251264 395837440 68283 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 96640 68283 364 364 0 96276 0
[pid=11133] vsize: 386560
Current children cumulated CPU time (s) 594.28
Current children cumulated vsize (Kb) 386560

[startup+610.029 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115406 0 0 0 59875 544 0 0 25 0 1 0 22251264 396230656 68356 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 96736 68356 364 364 0 96372 0
[pid=11133] vsize: 386944
Current children cumulated CPU time (s) 604.19
Current children cumulated vsize (Kb) 386944

[startup+620.029 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115459 0 0 0 60851 553 0 0 25 0 1 0 22251264 396427264 68409 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 96784 68409 364 364 0 96420 0
[pid=11133] vsize: 387136
Current children cumulated CPU time (s) 614.04
Current children cumulated vsize (Kb) 387136

[startup+630.029 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115484 0 0 0 61833 560 0 0 25 0 1 0 22251264 396427264 68434 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 96784 68434 364 364 0 96420 0
[pid=11133] vsize: 387136
Current children cumulated CPU time (s) 623.93
Current children cumulated vsize (Kb) 387136

[startup+640.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115546 0 0 0 62810 567 0 0 25 0 1 0 22251264 396820480 68496 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 96880 68496 364 364 0 96516 0
[pid=11133] vsize: 387520
Current children cumulated CPU time (s) 633.77
Current children cumulated vsize (Kb) 387520

[startup+650.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115672 0 0 0 63792 573 0 0 25 0 1 0 22251264 397410304 68622 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97024 68622 364 364 0 96660 0
[pid=11133] vsize: 388096
Current children cumulated CPU time (s) 643.65
Current children cumulated vsize (Kb) 388096

[startup+660.031 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115748 0 0 0 64769 580 0 0 25 0 1 0 22251264 397803520 68698 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 97120 68698 364 364 0 96756 0
[pid=11133] vsize: 388480
Current children cumulated CPU time (s) 653.49
Current children cumulated vsize (Kb) 388480

[startup+670.032 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115765 0 0 0 65746 587 0 0 25 0 1 0 22251264 397803520 68715 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97120 68715 364 364 0 96756 0
[pid=11133] vsize: 388480
Current children cumulated CPU time (s) 663.33
Current children cumulated vsize (Kb) 388480

[startup+680.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115826 0 0 0 66719 597 0 0 25 0 1 0 22251264 398196736 68776 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97216 68776 364 364 0 96852 0
[pid=11133] vsize: 388864
Current children cumulated CPU time (s) 673.16
Current children cumulated vsize (Kb) 388864

[startup+690.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115858 0 0 0 67703 602 0 0 25 0 1 0 22251264 398393344 68808 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97264 68808 364 364 0 96900 0
[pid=11133] vsize: 389056
Current children cumulated CPU time (s) 683.05
Current children cumulated vsize (Kb) 389056

[startup+700.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115879 0 0 0 68681 609 0 0 25 0 1 0 22251264 398393344 68829 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97264 68829 364 364 0 96900 0
[pid=11133] vsize: 389056
Current children cumulated CPU time (s) 692.9
Current children cumulated vsize (Kb) 389056

[startup+710.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115932 0 0 0 69670 612 0 0 25 0 1 0 22251264 398589952 68882 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97312 68882 364 364 0 96948 0
[pid=11133] vsize: 389248
Current children cumulated CPU time (s) 702.82
Current children cumulated vsize (Kb) 389248

[startup+720.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115972 0 0 0 70654 617 0 0 25 0 1 0 22251264 398786560 68922 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 97360 68922 364 364 0 96996 0
[pid=11133] vsize: 389440
Current children cumulated CPU time (s) 712.71
Current children cumulated vsize (Kb) 389440

[startup+730.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115981 0 0 0 71634 624 0 0 25 0 1 0 22251264 398786560 68931 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97360 68931 364 364 0 96996 0
[pid=11133] vsize: 389440
Current children cumulated CPU time (s) 722.58
Current children cumulated vsize (Kb) 389440

[startup+740.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 115991 0 0 0 72617 630 0 0 25 0 1 0 22251264 398786560 68941 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 97360 68941 364 364 0 96996 0
[pid=11133] vsize: 389440
Current children cumulated CPU time (s) 732.47
Current children cumulated vsize (Kb) 389440

[startup+750.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116371 0 0 0 73595 637 0 0 25 0 1 0 22251264 400949248 69321 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97888 69321 364 364 0 97524 0
[pid=11133] vsize: 391552
Current children cumulated CPU time (s) 742.32
Current children cumulated vsize (Kb) 391552

[startup+760.036 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116441 0 0 0 74564 648 0 0 25 0 1 0 22251264 401145856 69391 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 97936 69391 364 364 0 97572 0
[pid=11133] vsize: 391744
Current children cumulated CPU time (s) 752.12
Current children cumulated vsize (Kb) 391744

[startup+770.036 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116510 0 0 0 75541 655 0 0 25 0 1 0 22251264 401539072 69460 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 98032 69460 364 364 0 97668 0
[pid=11133] vsize: 392128
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (Kb) 392128

[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116575 0 0 0 76524 661 0 0 25 0 1 0 22251264 401932288 69525 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98128 69525 364 364 0 97764 0
[pid=11133] vsize: 392512
Current children cumulated CPU time (s) 771.85
Current children cumulated vsize (Kb) 392512

[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116625 0 0 0 77499 669 0 0 25 0 1 0 22251264 402128896 69575 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 98176 69575 364 364 0 97812 0
[pid=11133] vsize: 392704
Current children cumulated CPU time (s) 781.68
Current children cumulated vsize (Kb) 392704

[startup+800.037 s]
Raw data (loadavg): 1.00 0.99 0.94 1/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) T 11132 11133 4005 0 -1 0 116695 0 0 0 78469 679 0 0 25 0 1 0 22251264 402522112 69645 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98272 69645 364 364 0 97908 0
[pid=11133] vsize: 393088
Current children cumulated CPU time (s) 791.48
Current children cumulated vsize (Kb) 393088

[startup+810.038 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116715 0 0 0 79444 687 0 0 25 0 1 0 22251264 402522112 69665 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98272 69665 364 364 0 97908 0
[pid=11133] vsize: 393088
Current children cumulated CPU time (s) 801.31
Current children cumulated vsize (Kb) 393088

[startup+820.038 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116852 0 0 0 80419 695 0 0 25 0 1 0 22251264 403308544 69802 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98464 69802 364 364 0 98100 0
[pid=11133] vsize: 393856
Current children cumulated CPU time (s) 811.14
Current children cumulated vsize (Kb) 393856

[startup+830.039 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116918 0 0 0 81397 703 0 0 25 0 1 0 22251264 403652608 69868 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 98548 69868 364 364 0 98184 0
[pid=11133] vsize: 394192
Current children cumulated CPU time (s) 821
Current children cumulated vsize (Kb) 394192

[startup+840.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116937 0 0 0 82382 708 0 0 25 0 1 0 22251264 403652608 69887 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98548 69887 364 364 0 98184 0
[pid=11133] vsize: 394192
Current children cumulated CPU time (s) 830.9
Current children cumulated vsize (Kb) 394192

[startup+850.039 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116946 0 0 0 83372 711 0 0 25 0 1 0 22251264 403652608 69896 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98548 69896 364 364 0 98184 0
[pid=11133] vsize: 394192
Current children cumulated CPU time (s) 840.83
Current children cumulated vsize (Kb) 394192

[startup+860.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 116981 0 0 0 84344 721 0 0 25 0 1 0 22251264 403849216 69931 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 98596 69931 364 364 0 98232 0
[pid=11133] vsize: 394384
Current children cumulated CPU time (s) 850.65
Current children cumulated vsize (Kb) 394384

[startup+870.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117051 0 0 0 85318 730 0 0 25 0 1 0 22251264 404242432 70001 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98692 70001 364 364 0 98328 0
[pid=11133] vsize: 394768
Current children cumulated CPU time (s) 860.48
Current children cumulated vsize (Kb) 394768

[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117070 0 0 0 86307 735 0 0 25 0 1 0 22251264 404242432 70020 4294967295 134512640 135987407 3221224560 3221223248 134812023 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98692 70020 364 364 0 98328 0
[pid=11133] vsize: 394768
Current children cumulated CPU time (s) 870.42
Current children cumulated vsize (Kb) 394768

[startup+890.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117123 0 0 0 87284 742 0 0 25 0 1 0 22251264 404439040 70073 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 98740 70073 364 364 0 98376 0
[pid=11133] vsize: 394960
Current children cumulated CPU time (s) 880.26
Current children cumulated vsize (Kb) 394960

[startup+900.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117163 0 0 0 88267 747 0 0 25 0 1 0 22251264 404602880 70113 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98780 70113 364 364 0 98416 0
[pid=11133] vsize: 395120
Current children cumulated CPU time (s) 890.14
Current children cumulated vsize (Kb) 395120

[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117173 0 0 0 89258 750 0 0 25 0 1 0 22251264 404602880 70123 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 98780 70123 364 364 0 98416 0
[pid=11133] vsize: 395120
Current children cumulated CPU time (s) 900.08
Current children cumulated vsize (Kb) 395120

[startup+920.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117306 0 0 0 90236 757 0 0 25 0 1 0 22251264 405291008 70256 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 98948 70256 364 364 0 98584 0
[pid=11133] vsize: 395792
Current children cumulated CPU time (s) 909.93
Current children cumulated vsize (Kb) 395792

[startup+930.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117350 0 0 0 91218 763 0 0 25 0 1 0 22251264 405454848 70300 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 98988 70300 364 364 0 98624 0
[pid=11133] vsize: 395952
Current children cumulated CPU time (s) 919.81
Current children cumulated vsize (Kb) 395952

[startup+940.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117358 0 0 0 92197 770 0 0 25 0 1 0 22251264 405454848 70308 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 98988 70308 364 364 0 98624 0
[pid=11133] vsize: 395952
Current children cumulated CPU time (s) 929.67
Current children cumulated vsize (Kb) 395952

[startup+950.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117389 0 0 0 93171 778 0 0 25 0 1 0 22251264 405651456 70339 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99036 70339 364 364 0 98672 0
[pid=11133] vsize: 396144
Current children cumulated CPU time (s) 939.49
Current children cumulated vsize (Kb) 396144

[startup+960.045 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117402 0 0 0 94153 783 0 0 25 0 1 0 22251264 405651456 70352 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99036 70352 364 364 0 98672 0
[pid=11133] vsize: 396144
Current children cumulated CPU time (s) 949.36
Current children cumulated vsize (Kb) 396144

[startup+970.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117409 0 0 0 95148 785 0 0 25 0 1 0 22251264 405651456 70359 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99036 70359 364 364 0 98672 0
[pid=11133] vsize: 396144
Current children cumulated CPU time (s) 959.33
Current children cumulated vsize (Kb) 396144

[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117443 0 0 0 96136 788 0 0 25 0 1 0 22251264 405848064 70393 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 99084 70393 364 364 0 98720 0
[pid=11133] vsize: 396336
Current children cumulated CPU time (s) 969.24
Current children cumulated vsize (Kb) 396336

[startup+990.046 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117494 0 0 0 97114 795 0 0 25 0 1 0 22251264 406044672 70444 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 99132 70444 364 364 0 98768 0
[pid=11133] vsize: 396528
Current children cumulated CPU time (s) 979.09
Current children cumulated vsize (Kb) 396528

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117505 0 0 0 98087 803 0 0 25 0 1 0 22251264 406044672 70455 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99132 70455 364 364 0 98768 0
[pid=11133] vsize: 396528
Current children cumulated CPU time (s) 988.9
Current children cumulated vsize (Kb) 396528

[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117536 0 0 0 99065 810 0 0 25 0 1 0 22251264 406241280 70486 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 99180 70486 364 364 0 98816 0
[pid=11133] vsize: 396720
Current children cumulated CPU time (s) 998.75
Current children cumulated vsize (Kb) 396720

[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117622 0 0 0 100039 819 0 0 25 0 1 0 22251264 406634496 70572 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 99276 70572 364 364 0 98912 0
[pid=11133] vsize: 397104
Current children cumulated CPU time (s) 1008.58
Current children cumulated vsize (Kb) 397104

[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117673 0 0 0 101026 823 0 0 25 0 1 0 22251264 406831104 70623 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99324 70623 364 364 0 98960 0
[pid=11133] 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.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117737 0 0 0 102008 829 0 0 25 0 1 0 22251264 407224320 70687 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 99420 70687 364 364 0 99056 0
[pid=11133] vsize: 397680
Current children cumulated CPU time (s) 1028.37
Current children cumulated vsize (Kb) 397680

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117969 0 0 0 102982 838 0 0 25 0 1 0 22251264 408420352 70919 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99712 70919 364 364 0 99348 0
[pid=11133] vsize: 398848
Current children cumulated CPU time (s) 1038.2
Current children cumulated vsize (Kb) 398848

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 117999 0 0 0 103968 845 0 0 25 0 1 0 22251264 408616960 70949 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99760 70949 364 364 0 99396 0
[pid=11133] 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.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118011 0 0 0 104958 848 0 0 25 0 1 0 22251264 408616960 70961 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99760 70961 364 364 0 99396 0
[pid=11133] vsize: 399040
Current children cumulated CPU time (s) 1058.06
Current children cumulated vsize (Kb) 399040

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118035 0 0 0 105933 856 0 0 25 0 1 0 22251264 408616960 70985 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 99760 70985 364 364 0 99396 0
[pid=11133] vsize: 399040
Current children cumulated CPU time (s) 1067.89
Current children cumulated vsize (Kb) 399040

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118067 0 0 0 106910 863 0 0 25 0 1 0 22251264 408813568 71017 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99808 71017 364 364 0 99444 0
[pid=11133] vsize: 399232
Current children cumulated CPU time (s) 1077.73
Current children cumulated vsize (Kb) 399232

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118086 0 0 0 107895 868 0 0 25 0 1 0 22251264 408813568 71036 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99808 71036 364 364 0 99444 0
[pid=11133] vsize: 399232
Current children cumulated CPU time (s) 1087.63
Current children cumulated vsize (Kb) 399232

[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118117 0 0 0 108879 873 0 0 25 0 1 0 22251264 409010176 71067 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99856 71067 364 364 0 99492 0
[pid=11133] vsize: 399424
Current children cumulated CPU time (s) 1097.52
Current children cumulated vsize (Kb) 399424

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.94 1/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) T 11132 11133 4005 0 -1 0 118126 0 0 0 109859 879 0 0 25 0 1 0 22251264 409010176 71076 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99856 71076 364 364 0 99492 0
[pid=11133] vsize: 399424
Current children cumulated CPU time (s) 1107.38
Current children cumulated vsize (Kb) 399424

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118157 0 0 0 110838 886 0 0 25 0 1 0 22251264 409010176 71107 4294967295 134512640 135987407 3221224560 3221223248 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 99856 71107 364 364 0 99492 0
[pid=11133] vsize: 399424
Current children cumulated CPU time (s) 1117.24
Current children cumulated vsize (Kb) 399424

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118176 0 0 0 111812 894 0 0 25 0 1 0 22251264 409206784 71126 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99904 71126 364 364 0 99540 0
[pid=11133] vsize: 399616
Current children cumulated CPU time (s) 1127.06
Current children cumulated vsize (Kb) 399616

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118193 0 0 0 112788 902 0 0 25 0 1 0 22251264 409206784 71143 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99904 71143 364 364 0 99540 0
[pid=11133] vsize: 399616
Current children cumulated CPU time (s) 1136.9
Current children cumulated vsize (Kb) 399616

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118224 0 0 0 113768 909 0 0 25 0 1 0 22251264 409403392 71174 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99952 71174 364 364 0 99588 0
[pid=11133] vsize: 399808
Current children cumulated CPU time (s) 1146.77
Current children cumulated vsize (Kb) 399808

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118244 0 0 0 114751 915 0 0 25 0 1 0 22251264 409403392 71194 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99952 71194 364 364 0 99588 0
[pid=11133] vsize: 399808
Current children cumulated CPU time (s) 1156.66
Current children cumulated vsize (Kb) 399808

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118258 0 0 0 115738 919 0 0 25 0 1 0 22251264 409403392 71208 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99952 71208 364 364 0 99588 0
[pid=11133] vsize: 399808
Current children cumulated CPU time (s) 1166.57
Current children cumulated vsize (Kb) 399808

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118275 0 0 0 116731 922 0 0 25 0 1 0 22251264 409403392 71225 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 99952 71225 364 364 0 99588 0
[pid=11133] vsize: 399808
Current children cumulated CPU time (s) 1176.53
Current children cumulated vsize (Kb) 399808

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118349 0 0 0 117713 928 0 0 25 0 1 0 22251264 409796608 71299 4294967295 134512640 135987407 3221224560 3221223136 135486786 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 100048 71299 364 364 0 99684 0
[pid=11133] vsize: 400192
Current children cumulated CPU time (s) 1186.41
Current children cumulated vsize (Kb) 400192

[startup+1210.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118363 0 0 0 118696 933 0 0 25 0 1 0 22251264 409796608 71313 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11133/statm): 100048 71313 364 364 0 99684 0
[pid=11133] vsize: 400192
Current children cumulated CPU time (s) 1196.29
Current children cumulated vsize (Kb) 400192

[startup+1220.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118374 0 0 0 119690 935 0 0 25 0 1 0 22251264 409796608 71324 4294967295 134512640 135987407 3221224560 3221223248 134812155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 100048 71324 364 364 0 99684 0
[pid=11133] vsize: 400192
Current children cumulated CPU time (s) 1206.25
Current children cumulated vsize (Kb) 400192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11133
Raw data (/proc/11133/stat): 11133 (pb2sat) R 11132 11133 4005 0 -1 0 118374 0 0 0 119690 935 0 0 25 0 1 0 22251264 409796608 71324 4294967295 134512640 135987407 3221224560 3221223248 134812155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11133/statm): 100048 71324 364 364 0 99684 0
[pid=11133] vsize: 400192
Current children cumulated CPU time (s) 1206.25
Current children cumulated vsize (Kb) 400192

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

Child status: 0
Real time (s): 1221.32
CPU time (s): 1207.52
CPU user time (s): 1198.02
CPU system time (s): 9.50255
CPU usage (%): 98.8702
Max. virtual memory (cumulated for all children) (Kb): 400192

Verifier Data

ERROR: no interpretation found !