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/miplib/normalized-mps-v2-13-7-mod010.opb
MD5SUM4f0cac14ed3568050c2c57bb69fdb664
Bench Categoryoptimization, small integers (OPTSMALLINT)
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 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2655
Total number of constraints2801
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2800
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint2655

Trace number 10408

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 17:54:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9113 boxname=wulflinc32 idbench=909 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 9113
/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:        920204 kB
Buffers:         15372 kB
Cached:          79284 kB
SwapCached:          0 kB
Active:          42492 kB
Inactive:        55060 kB
HighTotal:      131072 kB
HighFree:        47328 kB
LowTotal:       903652 kB
LowFree:        872876 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:            11268 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:14:48 (client local time) WITH STATUS 0 IN 1203.09 SECONDS
stats: 9113 7 1203.09 0

Solver Data

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

c Decision: 11076/263328	Time: 128.321/86400
c Decision: 11076/263328	Time: 218.05/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/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22105163 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 373 10 364 364 0 9 0
[pid=9035] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-mod010.opb

[startup+10.002 s]
Raw data (loadavg): 0.93 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 28219 0 0 0 933 63 0 0 25 0 1 0 22105163 89972736 17103 4294967295 134512640 135987407 3221224560 3220689476 135479919 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 21966 17103 364 364 0 21602 0
[pid=9035] vsize: 87864
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 87864

