PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUM	417d3abd60fd3b9eb4200ff5119a92c4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	813
Optimality of the best value was proved	NO
Number of terms in the objective function	1798
Biggest coefficient in the objective function	349
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	104116
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	349
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	104116
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2289
Total number of constraints	3052
Number of constraints which are clauses	360
Number of constraints which are cardinality constraints (but not clauses)	2692
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	195
Trace number 7946

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-17 17:23:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3192 boxname=wulflinc23 idbench=355 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  417d3abd60fd3b9eb4200ff5119a92c4  /oldhome/oroussel/tmp/wulflinc23/normalized-ss97-4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-ss97-4.opb
IDLAUNCH: 3192
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        823040 kB
Buffers:         36128 kB
Cached:         131640 kB
SwapCached:        192 kB
Active:          72176 kB
Inactive:        98688 kB
HighTotal:      131008 kB
HighFree:          756 kB
LowTotal:       903652 kB
LowFree:        822284 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            35096 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:43:25 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 3192 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-ss97-4.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.87 0.98 0.92 2/54 26264
Raw data (stat): 26264 (runsolver) R 26263 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512285475 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99962 s]
Raw data (loadavg): 0.89 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 711 0 0 0 997 1 0 0 25 0 1 0 512285475 4096000 707 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1000 707 231 231 0 769 0
vsize: 4000
[startup+19.9999 s]
Raw data (loadavg): 0.91 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 1133 0 0 0 1996 3 0 0 25 0 1 0 512285475 6193152 1129 4294967295 134512640 135450300 3221224640 3221223456 134547886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1512 1129 231 231 0 1281 0
vsize: 6048
[startup+29.9995 s]
Raw data (loadavg): 0.92 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 1548 0 0 0 2994 5 0 0 25 0 1 0 512285475 10387456 1544 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2536 1545 231 231 0 2305 0
vsize: 10144
[startup+39.9995 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 1947 0 0 0 3993 6 0 0 25 0 1 0 512285475 10526720 1943 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2570 1943 231 231 0 2339 0
vsize: 10280
[startup+49.9998 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 2381 0 0 0 4991 8 0 0 25 0 1 0 512285475 10727424 2377 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2619 2377 231 231 0 2388 0
vsize: 10476
[startup+59.9994 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 2768 0 0 0 5990 9 0 0 25 0 1 0 512285475 19116032 2764 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4667 2764 231 231 0 4436 0
vsize: 18668
[startup+70.0005 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 3157 0 0 0 6989 10 0 0 25 0 1 0 512285475 19116032 3153 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4667 3153 231 231 0 4436 0
vsize: 18668
[startup+80.0007 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 3537 0 0 0 7988 12 0 0 25 0 1 0 512285475 19116032 3533 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4667 3533 231 231 0 4436 0
vsize: 18668
[startup+90.0003 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 3912 0 0 0 8987 13 0 0 25 0 1 0 512285475 19116032 3908 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4667 3908 231 231 0 4436 0
vsize: 18668
[startup+100 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 4281 0 0 0 9987 14 0 0 25 0 1 0 512285475 19116032 4277 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4667 4277 231 231 0 4436 0
vsize: 18668
[startup+110 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 4865 0 0 0 10985 16 0 0 25 0 1 0 512285475 36507648 4812 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8913 4812 231 231 0 8682 0
vsize: 35652
[startup+120 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 5143 0 0 0 11980 20 0 0 25 0 1 0 512285475 36773888 5090 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8978 5090 231 231 0 8747 0
vsize: 35912
[startup+130 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 5416 0 0 0 12979 22 0 0 25 0 1 0 512285475 36773888 5363 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8978 5363 231 231 0 8747 0
vsize: 35912
[startup+140.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 5717 0 0 0 13974 27 0 0 25 0 1 0 512285475 36929536 5664 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9016 5664 231 231 0 8785 0
vsize: 36064
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6046 0 0 0 14969 32 0 0 25 0 1 0 512285475 37064704 5993 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9049 5993 231 231 0 8818 0
vsize: 36196
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6326 0 0 0 15967 34 0 0 25 0 1 0 512285475 37179392 6273 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9077 6273 231 231 0 8846 0
vsize: 36308
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6351 0 0 0 16964 37 0 0 25 0 1 0 512285475 37179392 6298 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9077 6298 231 231 0 8846 0
vsize: 36308
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6358 0 0 0 17964 38 0 0 25 0 1 0 512285475 37179392 6305 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9077 6305 231 231 0 8846 0
vsize: 36308
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6369 0 0 0 18961 41 0 0 25 0 1 0 512285475 37310464 6316 4294967295 134512640 135450300 3221224640 3221222992 134533196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9109 6316 231 231 0 8878 0
vsize: 36436
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6383 0 0 0 19959 43 0 0 25 0 1 0 512285475 37310464 6330 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9109 6330 231 231 0 8878 0
vsize: 36436
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6394 0 0 0 20959 44 0 0 25 0 1 0 512285475 37310464 6341 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9109 6341 231 231 0 8878 0
vsize: 36436
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6404 0 0 0 21954 48 0 0 25 0 1 0 512285475 37445632 6351 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6351 231 231 0 8911 0
vsize: 36568
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6409 0 0 0 22955 48 0 0 25 0 1 0 512285475 37445632 6356 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6356 231 231 0 8911 0
vsize: 36568
[startup+240.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6415 0 0 0 23953 50 0 0 25 0 1 0 512285475 37445632 6362 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6362 231 231 0 8911 0
vsize: 36568
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6416 0 0 0 24949 54 0 0 25 0 1 0 512285475 37445632 6363 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6363 231 231 0 8911 0
vsize: 36568
[startup+260 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6418 0 0 0 25949 54 0 0 25 0 1 0 512285475 37445632 6365 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6365 231 231 0 8911 0
vsize: 36568
[startup+270.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6420 0 0 0 26949 54 0 0 25 0 1 0 512285475 37445632 6367 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6367 231 231 0 8911 0
vsize: 36568
[startup+280.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6432 0 0 0 27946 58 0 0 25 0 1 0 512285475 37445632 6379 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6379 231 231 0 8911 0
vsize: 36568
[startup+290.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6440 0 0 0 28942 62 0 0 25 0 1 0 512285475 37445632 6387 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6387 231 231 0 8911 0
vsize: 36568
[startup+300.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6441 0 0 0 29938 66 0 0 25 0 1 0 512285475 37445632 6388 4294967295 134512640 135450300 3221224640 3221223568 134539668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 6388 231 231 0 8911 0
vsize: 36568
[startup+310.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6449 0 0 0 30938 66 0 0 25 0 1 0 512285475 37564416 6396 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9171 6396 231 231 0 8940 0
vsize: 36684
[startup+320.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6453 0 0 0 31935 70 0 0 25 0 1 0 512285475 37564416 6400 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9171 6400 231 231 0 8940 0
vsize: 36684
[startup+330.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6461 0 0 0 32930 74 0 0 25 0 1 0 512285475 37564416 6408 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9171 6408 231 231 0 8940 0
vsize: 36684
[startup+340 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6463 0 0 0 33928 77 0 0 25 0 1 0 512285475 37564416 6410 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9171 6410 231 231 0 8940 0
vsize: 36684
[startup+350 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6470 0 0 0 34927 78 0 0 25 0 1 0 512285475 37564416 6417 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9171 6417 231 231 0 8940 0
vsize: 36684
[startup+359.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6474 0 0 0 35924 81 0 0 25 0 1 0 512285475 37564416 6421 4294967295 134512640 135450300 3221224640 3221223008 134579563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9171 6421 231 231 0 8940 0
vsize: 36684
[startup+369.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6578 0 0 0 36919 86 0 0 25 0 1 0 512285475 37957632 6428 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9267 6428 231 231 0 9036 0
vsize: 37068
[startup+379.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6580 0 0 0 37917 88 0 0 25 0 1 0 512285475 37957632 6430 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9267 6430 231 231 0 9036 0
vsize: 37068
[startup+389.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6590 0 0 0 38916 90 0 0 25 0 1 0 512285475 38113280 6440 4294967295 134512640 135450300 3221224640 3221223248 134537627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6440 231 231 0 9074 0
vsize: 37220
[startup+399.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6592 0 0 0 39914 92 0 0 25 0 1 0 512285475 38113280 6442 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6442 231 231 0 9074 0
vsize: 37220
[startup+409.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6598 0 0 0 40910 96 0 0 25 0 1 0 512285475 38113280 6448 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6448 231 231 0 9074 0
vsize: 37220
[startup+419.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6600 0 0 0 41908 98 0 0 25 0 1 0 512285475 38113280 6450 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6450 231 231 0 9074 0
vsize: 37220
[startup+429.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6606 0 0 0 42904 102 0 0 25 0 1 0 512285475 38113280 6456 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6456 231 231 0 9074 0
vsize: 37220
[startup+439.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6611 0 0 0 43903 103 0 0 25 0 1 0 512285475 38113280 6461 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6461 231 231 0 9074 0
vsize: 37220
[startup+449.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6622 0 0 0 44895 112 0 0 25 0 1 0 512285475 38113280 6472 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6472 231 231 0 9074 0
vsize: 37220
[startup+459.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6624 0 0 0 45895 112 0 0 25 0 1 0 512285475 38113280 6474 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6474 231 231 0 9074 0
vsize: 37220
[startup+469.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6631 0 0 0 46891 115 0 0 25 0 1 0 512285475 38113280 6481 4294967295 134512640 135450300 3221224640 3221223248 134537541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6481 231 231 0 9074 0
vsize: 37220
[startup+479.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6640 0 0 0 47888 119 0 0 25 0 1 0 512285475 38113280 6490 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6490 231 231 0 9074 0
vsize: 37220
[startup+489.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6642 0 0 0 48887 121 0 0 25 0 1 0 512285475 38113280 6492 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6492 231 231 0 9074 0
vsize: 37220
[startup+499.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6650 0 0 0 49884 123 0 0 25 0 1 0 512285475 38244352 6500 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9337 6500 231 231 0 9106 0
vsize: 37348
[startup+509.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6657 0 0 0 50884 124 0 0 25 0 1 0 512285475 38244352 6507 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9337 6507 231 231 0 9106 0
vsize: 37348
[startup+519.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6677 0 0 0 51882 126 0 0 25 0 1 0 512285475 38244352 6527 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9337 6527 231 231 0 9106 0
vsize: 37348
[startup+529.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6687 0 0 0 52881 127 0 0 25 0 1 0 512285475 38387712 6537 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6537 231 231 0 9141 0
vsize: 37488
[startup+539.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6688 0 0 0 53879 129 0 0 25 0 1 0 512285475 38387712 6538 4294967295 134512640 135450300 3221224640 3221223104 134532549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6538 231 231 0 9141 0
vsize: 37488
[startup+549.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6690 0 0 0 54879 129 0 0 25 0 1 0 512285475 38387712 6540 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6540 231 231 0 9141 0
vsize: 37488
[startup+559.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6691 0 0 0 55880 129 0 0 25 0 1 0 512285475 38387712 6541 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6541 231 231 0 9141 0
vsize: 37488
[startup+569.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6701 0 0 0 56880 129 0 0 25 0 1 0 512285475 38387712 6551 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6551 231 231 0 9141 0
vsize: 37488
[startup+579.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6702 0 0 0 57880 129 0 0 25 0 1 0 512285475 38387712 6552 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6552 231 231 0 9141 0
vsize: 37488
[startup+589.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6713 0 0 0 58879 130 0 0 25 0 1 0 512285475 38387712 6563 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6563 231 231 0 9141 0
vsize: 37488
[startup+599.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6718 0 0 0 59877 132 0 0 25 0 1 0 512285475 38387712 6568 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6568 231 231 0 9141 0
vsize: 37488
[startup+609.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6718 0 0 0 60877 132 0 0 25 0 1 0 512285475 38387712 6568 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 6568 231 231 0 9141 0
vsize: 37488
[startup+619.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6737 0 0 0 61877 132 0 0 25 0 1 0 512285475 38506496 6587 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6587 231 231 0 9170 0
vsize: 37604
[startup+629.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6750 0 0 0 62877 132 0 0 25 0 1 0 512285475 38506496 6600 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6600 231 231 0 9170 0
vsize: 37604
[startup+639.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6751 0 0 0 63878 132 0 0 25 0 1 0 512285475 38506496 6601 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6601 231 231 0 9170 0
vsize: 37604
[startup+649.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6753 0 0 0 64878 132 0 0 25 0 1 0 512285475 38506496 6603 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6603 231 231 0 9170 0
vsize: 37604
[startup+659.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6757 0 0 0 65875 135 0 0 25 0 1 0 512285475 38506496 6607 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6607 231 231 0 9170 0
vsize: 37604
[startup+669.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6758 0 0 0 66874 137 0 0 25 0 1 0 512285475 38506496 6608 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6608 231 231 0 9170 0
vsize: 37604
[startup+679.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6759 0 0 0 67874 137 0 0 25 0 1 0 512285475 38506496 6609 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6609 231 231 0 9170 0
vsize: 37604
[startup+689.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6765 0 0 0 68873 137 0 0 25 0 1 0 512285475 38506496 6615 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6615 231 231 0 9170 0
vsize: 37604
[startup+699.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6774 0 0 0 69872 139 0 0 25 0 1 0 512285475 38600704 6624 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 6624 231 231 0 9193 0
vsize: 37696
[startup+709.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6776 0 0 0 70872 139 0 0 25 0 1 0 512285475 38600704 6626 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 6626 231 231 0 9193 0
vsize: 37696
[startup+719.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6780 0 0 0 71872 140 0 0 25 0 1 0 512285475 38600704 6630 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 6630 231 231 0 9193 0
vsize: 37696
[startup+729.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6782 0 0 0 72869 143 0 0 25 0 1 0 512285475 38600704 6632 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 6632 231 231 0 9193 0
vsize: 37696
[startup+739.998 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6783 0 0 0 73869 143 0 0 25 0 1 0 512285475 38600704 6633 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 6633 231 231 0 9193 0
vsize: 37696
[startup+749.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6784 0 0 0 74869 143 0 0 25 0 1 0 512285475 38600704 6634 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 6634 231 231 0 9193 0
vsize: 37696
[startup+759.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6793 0 0 0 75868 144 0 0 25 0 1 0 512285475 38600704 6643 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 6643 231 231 0 9193 0
vsize: 37696
[startup+769.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6793 0 0 0 76866 146 0 0 25 0 1 0 512285475 38600704 6643 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 6643 231 231 0 9193 0
vsize: 37696
[startup+779.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6806 0 0 0 77866 147 0 0 25 0 1 0 512285475 38670336 6656 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6656 231 231 0 9210 0
vsize: 37764
[startup+789.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6807 0 0 0 78866 147 0 0 25 0 1 0 512285475 38670336 6657 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6657 231 231 0 9210 0
vsize: 37764
[startup+799.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6808 0 0 0 79866 147 0 0 25 0 1 0 512285475 38670336 6658 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6658 231 231 0 9210 0
vsize: 37764
[startup+809.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6808 0 0 0 80866 147 0 0 25 0 1 0 512285475 38670336 6658 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6658 231 231 0 9210 0
vsize: 37764
[startup+819.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6809 0 0 0 81866 147 0 0 25 0 1 0 512285475 38670336 6659 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6659 231 231 0 9210 0
vsize: 37764
[startup+829.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6810 0 0 0 82867 147 0 0 25 0 1 0 512285475 38670336 6660 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6660 231 231 0 9210 0
vsize: 37764
[startup+839.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6811 0 0 0 83865 148 0 0 25 0 1 0 512285475 38670336 6661 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6661 231 231 0 9210 0
vsize: 37764
[startup+849.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6812 0 0 0 84865 149 0 0 25 0 1 0 512285475 38670336 6662 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6662 231 231 0 9210 0
vsize: 37764
[startup+859.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6813 0 0 0 85865 149 0 0 25 0 1 0 512285475 38670336 6663 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6663 231 231 0 9210 0
vsize: 37764
[startup+869.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6816 0 0 0 86864 150 0 0 25 0 1 0 512285475 38670336 6666 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6666 231 231 0 9210 0
vsize: 37764
[startup+879.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6825 0 0 0 87861 153 0 0 25 0 1 0 512285475 38670336 6675 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6675 231 231 0 9210 0
vsize: 37764
[startup+889.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6826 0 0 0 88862 153 0 0 25 0 1 0 512285475 38670336 6676 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6676 231 231 0 9210 0
vsize: 37764
[startup+899.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6827 0 0 0 89862 153 0 0 25 0 1 0 512285475 38670336 6677 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6677 231 231 0 9210 0
vsize: 37764
[startup+909.995 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6828 0 0 0 90860 155 0 0 25 0 1 0 512285475 38670336 6678 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6678 231 231 0 9210 0
vsize: 37764
[startup+919.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6830 0 0 0 91859 156 0 0 25 0 1 0 512285475 38670336 6680 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6680 231 231 0 9210 0
vsize: 37764
[startup+929.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6831 0 0 0 92859 156 0 0 25 0 1 0 512285475 38670336 6681 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9441 6681 231 231 0 9210 0
vsize: 37764
[startup+939.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6838 0 0 0 93858 157 0 0 25 0 1 0 512285475 38842368 6688 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6688 231 231 0 9252 0
vsize: 37932
[startup+949.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6847 0 0 0 94857 159 0 0 25 0 1 0 512285475 38842368 6697 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6697 231 231 0 9252 0
vsize: 37932
[startup+959.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6850 0 0 0 95857 159 0 0 25 0 1 0 512285475 38842368 6700 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6700 231 231 0 9252 0
vsize: 37932
[startup+969.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6851 0 0 0 96857 159 0 0 25 0 1 0 512285475 38842368 6701 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6701 231 231 0 9252 0
vsize: 37932
[startup+979.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6853 0 0 0 97857 159 0 0 25 0 1 0 512285475 38842368 6703 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6703 231 231 0 9252 0
vsize: 37932
[startup+989.997 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6855 0 0 0 98857 159 0 0 25 0 1 0 512285475 38842368 6705 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6705 231 231 0 9252 0
vsize: 37932
[startup+999.996 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6856 0 0 0 99857 159 0 0 25 0 1 0 512285475 38842368 6706 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6706 231 231 0 9252 0
vsize: 37932
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6872 0 0 0 100857 160 0 0 25 0 1 0 512285475 38842368 6722 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6722 231 231 0 9252 0
vsize: 37932
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6873 0 0 0 101857 160 0 0 25 0 1 0 512285475 38842368 6723 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6723 231 231 0 9252 0
vsize: 37932
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6875 0 0 0 102857 160 0 0 25 0 1 0 512285475 38842368 6725 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6725 231 231 0 9252 0
vsize: 37932
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6876 0 0 0 103857 160 0 0 25 0 1 0 512285475 38842368 6726 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6726 231 231 0 9252 0
vsize: 37932
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6877 0 0 0 104858 160 0 0 25 0 1 0 512285475 38842368 6727 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6727 231 231 0 9252 0
vsize: 37932
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6877 0 0 0 105858 160 0 0 25 0 1 0 512285475 38842368 6727 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6727 231 231 0 9252 0
vsize: 37932
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6887 0 0 0 106858 160 0 0 25 0 1 0 512285475 38842368 6737 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 6737 231 231 0 9252 0
vsize: 37932
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6907 0 0 0 107856 162 0 0 25 0 1 0 512285475 39018496 6757 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9526 6757 231 231 0 9295 0
vsize: 38104
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6918 0 0 0 108856 162 0 0 25 0 1 0 512285475 39018496 6768 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9526 6768 231 231 0 9295 0
vsize: 38104
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6919 0 0 0 109856 162 0 0 25 0 1 0 512285475 39018496 6769 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9526 6769 231 231 0 9295 0
vsize: 38104
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6919 0 0 0 110856 162 0 0 25 0 1 0 512285475 39018496 6769 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9526 6769 231 231 0 9295 0
vsize: 38104
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 6925 0 0 0 111856 162 0 0 25 0 1 0 512285475 39018496 6775 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9526 6775 231 231 0 9295 0
vsize: 38104
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 7120 0 0 0 112856 162 0 0 25 0 1 0 512285475 39804928 6777 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 6777 231 231 0 9487 0
vsize: 38872
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 7123 0 0 0 113856 163 0 0 25 0 1 0 512285475 39804928 6780 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 6780 231 231 0 9487 0
vsize: 38872
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 7125 0 0 0 114856 163 0 0 25 0 1 0 512285475 39804928 6782 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 6782 231 231 0 9487 0
vsize: 38872
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 7129 0 0 0 115856 163 0 0 25 0 1 0 512285475 39804928 6786 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 6786 231 231 0 9487 0
vsize: 38872
[startup+1169.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 7139 0 0 0 116855 164 0 0 25 0 1 0 512285475 39940096 6796 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9751 6796 231 231 0 9520 0
vsize: 39004
[startup+1179.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 7153 0 0 0 117854 165 0 0 25 0 1 0 512285475 39940096 6810 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9751 6810 231 231 0 9520 0
vsize: 39004
[startup+1189.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 7156 0 0 0 118854 165 0 0 25 0 1 0 512285475 39940096 6813 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9751 6813 231 231 0 9520 0
vsize: 39004
[startup+1199.99 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 26264
Raw data (stat): 26264 (PBS4) R 26263 3260 3259 0 -1 0 7172 0 0 0 119854 166 0 0 25 0 1 0 512285475 39940096 6829 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9751 6829 231 231 0 9520 0
vsize: 39004
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 26264
Raw data (stat): 26264 (PBS4) Z 26263 3260 3259 0 -1 1036 7172 0 0 0 119854 167 0 0 25 0 1 0 512285475 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.01
CPU time (s): 1200.22
CPU user time (s): 1198.55
CPU system time (s): 1.67574
CPU usage (%): 100.018
Max. virtual memory (Kb): 39004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####