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

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
MD5SUMfa7153262db792d01bec14f5a651af5b
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 872
Optimality of the best value was proved YES
Number of terms in the objective function 232
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 9597
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 9597
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark18.0453
Number of variables232
Total number of constraints527
Number of constraints which are clauses527
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27

Trace number 9788

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 15:06:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8457 boxname=wulflinc29 idbench=253 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fa7153262db792d01bec14f5a651af5b  /oldhome/oroussel/tmp/wulflinc29/normalized-mux.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-mux.opb
IDLAUNCH: 8457
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930404 kB
Buffers:         11280 kB
Cached:          76032 kB
SwapCached:          0 kB
Active:          44100 kB
Inactive:        46108 kB
HighTotal:      131008 kB
HighFree:        55440 kB
LowTotal:       903652 kB
LowFree:        874964 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8420 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:26:24 (client local time) WITH STATUS 10 IN 1211.06 SECONDS
stats: 8457 0 1211.06 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 9317
c small objective detected
s SATISFIABLE
v x1 x10 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x11 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x12 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x13 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x14 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x15 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x16 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x17 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x18 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x19 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x2 x20 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x21 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x22 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x23 x230 x231 x232 x24 x25 x26 x27 x28 x29 x3 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x4 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x5 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x6 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x7 x70 x71 x72 x73 -x74 -x75 x76 x77 x78 x79 x8 -x80 -x81 x82 -x83 -x84 -x85 x86 x87 x88 x89 x9 x90 x91 x92 x93 x94 x95 x96 -x97 x98 x99

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/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21097068 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 373 2 364 364 0 9 0
[pid=7812] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mux.opb

[startup+10.0021 s]
Raw data (loadavg): 0.91 0.93 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 31467 0 0 0 923 72 0 0 25 0 1 0 21097068 97964032 20331 4294967295 134512640 135987407 3221224576 3221214288 134866025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 23917 20331 364 364 0 23553 0
[pid=7812] vsize: 95668
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 95668

[startup+20.0029 s]
Raw data (loadavg): 0.93 0.93 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 62331 0 0 0 1857 135 0 0 25 0 1 0 21097068 193114112 39982 4294967295 134512640 135987407 3221224576 3221193920 134802769 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 47147 39982 364 364 0 46783 0
[pid=7812] vsize: 188588
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 188588

[startup+30.0037 s]
Raw data (loadavg): 0.94 0.93 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 105364 0 0 0 2760 228 0 0 25 0 1 0 21097068 325664768 60818 4294967295 134512640 135987407 3221224576 3221187836 134930967 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 79508 60818 364 364 0 79144 0
[pid=7812] vsize: 318032
Current children cumulated CPU time (s) 29.88
Current children cumulated vsize (Kb) 318032

[startup+40.0035 s]
Raw data (loadavg): 0.95 0.93 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 123737 0 0 0 3717 270 0 0 25 0 1 0 21097068 383008768 78970 4294967295 134512640 135987407 3221224576 3221206684 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 93508 78970 364 364 0 93144 0
[pid=7812] vsize: 374032
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 374032

[startup+50.0043 s]
Raw data (loadavg): 0.95 0.94 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 133764 0 0 0 4693 292 0 0 25 0 1 0 21097068 408784896 86284 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 99801 86284 364 364 0 99437 0
[pid=7812] vsize: 399204
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 399204

[startup+60.0041 s]
Raw data (loadavg): 0.96 0.94 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134072 0 0 0 5692 293 0 0 25 0 1 0 21097068 409935872 86493 4294967295 134512640 135987407 3221224576 3221223120 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100082 86493 364 364 0 99718 0
[pid=7812] vsize: 400328
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 400328

[startup+70.0038 s]
Raw data (loadavg): 0.97 0.94 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134162 0 0 0 6690 294 0 0 25 0 1 0 21097068 410202112 86550 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100147 86550 364 364 0 99783 0
[pid=7812] vsize: 400588
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 400588

