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-air04.opb
MD5SUMee388359e66788d310d5d5b34d6465c1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 10061

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 16:27:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8761 boxname=wulflinc32 idbench=557 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 8761
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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.145
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:      1034724 kB
MemFree:        922244 kB
Buffers:         14852 kB
Cached:          77560 kB
SwapCached:          0 kB
Active:          43688 kB
Inactive:        51676 kB
HighTotal:      131072 kB
HighFree:        48992 kB
LowTotal:       903652 kB
LowFree:        873252 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:            11416 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:47:36 (client local time) WITH STATUS 0 IN 1201.95 SECONDS
stats: 8761 7 1201.95 0

Solver Data

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

c Decision: 72430/153207	Time: 108.805/86400
c Decision: 72527/153207	Time: 344.756/86400
c Decision: 72581/153207	Time: 495.994/86400
c Decision: 72639/153207	Time: 688.986/86400
c Decision: 72642/153207	Time: 708.932/86400
c Decision: 72715/153207	Time: 900.671/86400
c Decision: 72719/153207	Time: 921.425/86400
c Decision: 72722/153207	Time: 949.051/86400
c Decision: 72729/153207	Time: 1036.47/86400
c Decision: 72734/153207	Time: 1070.25/86400
c Decision: 72763/153207	Time: 1153.28/86400s UNKNOWN

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21580868 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 373 2 364 364 0 9 0
[pid=7856] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-air04.opb

[startup+10.0019 s]
Raw data (loadavg): 0.84 0.92 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 19195 0 0 0 947 49 0 0 25 0 1 0 21580868 58871808 11167 4294967295 134512640 135987407 3221224560 3221200320 134876450 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 14373 11167 364 364 0 14009 0
[pid=7856] vsize: 57492
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 57492

[startup+20.0026 s]
Raw data (loadavg): 0.86 0.92 0.96 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 21500 0 0 0 1919 61 0 0 25 0 1 0 21580868 64638976 13062 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 15781 13062 364 364 0 15417 0
[pid=7856] vsize: 63124
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (Kb) 63124

[startup+30.0034 s]
Raw data (loadavg): 0.89 0.92 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 21813 0 0 0 2888 74 0 0 25 0 1 0 21580868 65929216 13375 4294967295 134512640 135987407 3221224560 3221223376 134812451 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 16096 13375 364 364 0 15732 0
[pid=7856] vsize: 64384
Current children cumulated CPU time (s) 29.62
Current children cumulated vsize (Kb) 64384

[startup+40.0032 s]
Raw data (loadavg): 0.90 0.93 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 21977 0 0 0 3859 84 0 0 25 0 1 0 21580868 66527232 13539 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 16242 13539 364 364 0 15878 0
[pid=7856] vsize: 64968
Current children cumulated CPU time (s) 39.43
Current children cumulated vsize (Kb) 64968

[startup+50.004 s]
Raw data (loadavg): 0.92 0.93 0.96 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 22125 0 0 0 4830 93 0 0 25 0 1 0 21580868 66969600 13687 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 16350 13687 364 364 0 15986 0
[pid=7856] vsize: 65400
Current children cumulated CPU time (s) 49.23
Current children cumulated vsize (Kb) 65400

[startup+60.0037 s]
Raw data (loadavg): 0.93 0.93 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 22260 0 0 0 5800 103 0 0 25 0 1 0 21580868 67571712 13822 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 16497 13822 364 364 0 16133 0
[pid=7856] vsize: 65988
Current children cumulated CPU time (s) 59.03
Current children cumulated vsize (Kb) 65988

[startup+70.0045 s]
Raw data (loadavg): 0.94 0.93 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 22362 0 0 0 6774 112 0 0 25 0 1 0 21580868 67735552 13924 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 16537 13924 364 364 0 16173 0
[pid=7856] vsize: 66148
Current children cumulated CPU time (s) 68.86
Current children cumulated vsize (Kb) 66148

[startup+80.0053 s]
Raw data (loadavg): 0.95 0.93 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 22477 0 0 0 7744 121 0 0 25 0 1 0 21580868 68018176 14039 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 16606 14039 364 364 0 16242 0
[pid=7856] vsize: 66424
Current children cumulated CPU time (s) 78.65
Current children cumulated vsize (Kb) 66424

[startup+90.005 s]
Raw data (loadavg): 0.96 0.94 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 22638 0 0 0 8723 129 0 0 25 0 1 0 21580868 68485120 14200 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 16720 14200 364 364 0 16356 0
[pid=7856] vsize: 66880
Current children cumulated CPU time (s) 88.52
Current children cumulated vsize (Kb) 66880

[startup+100.006 s]
Raw data (loadavg): 0.96 0.94 0.96 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 22727 0 0 0 9688 141 0 0 25 0 1 0 21580868 77021184 14289 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 18804 14289 364 364 0 18440 0
[pid=7856] vsize: 75216
Current children cumulated CPU time (s) 98.29
Current children cumulated vsize (Kb) 75216

