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/logic-synthesis/normalized-clip.b.opb
MD5SUMcddae768b283c2db142f16fe9d163db1
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of terms in the objective function 350
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 350
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 350
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark23.4574
Number of variables349
Total number of constraints715
Number of constraints which are clauses707
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint111

Trace number 9572

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        940588 kB
Buffers:         11060 kB
Cached:          66256 kB
SwapCached:          0 kB
Active:          45612 kB
Inactive:        34636 kB
HighTotal:      131008 kB
HighFree:        60256 kB
LowTotal:       903652 kB
LowFree:        880332 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8232 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:28:18 (client local time) WITH STATUS 30 IN 579.569 SECONDS
stats: 8266 0 579.569 30

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 336
c small objective detected
c got solution with objective value: 79
c [startup+5.38896 s]  setting bit 8 to 1
c CONFLICT during preprocess 
c [startup+5.60364 s]  setting bit 7 to 0

c Decision: 57761/62017	Time: 9.45156/86400
c Decision: 58017/62017	Time: 21.6137/86400
c Decision: 58046/62017	Time: 27.4848/86400
c Decision: 58046/62017	Time: 32.4731/86400
c Decision: 58046/62017	Time: 38.2872/86400
c Decision: 58046/62017	Time: 45.813/86400
c Decision: 58046/62017	Time: 52.9809/86400
c Decision: 58046/62017	Time: 59.467/86400
c Decision: 58046/62017	Time: 67.3868/86400
c Decision: 58595/62017	Time: 75.3435/86400
c Decision: 58595/62017	Time: 82.7944/86400
c Decision: 58595/62017	Time: 89.7774/86400
c Decision: 58595/62017	Time: 97.2292/86400
c Decision: 58595/62017	Time: 105.017/86400
c Decision: 58595/62017	Time: 112.325/86400
c Decision: 58595/62017	Time: 120.687/86400
c Decision: 58595/62017	Time: 129.753/86400
c Decision: 58676/62017	Time: 142.463/86400
c Decision: 58676/62017	Time: 150.217/86400
c Decision: 58676/62017	Time: 156.706/86400
c Decision: 58676/62017	Time: 164.29/86400
c Decision: 58676/62017	Time: 172.036/86400
c Decision: 58676/62017	Time: 178.8/86400
c Decision: 58676/62017	Time: 187.774/86400
c Decision: 58676/62017	Time: 194.731/86400
c Decision: 58676/62017	Time: 203.751/86400
c Decision: 58676/62017	Time: 212.393/86400
c Decision: 58676/62017	Time: 220.7/86400
c Decision: 58676/62017	Time: 228.84/86400
c Decision: 58676/62017	Time: 237.11/86400
c Decision: 58676/62017	Time: 246.924/86400
c Decision: 58676/62017	Time: 256.438/86400
c Decision: 58676/62017	Time: 265.031/86400
c Decision: 58676/62017	Time: 274.333/86400
c Decision: 58676/62017	Time: 282.961/86400
c Decision: 58676/62017	Time: 291.747/86400
c Decision: 58676/62017	Time: 300.467/86400
c Decision: 58676/62017	Time: 309.881/86400
c Decision: 58725/62017	Time: 323.133/86400
c Decision: 58725/62017	Time: 332.662/86400
c Decision: 58725/62017	Time: 339.932/86400
c Decision: 58725/62017	Time: 348.348/86400
c Decision: 58725/62017	Time: 356.83/86400
c got solution with objective value: 15
c [startup+372.18 s]  setting bit 6 to 1
c CONFLICT during preprocess 

c [startup+372.406 s]  setting bit 5 to 0
c CONFLICT during preprocess 

c [startup+372.631 s]  setting bit 4 to 0
c CONFLICT during preprocess 

c [startup+373.018 s]  setting bit 3 to 0

c [startup+376.366 s]  setting bit 2 to 0

c [startup+398.551 s]  setting bit 1 to 0

c Decision: 58986/62017	Time: 82.5794/86400
c Decision: 58986/62017	Time: 91.3581/86400
c Decision: 58986/62017	Time: 100.585/86400
c Decision: 58986/62017	Time: 109.389/86400
c Decision: 58986/62017	Time: 117.358/86400
c Decision: 58986/62017	Time: 127.653/86400
c Decision: 58986/62017	Time: 137.952/86400
c Decision: 58986/62017	Time: 146.627/86400
c Decision: 58986/62017	Time: 155.95/86400
c Decision: 58987/62017	Time: 164.769/86400
c [startup+584.257 s]  setting bit 0 to 0
s OPTIMUM FOUND
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 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 x243 x244 -x245 -x246 -x247 x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -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/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20849239 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 373 2 364 364 0 9 0
[pid=6500] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-clip.b.opb

