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-9sym.b.opb
MD5SUM1457dc2646bff5e87c0f4b32dfb926ba
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of terms in the objective function 310
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 310
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 310
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 benchmark0.734888
Number of variables309
Total number of constraints976
Number of constraints which are clauses963
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint87

Trace number 1084

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-18 13:04:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3575 boxname=wulflinc7 idbench=59 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  1457dc2646bff5e87c0f4b32dfb926ba  /oldhome/oroussel/tmp/wulflinc7/normalized-9sym.b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc7/normalized-9sym.b.opb
IDLAUNCH: 3575
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        942800 kB
Buffers:         34328 kB
Cached:          33204 kB
SwapCached:        740 kB
Active:          55392 kB
Inactive:        14724 kB
HighTotal:      131008 kB
HighFree:        95704 kB
LowTotal:       903652 kB
LowFree:        847096 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            16168 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 13:19:46 (client local time) WITH STATUS 30 IN 910.329 SECONDS
stats: 3575 0 910.329 30

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc7/normalized-9sym.b.opb ......
c The optimum solution is:5
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 -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 
c Done, CPU Time=910.11

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/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1783268575 978944 2 4294967295 134512640 135450776 3221224576 3221224576 134512960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18053/statm): 239 2 232 232 0 7 0
[pid=18053] vsize: 956
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-9sym.b.opb
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-9sym.b.opb

[startup+10.0045 s]
Raw data (loadavg): 1.11 1.00 0.95 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 343 0 0 0 809 58 0 0 25 0 1 0 1783268575 2060288 326 4294967295 134512640 135450776 3221224576 3221223280 134536593 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18053/statm): 503 326 232 232 0 271 0
[pid=18053] vsize: 2012
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (Kb) 2012

[startup+20.0052 s]
Raw data (loadavg): 1.18 1.02 0.96 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 368 0 0 0 1807 59 0 0 25 0 1 0 1783268575 2584576 351 4294967295 134512640 135450776 3221224576 3221223280 134536593 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 631 351 232 232 0 399 0
[pid=18053] vsize: 2524
Current children cumulated CPU time (s) 18.66
Current children cumulated vsize (Kb) 2524

[startup+30.0048 s]
Raw data (loadavg): 1.22 1.03 0.96 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 416 0 0 0 2805 59 0 0 25 0 1 0 1783268575 2584576 399 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 631 399 232 232 0 399 0
[pid=18053] vsize: 2524
Current children cumulated CPU time (s) 28.64
Current children cumulated vsize (Kb) 2524

[startup+40.0044 s]
Raw data (loadavg): 1.19 1.03 0.96 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 452 0 0 0 3802 61 0 0 25 0 1 0 1783268575 2584576 435 4294967295 134512640 135450776 3221224576 3221223280 134536567 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 631 435 232 232 0 399 0
[pid=18053] vsize: 2524
Current children cumulated CPU time (s) 38.63
Current children cumulated vsize (Kb) 2524

[startup+50.0051 s]
Raw data (loadavg): 1.24 1.05 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 484 0 0 0 4800 61 0 0 25 0 1 0 1783268575 2584576 467 4294967295 134512640 135450776 3221224576 3221223280 134536573 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 631 467 232 232 0 399 0
[pid=18053] vsize: 2524
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (Kb) 2524

[startup+60.0057 s]
Raw data (loadavg): 1.27 1.06 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 509 0 0 0 5798 62 0 0 25 0 1 0 1783268575 2584576 492 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 631 492 232 232 0 399 0
[pid=18053] vsize: 2524
Current children cumulated CPU time (s) 58.6
Current children cumulated vsize (Kb) 2524

[startup+70.0063 s]
Raw data (loadavg): 1.23 1.06 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 535 0 0 0 6797 63 0 0 25 0 1 0 1783268575 3633152 518 4294967295 134512640 135450776 3221224576 3221223280 134536613 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 887 518 232 232 0 655 0
[pid=18053] vsize: 3548
Current children cumulated CPU time (s) 68.6
Current children cumulated vsize (Kb) 3548