[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 22821 0 0 0 10663 149 0 0 25 0 1 0 21580868 77156352 14383 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 18837 14383 364 364 0 18473 0
[pid=7856] vsize: 75348
Current children cumulated CPU time (s) 108.12
Current children cumulated vsize (Kb) 75348

[startup+120.006 s]
Raw data (loadavg): 0.97 0.94 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 23001 0 0 0 11652 154 0 0 25 0 1 0 21580868 77291520 14563 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 18870 14563 364 364 0 18506 0
[pid=7856] vsize: 75480
Current children cumulated CPU time (s) 118.06
Current children cumulated vsize (Kb) 75480

[startup+130.006 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 23355 0 0 0 12633 161 0 0 25 0 1 0 21580868 77426688 14617 4294967295 134512640 135987407 3221224560 3221223344 134812441 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 18903 14617 364 364 0 18539 0
[pid=7856] vsize: 75612
Current children cumulated CPU time (s) 127.94
Current children cumulated vsize (Kb) 75612

[startup+140.006 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 23399 0 0 0 13617 167 0 0 25 0 1 0 21580868 77692928 14661 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 18968 14661 364 364 0 18604 0
[pid=7856] vsize: 75872
Current children cumulated CPU time (s) 137.84
Current children cumulated vsize (Kb) 75872

[startup+150.007 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 23499 0 0 0 14586 178 0 0 25 0 1 0 21580868 77840384 14761 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19004 14761 364 364 0 18640 0
[pid=7856] vsize: 76016
Current children cumulated CPU time (s) 147.64
Current children cumulated vsize (Kb) 76016

[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 23579 0 0 0 15562 186 0 0 25 0 1 0 21580868 78135296 14841 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19076 14841 364 364 0 18712 0
[pid=7856] vsize: 76304
Current children cumulated CPU time (s) 157.48
Current children cumulated vsize (Kb) 76304

[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 23723 0 0 0 16548 192 0 0 25 0 1 0 21580868 78274560 14985 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19110 14985 364 364 0 18746 0
[pid=7856] vsize: 76440
Current children cumulated CPU time (s) 167.4
Current children cumulated vsize (Kb) 76440

[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 23814 0 0 0 17513 204 0 0 25 0 1 0 21580868 78417920 15076 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 19145 15076 364 364 0 18781 0
[pid=7856] vsize: 76580
Current children cumulated CPU time (s) 177.17
Current children cumulated vsize (Kb) 76580

[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 23950 0 0 0 18463 220 0 0 25 0 1 0 21580868 78848000 15212 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19250 15212 364 364 0 18886 0
[pid=7856] vsize: 77000
Current children cumulated CPU time (s) 186.83
Current children cumulated vsize (Kb) 77000

[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24079 0 0 0 19420 233 0 0 25 0 1 0 21580868 79306752 15341 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19362 15341 364 364 0 18998 0
[pid=7856] vsize: 77448
Current children cumulated CPU time (s) 196.53
Current children cumulated vsize (Kb) 77448

[startup+210.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24207 0 0 0 20392 243 0 0 25 0 1 0 21580868 79634432 15469 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 19442 15469 364 364 0 19078 0
[pid=7856] vsize: 77768
Current children cumulated CPU time (s) 206.35
Current children cumulated vsize (Kb) 77768

[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24284 0 0 0 21369 251 0 0 25 0 1 0 21580868 79798272 15546 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19482 15546 364 364 0 19118 0
[pid=7856] vsize: 77928
Current children cumulated CPU time (s) 216.2
Current children cumulated vsize (Kb) 77928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24387 0 0 0 22342 260 0 0 25 0 1 0 21580868 79945728 15649 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 19518 15649 364 364 0 19154 0
[pid=7856] vsize: 78072
Current children cumulated CPU time (s) 226.02
Current children cumulated vsize (Kb) 78072

[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24543 0 0 0 23328 266 0 0 25 0 1 0 21580868 79945728 15805 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 19518 15805 364 364 0 19154 0
[pid=7856] vsize: 78072
Current children cumulated CPU time (s) 235.94
Current children cumulated vsize (Kb) 78072

[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24612 0 0 0 24307 272 0 0 25 0 1 0 21580868 80109568 15874 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19558 15874 364 364 0 19194 0
[pid=7856] vsize: 78232
Current children cumulated CPU time (s) 245.79
Current children cumulated vsize (Kb) 78232

[startup+260.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24708 0 0 0 25282 279 0 0 25 0 1 0 21580868 80244736 15970 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19591 15970 364 364 0 19227 0
[pid=7856] vsize: 78364
Current children cumulated CPU time (s) 255.61
Current children cumulated vsize (Kb) 78364

[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24813 0 0 0 26257 287 0 0 25 0 1 0 21580868 80379904 16075 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19624 16075 364 364 0 19260 0
[pid=7856] vsize: 78496
Current children cumulated CPU time (s) 265.44
Current children cumulated vsize (Kb) 78496

[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 24960 0 0 0 27232 296 0 0 25 0 1 0 21580868 80658432 16222 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 19692 16222 364 364 0 19328 0
[pid=7856] vsize: 78768
Current children cumulated CPU time (s) 275.28
Current children cumulated vsize (Kb) 78768

[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 25073 0 0 0 28210 302 0 0 25 0 1 0 21580868 80658432 16335 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 19692 16335 364 364 0 19328 0
[pid=7856] vsize: 78768
Current children cumulated CPU time (s) 285.12
Current children cumulated vsize (Kb) 78768

[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 25184 0 0 0 29187 309 0 0 25 0 1 0 21580868 80793600 16446 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19725 16446 364 364 0 19361 0
[pid=7856] vsize: 78900
Current children cumulated CPU time (s) 294.96
Current children cumulated vsize (Kb) 78900

[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.96 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 25328 0 0 0 30160 318 0 0 25 0 1 0 21580868 81063936 16590 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19791 16590 364 364 0 19427 0
[pid=7856] vsize: 79164
Current children cumulated CPU time (s) 304.78
Current children cumulated vsize (Kb) 79164

[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 25432 0 0 0 31129 327 0 0 25 0 1 0 21580868 81342464 16694 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19859 16694 364 364 0 19495 0
[pid=7856] vsize: 79436
Current children cumulated CPU time (s) 314.56
Current children cumulated vsize (Kb) 79436

[startup+330.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 25566 0 0 0 32087 342 0 0 25 0 1 0 21580868 81661952 16828 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 19937 16828 364 364 0 19573 0
[pid=7856] vsize: 79748
Current children cumulated CPU time (s) 324.29
Current children cumulated vsize (Kb) 79748

[startup+340.014 s]
Raw data (loadavg): 1.07 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 25710 0 0 0 33055 354 0 0 25 0 1 0 21580868 81977344 16972 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 20014 16972 364 364 0 19650 0
[pid=7856] vsize: 80056
Current children cumulated CPU time (s) 334.09
Current children cumulated vsize (Kb) 80056

[startup+350.015 s]
Raw data (loadavg): 1.06 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 25914 0 0 0 34041 360 0 0 25 0 1 0 21580868 81977344 17176 4294967295 134512640 135987407 3221224560 3221223132 134801599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 20014 17176 364 364 0 19650 0
[pid=7856] vsize: 80056
Current children cumulated CPU time (s) 344.01
Current children cumulated vsize (Kb) 80056

[startup+360.015 s]
Raw data (loadavg): 1.05 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 26094 0 0 0 35031 365 0 0 25 0 1 0 21580868 82128896 17356 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 20051 17356 364 364 0 19687 0
[pid=7856] vsize: 80204
Current children cumulated CPU time (s) 353.96
Current children cumulated vsize (Kb) 80204

[startup+370.016 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 26489 0 0 0 36017 370 0 0 25 0 1 0 21580868 82128896 17451 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 20051 17451 364 364 0 19687 0
[pid=7856] vsize: 80204
Current children cumulated CPU time (s) 363.87
Current children cumulated vsize (Kb) 80204

[startup+380.015 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 26658 0 0 0 36987 380 0 0 25 0 1 0 21580868 99258368 17620 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 24233 17620 364 364 0 23869 0
[pid=7856] vsize: 96932
Current children cumulated CPU time (s) 373.67
Current children cumulated vsize (Kb) 96932

[startup+390.015 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 26927 0 0 0 37982 383 0 0 25 0 1 0 21580868 99258368 17889 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 24233 17889 364 364 0 23869 0
[pid=7856] vsize: 96932
Current children cumulated CPU time (s) 383.65
Current children cumulated vsize (Kb) 96932

[startup+400.016 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 27055 0 0 0 38958 392 0 0 25 0 1 0 21580868 99422208 18017 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 24273 18017 364 364 0 23909 0
[pid=7856] vsize: 97092
Current children cumulated CPU time (s) 393.5
Current children cumulated vsize (Kb) 97092

[startup+410.016 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 27120 0 0 0 39941 398 0 0 25 0 1 0 21580868 99422208 18082 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 24273 18082 364 364 0 23909 0
[pid=7856] vsize: 97092
Current children cumulated CPU time (s) 403.39
Current children cumulated vsize (Kb) 97092

[startup+420.016 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 27257 0 0 0 40927 403 0 0 25 0 1 0 21580868 99422208 18219 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 24273 18219 364 364 0 23909 0
[pid=7856] vsize: 97092
Current children cumulated CPU time (s) 413.3
Current children cumulated vsize (Kb) 97092

[startup+430.017 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 27484 0 0 0 41912 409 0 0 25 0 1 0 21580868 99569664 18446 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 24309 18446 364 364 0 23945 0
[pid=7856] vsize: 97236
Current children cumulated CPU time (s) 423.21
Current children cumulated vsize (Kb) 97236

[startup+440.017 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 27585 0 0 0 42881 420 0 0 25 0 1 0 21580868 99733504 18547 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 24349 18547 364 364 0 23985 0
[pid=7856] vsize: 97396
Current children cumulated CPU time (s) 433.01
Current children cumulated vsize (Kb) 97396

[startup+450.018 s]
Raw data (loadavg): 1.01 0.98 0.96 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 30763 0 0 0 43854 435 0 0 25 0 1 0 21580868 112451584 18652 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7856/statm): 27454 18652 364 364 0 27090 0
[pid=7856] vsize: 109816
Current children cumulated CPU time (s) 442.89
Current children cumulated vsize (Kb) 109816

[startup+460.019 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 30875 0 0 0 44829 445 0 0 25 0 1 0 21580868 112615424 18764 4294967295 134512640 135987407 3221224560 3221223248 134812112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27494 18764 364 364 0 27130 0
[pid=7856] vsize: 109976
Current children cumulated CPU time (s) 452.74
Current children cumulated vsize (Kb) 109976

[startup+470.019 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 30973 0 0 0 45789 457 0 0 25 0 1 0 21580868 112775168 18862 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27533 18862 364 364 0 27169 0
[pid=7856] vsize: 110132
Current children cumulated CPU time (s) 462.46
Current children cumulated vsize (Kb) 110132

[startup+480.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 31067 0 0 0 46752 469 0 0 25 0 1 0 21580868 112910336 18956 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27566 18956 364 364 0 27202 0
[pid=7856] vsize: 110264
Current children cumulated CPU time (s) 472.21
Current children cumulated vsize (Kb) 110264

[startup+490.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 31228 0 0 0 47738 475 0 0 25 0 1 0 21580868 113045504 19117 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27599 19117 364 364 0 27235 0
[pid=7856] vsize: 110396
Current children cumulated CPU time (s) 482.13
Current children cumulated vsize (Kb) 110396

[startup+500.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 31332 0 0 0 48724 480 0 0 25 0 1 0 21580868 113242112 19221 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27647 19221 364 364 0 27283 0
[pid=7856] vsize: 110588
Current children cumulated CPU time (s) 492.04
Current children cumulated vsize (Kb) 110588

[startup+510.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 31429 0 0 0 49706 486 0 0 25 0 1 0 21580868 113242112 19318 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27647 19318 364 364 0 27283 0
[pid=7856] vsize: 110588
Current children cumulated CPU time (s) 501.92
Current children cumulated vsize (Kb) 110588

[startup+520.02 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 31808 0 0 0 50692 492 0 0 25 0 1 0 21580868 113242112 19397 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7856/statm): 27647 19397 364 364 0 27283 0
[pid=7856] vsize: 110588
Current children cumulated CPU time (s) 511.84
Current children cumulated vsize (Kb) 110588

[startup+530.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 31880 0 0 0 51657 504 0 0 25 0 1 0 21580868 113381376 19469 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27681 19469 364 364 0 27317 0
[pid=7856] vsize: 110724
Current children cumulated CPU time (s) 521.61
Current children cumulated vsize (Kb) 110724

[startup+540.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 32006 0 0 0 52646 509 0 0 25 0 1 0 21580868 113381376 19595 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27681 19595 364 364 0 27317 0
[pid=7856] vsize: 110724
Current children cumulated CPU time (s) 531.55
Current children cumulated vsize (Kb) 110724

[startup+550.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 32098 0 0 0 53627 515 0 0 25 0 1 0 21580868 113381376 19687 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27681 19687 364 364 0 27317 0
[pid=7856] vsize: 110724
Current children cumulated CPU time (s) 541.42
Current children cumulated vsize (Kb) 110724

[startup+560.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 32238 0 0 0 54602 523 0 0 25 0 1 0 21580868 113848320 19827 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27795 19827 364 364 0 27431 0
[pid=7856] vsize: 111180
Current children cumulated CPU time (s) 551.25
Current children cumulated vsize (Kb) 111180

[startup+570.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 32395 0 0 0 55587 529 0 0 25 0 1 0 21580868 113848320 19984 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27795 19984 364 364 0 27431 0
[pid=7856] vsize: 111180
Current children cumulated CPU time (s) 561.16
Current children cumulated vsize (Kb) 111180

[startup+580.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 32503 0 0 0 56567 536 0 0 25 0 1 0 21580868 113848320 20092 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 27795 20092 364 364 0 27431 0
[pid=7856] vsize: 111180
Current children cumulated CPU time (s) 571.03
Current children cumulated vsize (Kb) 111180

[startup+590.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 32670 0 0 0 57557 539 0 0 25 0 1 0 21580868 114147328 20259 4294967295 134512640 135987407 3221224560 3221223152 134850890 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27868 20259 364 364 0 27504 0
[pid=7856] vsize: 111472
Current children cumulated CPU time (s) 580.96
Current children cumulated vsize (Kb) 111472

[startup+600.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 32810 0 0 0 58523 552 0 0 25 0 1 0 21580868 114466816 20399 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27946 20399 364 364 0 27582 0
[pid=7856] vsize: 111784
Current children cumulated CPU time (s) 590.75
Current children cumulated vsize (Kb) 111784

[startup+610.022 s]
Raw data (loadavg): 1.07 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 32892 0 0 0 59491 563 0 0 25 0 1 0 21580868 114466816 20481 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 27946 20481 364 364 0 27582 0
[pid=7856] vsize: 111784
Current children cumulated CPU time (s) 600.54
Current children cumulated vsize (Kb) 111784

[startup+620.023 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 32992 0 0 0 60467 573 0 0 25 0 1 0 21580868 114769920 20581 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28020 20581 364 364 0 27656 0
[pid=7856] vsize: 112080
Current children cumulated CPU time (s) 610.4
Current children cumulated vsize (Kb) 112080

[startup+630.024 s]
Raw data (loadavg): 1.05 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 33098 0 0 0 61433 586 0 0 25 0 1 0 21580868 114966528 20687 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28068 20687 364 364 0 27704 0
[pid=7856] vsize: 112272
Current children cumulated CPU time (s) 620.19
Current children cumulated vsize (Kb) 112272

[startup+640.024 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 33224 0 0 0 62416 592 0 0 25 0 1 0 21580868 114966528 20813 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28068 20813 364 364 0 27704 0
[pid=7856] vsize: 112272
Current children cumulated CPU time (s) 630.08
Current children cumulated vsize (Kb) 112272

[startup+650.024 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 33343 0 0 0 63375 605 0 0 25 0 1 0 21580868 115240960 20932 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28135 20932 364 364 0 27771 0
[pid=7856] vsize: 112540
Current children cumulated CPU time (s) 639.8
Current children cumulated vsize (Kb) 112540

[startup+660.025 s]
Raw data (loadavg): 1.03 1.00 0.97 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 33499 0 0 0 64364 608 0 0 25 0 1 0 21580868 115240960 21088 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28135 21088 364 364 0 27771 0
[pid=7856] vsize: 112540
Current children cumulated CPU time (s) 649.72
Current children cumulated vsize (Kb) 112540

[startup+670.026 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 33612 0 0 0 65342 616 0 0 25 0 1 0 21580868 115240960 21201 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28135 21201 364 364 0 27771 0
[pid=7856] vsize: 112540
Current children cumulated CPU time (s) 659.58
Current children cumulated vsize (Kb) 112540

[startup+680.025 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 33706 0 0 0 66329 620 0 0 25 0 1 0 21580868 115380224 21295 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28169 21295 364 364 0 27805 0
[pid=7856] vsize: 112676
Current children cumulated CPU time (s) 669.49
Current children cumulated vsize (Kb) 112676

[startup+690.025 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 33817 0 0 0 67322 622 0 0 25 0 1 0 21580868 115380224 21406 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28169 21406 364 364 0 27805 0
[pid=7856] vsize: 112676
Current children cumulated CPU time (s) 679.44
Current children cumulated vsize (Kb) 112676

[startup+700.026 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 33922 0 0 0 68306 628 0 0 25 0 1 0 21580868 115539968 21511 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28208 21511 364 364 0 27844 0
[pid=7856] vsize: 112832
Current children cumulated CPU time (s) 689.34
Current children cumulated vsize (Kb) 112832

[startup+710.026 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 34440 0 0 0 69299 632 0 0 25 0 1 0 21580868 116916224 22029 4294967295 134512640 135987407 3221224560 3221222928 134828866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28544 22029 364 364 0 28180 0
[pid=7856] vsize: 114176
Current children cumulated CPU time (s) 699.31
Current children cumulated vsize (Kb) 114176

[startup+720.027 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 34573 0 0 0 70284 638 0 0 25 0 1 0 21580868 115830784 21862 4294967295 134512640 135987407 3221224560 3221223392 134787343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28279 21862 364 364 0 27915 0
[pid=7856] vsize: 113116
Current children cumulated CPU time (s) 709.22
Current children cumulated vsize (Kb) 113116

[startup+730.027 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35183 0 0 0 71275 642 0 0 25 0 1 0 21580868 117194752 22472 4294967295 134512640 135987407 3221224560 3221222932 134829288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28612 22472 364 364 0 28248 0
[pid=7856] vsize: 114448
Current children cumulated CPU time (s) 719.17
Current children cumulated vsize (Kb) 114448

[startup+740.027 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35262 0 0 0 72256 648 0 0 25 0 1 0 21580868 115965952 22251 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 28312 22251 364 364 0 27948 0
[pid=7856] vsize: 113248
Current children cumulated CPU time (s) 729.04
Current children cumulated vsize (Kb) 113248

[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35397 0 0 0 73217 659 0 0 25 0 1 0 21580868 116269056 22386 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28386 22386 364 364 0 28022 0
[pid=7856] vsize: 113544
Current children cumulated CPU time (s) 738.76
Current children cumulated vsize (Kb) 113544

[startup+760.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35501 0 0 0 74197 666 0 0 25 0 1 0 21580868 116432896 22490 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28426 22490 364 364 0 28062 0
[pid=7856] vsize: 113704
Current children cumulated CPU time (s) 748.63
Current children cumulated vsize (Kb) 113704

[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35608 0 0 0 75152 681 0 0 25 0 1 0 21580868 116760576 22597 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28506 22597 364 364 0 28142 0
[pid=7856] vsize: 114024
Current children cumulated CPU time (s) 758.33
Current children cumulated vsize (Kb) 114024

[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35725 0 0 0 76139 686 0 0 25 0 1 0 21580868 116760576 22714 4294967295 134512640 135987407 3221224560 3221223248 134811722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28506 22714 364 364 0 28142 0
[pid=7856] vsize: 114024
Current children cumulated CPU time (s) 768.25
Current children cumulated vsize (Kb) 114024

[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35786 0 0 0 77122 691 0 0 25 0 1 0 21580868 116760576 22775 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28506 22775 364 364 0 28142 0
[pid=7856] vsize: 114024
Current children cumulated CPU time (s) 778.13
Current children cumulated vsize (Kb) 114024

[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35842 0 0 0 78100 700 0 0 25 0 1 0 21580868 116760576 22831 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 28506 22831 364 364 0 28142 0
[pid=7856] vsize: 114024
Current children cumulated CPU time (s) 788
Current children cumulated vsize (Kb) 114024

[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35863 0 0 0 79076 709 0 0 25 0 1 0 21580868 116908032 22852 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28542 22852 364 364 0 28178 0
[pid=7856] vsize: 114168
Current children cumulated CPU time (s) 797.85
Current children cumulated vsize (Kb) 114168

[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35910 0 0 0 80055 716 0 0 25 0 1 0 21580868 117190656 22899 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28611 22899 364 364 0 28247 0
[pid=7856] vsize: 114444
Current children cumulated CPU time (s) 807.71
Current children cumulated vsize (Kb) 114444

[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 35931 0 0 0 81024 727 0 0 25 0 1 0 21580868 117354496 22920 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28651 22920 364 364 0 28287 0
[pid=7856] vsize: 114604
Current children cumulated CPU time (s) 817.51
Current children cumulated vsize (Kb) 114604

[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 35946 0 0 0 81997 735 0 0 25 0 1 0 21580868 117354496 22935 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28651 22935 364 364 0 28287 0
[pid=7856] vsize: 114604
Current children cumulated CPU time (s) 827.32
Current children cumulated vsize (Kb) 114604

[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 35980 0 0 0 82976 743 0 0 25 0 1 0 21580868 117518336 22969 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28691 22969 364 364 0 28327 0
[pid=7856] vsize: 114764
Current children cumulated CPU time (s) 837.19
Current children cumulated vsize (Kb) 114764

[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36010 0 0 0 83959 749 0 0 25 0 1 0 21580868 117682176 22999 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28731 22999 364 364 0 28367 0
[pid=7856] vsize: 114924
Current children cumulated CPU time (s) 847.08
Current children cumulated vsize (Kb) 114924

[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36026 0 0 0 84939 757 0 0 25 0 1 0 21580868 117682176 23015 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28731 23015 364 364 0 28367 0
[pid=7856] vsize: 114924
Current children cumulated CPU time (s) 856.96
Current children cumulated vsize (Kb) 114924

[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) T 7855 7856 4005 0 -1 0 36038 0 0 0 85919 763 0 0 25 0 1 0 21580868 117846016 23027 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28771 23027 364 364 0 28407 0
[pid=7856] vsize: 115084
Current children cumulated CPU time (s) 866.82
Current children cumulated vsize (Kb) 115084

[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36103 0 0 0 86901 770 0 0 25 0 1 0 21580868 118030336 23092 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 28816 23092 364 364 0 28452 0
[pid=7856] vsize: 115264
Current children cumulated CPU time (s) 876.71
Current children cumulated vsize (Kb) 115264

[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36106 0 0 0 87884 776 0 0 25 0 1 0 21580868 118030336 23095 4294967295 134512640 135987407 3221224560 3221223376 134824240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28816 23095 364 364 0 28452 0
[pid=7856] vsize: 115264
Current children cumulated CPU time (s) 886.6
Current children cumulated vsize (Kb) 115264

[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36122 0 0 0 88867 781 0 0 25 0 1 0 21580868 118226944 23111 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28864 23111 364 364 0 28500 0
[pid=7856] vsize: 115456
Current children cumulated CPU time (s) 896.48
Current children cumulated vsize (Kb) 115456

[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36140 0 0 0 89850 787 0 0 25 0 1 0 21580868 118226944 23129 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28864 23129 364 364 0 28500 0
[pid=7856] vsize: 115456
Current children cumulated CPU time (s) 906.37
Current children cumulated vsize (Kb) 115456

[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36442 0 0 0 90838 792 0 0 25 0 1 0 21580868 118226944 23131 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28864 23131 364 364 0 28500 0
[pid=7856] vsize: 115456
Current children cumulated CPU time (s) 916.3
Current children cumulated vsize (Kb) 115456

[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36455 0 0 0 91819 797 0 0 25 0 1 0 21580868 118226944 23144 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28864 23144 364 364 0 28500 0
[pid=7856] vsize: 115456
Current children cumulated CPU time (s) 926.16
Current children cumulated vsize (Kb) 115456

[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36764 0 0 0 92805 802 0 0 25 0 1 0 21580868 118366208 23153 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 28898 23153 364 364 0 28534 0
[pid=7856] vsize: 115592
Current children cumulated CPU time (s) 936.07
Current children cumulated vsize (Kb) 115592

[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36786 0 0 0 93787 808 0 0 25 0 1 0 21580868 118366208 23175 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28898 23175 364 364 0 28534 0
[pid=7856] vsize: 115592
Current children cumulated CPU time (s) 945.95
Current children cumulated vsize (Kb) 115592

[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 36803 0 0 0 94769 814 0 0 25 0 1 0 21580868 118501376 23192 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28931 23192 364 364 0 28567 0
[pid=7856] vsize: 115724
Current children cumulated CPU time (s) 955.83
Current children cumulated vsize (Kb) 115724

[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37123 0 0 0 95756 819 0 0 25 0 1 0 21580868 118501376 23212 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 28931 23212 364 364 0 28567 0
[pid=7856] vsize: 115724
Current children cumulated CPU time (s) 965.75
Current children cumulated vsize (Kb) 115724

[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37172 0 0 0 96725 831 0 0 25 0 1 0 21580868 118812672 23261 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 29007 23261 364 364 0 28643 0
[pid=7856] vsize: 116028
Current children cumulated CPU time (s) 975.56
Current children cumulated vsize (Kb) 116028

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37203 0 0 0 97686 843 0 0 25 0 1 0 21580868 118812672 23292 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 29007 23292 364 364 0 28643 0
[pid=7856] vsize: 116028
Current children cumulated CPU time (s) 985.29
Current children cumulated vsize (Kb) 116028

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37217 0 0 0 98663 851 0 0 25 0 1 0 21580868 118947840 23306 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29040 23306 364 364 0 28676 0
[pid=7856] vsize: 116160
Current children cumulated CPU time (s) 995.14
Current children cumulated vsize (Kb) 116160

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37235 0 0 0 99642 859 0 0 25 0 1 0 21580868 118947840 23324 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29040 23324 364 364 0 28676 0
[pid=7856] vsize: 116160
Current children cumulated CPU time (s) 1005.01
Current children cumulated vsize (Kb) 116160

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37266 0 0 0 100614 868 0 0 25 0 1 0 21580868 119136256 23355 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 29086 23355 364 364 0 28722 0
[pid=7856] vsize: 116344
Current children cumulated CPU time (s) 1014.82
Current children cumulated vsize (Kb) 116344

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37294 0 0 0 101587 876 0 0 25 0 1 0 21580868 119283712 23383 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29122 23383 364 364 0 28758 0
[pid=7856] vsize: 116488
Current children cumulated CPU time (s) 1024.63
Current children cumulated vsize (Kb) 116488

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37300 0 0 0 102560 885 0 0 25 0 1 0 21580868 119283712 23389 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 29122 23389 364 364 0 28758 0
[pid=7856] vsize: 116488
Current children cumulated CPU time (s) 1034.45
Current children cumulated vsize (Kb) 116488

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37318 0 0 0 103516 900 0 0 25 0 1 0 21580868 119283712 23407 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29122 23407 364 364 0 28758 0
[pid=7856] vsize: 116488
Current children cumulated CPU time (s) 1044.16
Current children cumulated vsize (Kb) 116488

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37678 0 0 0 104499 907 0 0 25 0 1 0 21580868 119566336 23467 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29191 23467 364 364 0 28827 0
[pid=7856] vsize: 116764
Current children cumulated CPU time (s) 1054.06
Current children cumulated vsize (Kb) 116764

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37703 0 0 0 105484 913 0 0 25 0 1 0 21580868 119701504 23492 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29224 23492 364 364 0 28860 0
[pid=7856] vsize: 116896
Current children cumulated CPU time (s) 1063.97
Current children cumulated vsize (Kb) 116896

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 37713 0 0 0 106459 921 0 0 25 0 1 0 21580868 119701504 23502 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29224 23502 364 364 0 28860 0
[pid=7856] vsize: 116896
Current children cumulated CPU time (s) 1073.8
Current children cumulated vsize (Kb) 116896

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38019 0 0 0 107447 925 0 0 25 0 1 0 21580868 119701504 23508 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 29224 23508 364 364 0 28860 0
[pid=7856] vsize: 116896
Current children cumulated CPU time (s) 1083.72
Current children cumulated vsize (Kb) 116896

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38039 0 0 0 108430 931 0 0 25 0 1 0 21580868 119840768 23528 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 29258 23528 364 364 0 28894 0
[pid=7856] vsize: 117032
Current children cumulated CPU time (s) 1093.61
Current children cumulated vsize (Kb) 117032

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38042 0 0 0 109404 939 0 0 25 0 1 0 21580868 119840768 23531 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29258 23531 364 364 0 28894 0
[pid=7856] vsize: 117032
Current children cumulated CPU time (s) 1103.43
Current children cumulated vsize (Kb) 117032

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38087 0 0 0 110365 952 0 0 25 0 1 0 21580868 119988224 23576 4294967295 134512640 135987407 3221224560 3221223400 134812771 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29294 23576 364 364 0 28930 0
[pid=7856] vsize: 117176
Current children cumulated CPU time (s) 1113.17
Current children cumulated vsize (Kb) 117176

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38092 0 0 0 111326 966 0 0 25 0 1 0 21580868 119988224 23581 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29294 23581 364 364 0 28930 0
[pid=7856] vsize: 117176
Current children cumulated CPU time (s) 1122.92
Current children cumulated vsize (Kb) 117176

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38095 0 0 0 112314 970 0 0 25 0 1 0 21580868 119988224 23584 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29294 23584 364 364 0 28930 0
[pid=7856] vsize: 117176
Current children cumulated CPU time (s) 1132.84
Current children cumulated vsize (Kb) 117176

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38104 0 0 0 113303 975 0 0 25 0 1 0 21580868 119988224 23593 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29294 23593 364 364 0 28930 0
[pid=7856] vsize: 117176
Current children cumulated CPU time (s) 1142.78
Current children cumulated vsize (Kb) 117176

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38107 0 0 0 114291 978 0 0 25 0 1 0 21580868 119988224 23596 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29294 23596 364 364 0 28930 0
[pid=7856] vsize: 117176
Current children cumulated CPU time (s) 1152.69
Current children cumulated vsize (Kb) 117176

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38113 0 0 0 115280 983 0 0 25 0 1 0 21580868 119988224 23602 4294967295 134512640 135987407 3221224560 3221223280 134814320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29294 23602 364 364 0 28930 0
[pid=7856] vsize: 117176
Current children cumulated CPU time (s) 1162.63
Current children cumulated vsize (Kb) 117176

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38435 0 0 0 116250 993 0 0 25 0 1 0 21580868 120147968 23624 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7856/statm): 29333 23624 364 364 0 28969 0
[pid=7856] vsize: 117332
Current children cumulated CPU time (s) 1172.43
Current children cumulated vsize (Kb) 117332

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38453 0 0 0 117212 1004 0 0 25 0 1 0 21580868 120147968 23642 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29333 23642 364 364 0 28969 0
[pid=7856] vsize: 117332
Current children cumulated CPU time (s) 1182.16
Current children cumulated vsize (Kb) 117332

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38477 0 0 0 118177 1017 0 0 25 0 1 0 21580868 120344576 23666 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29381 23666 364 364 0 29017 0
[pid=7856] vsize: 117524
Current children cumulated CPU time (s) 1191.94
Current children cumulated vsize (Kb) 117524

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38514 0 0 0 119138 1029 0 0 25 0 1 0 21580868 120479744 23703 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29414 23703 364 364 0 29050 0
[pid=7856] vsize: 117656
Current children cumulated CPU time (s) 1201.67
Current children cumulated vsize (Kb) 117656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7856
Raw data (/proc/7856/stat): 7856 (pb2sat) R 7855 7856 4005 0 -1 0 38514 0 0 0 119138 1029 0 0 25 0 1 0 21580868 120479744 23703 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7856/statm): 29414 23703 364 364 0 29050 0
[pid=7856] vsize: 117656
Current children cumulated CPU time (s) 1201.67
Current children cumulated vsize (Kb) 117656

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

Child status: 0
Real time (s): 1220.33
CPU time (s): 1201.95
CPU user time (s): 1191.61
CPU system time (s): 10.3384
CPU usage (%): 98.494
Max. virtual memory (cumulated for all children) (Kb): 117656

Verifier Data

ERROR: no interpretation found !