[startup+10.0016 s]
Raw data (loadavg): 0.98 1.03 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 9632 0 0 0 964 25 0 0 25 0 1 0 20849239 28876800 6505 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 7050 6505 364 364 0 6686 0
[pid=6500] vsize: 28200
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 28200

[startup+20.0024 s]
Raw data (loadavg): 0.98 1.03 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 9849 0 0 0 1952 28 0 0 25 0 1 0 20849239 29147136 6600 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 7116 6600 364 364 0 6752 0
[pid=6500] vsize: 28464
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (Kb) 28464

[startup+30.0031 s]
Raw data (loadavg): 0.98 1.03 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 10019 0 0 0 2944 32 0 0 25 0 1 0 20849239 29147136 6648 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 7116 6648 364 364 0 6752 0
[pid=6500] vsize: 28464
Current children cumulated CPU time (s) 29.76
Current children cumulated vsize (Kb) 28464

[startup+40.0028 s]
Raw data (loadavg): 0.98 1.03 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 10339 0 0 0 3927 38 0 0 25 0 1 0 20849239 29282304 6724 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 7149 6724 364 364 0 6785 0
[pid=6500] vsize: 28596
Current children cumulated CPU time (s) 39.65
Current children cumulated vsize (Kb) 28596

[startup+50.0035 s]
Raw data (loadavg): 0.99 1.03 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 10525 0 0 0 4912 43 0 0 25 0 1 0 20849239 29417472 6788 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 7182 6788 364 364 0 6818 0
[pid=6500] vsize: 28728
Current children cumulated CPU time (s) 49.55
Current children cumulated vsize (Kb) 28728

[startup+60.0043 s]
Raw data (loadavg): 0.99 1.03 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 10807 0 0 0 5892 51 0 0 25 0 1 0 20849239 29552640 6826 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 7215 6826 364 364 0 6851 0
[pid=6500] vsize: 28860
Current children cumulated CPU time (s) 59.43
Current children cumulated vsize (Kb) 28860