[startup+80.0046 s]
Raw data (loadavg): 0.97 0.94 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134265 0 0 0 7690 294 0 0 25 0 1 0 21097068 410468352 86620 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100212 86620 364 364 0 99848 0
[pid=7812] vsize: 400848
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 400848

[startup+90.0044 s]
Raw data (loadavg): 0.98 0.94 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134305 0 0 0 8689 294 0 0 25 0 1 0 21097068 410603520 86660 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100245 86660 364 364 0 99881 0
[pid=7812] vsize: 400980
Current children cumulated CPU time (s) 89.83
Current children cumulated vsize (Kb) 400980

[startup+100.005 s]
Raw data (loadavg): 0.98 0.94 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134322 0 0 0 9689 294 0 0 25 0 1 0 21097068 410603520 86677 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100245 86677 364 364 0 99881 0
[pid=7812] vsize: 400980
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (Kb) 400980

[startup+110.006 s]
Raw data (loadavg): 0.98 0.94 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134432 0 0 0 10688 295 0 0 25 0 1 0 21097068 411000832 86722 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100342 86722 364 364 0 99978 0
[pid=7812] vsize: 401368
Current children cumulated CPU time (s) 109.83
Current children cumulated vsize (Kb) 401368

[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134433 0 0 0 11688 295 0 0 25 0 1 0 21097068 411000832 86723 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100342 86723 364 364 0 99978 0
[pid=7812] vsize: 401368
Current children cumulated CPU time (s) 119.83
Current children cumulated vsize (Kb) 401368

[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134440 0 0 0 12687 295 0 0 25 0 1 0 21097068 411000832 86730 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100342 86730 364 364 0 99978 0
[pid=7812] vsize: 401368
Current children cumulated CPU time (s) 129.82
Current children cumulated vsize (Kb) 401368

[startup+140.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134511 0 0 0 13687 295 0 0 25 0 1 0 21097068 411267072 86768 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100407 86768 364 364 0 100043 0
[pid=7812] vsize: 401628
Current children cumulated CPU time (s) 139.82
Current children cumulated vsize (Kb) 401628

[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134695 0 0 0 14687 296 0 0 25 0 1 0 21097068 411660288 86854 4294967295 134512640 135987407 3221224576 3221223280 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100503 86854 364 364 0 100139 0
[pid=7812] vsize: 402012
Current children cumulated CPU time (s) 149.83
Current children cumulated vsize (Kb) 402012

[startup+160.009 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134739 0 0 0 15686 296 0 0 25 0 1 0 21097068 411791360 86865 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100535 86865 364 364 0 100171 0
[pid=7812] vsize: 402140
Current children cumulated CPU time (s) 159.82
Current children cumulated vsize (Kb) 402140

[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134815 0 0 0 16685 297 0 0 25 0 1 0 21097068 412053504 86876 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100599 86876 364 364 0 100235 0
[pid=7812] vsize: 402396
Current children cumulated CPU time (s) 169.82
Current children cumulated vsize (Kb) 402396

[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134817 0 0 0 17685 297 0 0 25 0 1 0 21097068 412053504 86878 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100599 86878 364 364 0 100235 0
[pid=7812] vsize: 402396
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 402396

[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134843 0 0 0 18684 297 0 0 25 0 1 0 21097068 412188672 86904 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86904 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 189.81
Current children cumulated vsize (Kb) 402528

[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134846 0 0 0 19684 297 0 0 25 0 1 0 21097068 412188672 86907 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86907 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (Kb) 402528

[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134856 0 0 0 20683 298 0 0 25 0 1 0 21097068 412188672 86917 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86917 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 209.81
Current children cumulated vsize (Kb) 402528

[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134860 0 0 0 21683 298 0 0 25 0 1 0 21097068 412188672 86921 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86921 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 219.81
Current children cumulated vsize (Kb) 402528

[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134862 0 0 0 22683 298 0 0 25 0 1 0 21097068 412188672 86923 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86923 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 229.81
Current children cumulated vsize (Kb) 402528

[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134868 0 0 0 23682 298 0 0 25 0 1 0 21097068 412188672 86929 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86929 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 239.8
Current children cumulated vsize (Kb) 402528

[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134874 0 0 0 24682 298 0 0 25 0 1 0 21097068 412188672 86935 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86935 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 249.8
Current children cumulated vsize (Kb) 402528

[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134876 0 0 0 25682 298 0 0 25 0 1 0 21097068 412188672 86937 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86937 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 259.8
Current children cumulated vsize (Kb) 402528

[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134879 0 0 0 26681 298 0 0 25 0 1 0 21097068 412188672 86940 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86940 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 269.79
Current children cumulated vsize (Kb) 402528

[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134882 0 0 0 27680 299 0 0 25 0 1 0 21097068 412188672 86943 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100632 86943 364 364 0 100268 0
[pid=7812] vsize: 402528
Current children cumulated CPU time (s) 279.79
Current children cumulated vsize (Kb) 402528

[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134922 0 0 0 28680 299 0 0 25 0 1 0 21097068 412319744 86950 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100664 86950 364 364 0 100300 0
[pid=7812] vsize: 402656
Current children cumulated CPU time (s) 289.79
Current children cumulated vsize (Kb) 402656

[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134938 0 0 0 29680 299 0 0 25 0 1 0 21097068 412319744 86966 4294967295 134512640 135987407 3221224576 3221223280 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100664 86966 364 364 0 100300 0
[pid=7812] vsize: 402656
Current children cumulated CPU time (s) 299.79
Current children cumulated vsize (Kb) 402656

[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 134964 0 0 0 30679 300 0 0 25 0 1 0 21097068 412454912 86992 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100697 86992 364 364 0 100333 0
[pid=7812] vsize: 402788
Current children cumulated CPU time (s) 309.79
Current children cumulated vsize (Kb) 402788

[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135051 0 0 0 31678 300 0 0 25 0 1 0 21097068 412717056 87014 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100761 87014 364 364 0 100397 0
[pid=7812] vsize: 403044
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (Kb) 403044

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135052 0 0 0 32678 300 0 0 25 0 1 0 21097068 412717056 87015 4294967295 134512640 135987407 3221224576 3221223120 134811747 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 100761 87015 364 364 0 100397 0
[pid=7812] vsize: 403044
Current children cumulated CPU time (s) 329.78
Current children cumulated vsize (Kb) 403044

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135055 0 0 0 33677 301 0 0 25 0 1 0 21097068 412717056 87018 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100761 87018 364 364 0 100397 0
[pid=7812] vsize: 403044
Current children cumulated CPU time (s) 339.78
Current children cumulated vsize (Kb) 403044

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135056 0 0 0 34677 301 0 0 25 0 1 0 21097068 412717056 87019 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100761 87019 364 364 0 100397 0
[pid=7812] vsize: 403044
Current children cumulated CPU time (s) 349.78
Current children cumulated vsize (Kb) 403044

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135058 0 0 0 35677 301 0 0 25 0 1 0 21097068 412717056 87021 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100761 87021 364 364 0 100397 0
[pid=7812] vsize: 403044
Current children cumulated CPU time (s) 359.78
Current children cumulated vsize (Kb) 403044

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135060 0 0 0 36676 301 0 0 25 0 1 0 21097068 412717056 87023 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100761 87023 364 364 0 100397 0
[pid=7812] vsize: 403044
Current children cumulated CPU time (s) 369.77
Current children cumulated vsize (Kb) 403044

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135079 0 0 0 37676 301 0 0 25 0 1 0 21097068 412852224 87042 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87042 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 379.77
Current children cumulated vsize (Kb) 403176

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135081 0 0 0 38676 301 0 0 25 0 1 0 21097068 412852224 87044 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87044 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 389.77
Current children cumulated vsize (Kb) 403176

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135082 0 0 0 39675 301 0 0 25 0 1 0 21097068 412852224 87045 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87045 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 399.76
Current children cumulated vsize (Kb) 403176

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135084 0 0 0 40675 302 0 0 25 0 1 0 21097068 412852224 87047 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87047 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 409.77
Current children cumulated vsize (Kb) 403176

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135087 0 0 0 41675 302 0 0 25 0 1 0 21097068 412852224 87050 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87050 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 419.77
Current children cumulated vsize (Kb) 403176

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135088 0 0 0 42675 302 0 0 25 0 1 0 21097068 412852224 87051 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87051 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 429.77
Current children cumulated vsize (Kb) 403176

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135089 0 0 0 43675 302 0 0 25 0 1 0 21097068 412852224 87052 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87052 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 439.77
Current children cumulated vsize (Kb) 403176

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135091 0 0 0 44675 302 0 0 25 0 1 0 21097068 412852224 87054 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87054 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 449.77
Current children cumulated vsize (Kb) 403176

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135095 0 0 0 45675 302 0 0 25 0 1 0 21097068 412852224 87058 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87058 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 459.77
Current children cumulated vsize (Kb) 403176

[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135097 0 0 0 46674 302 0 0 25 0 1 0 21097068 412852224 87060 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87060 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 469.76
Current children cumulated vsize (Kb) 403176

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135100 0 0 0 47674 302 0 0 25 0 1 0 21097068 412852224 87063 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87063 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 479.76
Current children cumulated vsize (Kb) 403176

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135105 0 0 0 48674 303 0 0 25 0 1 0 21097068 412852224 87068 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87068 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 489.77
Current children cumulated vsize (Kb) 403176

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135109 0 0 0 49674 303 0 0 25 0 1 0 21097068 412852224 87072 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100794 87072 364 364 0 100430 0
[pid=7812] vsize: 403176
Current children cumulated CPU time (s) 499.77
Current children cumulated vsize (Kb) 403176

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135348 0 0 0 50673 303 0 0 25 0 1 0 21097068 413646848 87180 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 100988 87180 364 364 0 100624 0
[pid=7812] vsize: 403952
Current children cumulated CPU time (s) 509.76
Current children cumulated vsize (Kb) 403952

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135397 0 0 0 51672 304 0 0 25 0 1 0 21097068 413777920 87196 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101020 87196 364 364 0 100656 0
[pid=7812] vsize: 404080
Current children cumulated CPU time (s) 519.76
Current children cumulated vsize (Kb) 404080

[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135547 0 0 0 52671 304 0 0 25 0 1 0 21097068 414171136 87248 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101116 87248 364 364 0 100752 0
[pid=7812] vsize: 404464
Current children cumulated CPU time (s) 529.75
Current children cumulated vsize (Kb) 404464

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135548 0 0 0 53671 305 0 0 25 0 1 0 21097068 414171136 87249 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101116 87249 364 364 0 100752 0
[pid=7812] vsize: 404464
Current children cumulated CPU time (s) 539.76
Current children cumulated vsize (Kb) 404464

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135560 0 0 0 54670 305 0 0 25 0 1 0 21097068 414171136 87261 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101116 87261 364 364 0 100752 0
[pid=7812] vsize: 404464
Current children cumulated CPU time (s) 549.75
Current children cumulated vsize (Kb) 404464

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135561 0 0 0 55670 305 0 0 25 0 1 0 21097068 414171136 87262 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101116 87262 364 364 0 100752 0
[pid=7812] vsize: 404464
Current children cumulated CPU time (s) 559.75
Current children cumulated vsize (Kb) 404464

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135564 0 0 0 56670 305 0 0 25 0 1 0 21097068 414171136 87265 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101116 87265 364 364 0 100752 0
[pid=7812] vsize: 404464
Current children cumulated CPU time (s) 569.75
Current children cumulated vsize (Kb) 404464

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135566 0 0 0 57669 306 0 0 25 0 1 0 21097068 414171136 87267 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101116 87267 364 364 0 100752 0
[pid=7812] vsize: 404464
Current children cumulated CPU time (s) 579.75
Current children cumulated vsize (Kb) 404464

[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135567 0 0 0 58670 306 0 0 25 0 1 0 21097068 414171136 87268 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101116 87268 364 364 0 100752 0
[pid=7812] vsize: 404464
Current children cumulated CPU time (s) 589.76
Current children cumulated vsize (Kb) 404464

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135592 0 0 0 59669 306 0 0 25 0 1 0 21097068 414306304 87293 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101149 87293 364 364 0 100785 0
[pid=7812] vsize: 404596
Current children cumulated CPU time (s) 599.75
Current children cumulated vsize (Kb) 404596

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135614 0 0 0 60669 306 0 0 25 0 1 0 21097068 414306304 87315 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101149 87315 364 364 0 100785 0
[pid=7812] vsize: 404596
Current children cumulated CPU time (s) 609.75
Current children cumulated vsize (Kb) 404596

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135637 0 0 0 61669 306 0 0 25 0 1 0 21097068 414441472 87338 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87338 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 619.75
Current children cumulated vsize (Kb) 404728

[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135639 0 0 0 62669 306 0 0 25 0 1 0 21097068 414441472 87340 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87340 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 629.75
Current children cumulated vsize (Kb) 404728

[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135641 0 0 0 63668 306 0 0 25 0 1 0 21097068 414441472 87342 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87342 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 639.74
Current children cumulated vsize (Kb) 404728

[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135651 0 0 0 64668 307 0 0 25 0 1 0 21097068 414441472 87352 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87352 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 649.75
Current children cumulated vsize (Kb) 404728

[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135657 0 0 0 65668 307 0 0 25 0 1 0 21097068 414441472 87358 4294967295 134512640 135987407 3221224576 3221223120 134811962 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87358 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 659.75
Current children cumulated vsize (Kb) 404728

[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135661 0 0 0 66667 307 0 0 25 0 1 0 21097068 414441472 87362 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87362 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 669.74
Current children cumulated vsize (Kb) 404728

[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135663 0 0 0 67667 307 0 0 25 0 1 0 21097068 414441472 87364 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87364 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 679.74
Current children cumulated vsize (Kb) 404728

[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135665 0 0 0 68667 307 0 0 25 0 1 0 21097068 414441472 87366 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87366 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 689.74
Current children cumulated vsize (Kb) 404728

[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135667 0 0 0 69667 307 0 0 25 0 1 0 21097068 414441472 87368 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87368 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 699.74
Current children cumulated vsize (Kb) 404728

[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135668 0 0 0 70666 307 0 0 25 0 1 0 21097068 414441472 87369 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87369 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 709.73
Current children cumulated vsize (Kb) 404728

[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) T 7811 7812 4005 0 -1 0 135692 0 0 0 71667 308 0 0 25 0 1 0 21097068 414441472 87393 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7812/statm): 101182 87393 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 719.75
Current children cumulated vsize (Kb) 404728

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135694 0 0 0 72666 308 0 0 25 0 1 0 21097068 414441472 87395 4294967295 134512640 135987407 3221224576 3221223120 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101182 87395 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 729.74
Current children cumulated vsize (Kb) 404728

[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135697 0 0 0 73665 308 0 0 25 0 1 0 21097068 414441472 87398 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101182 87398 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 739.73
Current children cumulated vsize (Kb) 404728

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135698 0 0 0 74665 308 0 0 25 0 1 0 21097068 414441472 87399 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101182 87399 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 749.73
Current children cumulated vsize (Kb) 404728

[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135702 0 0 0 75664 309 0 0 25 0 1 0 21097068 414441472 87403 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101182 87403 364 364 0 100818 0
[pid=7812] vsize: 404728
Current children cumulated CPU time (s) 759.73
Current children cumulated vsize (Kb) 404728

[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135774 0 0 0 76664 309 0 0 25 0 1 0 21097068 414703616 87410 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87410 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 769.73
Current children cumulated vsize (Kb) 404984

[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135776 0 0 0 77664 309 0 0 25 0 1 0 21097068 414703616 87412 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87412 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 779.73
Current children cumulated vsize (Kb) 404984

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135777 0 0 0 78664 309 0 0 25 0 1 0 21097068 414703616 87413 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87413 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 789.73
Current children cumulated vsize (Kb) 404984

[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135780 0 0 0 79663 309 0 0 25 0 1 0 21097068 414703616 87416 4294967295 134512640 135987407 3221224576 3221223212 134801098 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87416 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 799.72
Current children cumulated vsize (Kb) 404984

[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135782 0 0 0 80663 310 0 0 25 0 1 0 21097068 414703616 87418 4294967295 134512640 135987407 3221224576 3221223008 135486786 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87418 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 809.73
Current children cumulated vsize (Kb) 404984

[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135783 0 0 0 81662 310 0 0 25 0 1 0 21097068 414703616 87419 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87419 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 819.72
Current children cumulated vsize (Kb) 404984

[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135787 0 0 0 82662 310 0 0 25 0 1 0 21097068 414703616 87423 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87423 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 829.72
Current children cumulated vsize (Kb) 404984

[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135790 0 0 0 83661 310 0 0 25 0 1 0 21097068 414703616 87426 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87426 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 839.71
Current children cumulated vsize (Kb) 404984

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135793 0 0 0 84661 311 0 0 25 0 1 0 21097068 414703616 87429 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87429 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 849.72
Current children cumulated vsize (Kb) 404984

[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135795 0 0 0 85661 311 0 0 25 0 1 0 21097068 414703616 87431 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87431 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 859.72
Current children cumulated vsize (Kb) 404984

[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135799 0 0 0 86661 311 0 0 25 0 1 0 21097068 414703616 87435 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87435 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 869.72
Current children cumulated vsize (Kb) 404984

[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135801 0 0 0 87661 311 0 0 25 0 1 0 21097068 414703616 87437 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87437 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 879.72
Current children cumulated vsize (Kb) 404984

[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135804 0 0 0 88660 311 0 0 25 0 1 0 21097068 414703616 87440 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87440 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 889.71
Current children cumulated vsize (Kb) 404984

[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135806 0 0 0 89659 311 0 0 25 0 1 0 21097068 414703616 87442 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87442 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 899.7
Current children cumulated vsize (Kb) 404984

[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135809 0 0 0 90659 311 0 0 25 0 1 0 21097068 414703616 87445 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87445 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 909.7
Current children cumulated vsize (Kb) 404984

[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135814 0 0 0 91659 312 0 0 25 0 1 0 21097068 414703616 87450 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87450 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 919.71
Current children cumulated vsize (Kb) 404984

[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135816 0 0 0 92658 312 0 0 25 0 1 0 21097068 414703616 87452 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87452 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 929.7
Current children cumulated vsize (Kb) 404984

[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135841 0 0 0 93658 312 0 0 25 0 1 0 21097068 414703616 87477 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87477 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 939.7
Current children cumulated vsize (Kb) 404984

[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135863 0 0 0 94657 312 0 0 25 0 1 0 21097068 414703616 87499 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87499 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 949.69
Current children cumulated vsize (Kb) 404984

[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135874 0 0 0 95657 313 0 0 25 0 1 0 21097068 414703616 87510 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87510 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 959.7
Current children cumulated vsize (Kb) 404984

[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135876 0 0 0 96656 313 0 0 25 0 1 0 21097068 414703616 87512 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87512 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 969.69
Current children cumulated vsize (Kb) 404984

[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135877 0 0 0 97656 313 0 0 25 0 1 0 21097068 414703616 87513 4294967295 134512640 135987407 3221224576 3221223216 134812319 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87513 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 979.69
Current children cumulated vsize (Kb) 404984

[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135878 0 0 0 98656 313 0 0 25 0 1 0 21097068 414703616 87514 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87514 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 989.69
Current children cumulated vsize (Kb) 404984

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135880 0 0 0 99655 313 0 0 25 0 1 0 21097068 414703616 87516 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87516 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 999.68
Current children cumulated vsize (Kb) 404984

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135883 0 0 0 100655 313 0 0 25 0 1 0 21097068 414703616 87519 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87519 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1009.68
Current children cumulated vsize (Kb) 404984

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135884 0 0 0 101655 314 0 0 25 0 1 0 21097068 414703616 87520 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87520 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1019.69
Current children cumulated vsize (Kb) 404984

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135885 0 0 0 102654 314 0 0 25 0 1 0 21097068 414703616 87521 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87521 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1029.68
Current children cumulated vsize (Kb) 404984

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135886 0 0 0 103654 314 0 0 25 0 1 0 21097068 414703616 87522 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87522 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1039.68
Current children cumulated vsize (Kb) 404984

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135888 0 0 0 104653 314 0 0 25 0 1 0 21097068 414703616 87524 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87524 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1049.67
Current children cumulated vsize (Kb) 404984

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135890 0 0 0 105653 315 0 0 25 0 1 0 21097068 414703616 87526 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87526 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1059.68
Current children cumulated vsize (Kb) 404984

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135892 0 0 0 106652 315 0 0 25 0 1 0 21097068 414703616 87528 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87528 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1069.67
Current children cumulated vsize (Kb) 404984

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135896 0 0 0 107651 315 0 0 25 0 1 0 21097068 414703616 87532 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87532 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1079.66
Current children cumulated vsize (Kb) 404984

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135899 0 0 0 108651 315 0 0 25 0 1 0 21097068 414703616 87535 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87535 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1089.66
Current children cumulated vsize (Kb) 404984

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135901 0 0 0 109651 316 0 0 25 0 1 0 21097068 414703616 87537 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87537 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1099.67
Current children cumulated vsize (Kb) 404984

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135903 0 0 0 110651 316 0 0 25 0 1 0 21097068 414703616 87539 4294967295 134512640 135987407 3221224576 3221222892 135480788 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87539 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1109.67
Current children cumulated vsize (Kb) 404984

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135907 0 0 0 111650 316 0 0 25 0 1 0 21097068 414703616 87543 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87543 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1119.66
Current children cumulated vsize (Kb) 404984

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135912 0 0 0 112650 316 0 0 25 0 1 0 21097068 414703616 87548 4294967295 134512640 135987407 3221224576 3221223296 134812582 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87548 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1129.66
Current children cumulated vsize (Kb) 404984

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135913 0 0 0 113650 316 0 0 25 0 1 0 21097068 414703616 87549 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87549 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1139.66
Current children cumulated vsize (Kb) 404984

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135916 0 0 0 114649 316 0 0 25 0 1 0 21097068 414703616 87552 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87552 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1149.65
Current children cumulated vsize (Kb) 404984

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135917 0 0 0 115649 316 0 0 25 0 1 0 21097068 414703616 87553 4294967295 134512640 135987407 3221224576 3221223120 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87553 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1159.65
Current children cumulated vsize (Kb) 404984

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135919 0 0 0 116648 316 0 0 25 0 1 0 21097068 414703616 87555 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87555 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1169.64
Current children cumulated vsize (Kb) 404984

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135921 0 0 0 117648 317 0 0 25 0 1 0 21097068 414703616 87557 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87557 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1179.65
Current children cumulated vsize (Kb) 404984

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135924 0 0 0 118648 317 0 0 25 0 1 0 21097068 414703616 87560 4294967295 134512640 135987407 3221224576 3221223120 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87560 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1189.65
Current children cumulated vsize (Kb) 404984

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135925 0 0 0 119648 317 0 0 25 0 1 0 21097068 414703616 87561 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87561 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1199.65
Current children cumulated vsize (Kb) 404984

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135929 0 0 0 120648 317 0 0 25 0 1 0 21097068 414703616 87565 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87565 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1209.65
Current children cumulated vsize (Kb) 404984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7814
Raw data (/proc/7812/stat): 7812 (pb2sat) R 7811 7812 4005 0 -1 0 135929 0 0 0 120648 317 0 0 25 0 1 0 21097068 414703616 87565 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7812/statm): 101246 87565 364 364 0 100882 0
[pid=7812] vsize: 404984
Current children cumulated CPU time (s) 1209.65
Current children cumulated vsize (Kb) 404984

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

Child status: 10
Real time (s): 1211.45
CPU time (s): 1211.06
CPU user time (s): 1207.7
CPU system time (s): 3.35549
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (Kb): 404984

Verifier Data

Verifier:	OK	9317