[startup+20.0027 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 43122 0 0 0 1892 98 0 0 25 0 1 0 22105163 132149248 26554 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 32263 26554 364 364 0 31899 0
[pid=9035] vsize: 129052
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 129052

[startup+30.0035 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 44356 0 0 0 2877 104 0 0 25 0 1 0 22105163 137928704 27689 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 33674 27689 364 364 0 33310 0
[pid=9035] vsize: 134696
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 134696

[startup+40.0043 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 44882 0 0 0 3866 108 0 0 25 0 1 0 22105163 140812288 28182 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 34378 28182 364 364 0 34014 0
[pid=9035] vsize: 137512
Current children cumulated CPU time (s) 39.74
Current children cumulated vsize (Kb) 137512

[startup+50.004 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 45247 0 0 0 4855 112 0 0 25 0 1 0 22105163 142614528 28514 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 34818 28514 364 364 0 34454 0
[pid=9035] vsize: 139272
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (Kb) 139272

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 45491 0 0 0 5847 115 0 0 25 0 1 0 22105163 143683584 28758 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 35079 28758 364 364 0 34715 0
[pid=9035] vsize: 140316
Current children cumulated CPU time (s) 59.62
Current children cumulated vsize (Kb) 140316

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 45739 0 0 0 6839 118 0 0 25 0 1 0 22105163 144900096 29006 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 35376 29006 364 364 0 35012 0
[pid=9035] vsize: 141504
Current children cumulated CPU time (s) 69.57
Current children cumulated vsize (Kb) 141504

[startup+80.0053 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 46056 0 0 0 7831 121 0 0 25 0 1 0 22105163 146247680 29290 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 35705 29290 364 364 0 35341 0
[pid=9035] vsize: 142820
Current children cumulated CPU time (s) 79.52
Current children cumulated vsize (Kb) 142820

[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 46329 0 0 0 8822 125 0 0 25 0 1 0 22105163 147734528 29563 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 36068 29563 364 364 0 35704 0
[pid=9035] vsize: 144272
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (Kb) 144272

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 46627 0 0 0 9812 128 0 0 25 0 1 0 22105163 149217280 29828 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 36430 29828 364 364 0 36066 0
[pid=9035] vsize: 145720
Current children cumulated CPU time (s) 99.4
Current children cumulated vsize (Kb) 145720

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 46827 0 0 0 10802 132 0 0 25 0 1 0 22105163 150024192 29995 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 36627 29995 364 364 0 36263 0
[pid=9035] vsize: 146508
Current children cumulated CPU time (s) 109.34
Current children cumulated vsize (Kb) 146508

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 47063 0 0 0 11792 134 0 0 25 0 1 0 22105163 151166976 30231 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 36906 30231 364 364 0 36542 0
[pid=9035] vsize: 147624
Current children cumulated CPU time (s) 119.26
Current children cumulated vsize (Kb) 147624

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 47158 0 0 0 12781 138 0 0 25 0 1 0 22105163 151572480 30326 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 37005 30326 364 364 0 36641 0
[pid=9035] vsize: 148020
Current children cumulated CPU time (s) 129.19
Current children cumulated vsize (Kb) 148020

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 47433 0 0 0 13771 142 0 0 25 0 1 0 22105163 152788992 30601 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 37302 30601 364 364 0 36938 0
[pid=9035] vsize: 149208
Current children cumulated CPU time (s) 139.13
Current children cumulated vsize (Kb) 149208

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48035 0 0 0 14763 146 0 0 25 0 1 0 22105163 153194496 30688 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 37401 30688 364 364 0 37037 0
[pid=9035] vsize: 149604
Current children cumulated CPU time (s) 149.09
Current children cumulated vsize (Kb) 149604

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48186 0 0 0 15754 149 0 0 25 0 1 0 22105163 153731072 30806 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 37532 30806 364 364 0 37168 0
[pid=9035] vsize: 150128
Current children cumulated CPU time (s) 159.03
Current children cumulated vsize (Kb) 150128

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48299 0 0 0 16745 153 0 0 25 0 1 0 22105163 154271744 30919 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 37664 30919 364 364 0 37300 0
[pid=9035] vsize: 150656
Current children cumulated CPU time (s) 168.98
Current children cumulated vsize (Kb) 150656

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 48369 0 0 0 17738 155 0 0 25 0 1 0 22105163 154542080 30989 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9035/statm): 37730 30989 364 364 0 37366 0
[pid=9035] vsize: 150920
Current children cumulated CPU time (s) 178.93
Current children cumulated vsize (Kb) 150920

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48404 0 0 0 18730 159 0 0 25 0 1 0 22105163 154677248 31024 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 37763 31024 364 364 0 37399 0
[pid=9035] vsize: 151052
Current children cumulated CPU time (s) 188.89
Current children cumulated vsize (Kb) 151052

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48462 0 0 0 19722 162 0 0 25 0 1 0 22105163 154808320 31049 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 37795 31049 364 364 0 37431 0
[pid=9035] vsize: 151180
Current children cumulated CPU time (s) 198.84
Current children cumulated vsize (Kb) 151180

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48558 0 0 0 20715 164 0 0 25 0 1 0 22105163 155074560 31112 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 37860 31112 364 364 0 37496 0
[pid=9035] vsize: 151440
Current children cumulated CPU time (s) 208.79
Current children cumulated vsize (Kb) 151440

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48689 0 0 0 21705 167 0 0 25 0 1 0 22105163 155611136 31210 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 37991 31210 364 364 0 37627 0
[pid=9035] vsize: 151964
Current children cumulated CPU time (s) 218.72
Current children cumulated vsize (Kb) 151964

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48757 0 0 0 22695 170 0 0 25 0 1 0 22105163 155881472 31278 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 38057 31278 364 364 0 37693 0
[pid=9035] vsize: 152228
Current children cumulated CPU time (s) 228.65
Current children cumulated vsize (Kb) 152228

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49362 0 0 0 23688 173 0 0 25 0 1 0 22105163 156286976 31368 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 38156 31368 364 364 0 37792 0
[pid=9035] vsize: 152624
Current children cumulated CPU time (s) 238.61
Current children cumulated vsize (Kb) 152624

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49444 0 0 0 24679 177 0 0 25 0 1 0 22105163 156557312 31450 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 38222 31450 364 364 0 37858 0
[pid=9035] vsize: 152888
Current children cumulated CPU time (s) 248.56
Current children cumulated vsize (Kb) 152888

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49539 0 0 0 25672 179 0 0 25 0 1 0 22105163 156823552 31512 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 38287 31512 364 364 0 37923 0
[pid=9035] vsize: 153148
Current children cumulated CPU time (s) 258.51
Current children cumulated vsize (Kb) 153148

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49664 0 0 0 26663 182 0 0 25 0 1 0 22105163 157220864 31571 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 38384 31571 364 364 0 38020 0
[pid=9035] vsize: 153536
Current children cumulated CPU time (s) 268.45
Current children cumulated vsize (Kb) 153536

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49713 0 0 0 27653 185 0 0 25 0 1 0 22105163 157491200 31620 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 38450 31620 364 364 0 38086 0
[pid=9035] vsize: 153800
Current children cumulated CPU time (s) 278.38
Current children cumulated vsize (Kb) 153800

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 49842 0 0 0 28644 189 0 0 25 0 1 0 22105163 158167040 31749 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9035/statm): 38615 31749 364 364 0 38251 0
[pid=9035] vsize: 154460
Current children cumulated CPU time (s) 288.33
Current children cumulated vsize (Kb) 154460

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49923 0 0 0 29633 192 0 0 25 0 1 0 22105163 158572544 31830 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 38714 31830 364 364 0 38350 0
[pid=9035] vsize: 154856
Current children cumulated CPU time (s) 298.25
Current children cumulated vsize (Kb) 154856

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50038 0 0 0 30622 197 0 0 25 0 1 0 22105163 159248384 31945 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 38879 31945 364 364 0 38515 0
[pid=9035] vsize: 155516
Current children cumulated CPU time (s) 308.19
Current children cumulated vsize (Kb) 155516

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9035
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50082 0 0 0 31615 199 0 0 25 0 1 0 22105163 159518720 31989 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 38945 31989 364 364 0 38581 0
[pid=9035] vsize: 155780
Current children cumulated CPU time (s) 318.14
Current children cumulated vsize (Kb) 155780

[startup+330.013 s]
Raw data (loadavg): 1.07 0.99 0.96 2/59 9078
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50198 0 0 0 32606 202 0 0 25 0 1 0 22105163 159916032 32039 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 39042 32039 364 364 0 38678 0
[pid=9035] vsize: 156168
Current children cumulated CPU time (s) 328.08
Current children cumulated vsize (Kb) 156168

[startup+340.013 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 9090
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50232 0 0 0 33598 205 0 0 25 0 1 0 22105163 160051200 32073 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 39075 32073 364 364 0 38711 0
[pid=9035] vsize: 156300
Current children cumulated CPU time (s) 338.03
Current children cumulated vsize (Kb) 156300

[startup+350.013 s]
Raw data (loadavg): 1.13 1.00 0.97 2/55 9090
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50260 0 0 0 34589 208 0 0 25 0 1 0 22105163 160186368 32101 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 39108 32101 364 364 0 38744 0
[pid=9035] vsize: 156432
Current children cumulated CPU time (s) 347.97
Current children cumulated vsize (Kb) 156432

[startup+360.014 s]
Raw data (loadavg): 1.11 1.00 0.97 2/55 9090
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50356 0 0 0 35579 211 0 0 25 0 1 0 22105163 160583680 32164 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 39205 32164 364 364 0 38841 0
[pid=9035] vsize: 156820
Current children cumulated CPU time (s) 357.9
Current children cumulated vsize (Kb) 156820

[startup+370.015 s]
Raw data (loadavg): 1.09 1.00 0.97 2/55 9090
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50706 0 0 0 36567 216 0 0 25 0 1 0 22105163 162037760 32349 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 39560 32349 364 364 0 39196 0
[pid=9035] vsize: 158240
Current children cumulated CPU time (s) 367.83
Current children cumulated vsize (Kb) 158240

[startup+380.014 s]
Raw data (loadavg): 1.08 1.00 0.97 1/55 9090
Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 51016 0 0 0 37555 220 0 0 25 0 1 0 22105163 163635200 32626 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9035/statm): 39950 32626 364 364 0 39586 0
[pid=9035] vsize: 159800
Current children cumulated CPU time (s) 377.75
Current children cumulated vsize (Kb) 159800

[startup+390.015 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 9092
Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 51570 0 0 0 38544 224 0 0 25 0 1 0 22105163 165961728 33015 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9035/statm): 40518 33015 364 364 0 40154 0
[pid=9035] vsize: 162072
Current children cumulated CPU time (s) 387.68
Current children cumulated vsize (Kb) 162072

[startup+400.015 s]
Raw data (loadavg): 1.05 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 51820 0 0 0 39533 228 0 0 25 0 1 0 22105163 167030784 33199 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 40779 33199 364 364 0 40415 0
[pid=9035] vsize: 163116
Current children cumulated CPU time (s) 397.61
Current children cumulated vsize (Kb) 163116

[startup+410.016 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 52402 0 0 0 40521 232 0 0 25 0 1 0 22105163 169144320 33418 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 41295 33418 364 364 0 40931 0
[pid=9035] vsize: 165180
Current children cumulated CPU time (s) 407.53
Current children cumulated vsize (Kb) 165180

[startup+420.017 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 52564 0 0 0 41511 235 0 0 25 0 1 0 22105163 169816064 33547 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 41459 33547 364 364 0 41095 0
[pid=9035] vsize: 165836
Current children cumulated CPU time (s) 417.46
Current children cumulated vsize (Kb) 165836

[startup+430.017 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 52671 0 0 0 42502 238 0 0 25 0 1 0 22105163 170545152 33654 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 41637 33654 364 364 0 41273 0
[pid=9035] vsize: 166548
Current children cumulated CPU time (s) 427.4
Current children cumulated vsize (Kb) 166548

[startup+440.018 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 53070 0 0 0 43490 242 0 0 25 0 1 0 22105163 172068864 33855 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 42009 33855 364 364 0 41645 0
[pid=9035] vsize: 168036
Current children cumulated CPU time (s) 437.32
Current children cumulated vsize (Kb) 168036

[startup+450.019 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 53301 0 0 0 44481 246 0 0 25 0 1 0 22105163 173064192 34020 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 42252 34020 364 364 0 41888 0
[pid=9035] vsize: 169008
Current children cumulated CPU time (s) 447.27
Current children cumulated vsize (Kb) 169008

[startup+460.02 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 53734 0 0 0 45471 250 0 0 25 0 1 0 22105163 174579712 34222 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 42622 34222 364 364 0 42258 0
[pid=9035] vsize: 170488
Current children cumulated CPU time (s) 457.21
Current children cumulated vsize (Kb) 170488

[startup+470.019 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 54457 0 0 0 46461 254 0 0 25 0 1 0 22105163 176685056 34549 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 43136 34549 364 364 0 42772 0
[pid=9035] vsize: 172544
Current children cumulated CPU time (s) 467.15
Current children cumulated vsize (Kb) 172544

[startup+480.019 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 54872 0 0 0 47452 258 0 0 25 0 1 0 22105163 178135040 34733 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 43490 34733 364 364 0 43126 0
[pid=9035] vsize: 173960
Current children cumulated CPU time (s) 477.1
Current children cumulated vsize (Kb) 173960

[startup+490.02 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55228 0 0 0 48441 262 0 0 25 0 1 0 22105163 179453952 34891 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 43812 34891 364 364 0 43448 0
[pid=9035] vsize: 175248
Current children cumulated CPU time (s) 487.03
Current children cumulated vsize (Kb) 175248

[startup+500.02 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55317 0 0 0 49432 266 0 0 25 0 1 0 22105163 179716096 34914 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 43876 34914 364 364 0 43512 0
[pid=9035] vsize: 175504
Current children cumulated CPU time (s) 496.98
Current children cumulated vsize (Kb) 175504

[startup+510.021 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55428 0 0 0 50419 270 0 0 25 0 1 0 22105163 180113408 34959 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 43973 34959 364 364 0 43609 0
[pid=9035] vsize: 175892
Current children cumulated CPU time (s) 506.89
Current children cumulated vsize (Kb) 175892

[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55432 0 0 0 51407 274 0 0 25 0 1 0 22105163 180113408 34963 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 43973 34963 364 364 0 43609 0
[pid=9035] vsize: 175892
Current children cumulated CPU time (s) 516.81
Current children cumulated vsize (Kb) 175892

[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55523 0 0 0 52398 277 0 0 25 0 1 0 22105163 180379648 35021 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44038 35021 364 364 0 43674 0
[pid=9035] vsize: 176152
Current children cumulated CPU time (s) 526.75
Current children cumulated vsize (Kb) 176152

[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 55565 0 0 0 53388 280 0 0 25 0 1 0 22105163 180514816 35063 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44071 35063 364 364 0 43707 0
[pid=9035] vsize: 176284
Current children cumulated CPU time (s) 536.68
Current children cumulated vsize (Kb) 176284

[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55800 0 0 0 54377 285 0 0 25 0 1 0 22105163 181039104 35166 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 44199 35166 364 364 0 43835 0
[pid=9035] vsize: 176796
Current children cumulated CPU time (s) 546.62
Current children cumulated vsize (Kb) 176796

[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56101 0 0 0 55368 288 0 0 25 0 1 0 22105163 181825536 35271 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 44391 35271 364 364 0 44027 0
[pid=9035] vsize: 177564
Current children cumulated CPU time (s) 556.56
Current children cumulated vsize (Kb) 177564

[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56119 0 0 0 56358 291 0 0 25 0 1 0 22105163 181825536 35289 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44391 35289 364 364 0 44027 0
[pid=9035] vsize: 177564
Current children cumulated CPU time (s) 566.49
Current children cumulated vsize (Kb) 177564

[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56239 0 0 0 57346 296 0 0 25 0 1 0 22105163 182226944 35376 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44489 35376 364 364 0 44125 0
[pid=9035] vsize: 177956
Current children cumulated CPU time (s) 576.42
Current children cumulated vsize (Kb) 177956

[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56323 0 0 0 58338 298 0 0 25 0 1 0 22105163 182489088 35394 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44553 35394 364 364 0 44189 0
[pid=9035] vsize: 178212
Current children cumulated CPU time (s) 586.36
Current children cumulated vsize (Kb) 178212

[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56330 0 0 0 59327 303 0 0 25 0 1 0 22105163 182489088 35401 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44553 35401 364 364 0 44189 0
[pid=9035] vsize: 178212
Current children cumulated CPU time (s) 596.3
Current children cumulated vsize (Kb) 178212

[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56333 0 0 0 60316 307 0 0 25 0 1 0 22105163 182489088 35404 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 44553 35404 364 364 0 44189 0
[pid=9035] vsize: 178212
Current children cumulated CPU time (s) 606.23
Current children cumulated vsize (Kb) 178212

[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 56414 0 0 0 61304 311 0 0 25 0 1 0 22105163 182886400 35452 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44650 35452 364 364 0 44286 0
[pid=9035] vsize: 178600
Current children cumulated CPU time (s) 616.15
Current children cumulated vsize (Kb) 178600

[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56418 0 0 0 62296 314 0 0 25 0 1 0 22105163 182886400 35456 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44650 35456 364 364 0 44286 0
[pid=9035] vsize: 178600
Current children cumulated CPU time (s) 626.1
Current children cumulated vsize (Kb) 178600

[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9096
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56470 0 0 0 63285 317 0 0 25 0 1 0 22105163 183017472 35475 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44682 35475 364 364 0 44318 0
[pid=9035] vsize: 178728
Current children cumulated CPU time (s) 636.02
Current children cumulated vsize (Kb) 178728

[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56477 0 0 0 64274 322 0 0 25 0 1 0 22105163 183017472 35482 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 44682 35482 364 364 0 44318 0
[pid=9035] vsize: 178728
Current children cumulated CPU time (s) 645.96
Current children cumulated vsize (Kb) 178728

[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56566 0 0 0 65263 325 0 0 25 0 1 0 22105163 183283712 35538 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44747 35538 364 364 0 44383 0
[pid=9035] vsize: 178988
Current children cumulated CPU time (s) 655.88
Current children cumulated vsize (Kb) 178988

[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56571 0 0 0 66256 327 0 0 25 0 1 0 22105163 183283712 35543 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44747 35543 364 364 0 44383 0
[pid=9035] vsize: 178988
Current children cumulated CPU time (s) 665.83
Current children cumulated vsize (Kb) 178988

[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56576 0 0 0 67247 331 0 0 25 0 1 0 22105163 183283712 35548 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44747 35548 364 364 0 44383 0
[pid=9035] vsize: 178988
Current children cumulated CPU time (s) 675.78
Current children cumulated vsize (Kb) 178988

[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56582 0 0 0 68236 334 0 0 25 0 1 0 22105163 183283712 35554 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44747 35554 364 364 0 44383 0
[pid=9035] vsize: 178988
Current children cumulated CPU time (s) 685.7
Current children cumulated vsize (Kb) 178988

[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56637 0 0 0 69225 338 0 0 25 0 1 0 22105163 183554048 35609 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44813 35609 364 364 0 44449 0
[pid=9035] vsize: 179252
Current children cumulated CPU time (s) 695.63
Current children cumulated vsize (Kb) 179252

[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56643 0 0 0 70215 342 0 0 25 0 1 0 22105163 183554048 35615 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44813 35615 364 364 0 44449 0
[pid=9035] vsize: 179252
Current children cumulated CPU time (s) 705.57
Current children cumulated vsize (Kb) 179252

[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56689 0 0 0 71205 345 0 0 25 0 1 0 22105163 183685120 35628 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 44845 35628 364 364 0 44481 0
[pid=9035] vsize: 179380
Current children cumulated CPU time (s) 715.5
Current children cumulated vsize (Kb) 179380

[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56695 0 0 0 72196 349 0 0 25 0 1 0 22105163 183685120 35634 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44845 35634 364 364 0 44481 0
[pid=9035] vsize: 179380
Current children cumulated CPU time (s) 725.45
Current children cumulated vsize (Kb) 179380

[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56698 0 0 0 73187 351 0 0 25 0 1 0 22105163 183685120 35637 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44845 35637 364 364 0 44481 0
[pid=9035] vsize: 179380
Current children cumulated CPU time (s) 735.38
Current children cumulated vsize (Kb) 179380

[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56704 0 0 0 74178 354 0 0 25 0 1 0 22105163 183685120 35643 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44845 35643 364 364 0 44481 0
[pid=9035] vsize: 179380
Current children cumulated CPU time (s) 745.32
Current children cumulated vsize (Kb) 179380

[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56718 0 0 0 75169 357 0 0 25 0 1 0 22105163 183685120 35657 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44845 35657 364 364 0 44481 0
[pid=9035] vsize: 179380
Current children cumulated CPU time (s) 755.26
Current children cumulated vsize (Kb) 179380

[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 56728 0 0 0 76161 360 0 0 25 0 1 0 22105163 183685120 35667 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9035/statm): 44845 35667 364 364 0 44481 0
[pid=9035] vsize: 179380
Current children cumulated CPU time (s) 765.21
Current children cumulated vsize (Kb) 179380

[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56808 0 0 0 77151 362 0 0 25 0 1 0 22105163 183951360 35714 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 44910 35714 364 364 0 44546 0
[pid=9035] vsize: 179640
Current children cumulated CPU time (s) 775.13
Current children cumulated vsize (Kb) 179640

[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56869 0 0 0 78140 367 0 0 25 0 1 0 22105163 184352768 35775 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 45008 35775 364 364 0 44644 0
[pid=9035] vsize: 180032
Current children cumulated CPU time (s) 785.07
Current children cumulated vsize (Kb) 180032

[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56879 0 0 0 79130 371 0 0 25 0 1 0 22105163 184352768 35785 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45008 35785 364 364 0 44644 0
[pid=9035] vsize: 180032
Current children cumulated CPU time (s) 795.01
Current children cumulated vsize (Kb) 180032

[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56908 0 0 0 80121 374 0 0 25 0 1 0 22105163 184487936 35814 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45041 35814 364 364 0 44677 0
[pid=9035] vsize: 180164
Current children cumulated CPU time (s) 804.95
Current children cumulated vsize (Kb) 180164

[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56922 0 0 0 81111 377 0 0 25 0 1 0 22105163 184487936 35828 4294967295 134512640 135987407 3221224560 3221223248 134811701 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45041 35828 364 364 0 44677 0
[pid=9035] vsize: 180164
Current children cumulated CPU time (s) 814.88
Current children cumulated vsize (Kb) 180164

[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56930 0 0 0 82102 380 0 0 25 0 1 0 22105163 184487936 35836 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45041 35836 364 364 0 44677 0
[pid=9035] vsize: 180164
Current children cumulated CPU time (s) 824.82
Current children cumulated vsize (Kb) 180164

[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56944 0 0 0 83093 383 0 0 25 0 1 0 22105163 184487936 35850 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45041 35850 364 364 0 44677 0
[pid=9035] vsize: 180164
Current children cumulated CPU time (s) 834.76
Current children cumulated vsize (Kb) 180164

[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56951 0 0 0 84086 386 0 0 25 0 1 0 22105163 184487936 35857 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45041 35857 364 364 0 44677 0
[pid=9035] vsize: 180164
Current children cumulated CPU time (s) 844.72
Current children cumulated vsize (Kb) 180164

[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57011 0 0 0 85078 388 0 0 25 0 1 0 22105163 184619008 35884 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45073 35884 364 364 0 44709 0
[pid=9035] vsize: 180292
Current children cumulated CPU time (s) 854.66
Current children cumulated vsize (Kb) 180292

[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57017 0 0 0 86070 391 0 0 25 0 1 0 22105163 184619008 35890 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45073 35890 364 364 0 44709 0
[pid=9035] vsize: 180292
Current children cumulated CPU time (s) 864.61
Current children cumulated vsize (Kb) 180292

[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57089 0 0 0 87062 394 0 0 25 0 1 0 22105163 184750080 35929 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45105 35929 364 364 0 44741 0
[pid=9035] vsize: 180420
Current children cumulated CPU time (s) 874.56
Current children cumulated vsize (Kb) 180420

[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57093 0 0 0 88052 397 0 0 25 0 1 0 22105163 184750080 35933 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 45105 35933 364 364 0 44741 0
[pid=9035] vsize: 180420
Current children cumulated CPU time (s) 884.49
Current children cumulated vsize (Kb) 180420

[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57099 0 0 0 89043 400 0 0 25 0 1 0 22105163 184750080 35939 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45105 35939 364 364 0 44741 0
[pid=9035] vsize: 180420
Current children cumulated CPU time (s) 894.43
Current children cumulated vsize (Kb) 180420

[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57104 0 0 0 90035 402 0 0 25 0 1 0 22105163 184750080 35944 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45105 35944 364 364 0 44741 0
[pid=9035] vsize: 180420
Current children cumulated CPU time (s) 904.37
Current children cumulated vsize (Kb) 180420

[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57110 0 0 0 91026 406 0 0 25 0 1 0 22105163 184750080 35950 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45105 35950 364 364 0 44741 0
[pid=9035] vsize: 180420
Current children cumulated CPU time (s) 914.32
Current children cumulated vsize (Kb) 180420

[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57117 0 0 0 92017 409 0 0 25 0 1 0 22105163 184750080 35957 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 45105 35957 364 364 0 44741 0
[pid=9035] vsize: 180420
Current children cumulated CPU time (s) 924.26
Current children cumulated vsize (Kb) 180420

[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57126 0 0 0 93008 412 0 0 25 0 1 0 22105163 184750080 35966 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 45105 35966 364 364 0 44741 0
[pid=9035] vsize: 180420
Current children cumulated CPU time (s) 934.2
Current children cumulated vsize (Kb) 180420

[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57134 0 0 0 93996 416 0 0 25 0 1 0 22105163 184750080 35974 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45105 35974 364 364 0 44741 0
[pid=9035] vsize: 180420
Current children cumulated CPU time (s) 944.12
Current children cumulated vsize (Kb) 180420

[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57163 0 0 0 94986 419 0 0 25 0 1 0 22105163 184885248 36003 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45138 36003 364 364 0 44774 0
[pid=9035] vsize: 180552
Current children cumulated CPU time (s) 954.05
Current children cumulated vsize (Kb) 180552

[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57186 0 0 0 95977 422 0 0 25 0 1 0 22105163 185020416 36026 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45171 36026 364 364 0 44807 0
[pid=9035] vsize: 180684
Current children cumulated CPU time (s) 963.99
Current children cumulated vsize (Kb) 180684

[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57207 0 0 0 96967 426 0 0 25 0 1 0 22105163 185155584 36047 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45204 36047 364 364 0 44840 0
[pid=9035] vsize: 180816
Current children cumulated CPU time (s) 973.93
Current children cumulated vsize (Kb) 180816

[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57214 0 0 0 97959 428 0 0 25 0 1 0 22105163 185155584 36054 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45204 36054 364 364 0 44840 0
[pid=9035] vsize: 180816
Current children cumulated CPU time (s) 983.87
Current children cumulated vsize (Kb) 180816

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57243 0 0 0 98948 432 0 0 25 0 1 0 22105163 185290752 36083 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36083 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 993.8
Current children cumulated vsize (Kb) 180948

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57249 0 0 0 99942 434 0 0 25 0 1 0 22105163 185290752 36089 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36089 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1003.76
Current children cumulated vsize (Kb) 180948

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57252 0 0 0 100934 437 0 0 25 0 1 0 22105163 185290752 36092 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36092 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1013.71
Current children cumulated vsize (Kb) 180948

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57259 0 0 0 101925 440 0 0 25 0 1 0 22105163 185290752 36099 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36099 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1023.65
Current children cumulated vsize (Kb) 180948

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57264 0 0 0 102914 445 0 0 25 0 1 0 22105163 185290752 36104 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36104 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1033.59
Current children cumulated vsize (Kb) 180948

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57268 0 0 0 103906 447 0 0 25 0 1 0 22105163 185290752 36108 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36108 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1043.53
Current children cumulated vsize (Kb) 180948

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57273 0 0 0 104898 449 0 0 25 0 1 0 22105163 185290752 36113 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36113 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1053.47
Current children cumulated vsize (Kb) 180948

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57277 0 0 0 105889 452 0 0 25 0 1 0 22105163 185290752 36117 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36117 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1063.41
Current children cumulated vsize (Kb) 180948

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57281 0 0 0 106881 454 0 0 25 0 1 0 22105163 185290752 36121 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45237 36121 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1073.35
Current children cumulated vsize (Kb) 180948

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57298 0 0 0 107872 457 0 0 25 0 1 0 22105163 185290752 36138 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 45237 36138 364 364 0 44873 0
[pid=9035] vsize: 180948
Current children cumulated CPU time (s) 1083.29
Current children cumulated vsize (Kb) 180948

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57319 0 0 0 108861 460 0 0 25 0 1 0 22105163 185425920 36159 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45270 36159 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1093.21
Current children cumulated vsize (Kb) 181080

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57322 0 0 0 109852 463 0 0 25 0 1 0 22105163 185425920 36162 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45270 36162 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1103.15
Current children cumulated vsize (Kb) 181080

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57326 0 0 0 110843 467 0 0 25 0 1 0 22105163 185425920 36166 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45270 36166 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1113.1
Current children cumulated vsize (Kb) 181080

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57331 0 0 0 111835 469 0 0 25 0 1 0 22105163 185425920 36171 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45270 36171 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1123.04
Current children cumulated vsize (Kb) 181080

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57335 0 0 0 112825 473 0 0 25 0 1 0 22105163 185425920 36175 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45270 36175 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1132.98
Current children cumulated vsize (Kb) 181080

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57339 0 0 0 113818 475 0 0 25 0 1 0 22105163 185425920 36179 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45270 36179 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1142.93
Current children cumulated vsize (Kb) 181080

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57344 0 0 0 114809 478 0 0 25 0 1 0 22105163 185425920 36184 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45270 36184 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1152.87
Current children cumulated vsize (Kb) 181080

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57353 0 0 0 115800 480 0 0 25 0 1 0 22105163 185425920 36193 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 45270 36193 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1162.8
Current children cumulated vsize (Kb) 181080

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57357 0 0 0 116791 484 0 0 25 0 1 0 22105163 185425920 36197 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 45270 36197 364 364 0 44906 0
[pid=9035] vsize: 181080
Current children cumulated CPU time (s) 1172.75
Current children cumulated vsize (Kb) 181080

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57385 0 0 0 117780 488 0 0 25 0 1 0 22105163 185561088 36225 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9035/statm): 45303 36225 364 364 0 44939 0
[pid=9035] vsize: 181212
Current children cumulated CPU time (s) 1182.68
Current children cumulated vsize (Kb) 181212

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57430 0 0 0 118772 491 0 0 25 0 1 0 22105163 185692160 36237 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45335 36237 364 364 0 44971 0
[pid=9035] vsize: 181340
Current children cumulated CPU time (s) 1192.63
Current children cumulated vsize (Kb) 181340

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57435 0 0 0 119761 494 0 0 25 0 1 0 22105163 185692160 36242 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45335 36242 364 364 0 44971 0
[pid=9035] vsize: 181340
Current children cumulated CPU time (s) 1202.55
Current children cumulated vsize (Kb) 181340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9098
Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57435 0 0 0 119761 494 0 0 25 0 1 0 22105163 185692160 36242 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9035/statm): 45335 36242 364 364 0 44971 0
[pid=9035] vsize: 181340
Current children cumulated CPU time (s) 1202.55
Current children cumulated vsize (Kb) 181340

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

Child status: 0
Real time (s): 1210.59
CPU time (s): 1203.09
CPU user time (s): 1198.07
CPU system time (s): 5.02524
CPU usage (%): 99.3811
Max. virtual memory (cumulated for all children) (Kb): 181340

Verifier Data

ERROR: no interpretation found !