[startup+70.005 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 10970 0 0 0 6871 58 0 0 25 0 1 0 20849239 33746944 6867 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 8239 6867 364 364 0 7875 0
[pid=6500] vsize: 32956
Current children cumulated CPU time (s) 69.29
Current children cumulated vsize (Kb) 32956

[startup+80.0057 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 11146 0 0 0 7853 64 0 0 25 0 1 0 20849239 33882112 6921 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 8272 6921 364 364 0 7908 0
[pid=6500] vsize: 33088
Current children cumulated CPU time (s) 79.17
Current children cumulated vsize (Kb) 33088

[startup+90.0054 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 11451 0 0 0 8835 72 0 0 25 0 1 0 20849239 34017280 6982 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 8305 6982 364 364 0 7941 0
[pid=6500] vsize: 33220
Current children cumulated CPU time (s) 89.07
Current children cumulated vsize (Kb) 33220

[startup+100.005 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 11593 0 0 0 9817 79 0 0 25 0 1 0 20849239 34017280 7002 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 8305 7002 364 364 0 7941 0
[pid=6500] vsize: 33220
Current children cumulated CPU time (s) 98.96
Current children cumulated vsize (Kb) 33220

[startup+110.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 11740 0 0 0 10800 84 0 0 25 0 1 0 20849239 34156544 7027 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 8339 7027 364 364 0 7975 0
[pid=6500] vsize: 33356
Current children cumulated CPU time (s) 108.84
Current children cumulated vsize (Kb) 33356

[startup+120.007 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 12024 0 0 0 11784 91 0 0 25 0 1 0 20849239 34156544 7067 4294967295 134512640 135987407 3221224576 3221223120 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 8339 7067 364 364 0 7975 0
[pid=6500] vsize: 33356
Current children cumulated CPU time (s) 118.75
Current children cumulated vsize (Kb) 33356

[startup+130.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 12183 0 0 0 12767 96 0 0 25 0 1 0 20849239 34156544 7104 4294967295 134512640 135987407 3221224576 3221223120 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 8339 7104 364 364 0 7975 0
[pid=6500] vsize: 33356
Current children cumulated CPU time (s) 128.63
Current children cumulated vsize (Kb) 33356

[startup+140.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 12321 0 0 0 13751 101 0 0 25 0 1 0 20849239 34291712 7120 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 8372 7120 364 364 0 8008 0
[pid=6500] vsize: 33488
Current children cumulated CPU time (s) 138.52
Current children cumulated vsize (Kb) 33488

[startup+150.007 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 12487 0 0 0 14726 110 0 0 25 0 1 0 20849239 34291712 7164 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 8372 7164 364 364 0 8008 0
[pid=6500] vsize: 33488
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (Kb) 33488

[startup+160.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 12670 0 0 0 15706 117 0 0 25 0 1 0 20849239 34426880 7225 4294967295 134512640 135987407 3221224576 3221223120 134812063 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 8405 7225 364 364 0 8041 0
[pid=6500] vsize: 33620
Current children cumulated CPU time (s) 158.23
Current children cumulated vsize (Kb) 33620

[startup+170.007 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 14396 0 0 0 16686 126 0 0 25 0 1 0 20849239 40718336 7292 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 9941 7292 364 364 0 9577 0
[pid=6500] vsize: 39764
Current children cumulated CPU time (s) 168.12
Current children cumulated vsize (Kb) 39764

[startup+180.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 14677 0 0 0 17670 132 0 0 25 0 1 0 20849239 40857600 7329 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 9975 7329 364 364 0 9611 0
[pid=6500] vsize: 39900
Current children cumulated CPU time (s) 178.02
Current children cumulated vsize (Kb) 39900

[startup+190.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 14816 0 0 0 18658 136 0 0 25 0 1 0 20849239 40996864 7346 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10009 7346 364 364 0 9645 0
[pid=6500] vsize: 40036
Current children cumulated CPU time (s) 187.94
Current children cumulated vsize (Kb) 40036

[startup+200.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 14970 0 0 0 19642 143 0 0 25 0 1 0 20849239 40996864 7378 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10009 7378 364 364 0 9645 0
[pid=6500] vsize: 40036
Current children cumulated CPU time (s) 197.85
Current children cumulated vsize (Kb) 40036

[startup+210.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 15144 0 0 0 20631 147 0 0 25 0 1 0 20849239 40996864 7430 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10009 7430 364 364 0 9645 0
[pid=6500] vsize: 40036
Current children cumulated CPU time (s) 207.78
Current children cumulated vsize (Kb) 40036

[startup+220.009 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 15286 0 0 0 21618 153 0 0 25 0 1 0 20849239 41132032 7450 4294967295 134512640 135987407 3221224576 3221223152 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10042 7450 364 364 0 9678 0
[pid=6500] vsize: 40168
Current children cumulated CPU time (s) 217.71
Current children cumulated vsize (Kb) 40168

[startup+230.01 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 15551 0 0 0 22599 160 0 0 25 0 1 0 20849239 41132032 7471 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10042 7471 364 364 0 9678 0
[pid=6500] vsize: 40168
Current children cumulated CPU time (s) 227.59
Current children cumulated vsize (Kb) 40168

[startup+240.009 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 15723 0 0 0 23584 166 0 0 25 0 1 0 20849239 41267200 7521 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10075 7521 364 364 0 9711 0
[pid=6500] vsize: 40300
Current children cumulated CPU time (s) 237.5
Current children cumulated vsize (Kb) 40300

[startup+250.01 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 15898 0 0 0 24566 173 0 0 25 0 1 0 20849239 41267200 7574 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10075 7574 364 364 0 9711 0
[pid=6500] vsize: 40300
Current children cumulated CPU time (s) 247.39
Current children cumulated vsize (Kb) 40300

[startup+260.011 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 16059 0 0 0 25548 179 0 0 25 0 1 0 20849239 41402368 7613 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10108 7613 364 364 0 9744 0
[pid=6500] vsize: 40432
Current children cumulated CPU time (s) 257.27
Current children cumulated vsize (Kb) 40432

[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 16201 0 0 0 26531 185 0 0 25 0 1 0 20849239 41402368 7633 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10108 7633 364 364 0 9744 0
[pid=6500] vsize: 40432
Current children cumulated CPU time (s) 267.16
Current children cumulated vsize (Kb) 40432

[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 16333 0 0 0 27517 190 0 0 25 0 1 0 20849239 41537536 7643 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10141 7643 364 364 0 9777 0
[pid=6500] vsize: 40564
Current children cumulated CPU time (s) 277.07
Current children cumulated vsize (Kb) 40564

[startup+290.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 16471 0 0 0 28502 195 0 0 25 0 1 0 20849239 41537536 7659 4294967295 134512640 135987407 3221224576 3221223120 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10141 7659 364 364 0 9777 0
[pid=6500] vsize: 40564
Current children cumulated CPU time (s) 286.97
Current children cumulated vsize (Kb) 40564

[startup+300.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 16629 0 0 0 29483 202 0 0 25 0 1 0 20849239 41537536 7695 4294967295 134512640 135987407 3221224576 3221223152 134814092 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10141 7695 364 364 0 9777 0
[pid=6500] vsize: 40564
Current children cumulated CPU time (s) 296.85
Current children cumulated vsize (Kb) 40564

[startup+310.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 16891 0 0 0 30467 207 0 0 25 0 1 0 20849239 41672704 7713 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10174 7713 364 364 0 9810 0
[pid=6500] vsize: 40696
Current children cumulated CPU time (s) 306.74
Current children cumulated vsize (Kb) 40696

[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 17047 0 0 0 31453 212 0 0 25 0 1 0 20849239 41672704 7747 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10174 7747 364 364 0 9810 0
[pid=6500] vsize: 40696
Current children cumulated CPU time (s) 316.65
Current children cumulated vsize (Kb) 40696

[startup+330.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 17101 0 0 0 32438 218 0 0 25 0 1 0 20849239 41672704 7801 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10174 7801 364 364 0 9810 0
[pid=6500] vsize: 40696
Current children cumulated CPU time (s) 326.56
Current children cumulated vsize (Kb) 40696

[startup+340.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) T 6499 6500 4059 0 -1 0 17278 0 0 0 33421 223 0 0 25 0 1 0 20849239 41672704 7856 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10174 7856 364 364 0 9810 0
[pid=6500] vsize: 40696
Current children cumulated CPU time (s) 336.44
Current children cumulated vsize (Kb) 40696

[startup+350.013 s]
Raw data (loadavg): 0.99 1.00 1.00 1/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) T 6499 6500 4059 0 -1 0 17589 0 0 0 34407 228 0 0 25 0 1 0 20849239 41820160 7923 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10210 7923 364 364 0 9846 0
[pid=6500] vsize: 40840
Current children cumulated CPU time (s) 346.35
Current children cumulated vsize (Kb) 40840

[startup+360.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 17733 0 0 0 35388 234 0 0 25 0 1 0 20849239 41955328 7945 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10243 7945 364 364 0 9879 0
[pid=6500] vsize: 40972
Current children cumulated CPU time (s) 356.22
Current children cumulated vsize (Kb) 40972

[startup+370.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 17872 0 0 0 36369 242 0 0 25 0 1 0 20849239 41955328 7962 4294967295 134512640 135987407 3221224576 3221223184 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10243 7962 364 364 0 9879 0
[pid=6500] vsize: 40972
Current children cumulated CPU time (s) 366.11
Current children cumulated vsize (Kb) 40972

[startup+380.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 18499 0 0 0 37360 246 0 0 25 0 1 0 20849239 41955328 7979 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10243 7979 364 364 0 9879 0
[pid=6500] vsize: 40972
Current children cumulated CPU time (s) 376.06
Current children cumulated vsize (Kb) 40972

[startup+390.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 18521 0 0 0 38352 249 0 0 25 0 1 0 20849239 41955328 8001 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10243 8001 364 364 0 9879 0
[pid=6500] vsize: 40972
Current children cumulated CPU time (s) 386.01
Current children cumulated vsize (Kb) 40972

[startup+400.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 18699 0 0 0 39345 252 0 0 25 0 1 0 20849239 42094592 8057 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10277 8057 364 364 0 9913 0
[pid=6500] vsize: 41108
Current children cumulated CPU time (s) 395.97
Current children cumulated vsize (Kb) 41108

[startup+410.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 18760 0 0 0 40339 255 0 0 25 0 1 0 20849239 42094592 8118 4294967295 134512640 135987407 3221224576 3221223120 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10277 8118 364 364 0 9913 0
[pid=6500] vsize: 41108
Current children cumulated CPU time (s) 405.94
Current children cumulated vsize (Kb) 41108

[startup+420.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 18830 0 0 0 41328 259 0 0 25 0 1 0 20849239 42233856 8188 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6500/statm): 10311 8188 364 364 0 9947 0
[pid=6500] vsize: 41244
Current children cumulated CPU time (s) 415.87
Current children cumulated vsize (Kb) 41244

[startup+430.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 18914 0 0 0 42318 261 0 0 25 0 1 0 20849239 42233856 8272 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10311 8272 364 364 0 9947 0
[pid=6500] vsize: 41244
Current children cumulated CPU time (s) 425.79
Current children cumulated vsize (Kb) 41244

[startup+440.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 18990 0 0 0 43311 263 0 0 25 0 1 0 20849239 42233856 8348 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10311 8348 364 364 0 9947 0
[pid=6500] vsize: 41244
Current children cumulated CPU time (s) 435.74
Current children cumulated vsize (Kb) 41244

[startup+450.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 19070 0 0 0 44306 266 0 0 25 0 1 0 20849239 42233856 8428 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10311 8428 364 364 0 9947 0
[pid=6500] vsize: 41244
Current children cumulated CPU time (s) 445.72
Current children cumulated vsize (Kb) 41244

[startup+460.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 19142 0 0 0 45299 268 0 0 25 0 1 0 20849239 42393600 8500 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10350 8500 364 364 0 9986 0
[pid=6500] vsize: 41400
Current children cumulated CPU time (s) 455.67
Current children cumulated vsize (Kb) 41400

[startup+470.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 19206 0 0 0 46292 271 0 0 25 0 1 0 20849239 42393600 8564 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 10350 8564 364 364 0 9986 0
[pid=6500] vsize: 41400
Current children cumulated CPU time (s) 465.63
Current children cumulated vsize (Kb) 41400

[startup+480.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 19297 0 0 0 47285 274 0 0 25 0 1 0 20849239 50782208 8655 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12398 8655 364 364 0 12034 0
[pid=6500] vsize: 49592
Current children cumulated CPU time (s) 475.59
Current children cumulated vsize (Kb) 49592

[startup+490.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 19446 0 0 0 48278 276 0 0 25 0 1 0 20849239 50782208 8682 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12398 8682 364 364 0 12034 0
[pid=6500] vsize: 49592
Current children cumulated CPU time (s) 485.54
Current children cumulated vsize (Kb) 49592

[startup+500.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 19633 0 0 0 49272 278 0 0 25 0 1 0 20849239 50925568 8747 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12433 8747 364 364 0 12069 0
[pid=6500] vsize: 49732
Current children cumulated CPU time (s) 495.5
Current children cumulated vsize (Kb) 49732

[startup+510.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 19836 0 0 0 50266 281 0 0 25 0 1 0 20849239 51093504 8828 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12474 8828 364 364 0 12110 0
[pid=6500] vsize: 49896
Current children cumulated CPU time (s) 505.47
Current children cumulated vsize (Kb) 49896

[startup+520.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 20024 0 0 0 51258 284 0 0 25 0 1 0 20849239 51093504 8894 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12474 8894 364 364 0 12110 0
[pid=6500] vsize: 49896
Current children cumulated CPU time (s) 515.42
Current children cumulated vsize (Kb) 49896

[startup+530.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 20210 0 0 0 52253 286 0 0 25 0 1 0 20849239 51093504 8958 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12474 8958 364 364 0 12110 0
[pid=6500] vsize: 49896
Current children cumulated CPU time (s) 525.39
Current children cumulated vsize (Kb) 49896

[startup+540.019 s]
Raw data (loadavg): 0.99 1.00 1.00 1/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) T 6499 6500 4059 0 -1 0 20406 0 0 0 53247 288 0 0 25 0 1 0 20849239 51093504 9032 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12474 9032 364 364 0 12110 0
[pid=6500] vsize: 49896
Current children cumulated CPU time (s) 535.35
Current children cumulated vsize (Kb) 49896

[startup+550.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 20500 0 0 0 54240 291 0 0 25 0 1 0 20849239 51232768 9126 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12508 9126 364 364 0 12144 0
[pid=6500] vsize: 50032
Current children cumulated CPU time (s) 545.31
Current children cumulated vsize (Kb) 50032

[startup+560.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 20713 0 0 0 55233 295 0 0 25 0 1 0 20849239 51380224 9217 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12544 9217 364 364 0 12180 0
[pid=6500] vsize: 50176
Current children cumulated CPU time (s) 555.28
Current children cumulated vsize (Kb) 50176

[startup+570.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 20927 0 0 0 56227 297 0 0 25 0 1 0 20849239 51380224 9309 4294967295 134512640 135987407 3221224576 3221223184 134801210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12544 9309 364 364 0 12180 0
[pid=6500] vsize: 50176
Current children cumulated CPU time (s) 565.24
Current children cumulated vsize (Kb) 50176

[startup+580.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6500
Raw data (/proc/6500/stat): 6500 (pb2sat) R 6499 6500 4059 0 -1 0 21022 0 0 0 57222 299 0 0 25 0 1 0 20849239 51515392 9404 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6500/statm): 12577 9404 364 364 0 12213 0
[pid=6500] vsize: 50308
Current children cumulated CPU time (s) 575.21
Current children cumulated vsize (Kb) 50308
One traced child (pid=6500) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 584.382
CPU time (s): 579.569
CPU user time (s): 576.543
CPU system time (s): 3.02554
CPU usage (%): 99.1763
Max. virtual memory (cumulated for all children) (Kb): 50308

Verifier Data

Verifier:	OK	15