[startup+80.006 s]
Raw data (loadavg): 1.20 1.06 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 584 0 0 0 7795 64 0 0 25 0 1 0 1783268575 3833856 567 4294967295 134512640 135450776 3221224576 3221223280 134536542 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 936 567 232 232 0 704 0
[pid=18053] vsize: 3744
Current children cumulated CPU time (s) 78.59
Current children cumulated vsize (Kb) 3744

[startup+90.0056 s]
Raw data (loadavg): 1.16 1.05 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 610 0 0 0 8793 64 0 0 25 0 1 0 1783268575 3833856 593 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 936 593 232 232 0 704 0
[pid=18053] vsize: 3744
Current children cumulated CPU time (s) 88.57
Current children cumulated vsize (Kb) 3744

[startup+100.005 s]
Raw data (loadavg): 1.14 1.05 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 638 0 0 0 9792 65 0 0 25 0 1 0 1783268575 3833856 621 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 936 621 232 232 0 704 0
[pid=18053] vsize: 3744
Current children cumulated CPU time (s) 98.57
Current children cumulated vsize (Kb) 3744

[startup+110.006 s]
Raw data (loadavg): 1.12 1.05 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 678 0 0 0 10789 65 0 0 25 0 1 0 1783268575 3833856 661 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 936 661 232 232 0 704 0
[pid=18053] vsize: 3744
Current children cumulated CPU time (s) 108.54
Current children cumulated vsize (Kb) 3744

[startup+120.007 s]
Raw data (loadavg): 1.10 1.05 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 716 0 0 0 11787 67 0 0 25 0 1 0 1783268575 3833856 699 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18053/statm): 936 699 232 232 0 704 0
[pid=18053] vsize: 3744
Current children cumulated CPU time (s) 118.54
Current children cumulated vsize (Kb) 3744

[startup+130.006 s]
Raw data (loadavg): 1.08 1.05 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 751 0 0 0 12783 68 0 0 25 0 1 0 1783268575 3833856 734 4294967295 134512640 135450776 3221224576 3221223280 134536613 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 936 734 232 232 0 704 0
[pid=18053] vsize: 3744
Current children cumulated CPU time (s) 128.51
Current children cumulated vsize (Kb) 3744

[startup+140.007 s]
Raw data (loadavg): 1.07 1.04 0.97 1/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) T 18052 18053 15400 0 -1 0 783 0 0 0 13781 69 0 0 25 0 1 0 1783268575 3833856 766 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/18053/statm): 936 766 232 232 0 704 0
[pid=18053] vsize: 3744
Current children cumulated CPU time (s) 138.5
Current children cumulated vsize (Kb) 3744

[startup+150.006 s]
Raw data (loadavg): 1.06 1.04 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 816 0 0 0 14778 70 0 0 25 0 1 0 1783268575 3833856 799 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 936 799 232 232 0 704 0
[pid=18053] vsize: 3744
Current children cumulated CPU time (s) 148.48
Current children cumulated vsize (Kb) 3744

[startup+160.007 s]
Raw data (loadavg): 1.05 1.04 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 850 0 0 0 15776 71 0 0 25 0 1 0 1783268575 5931008 833 4294967295 134512640 135450776 3221224576 3221223280 134536610 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 1448 833 232 232 0 1216 0
[pid=18053] vsize: 5792
Current children cumulated CPU time (s) 158.47
Current children cumulated vsize (Kb) 5792

[startup+170.008 s]
Raw data (loadavg): 1.04 1.04 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 913 0 0 0 16768 74 0 0 25 0 1 0 1783268575 6070272 896 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 1482 896 232 232 0 1250 0
[pid=18053] vsize: 5928
Current children cumulated CPU time (s) 168.42
Current children cumulated vsize (Kb) 5928

