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/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM	0493ba9e257fafbb54efa7af2eeb7bf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1567
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	60
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	5699
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	60
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	5699
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.134979
Number of variables	133
Total number of constraints	229
Number of constraints which are clauses	229
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	31
Trace number 7857

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-17 16:39:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2256 boxname=wulflinc17 idbench=251 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  0493ba9e257fafbb54efa7af2eeb7bf2  /oldhome/oroussel/tmp/wulflinc17/normalized-cc.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-cc.opb
IDLAUNCH: 2256
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        735360 kB
Buffers:         37404 kB
Cached:         226508 kB
SwapCached:       2376 kB
Active:          68324 kB
Inactive:       200876 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        735108 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           7044 kB
Slab:            24404 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:59:25 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2256 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-cc.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.84 0.94 0.90 2/55 17057
Raw data (stat): 17057 (runsolver) R 17056 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512029958 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99962 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 17057
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 1188 0 0 0 993 5 0 0 25 0 1 0 512029958 6086656 1135 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1486 1135 231 231 0 1255 0
vsize: 5944
[startup+19.9995 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 17057
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 1699 0 0 0 1990 8 0 0 25 0 1 0 512029958 10706944 1646 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2614 1646 231 231 0 2383 0
vsize: 10456
[startup+30.0001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2032 0 0 0 2989 10 0 0 25 0 1 0 512029958 11235328 1882 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2743 1882 231 231 0 2512 0
vsize: 10972
[startup+39.9994 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2214 0 0 0 3988 11 0 0 25 0 1 0 512029958 11374592 2064 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2777 2064 231 231 0 2546 0
vsize: 11108
[startup+50.0003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2471 0 0 0 4987 12 0 0 25 0 1 0 512029958 11513856 2321 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2811 2321 231 231 0 2580 0
vsize: 11244
[startup+59.9998 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2709 0 0 0 5985 15 0 0 25 0 1 0 512029958 11649024 2559 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 2559 231 231 0 2613 0
vsize: 11376
[startup+70.0002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2757 0 0 0 6984 15 0 0 25 0 1 0 512029958 11796480 2607 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2607 231 231 0 2649 0
vsize: 11520
[startup+80.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2775 0 0 0 7983 16 0 0 25 0 1 0 512029958 11796480 2625 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2625 231 231 0 2649 0
vsize: 11520
[startup+90.0007 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2799 0 0 0 8982 17 0 0 25 0 1 0 512029958 11796480 2649 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2649 231 231 0 2649 0
vsize: 11520
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2820 0 0 0 9982 18 0 0 25 0 1 0 512029958 11943936 2670 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2670 231 231 0 2685 0
vsize: 11664
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3076 0 0 0 10981 20 0 0 25 0 1 0 512029958 12730368 2733 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3108 2733 231 231 0 2877 0
vsize: 12432
[startup+120 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3137 0 0 0 11980 20 0 0 25 0 1 0 512029958 21258240 2794 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5190 2794 231 231 0 4959 0
vsize: 20760
[startup+130 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3217 0 0 0 12979 21 0 0 25 0 1 0 512029958 21413888 2874 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5228 2874 231 231 0 4997 0
vsize: 20912
[startup+140 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3258 0 0 0 13978 23 0 0 25 0 1 0 512029958 21413888 2915 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5228 2915 231 231 0 4997 0
vsize: 20912
[startup+150 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3299 0 0 0 14978 23 0 0 25 0 1 0 512029958 21557248 2956 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5263 2956 231 231 0 5032 0
vsize: 21052
[startup+160 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3313 0 0 0 15977 24 0 0 25 0 1 0 512029958 21557248 2970 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5263 2970 231 231 0 5032 0
vsize: 21052
[startup+169.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3339 0 0 0 16977 24 0 0 25 0 1 0 512029958 21708800 2996 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5300 2996 231 231 0 5069 0
vsize: 21200
[startup+179.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3372 0 0 0 17976 25 0 0 25 0 1 0 512029958 21708800 3029 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5300 3029 231 231 0 5069 0
vsize: 21200
[startup+189.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3517 0 0 0 18976 26 0 0 25 0 1 0 512029958 21876736 3174 4294967295 134512640 135450300 3221224640 3221223272 135084237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5341 3174 231 231 0 5110 0
vsize: 21364
[startup+199.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3599 0 0 0 19975 27 0 0 25 0 1 0 512029958 21876736 3256 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5341 3256 231 231 0 5110 0
vsize: 21364
[startup+209.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3727 0 0 0 20974 28 0 0 25 0 1 0 512029958 22040576 3384 4294967295 134512640 135450300 3221224640 3221223608 134548257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5381 3384 231 231 0 5150 0
vsize: 21524
[startup+219.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3804 0 0 0 21973 29 0 0 25 0 1 0 512029958 22040576 3461 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5381 3461 231 231 0 5150 0
vsize: 21524
[startup+229.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3947 0 0 0 22972 30 0 0 25 0 1 0 512029958 22208512 3604 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5422 3604 231 231 0 5191 0
vsize: 21688
[startup+239.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4017 0 0 0 23972 30 0 0 25 0 1 0 512029958 22208512 3674 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5422 3674 231 231 0 5191 0
vsize: 21688
[startup+249.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4095 0 0 0 24971 31 0 0 25 0 1 0 512029958 22208512 3752 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5422 3752 231 231 0 5191 0
vsize: 21688
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4235 0 0 0 25971 32 0 0 25 0 1 0 512029958 22372352 3892 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5462 3892 231 231 0 5231 0
vsize: 21848
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4289 0 0 0 26970 33 0 0 25 0 1 0 512029958 22372352 3946 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5462 3946 231 231 0 5231 0
vsize: 21848
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4377 0 0 0 27969 34 0 0 25 0 1 0 512029958 22523904 4034 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4034 231 231 0 5268 0
vsize: 21996
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4516 0 0 0 28969 34 0 0 25 0 1 0 512029958 22523904 4173 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4173 231 231 0 5268 0
vsize: 21996
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4569 0 0 0 29969 34 0 0 25 0 1 0 512029958 22687744 4226 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5539 4226 231 231 0 5308 0
vsize: 22156
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4628 0 0 0 30969 35 0 0 25 0 1 0 512029958 22687744 4285 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5539 4285 231 231 0 5308 0
vsize: 22156
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17059
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4761 0 0 0 31968 36 0 0 25 0 1 0 512029958 22851584 4418 4294967295 134512640 135450300 3221224640 3221223552 134597367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5579 4418 231 231 0 5348 0
vsize: 22316
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5158 0 0 0 32967 37 0 0 25 0 1 0 512029958 24424448 4430 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5963 4430 231 231 0 5732 0
vsize: 23852
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5183 0 0 0 33967 37 0 0 25 0 1 0 512029958 24424448 4455 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5963 4455 231 231 0 5732 0
vsize: 23852
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5189 0 0 0 34967 38 0 0 25 0 1 0 512029958 24424448 4461 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5963 4461 231 231 0 5732 0
vsize: 23852
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5201 0 0 0 35967 38 0 0 25 0 1 0 512029958 24596480 4473 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 4473 231 231 0 5774 0
vsize: 24020
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5211 0 0 0 36967 38 0 0 25 0 1 0 512029958 24596480 4483 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 4483 231 231 0 5774 0
vsize: 24020
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5245 0 0 0 37967 38 0 0 25 0 1 0 512029958 24596480 4517 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 4517 231 231 0 5774 0
vsize: 24020
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5258 0 0 0 38967 39 0 0 25 0 1 0 512029958 24596480 4530 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 4530 231 231 0 5774 0
vsize: 24020
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5287 0 0 0 39967 39 0 0 25 0 1 0 512029958 24752128 4559 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6043 4559 231 231 0 5812 0
vsize: 24172
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5361 0 0 0 40966 39 0 0 25 0 1 0 512029958 24752128 4633 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6043 4633 231 231 0 5812 0
vsize: 24172
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5376 0 0 0 41966 40 0 0 25 0 1 0 512029958 24752128 4648 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6043 4648 231 231 0 5812 0
vsize: 24172
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5389 0 0 0 42966 41 0 0 25 0 1 0 512029958 24752128 4661 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6043 4661 231 231 0 5812 0
vsize: 24172
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5429 0 0 0 43964 42 0 0 25 0 1 0 512029958 24752128 4701 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6043 4701 231 231 0 5812 0
vsize: 24172
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5495 0 0 0 44963 43 0 0 25 0 1 0 512029958 24915968 4767 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6083 4767 231 231 0 5852 0
vsize: 24332
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5617 0 0 0 45963 44 0 0 25 0 1 0 512029958 25088000 4889 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6125 4889 231 231 0 5894 0
vsize: 24500
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5692 0 0 0 46962 45 0 0 25 0 1 0 512029958 25088000 4964 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6125 4964 231 231 0 5894 0
vsize: 24500
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5711 0 0 0 47962 45 0 0 25 0 1 0 512029958 25088000 4983 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6125 4983 231 231 0 5894 0
vsize: 24500
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5736 0 0 0 48961 46 0 0 25 0 1 0 512029958 25227264 5008 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5008 231 231 0 5928 0
vsize: 24636
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5751 0 0 0 49961 46 0 0 25 0 1 0 512029958 25227264 5023 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5023 231 231 0 5928 0
vsize: 24636
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5764 0 0 0 50961 47 0 0 25 0 1 0 512029958 25227264 5036 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5036 231 231 0 5928 0
vsize: 24636
[startup+520 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5782 0 0 0 51961 47 0 0 25 0 1 0 512029958 25374720 5054 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5054 231 231 0 5964 0
vsize: 24780
[startup+530 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5788 0 0 0 52960 48 0 0 25 0 1 0 512029958 25374720 5060 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5060 231 231 0 5964 0
vsize: 24780
[startup+539.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5817 0 0 0 53959 49 0 0 25 0 1 0 512029958 25374720 5089 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5089 231 231 0 5964 0
vsize: 24780
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5828 0 0 0 54959 49 0 0 25 0 1 0 512029958 25374720 5100 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5100 231 231 0 5964 0
vsize: 24780
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5855 0 0 0 55959 49 0 0 25 0 1 0 512029958 25583616 5127 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6246 5127 231 231 0 6015 0
vsize: 24984
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5866 0 0 0 56959 50 0 0 25 0 1 0 512029958 25583616 5138 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6246 5138 231 231 0 6015 0
vsize: 24984
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5889 0 0 0 57958 50 0 0 25 0 1 0 512029958 25747456 5161 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 5161 231 231 0 6055 0
vsize: 25144
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5902 0 0 0 58958 51 0 0 25 0 1 0 512029958 25747456 5174 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 5174 231 231 0 6055 0
vsize: 25144
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5915 0 0 0 59958 51 0 0 25 0 1 0 512029958 25747456 5187 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 5187 231 231 0 6055 0
vsize: 25144
[startup+609.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5924 0 0 0 60958 51 0 0 25 0 1 0 512029958 25747456 5196 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 5196 231 231 0 6055 0
vsize: 25144
[startup+619.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17061
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5941 0 0 0 61958 51 0 0 25 0 1 0 512029958 25747456 5213 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 5213 231 231 0 6055 0
vsize: 25144
[startup+629.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5952 0 0 0 62958 52 0 0 25 0 1 0 512029958 25747456 5224 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 5224 231 231 0 6055 0
vsize: 25144
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5964 0 0 0 63958 52 0 0 25 0 1 0 512029958 25882624 5236 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 5236 231 231 0 6088 0
vsize: 25276
[startup+650 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5970 0 0 0 64958 52 0 0 25 0 1 0 512029958 25882624 5242 4294967295 134512640 135450300 3221224640 3221223472 134549490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 5242 231 231 0 6088 0
vsize: 25276
[startup+660 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5982 0 0 0 65958 53 0 0 25 0 1 0 512029958 25882624 5254 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 5254 231 231 0 6088 0
vsize: 25276
[startup+670 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5990 0 0 0 66958 53 0 0 25 0 1 0 512029958 25882624 5262 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 5262 231 231 0 6088 0
vsize: 25276
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6004 0 0 0 67957 54 0 0 25 0 1 0 512029958 25882624 5276 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 5276 231 231 0 6088 0
vsize: 25276
[startup+689.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6012 0 0 0 68957 54 0 0 25 0 1 0 512029958 25882624 5284 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 5284 231 231 0 6088 0
vsize: 25276
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6027 0 0 0 69957 54 0 0 25 0 1 0 512029958 25882624 5299 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 5299 231 231 0 6088 0
vsize: 25276
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6051 0 0 0 70957 55 0 0 25 0 1 0 512029958 26103808 5323 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5323 231 231 0 6142 0
vsize: 25492
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6064 0 0 0 71956 55 0 0 25 0 1 0 512029958 26103808 5336 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5336 231 231 0 6142 0
vsize: 25492
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6080 0 0 0 72956 56 0 0 25 0 1 0 512029958 26103808 5352 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5352 231 231 0 6142 0
vsize: 25492
[startup+740.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6090 0 0 0 73956 56 0 0 25 0 1 0 512029958 26103808 5362 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5362 231 231 0 6142 0
vsize: 25492
[startup+750.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6098 0 0 0 74956 57 0 0 25 0 1 0 512029958 26103808 5370 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5370 231 231 0 6142 0
vsize: 25492
[startup+760.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6120 0 0 0 75955 57 0 0 25 0 1 0 512029958 26103808 5392 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5392 231 231 0 6142 0
vsize: 25492
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6142 0 0 0 76955 57 0 0 25 0 1 0 512029958 26357760 5414 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 5414 231 231 0 6204 0
vsize: 25740
[startup+780.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6153 0 0 0 77955 58 0 0 25 0 1 0 512029958 26357760 5425 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 5425 231 231 0 6204 0
vsize: 25740
[startup+790.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6164 0 0 0 78955 58 0 0 25 0 1 0 512029958 26357760 5436 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 5436 231 231 0 6204 0
vsize: 25740
[startup+800.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6178 0 0 0 79954 59 0 0 25 0 1 0 512029958 26357760 5450 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 5450 231 231 0 6204 0
vsize: 25740
[startup+810.001 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6191 0 0 0 80954 60 0 0 25 0 1 0 512029958 26357760 5463 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 5463 231 231 0 6204 0
vsize: 25740
[startup+820 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6204 0 0 0 81953 60 0 0 25 0 1 0 512029958 26497024 5476 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6469 5476 231 231 0 6238 0
vsize: 25876
[startup+830.001 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6211 0 0 0 82953 61 0 0 25 0 1 0 512029958 26497024 5483 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6469 5483 231 231 0 6238 0
vsize: 25876
[startup+840.001 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6222 0 0 0 83953 61 0 0 25 0 1 0 512029958 26497024 5494 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6469 5494 231 231 0 6238 0
vsize: 25876
[startup+850.001 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6237 0 0 0 84952 62 0 0 25 0 1 0 512029958 26497024 5509 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6469 5509 231 231 0 6238 0
vsize: 25876
[startup+860.002 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6252 0 0 0 85952 62 0 0 25 0 1 0 512029958 26497024 5524 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6469 5524 231 231 0 6238 0
vsize: 25876
[startup+870.001 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6260 0 0 0 86952 62 0 0 25 0 1 0 512029958 26497024 5532 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6469 5532 231 231 0 6238 0
vsize: 25876
[startup+880.002 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6275 0 0 0 87953 62 0 0 25 0 1 0 512029958 26648576 5547 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5547 231 231 0 6275 0
vsize: 26024
[startup+890.002 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6287 0 0 0 88952 63 0 0 25 0 1 0 512029958 26648576 5559 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5559 231 231 0 6275 0
vsize: 26024
[startup+900.002 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6302 0 0 0 89952 64 0 0 25 0 1 0 512029958 26648576 5574 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5574 231 231 0 6275 0
vsize: 26024
[startup+910.002 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6324 0 0 0 90951 64 0 0 25 0 1 0 512029958 26648576 5596 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5596 231 231 0 6275 0
vsize: 26024
[startup+920.001 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 17063
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6339 0 0 0 91951 65 0 0 25 0 1 0 512029958 26808320 5611 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6545 5611 231 231 0 6314 0
vsize: 26180
[startup+930.002 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6349 0 0 0 92950 65 0 0 25 0 1 0 512029958 26808320 5621 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6545 5621 231 231 0 6314 0
vsize: 26180
[startup+940.001 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7134 0 0 0 93949 67 0 0 25 0 1 0 512029958 29954048 5637 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7313 5637 231 231 0 7082 0
vsize: 29252
[startup+950.002 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7144 0 0 0 94949 67 0 0 25 0 1 0 512029958 29954048 5647 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7313 5647 231 231 0 7082 0
vsize: 29252
[startup+960.002 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7151 0 0 0 95949 68 0 0 25 0 1 0 512029958 29954048 5654 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7313 5654 231 231 0 7082 0
vsize: 29252
[startup+970.001 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7163 0 0 0 96949 68 0 0 25 0 1 0 512029958 29954048 5666 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7313 5666 231 231 0 7082 0
vsize: 29252
[startup+980.002 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7176 0 0 0 97949 68 0 0 25 0 1 0 512029958 29954048 5679 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7313 5679 231 231 0 7082 0
vsize: 29252
[startup+990.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7184 0 0 0 98948 69 0 0 25 0 1 0 512029958 29954048 5687 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7313 5687 231 231 0 7082 0
vsize: 29252
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7190 0 0 0 99948 69 0 0 25 0 1 0 512029958 29954048 5693 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7313 5693 231 231 0 7082 0
vsize: 29252
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7210 0 0 0 100948 69 0 0 25 0 1 0 512029958 30121984 5713 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7354 5713 231 231 0 7123 0
vsize: 29416
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7219 0 0 0 101948 70 0 0 25 0 1 0 512029958 30121984 5722 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7354 5722 231 231 0 7123 0
vsize: 29416
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7232 0 0 0 102947 70 0 0 25 0 1 0 512029958 30121984 5735 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7354 5735 231 231 0 7123 0
vsize: 29416
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7240 0 0 0 103947 71 0 0 25 0 1 0 512029958 30121984 5743 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7354 5743 231 231 0 7123 0
vsize: 29416
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7248 0 0 0 104947 71 0 0 25 0 1 0 512029958 30121984 5751 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7354 5751 231 231 0 7123 0
vsize: 29416
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7258 0 0 0 105947 71 0 0 25 0 1 0 512029958 30121984 5761 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7354 5761 231 231 0 7123 0
vsize: 29416
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7272 0 0 0 106947 72 0 0 25 0 1 0 512029958 30121984 5775 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7354 5775 231 231 0 7123 0
vsize: 29416
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7301 0 0 0 107946 72 0 0 25 0 1 0 512029958 30302208 5804 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5804 231 231 0 7167 0
vsize: 29592
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7308 0 0 0 108946 73 0 0 25 0 1 0 512029958 30302208 5811 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5811 231 231 0 7167 0
vsize: 29592
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7316 0 0 0 109946 73 0 0 25 0 1 0 512029958 30302208 5819 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5819 231 231 0 7167 0
vsize: 29592
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7326 0 0 0 110946 73 0 0 25 0 1 0 512029958 30302208 5829 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5829 231 231 0 7167 0
vsize: 29592
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7344 0 0 0 111946 74 0 0 25 0 1 0 512029958 30302208 5847 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5847 231 231 0 7167 0
vsize: 29592
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7351 0 0 0 112946 74 0 0 25 0 1 0 512029958 30302208 5854 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5854 231 231 0 7167 0
vsize: 29592
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7363 0 0 0 113946 74 0 0 25 0 1 0 512029958 30302208 5866 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5866 231 231 0 7167 0
vsize: 29592
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7369 0 0 0 114945 75 0 0 25 0 1 0 512029958 30302208 5872 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5872 231 231 0 7167 0
vsize: 29592
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7375 0 0 0 115945 75 0 0 25 0 1 0 512029958 30302208 5878 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5878 231 231 0 7167 0
vsize: 29592
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7381 0 0 0 116945 75 0 0 25 0 1 0 512029958 30302208 5884 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5884 231 231 0 7167 0
vsize: 29592
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.92 3/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7386 0 0 0 117945 75 0 0 25 0 1 0 512029958 30302208 5889 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 5889 231 231 0 7167 0
vsize: 29592
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7405 0 0 0 118945 76 0 0 25 0 1 0 512029958 30466048 5908 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 5908 231 231 0 7207 0
vsize: 29752
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17065
Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7413 0 0 0 119945 76 0 0 25 0 1 0 512029958 30466048 5916 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 5916 231 231 0 7207 0
vsize: 29752
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 17065
Raw data (stat): 17057 (PBS4) Z 17056 20838 20837 0 -1 1036 7413 0 0 0 119945 77 0 0 25 0 1 0 512029958 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.02
CPU time (s): 1200.23
CPU user time (s): 1199.46
CPU system time (s): 0.775882
CPU usage (%): 100.018
Max. virtual memory (Kb): 29752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####