[startup+180.007 s]
Raw data (loadavg): 1.03 1.04 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1060 0 0 0 17759 78 0 0 25 0 1 0 1783268575 6266880 994 4294967295 134512640 135450776 3221224576 3221223280 134536656 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 1530 994 232 232 0 1298 0
[pid=18053] vsize: 6120
Current children cumulated CPU time (s) 178.37
Current children cumulated vsize (Kb) 6120

[startup+190.008 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1238 0 0 0 18746 82 0 0 25 0 1 0 1783268575 6705152 1172 4294967295 134512640 135450776 3221224576 3221223280 134536576 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 1637 1172 232 232 0 1405 0
[pid=18053] vsize: 6548
Current children cumulated CPU time (s) 188.28
Current children cumulated vsize (Kb) 6548

[startup+200.008 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1291 0 0 0 19736 85 0 0 25 0 1 0 1783268575 6705152 1225 4294967295 134512640 135450776 3221224576 3221223280 134536649 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18053/statm): 1637 1225 232 232 0 1405 0
[pid=18053] vsize: 6548
Current children cumulated CPU time (s) 198.21
Current children cumulated vsize (Kb) 6548

[startup+210.008 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1353 0 0 0 20723 88 0 0 25 0 1 0 1783268575 6705152 1287 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 1637 1287 232 232 0 1405 0
[pid=18053] vsize: 6548
Current children cumulated CPU time (s) 208.11
Current children cumulated vsize (Kb) 6548

[startup+220.009 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1443 0 0 0 21706 94 0 0 25 0 1 0 1783268575 6840320 1377 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 1670 1377 232 232 0 1438 0
[pid=18053] vsize: 6680
Current children cumulated CPU time (s) 218
Current children cumulated vsize (Kb) 6680

[startup+230.01 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1616 0 0 0 22670 106 0 0 25 0 1 0 1783268575 11169792 1550 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2727 1550 232 232 0 2495 0
[pid=18053] vsize: 10908
Current children cumulated CPU time (s) 227.76
Current children cumulated vsize (Kb) 10908

[startup+240.01 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1740 0 0 0 23636 120 0 0 25 0 1 0 1783268575 11698176 1577 4294967295 134512640 135450776 3221224576 3221223280 134536649 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2856 1577 232 232 0 2624 0
[pid=18053] vsize: 11424
Current children cumulated CPU time (s) 237.56
Current children cumulated vsize (Kb) 11424

[startup+250.01 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1770 0 0 0 24616 125 0 0 25 0 1 0 1783268575 11698176 1607 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2856 1607 232 232 0 2624 0
[pid=18053] vsize: 11424
Current children cumulated CPU time (s) 247.41
Current children cumulated vsize (Kb) 11424

[startup+260.011 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1800 0 0 0 25597 131 0 0 25 0 1 0 1783268575 11833344 1637 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2889 1637 232 232 0 2657 0
[pid=18053] vsize: 11556
Current children cumulated CPU time (s) 257.28
Current children cumulated vsize (Kb) 11556

[startup+270.011 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1836 0 0 0 26582 136 0 0 25 0 1 0 1783268575 11968512 1673 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2922 1673 232 232 0 2690 0
[pid=18053] vsize: 11688
Current children cumulated CPU time (s) 267.18
Current children cumulated vsize (Kb) 11688

[startup+280.011 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1860 0 0 0 27571 141 0 0 25 0 1 0 1783268575 11968512 1697 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2922 1697 232 232 0 2690 0
[pid=18053] vsize: 11688
Current children cumulated CPU time (s) 277.12
Current children cumulated vsize (Kb) 11688

[startup+290.011 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1873 0 0 0 28555 145 0 0 25 0 1 0 1783268575 11968512 1710 4294967295 134512640 135450776 3221224576 3221223376 134547482 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2922 1710 232 232 0 2690 0
[pid=18053] vsize: 11688
Current children cumulated CPU time (s) 287
Current children cumulated vsize (Kb) 11688

[startup+300.011 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1891 0 0 0 29541 150 0 0 25 0 1 0 1783268575 12107776 1728 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2956 1728 232 232 0 2724 0
[pid=18053] vsize: 11824
Current children cumulated CPU time (s) 296.91
Current children cumulated vsize (Kb) 11824

[startup+310.012 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1913 0 0 0 30514 159 0 0 25 0 1 0 1783268575 12107776 1750 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2956 1750 232 232 0 2724 0
[pid=18053] vsize: 11824
Current children cumulated CPU time (s) 306.73
Current children cumulated vsize (Kb) 11824

[startup+320.012 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1932 0 0 0 31504 163 0 0 25 0 1 0 1783268575 12259328 1769 4294967295 134512640 135450776 3221224576 3221223280 134536625 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2993 1769 232 232 0 2761 0
[pid=18053] vsize: 11972
Current children cumulated CPU time (s) 316.67
Current children cumulated vsize (Kb) 11972

[startup+330.012 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1943 0 0 0 32493 166 0 0 24 0 1 0 1783268575 12259328 1780 4294967295 134512640 135450776 3221224576 3221223280 134536585 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2993 1780 232 232 0 2761 0
[pid=18053] vsize: 11972
Current children cumulated CPU time (s) 326.59
Current children cumulated vsize (Kb) 11972

[startup+340.012 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) T 18052 18053 15400 0 -1 0 1961 0 0 0 33472 175 0 0 25 0 1 0 1783268575 12259328 1798 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2993 1798 232 232 0 2761 0
[pid=18053] vsize: 11972
Current children cumulated CPU time (s) 336.47
Current children cumulated vsize (Kb) 11972

[startup+350.013 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1978 0 0 0 34459 179 0 0 25 0 1 0 1783268575 12259328 1815 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 2993 1815 232 232 0 2761 0
[pid=18053] vsize: 11972
Current children cumulated CPU time (s) 346.38
Current children cumulated vsize (Kb) 11972

[startup+360.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 1992 0 0 0 35449 182 0 0 25 0 1 0 1783268575 12406784 1829 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3029 1829 232 232 0 2797 0
[pid=18053] vsize: 12116
Current children cumulated CPU time (s) 356.31
Current children cumulated vsize (Kb) 12116

[startup+370.013 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2008 0 0 0 36436 186 0 0 25 0 1 0 1783268575 12406784 1845 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3029 1845 232 232 0 2797 0
[pid=18053] vsize: 12116
Current children cumulated CPU time (s) 366.22
Current children cumulated vsize (Kb) 12116

[startup+380.013 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2212 0 0 0 37421 191 0 0 25 0 1 0 1783268575 13193216 1856 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3221 1856 232 232 0 2989 0
[pid=18053] vsize: 12884
Current children cumulated CPU time (s) 376.12
Current children cumulated vsize (Kb) 12884

[startup+390.013 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2223 0 0 0 38403 197 0 0 25 0 1 0 1783268575 13193216 1867 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3221 1867 232 232 0 2989 0
[pid=18053] vsize: 12884
Current children cumulated CPU time (s) 386
Current children cumulated vsize (Kb) 12884

[startup+400.013 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2229 0 0 0 39383 203 0 0 25 0 1 0 1783268575 13193216 1873 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3221 1873 232 232 0 2989 0
[pid=18053] vsize: 12884
Current children cumulated CPU time (s) 395.86
Current children cumulated vsize (Kb) 12884

[startup+410.014 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2237 0 0 0 40364 210 0 0 25 0 1 0 1783268575 13193216 1881 4294967295 134512640 135450776 3221224576 3221223280 134536634 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3221 1881 232 232 0 2989 0
[pid=18053] vsize: 12884
Current children cumulated CPU time (s) 405.74
Current children cumulated vsize (Kb) 12884

[startup+420.014 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2246 0 0 0 41351 213 0 0 25 0 1 0 1783268575 13193216 1890 4294967295 134512640 135450776 3221224576 3221223280 134536649 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3221 1890 232 232 0 2989 0
[pid=18053] vsize: 12884
Current children cumulated CPU time (s) 415.64
Current children cumulated vsize (Kb) 12884

[startup+430.013 s]
Raw data (loadavg): 1.07 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2251 0 0 0 42334 219 0 0 25 0 1 0 1783268575 13193216 1895 4294967295 134512640 135450776 3221224576 3221223376 134548511 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3221 1895 232 232 0 2989 0
[pid=18053] vsize: 12884
Current children cumulated CPU time (s) 425.53
Current children cumulated vsize (Kb) 12884

[startup+440.014 s]
Raw data (loadavg): 1.06 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2258 0 0 0 43308 227 0 0 25 0 1 0 1783268575 13193216 1902 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3221 1902 232 232 0 2989 0
[pid=18053] vsize: 12884
Current children cumulated CPU time (s) 435.35
Current children cumulated vsize (Kb) 12884

[startup+450.014 s]
Raw data (loadavg): 1.05 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2280 0 0 0 44281 235 0 0 25 0 1 0 1783268575 13328384 1924 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3254 1924 232 232 0 3022 0
[pid=18053] vsize: 13016
Current children cumulated CPU time (s) 445.16
Current children cumulated vsize (Kb) 13016

[startup+460.014 s]
Raw data (loadavg): 1.04 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2292 0 0 0 45264 240 0 0 25 0 1 0 1783268575 13328384 1936 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3254 1936 232 232 0 3022 0
[pid=18053] vsize: 13016
Current children cumulated CPU time (s) 455.04
Current children cumulated vsize (Kb) 13016

[startup+470.015 s]
Raw data (loadavg): 1.04 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2300 0 0 0 46251 245 0 0 25 0 1 0 1783268575 13328384 1944 4294967295 134512640 135450776 3221224576 3221223296 134539546 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3254 1944 232 232 0 3022 0
[pid=18053] vsize: 13016
Current children cumulated CPU time (s) 464.96
Current children cumulated vsize (Kb) 13016

[startup+480.014 s]
Raw data (loadavg): 1.03 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2305 0 0 0 47236 250 0 0 25 0 1 0 1783268575 13328384 1949 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3254 1949 232 232 0 3022 0
[pid=18053] vsize: 13016
Current children cumulated CPU time (s) 474.86
Current children cumulated vsize (Kb) 13016

[startup+490.014 s]
Raw data (loadavg): 1.02 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2313 0 0 0 48220 255 0 0 25 0 1 0 1783268575 13328384 1957 4294967295 134512640 135450776 3221224576 3221223280 134536567 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3254 1957 232 232 0 3022 0
[pid=18053] vsize: 13016
Current children cumulated CPU time (s) 484.75
Current children cumulated vsize (Kb) 13016

[startup+500.015 s]
Raw data (loadavg): 1.02 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2322 0 0 0 49208 259 0 0 25 0 1 0 1783268575 13328384 1966 4294967295 134512640 135450776 3221224576 3221223280 134536585 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3254 1966 232 232 0 3022 0
[pid=18053] vsize: 13016
Current children cumulated CPU time (s) 494.67
Current children cumulated vsize (Kb) 13016

[startup+510.015 s]
Raw data (loadavg): 1.02 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2331 0 0 0 50193 265 0 0 25 0 1 0 1783268575 13471744 1975 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3289 1975 232 232 0 3057 0
[pid=18053] vsize: 13156
Current children cumulated CPU time (s) 504.58
Current children cumulated vsize (Kb) 13156

[startup+520.015 s]
Raw data (loadavg): 1.01 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2341 0 0 0 51177 270 0 0 25 0 1 0 1783268575 13471744 1985 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3289 1985 232 232 0 3057 0
[pid=18053] vsize: 13156
Current children cumulated CPU time (s) 514.47
Current children cumulated vsize (Kb) 13156

[startup+530.015 s]
Raw data (loadavg): 1.01 1.02 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2355 0 0 0 52164 275 0 0 25 0 1 0 1783268575 13471744 1999 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3289 1999 232 232 0 3057 0
[pid=18053] vsize: 13156
Current children cumulated CPU time (s) 524.39
Current children cumulated vsize (Kb) 13156

[startup+540.015 s]
Raw data (loadavg): 1.01 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2359 0 0 0 53153 280 0 0 25 0 1 0 1783268575 13471744 2003 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3289 2003 232 232 0 3057 0
[pid=18053] vsize: 13156
Current children cumulated CPU time (s) 534.33
Current children cumulated vsize (Kb) 13156

[startup+550.015 s]
Raw data (loadavg): 1.01 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2369 0 0 0 54142 283 0 0 25 0 1 0 1783268575 13471744 2013 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3289 2013 232 232 0 3057 0
[pid=18053] vsize: 13156
Current children cumulated CPU time (s) 544.25
Current children cumulated vsize (Kb) 13156

[startup+560.015 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) T 18052 18053 15400 0 -1 0 2380 0 0 0 55130 287 0 0 25 0 1 0 1783268575 13631488 2024 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3328 2024 232 232 0 3096 0
[pid=18053] vsize: 13312
Current children cumulated CPU time (s) 554.17
Current children cumulated vsize (Kb) 13312

[startup+570.016 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2385 0 0 0 56120 290 0 0 25 0 1 0 1783268575 13631488 2029 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3328 2029 232 232 0 3096 0
[pid=18053] vsize: 13312
Current children cumulated CPU time (s) 564.1
Current children cumulated vsize (Kb) 13312

[startup+580.016 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2396 0 0 0 57111 293 0 0 25 0 1 0 1783268575 13631488 2040 4294967295 134512640 135450776 3221224576 3221223296 134539652 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3328 2040 232 232 0 3096 0
[pid=18053] vsize: 13312
Current children cumulated CPU time (s) 574.04
Current children cumulated vsize (Kb) 13312

[startup+590.016 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2404 0 0 0 58103 296 0 0 25 0 1 0 1783268575 13631488 2048 4294967295 134512640 135450776 3221224576 3221223280 134536625 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3328 2048 232 232 0 3096 0
[pid=18053] vsize: 13312
Current children cumulated CPU time (s) 583.99
Current children cumulated vsize (Kb) 13312

[startup+600.017 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2418 0 0 0 59093 300 0 0 25 0 1 0 1783268575 13631488 2062 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3328 2062 232 232 0 3096 0
[pid=18053] vsize: 13312
Current children cumulated CPU time (s) 593.93
Current children cumulated vsize (Kb) 13312

[startup+610.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2434 0 0 0 60079 305 0 0 25 0 1 0 1783268575 13770752 2078 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3362 2078 232 232 0 3130 0
[pid=18053] vsize: 13448
Current children cumulated CPU time (s) 603.84
Current children cumulated vsize (Kb) 13448

[startup+620.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2447 0 0 0 61070 308 0 0 25 0 1 0 1783268575 13770752 2091 4294967295 134512640 135450776 3221224576 3221223280 134536610 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3362 2091 232 232 0 3130 0
[pid=18053] vsize: 13448
Current children cumulated CPU time (s) 613.78
Current children cumulated vsize (Kb) 13448

[startup+630.019 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2484 0 0 0 62061 312 0 0 25 0 1 0 1783268575 13946880 2128 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3405 2128 232 232 0 3173 0
[pid=18053] vsize: 13620
Current children cumulated CPU time (s) 623.73
Current children cumulated vsize (Kb) 13620

[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2493 0 0 0 63054 315 0 0 25 0 1 0 1783268575 13946880 2137 4294967295 134512640 135450776 3221224576 3221223280 134536649 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3405 2137 232 232 0 3173 0
[pid=18053] vsize: 13620
Current children cumulated CPU time (s) 633.69
Current children cumulated vsize (Kb) 13620

[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2499 0 0 0 64043 319 0 0 25 0 1 0 1783268575 13946880 2143 4294967295 134512640 135450776 3221224576 3221223280 134536573 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3405 2143 232 232 0 3173 0
[pid=18053] vsize: 13620
Current children cumulated CPU time (s) 643.62
Current children cumulated vsize (Kb) 13620

[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2519 0 0 0 65031 322 0 0 25 0 1 0 1783268575 13946880 2163 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3405 2163 232 232 0 3173 0
[pid=18053] vsize: 13620
Current children cumulated CPU time (s) 653.53
Current children cumulated vsize (Kb) 13620

[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2523 0 0 0 66021 325 0 0 25 0 1 0 1783268575 13946880 2167 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3405 2167 232 232 0 3173 0
[pid=18053] vsize: 13620
Current children cumulated CPU time (s) 663.46
Current children cumulated vsize (Kb) 13620

[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2528 0 0 0 67004 330 0 0 25 0 1 0 1783268575 13946880 2172 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3405 2172 232 232 0 3173 0
[pid=18053] vsize: 13620
Current children cumulated CPU time (s) 673.34
Current children cumulated vsize (Kb) 13620

[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2551 0 0 0 67994 334 0 0 25 0 1 0 1783268575 14114816 2195 4294967295 134512640 135450776 3221224576 3221223296 134539327 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3446 2195 232 232 0 3214 0
[pid=18053] vsize: 13784
Current children cumulated CPU time (s) 683.28
Current children cumulated vsize (Kb) 13784

[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2558 0 0 0 68986 337 0 0 25 0 1 0 1783268575 14114816 2202 4294967295 134512640 135450776 3221224576 3221223280 134536610 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3446 2202 232 232 0 3214 0
[pid=18053] vsize: 13784
Current children cumulated CPU time (s) 693.23
Current children cumulated vsize (Kb) 13784

[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2563 0 0 0 69980 339 0 0 25 0 1 0 1783268575 14114816 2207 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3446 2207 232 232 0 3214 0
[pid=18053] vsize: 13784
Current children cumulated CPU time (s) 703.19
Current children cumulated vsize (Kb) 13784

[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2568 0 0 0 70960 344 0 0 25 0 1 0 1783268575 14114816 2212 4294967295 134512640 135450776 3221224576 3221223296 134539307 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3446 2212 232 232 0 3214 0
[pid=18053] vsize: 13784
Current children cumulated CPU time (s) 713.04
Current children cumulated vsize (Kb) 13784

[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2572 0 0 0 71951 348 0 0 25 0 1 0 1783268575 14114816 2216 4294967295 134512640 135450776 3221224576 3221223344 134536495 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3446 2216 232 232 0 3214 0
[pid=18053] vsize: 13784
Current children cumulated CPU time (s) 722.99
Current children cumulated vsize (Kb) 13784

[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2585 0 0 0 72943 350 0 0 25 0 1 0 1783268575 14114816 2229 4294967295 134512640 135450776 3221224576 3221223280 134536567 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3446 2229 232 232 0 3214 0
[pid=18053] vsize: 13784
Current children cumulated CPU time (s) 732.93
Current children cumulated vsize (Kb) 13784

[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2592 0 0 0 73937 353 0 0 25 0 1 0 1783268575 14114816 2236 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3446 2236 232 232 0 3214 0
[pid=18053] vsize: 13784
Current children cumulated CPU time (s) 742.9
Current children cumulated vsize (Kb) 13784

[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2620 0 0 0 74930 355 0 0 25 0 1 0 1783268575 14299136 2264 4294967295 134512640 135450776 3221224576 3221223296 134539315 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3491 2264 232 232 0 3259 0
[pid=18053] vsize: 13964
Current children cumulated CPU time (s) 752.85
Current children cumulated vsize (Kb) 13964

[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2626 0 0 0 75922 358 0 0 25 0 1 0 1783268575 14299136 2270 4294967295 134512640 135450776 3221224576 3221223280 134536567 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3491 2270 232 232 0 3259 0
[pid=18053] vsize: 13964
Current children cumulated CPU time (s) 762.8
Current children cumulated vsize (Kb) 13964

[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 2631 0 0 0 76915 361 0 0 25 0 1 0 1783268575 14299136 2275 4294967295 134512640 135450776 3221224576 3221223280 134536607 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3491 2275 232 232 0 3259 0
[pid=18053] vsize: 13964
Current children cumulated CPU time (s) 772.76
Current children cumulated vsize (Kb) 13964

[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) T 18052 18053 15400 0 -1 0 2682 0 0 0 77909 364 0 0 25 0 1 0 1783268575 14434304 2326 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3524 2326 232 232 0 3292 0
[pid=18053] vsize: 14096
Current children cumulated CPU time (s) 782.73
Current children cumulated vsize (Kb) 14096

[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3073 0 0 0 78902 367 0 0 25 0 1 0 1783268575 16007168 2332 4294967295 134512640 135450776 3221224576 3221223280 134536649 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2332 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 792.69
Current children cumulated vsize (Kb) 15632

[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3078 0 0 0 79896 369 0 0 25 0 1 0 1783268575 16007168 2337 4294967295 134512640 135450776 3221224576 3221223280 134536649 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2337 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 802.65
Current children cumulated vsize (Kb) 15632

[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3082 0 0 0 80887 372 0 0 25 0 1 0 1783268575 16007168 2341 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2341 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 812.59
Current children cumulated vsize (Kb) 15632

[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) T 18052 18053 15400 0 -1 0 3085 0 0 0 81884 373 0 0 25 0 1 0 1783268575 16007168 2344 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2344 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 822.57
Current children cumulated vsize (Kb) 15632

[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) T 18052 18053 15400 0 -1 0 3089 0 0 0 82877 376 0 0 25 0 1 0 1783268575 16007168 2348 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2348 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 832.53
Current children cumulated vsize (Kb) 15632

[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3092 0 0 0 83866 380 0 0 25 0 1 0 1783268575 16007168 2351 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2351 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 842.46
Current children cumulated vsize (Kb) 15632

[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3095 0 0 0 84853 384 0 0 25 0 1 0 1783268575 16007168 2354 4294967295 134512640 135450776 3221224576 3221223280 134536619 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2354 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 852.37
Current children cumulated vsize (Kb) 15632

[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3099 0 0 0 85843 388 0 0 25 0 1 0 1783268575 16007168 2358 4294967295 134512640 135450776 3221224576 3221223280 134536607 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2358 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 862.31
Current children cumulated vsize (Kb) 15632

[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3102 0 0 0 86836 389 0 0 25 0 1 0 1783268575 16007168 2361 4294967295 134512640 135450776 3221224576 3221223280 134536639 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3908 2361 232 232 0 3676 0
[pid=18053] vsize: 15632
Current children cumulated CPU time (s) 872.25
Current children cumulated vsize (Kb) 15632

[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3140 0 0 0 87823 394 0 0 25 0 1 0 1783268575 16158720 2399 4294967295 134512640 135450776 3221224576 3221223280 134536573 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3945 2399 232 232 0 3713 0
[pid=18053] vsize: 15780
Current children cumulated CPU time (s) 882.17
Current children cumulated vsize (Kb) 15780

[startup+900.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3148 0 0 0 88810 398 0 0 25 0 1 0 1783268575 16158720 2407 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18053/statm): 3945 2407 232 232 0 3713 0
[pid=18053] vsize: 15780
Current children cumulated CPU time (s) 892.08
Current children cumulated vsize (Kb) 15780

[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 18053
Raw data (/proc/18053/stat): 18053 (PBS4) R 18052 18053 15400 0 -1 0 3154 0 0 0 89798 402 0 0 25 0 1 0 1783268575 16158720 2413 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18053/statm): 3945 2413 232 232 0 3713 0
[pid=18053] vsize: 15780
Current children cumulated CPU time (s) 902
Current children cumulated vsize (Kb) 15780
One traced child (pid=18053) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 918.413
CPU time (s): 910.329
CPU user time (s): 906.274
CPU system time (s): 4.05438
CPU usage (%): 99.1197
Max. virtual memory (cumulated for all children) (Kb): 15780

Verifier Data

Verifier:	OK	5